カントール集合
定義
$$ \begin{align*} I =& \left[ 0, 1 \right] \\ C_{1} =& \left[ 0, {{1} \over {3}} \right] \cup \left[ {{2} \over {3}} , 1 \right] \\ C_{2} =& \left[ 0, {{1} \over {3^2}} \right] \cup \left[ {{2} \over {3^2}}, {{3} \over {3^2}} \right] \cup \left[ {{6} \over {3^2}}, {{7} \over {3^2}} \right] \cup \left[ {{8} \over {3^2}} , 1 \right] \\ &\vdots \\ C_{n} =& \left[ 0, {{1} \over {3^n}} \right] \cup \left[ {{2} \over {3^n}}, {{3} \over {3^n}} \right] \cup \cdots \cup \left[ {{3^n-3} \over {3^n}}, {{3^n-2} \over {3^n}} \right] \cup \left[ {{3^n - 1} \over {3^n}} , 1 \right] \end{align*} $$ としよう。
$\displaystyle C := \bigcap_{n=1}^{\infty} C_{n}$ を カントール集合cantor setと言う。
定理
- [1]: $C = \left\{ x \in I \ | \ x= 0.x_{1} x_{2} \cdots , x_{i} \in \left\{ 0,2 \right\} \right\}$
- [2]: $C$ は非可算集合だ。
説明
カントール集合はシンプルに定義されるけど、実解析で重要な例として登場する。
定理[1]はカントール集合のすべての要素が三進法展開するとき、$0$ と $2$ だけで表せるって意味だ。特別に証明する必要はないが、よく考えれば、そんなに難しくなく納得できるはずだ。
一方で、すべての区間の長さを足すと $\displaystyle \lim_{n \to \infty} \left( {{2} \over {3}} \right)^{n} = 0$ になり、これが非可算集合ってのはかなり興味深い。この非可算性は普通、定理[1]に カントールの対角線論法を適用して証明する。これは$C$ と自然数集合の間に一対一対応が存在しないことを三進法で示すけど、この過程で特に学ぶことはない。
もっと位相数学的な証明を探してまとめたから、参考にしてほしい。
証明
[2]
Part 1.
当然のことながら、$C \subset \mathbb{R}$ なので、距離空間になる。$C$ は閉区間の交わりとして定義されたから、閉集合だ。
ハイネ・ボレルの定理: $E \subset \mathbb{R}^{n}$ について、$E$ がコンパクトであるための必要十分条件は、$E$ が有界かつ閉集合であることだ。
一方で、$C \subset [0,1]$ なので有界で、ハイネ・ボレルの定理により、$C$ はコンパクト空間 である。距離空間がコンパクトであることと完備であり完全有界であることは同値なので、$C$ は完備距離空間だ。
ベールの範疇定理:すべての完備距離空間はベール空間だ。
ベールの範疇定理により、$C$ はベール空間だ。
Part 2.
任意の$c \in C$ と $\varepsilon>0$ について、$B(c, \varepsilon )$ は $c$ ではない少なくとも1つの点を含む。
これは $C$ が孤立点を持たないと言い、数式で表すと $$ \left( C \setminus \left\{ c \right\} \right) \cap B(c, \varepsilon ) \ne \emptyset $$ だから、全体から一点だけ取り除いた $C \setminus \left\{ c \right\}$ は$C$ で稠密集合だ。
Part 3.
$C$ が可算集合だと仮定すれば、$C = \left\{ c_{n} \ | \ n \in \mathbb{N} \right\}$ で表せるはずだ。
ベール空間の定義: すべての稠密な開集合の数列 $\left\{ O_{n} \right\}_{n=1}^{\infty}$ について、$\displaystyle \bigcap_{n=1}^{\infty} O_{n}$ が稠密な空間をベール空間と言う。
Part 1で$C$ がベール空間であることを示し、Part 2で$C \setminus \left\{ c_{n} \right\}$ が稠密集合であることを示したから、$\displaystyle \bigcap_{n=1}^{\infty} \left( C \setminus \left\{ c_{n} \right\} \right)$ は稠密だ。しかし、$\displaystyle \bigcap_{n=1}^{\infty} \left( C \setminus \left\{ c_{n} \right\} \right) = \emptyset$ かつ $\overline{ \emptyset } \ne C$ なので、稠密集合ではない。これは矛盾なので、$C$ は非可算集合だ。
■