Cantor集合

Def. Cantor Set
Step1. 以下の列を定義する。
C_0 := [0,1] 
C_1 := [0,\frac{1}{3}] \cup  [\frac{2}{3},1]
C_2 := \left( [0,\frac{1}{9}] \cup  [\frac{2}{9},\frac{1}{3}] \right) \cup \left( [\frac{2}{3},\frac{7}{9}] \cup  [\frac{8}{9},1] \right)
・・・
Step2. これらの共通部分をとったものを,Cantor集合という。
C := \bigcap_{n=0}^\infty C_n
Prop.
1. Cantor Set の濃度は実無限に等しい。
1'. Cantor Setの点は,Cnのいづれかの端点であり,これに限る。
2. Cantor Set の測度は零。
Cor. 実無限濃度でも測度零の集合が作れる。
Prop. B.Mandlebrot 1975
Cantor Set の次元は ln3 2
∵ Cantor Set の長さを3倍すると,元の Cantor Set の相似が2つ現れるから。
Cf. 立方体の次元は3
立方体の長さを3倍すると,元の立方体の相似は27個あらわれるので,3次元
Th. Cantor Set は Compact
証明はHeine-Borelによる。
最終更新:2009年07月22日 00:22
ツールボックス

下から選んでください:

新しいページを作成する
ヘルプ / FAQ もご覧ください。