カントール集合
カントール集合とはなにか？
カントール集合は、与えられた線分に対して「3等分し真ん中部分を除く」という操作を繰り返し行うことで得られる集合の極限である。
ただし、ここで線分はすべて閉区間としておく。
カントール集合の濃度
どんどん線分の長さが短くなるので、極限では空集合になってしまうように思ってしまうが、そうではない。
たとえば、最初の線分を、閉区間$C_0 = [0, 1]$とすると、操作を繰り返すことで順次、次のような集合が得られる。
$$ C_1 = [0, \frac{1}{3}] \oplus [\frac{2}{3}, 1] $$
$$ C_2 = [0, \frac{1}{9}] \oplus [\frac{2}{9}, \frac{1}{3}] \oplus [\frac{2}{3}, \frac{5}{9}] \oplus [\frac{8}{9}, 1] $$
$$ C_3 = [0, \frac{1}{27}] \oplus [\frac{2}{27}, \frac{1}{9}] \oplus [\frac{2}{9}, \frac{7}{27}] \oplus [\frac{8}{27}, \frac{1}{3}] \oplus [\frac{2}{3}, \frac{19}{27}] \oplus [\frac{20}{27}, \frac{7}{9}] \oplus [\frac{8}{9}, \frac{25}{27}] \oplus [\frac{26}{27}, 1] $$
少し見づらいので、3進数を使用すると、次のようになる。
$$ C_1 = [0, 0.1] \oplus [0.2, 1] $$
$$ C_2 = [0, 0.01] \oplus [0.02, 0.1] \oplus [0.2, 0.21] \oplus [0.22, 1] $$
$$ C_3 = [0, 0.001] \oplus [0.002, 0.01] \oplus [0.02, 0.021] \oplus [0.022, 0.1] \oplus [0.2, 0.201] \oplus [0.202, 0.21] \oplus [0.22, 0.221] \oplus [0.222, 1] $$
たとえば、$0.2$は$C_0$, $C_1$, $C_2$, $C_3$の全てに含まれる。今後も除かれることはない。
最初の図を観察するとわかるが、一度どれかの線分の端点になった点はいつまでも残り続ける仕組みなのである。
したがって、$0.2 \in C_\infty$である。カントール集合は空ではない。
それどころか非常に多くの要素からなっている。
具体的には、「3進数表記で、0と2のみからなるような数」がカントール集合を構成している。
そのような数としては、
$$ 0.02020202… (3) = \frac{2}{22} (3) = \frac{1}{4} (10) $$
$$ 0.022222222… = 0.1 $$
$$ 0.202002000200002000002… $$
などの無限小数も含まれることに注意されたい。
これは、2進数表記の実数全体と一対一対応をつけることができるから、カントール集合の濃度は連続体濃度$2^{\aleph_0}$である。
整数の数である可算無限$\aleph_0$より断然多いのである。
カントール集合の長さ
$C_n$の長さを線分の長さの総和と定義すると、
$$ |C_0| = 1 $$
$$ |C_1| = 1 - \frac{1}{3} = \frac{2}{3} $$
$$ |C_2| = (\frac{2}{3})^2 = \frac{4}{9} $$
$$ |C_n| = (\frac{2}{3})^n $$
であるから、$n \to \infty$で$|C_n| \to 0$となる。
そこで、カントール集合の長さは$0$となってしまう。
測度論の用語で言えば、カントール集合は零集合(null set)である。
カントール集合の興味深さ
カントール集合の興味深いのは、その濃度が連続体濃度であり、いわば非常に多くの要素を持ちながら、測度は0であるという点である。