現代数学の系譜工学物理雑談古典ガロア理論も読む75

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む75 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

81: １３２人目の素数さん [sage] 2019/08/16(金) 11:45:29.55 ID:pUzim9A1

>>32
>・３進カントール集合を[0,1]と同相にする簡単な方法は？

必死の話題そらしのおサルさん（＾＾

まあ、下記カントール集合 「閉区間 [0, 1] に属する実数のうち、その三進展開のどの桁にも 1 が含まれないような表示ができるもの全体からなる集合である」
「”測度と確率
カントール集合は二進列全体の成すコンパクト群と見なせる」から、「それをコイントスの無限列のモデルとすることができる」
とあるよ
一方で、閉区間 [0, 1] に属する実数を二進列全体の成す集合とみなせる
だから、対応がつくという話しをしたいんだろうね、おサルさんはｗ（＾＾

しかし、カントール空間「カントール集合に同相な位相空間をカントール空間と呼ぶ。
集合論においては、位相空間 2^ω（ω は最小の無限順序数）を「一意な」 ("the") カントール空間と呼ぶ。」という視点では、フラクタルで位相次元が 0だよ
だから、この視点では、位相同相には、ならないぞ

まあ、現代数学はいろんな視点があるから、どちらもありだろうがね
（”同相”の定義の問題だなｗ）

＜カントール集合より抜粋＞
”カントール集合（カントールしゅうごう、Cantor set）は、フラクタルの1種で、閉区間 [0, 1] に属する実数のうち、その三進展開のどの桁にも 1 が含まれないような表示ができるもの全体からなる集合である。
カントールの三進集合とも呼ばれ[8]、カントル集合、カントルの三進集合とも表記される[9]。”
”測度と確率
カントール集合は二進列全体の成すコンパクト群と見なせるから、自然なハール測度を備えている。
カントール集合全体の測度を 1 に正規化するとき、それをコイントスの無限列のモデルとすることができる。
さらに言えば、区間上の通常のルベーグ測度がカントール集合上のハール測度の像となることが示せる。
他方、三進集合への自然な埋め込みでは特異測度の標準例となる。
あるいはまた、このハール測度がカントール集合を適当な仕方で普遍確率空間とする任意の確率測度の像となることも示せる。”

つづく

http://rio2016.5ch.net/test/read.cgi/math/1565872684/81

85: １３２人目の素数さん [sage] 2019/08/16(金) 11:48:38.48 ID:pUzim9A1

>>84
つづき

測度と確率
カントール集合は二進列全体の成すコンパクト群と見なせるから、自然なハール測度を備えている。カントール集合全体の測度を 1 に正規化するとき、それをコイントスの無限列のモデルとすることができる。
さらに言えば、区間上の通常のルベーグ測度がカントール集合上のハール測度の像となることが示せる。他方、三進集合への自然な埋め込みでは特異測度の標準例となる。あるいはまた、このハール測度がカントール集合を適当な仕方で普遍確率空間とする任意の確率測度の像となることも示せる。
ルベーグ測度論において、カントール集合は非可算な零集合の例を与える[22]。

https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%B3%E3%83%88%E3%83%BC%E3%83%AB%E7%A9%BA%E9%96%93
カントール空間
(抜粋)
カントール集合に同相な位相空間をカントール空間と呼ぶ。集合論においては、位相空間 2^ω（ω は最小の無限順序数）を「一意な」 ("the") カントール空間と呼ぶ。
注意点として、ふつうは 2^ω を単にカントール集合と呼び、カントール空間という語はより一般の DS の構成のために用いる（ここで D は有限集合、S は大抵有限か可算だが非可算にもなり得る）[1]。

カントール集合それ自体もカントール空間であるが、カントール空間の標準的な例は離散二点空間（英語版） {0, 1} の可算無限直積位相空間である。これをふつう 2^N とか 2^ω と書く（ここでの 2 は二点集合 {0, 1} に離散位相を入れたものを表している）。
2^ω の各点は無限二値列（0 か 1 のどちらかの値しかとらない列）である。そのような列 a0, a1, a2, … を実数
Σn=0〜∞ 2an/(3^(n+1))
へ写す写像は 2^ω からカントール集合への同相写像を与えるから、それにより 2^ω が実際にカントール空間となることが示せたことになる。

特徴付け
カントール空間の位相的特徴付けはブラウウェルによって与えられた:[2]

定理 (L. Brouwer)
任意の二つの空でないコンパクトハウスドルフ空間は、それが孤立点を持たず、かつ開かつ閉集合からなる可算基底を持つならば、それらは互いに同相である。

開かつ閉集合からなる基底を持つという位相的性質は零次元と呼ばれる。ブラウウェルの定理は以下のように言い換えられる:

つづく

http://rio2016.5ch.net/test/read.cgi/math/1565872684/85

上下前次 1-新書関写板覧索設栞歴

あと 912 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.018s