logo

ペアノの空間充填定理の証明 📂位相幾何学

ペアノの空間充填定理の証明

定理 1

I=[0,1]I = [0,1]に対して、全射連続関数f:II×If : I \to I \times Iが存在する。

説明

これは短いながらも非常に衝撃的な定理だ。この定理が真であれば、線のみで平面を構成できるという意味であるが、証明を見ても納得がいくのは難しい。‘空間充填曲線定理’は、日本で翻訳されたものを勝手に使用している。

証明

パート1.

以下の図のようにパスの数列{fn}\left\{ f_{n} \right\}を定義する。

5B2E02BE0.png

f1:II×I f_{1} : I \to I \times I

2.png

f2:II×I f_{2} : I \to I \times I

3.png

f3:II×I f_{3} : I \to I \times I

それから、全てのxIx \in Iに対してfnf_{n}d(fn(x),fn+1(x))<12n d ( f_{n}(x) , f_{n+1} (x) ) < {{1} \over {2^{n} }} なのでコーシー列だ。

コンパクト距離空間の等価条件:距離空間がコンパクトであることと、完備であり、かつ完全有界であることは等価である。

一方、I×II \times Iはコンパクト距離空間なので完備空間であり、fn(x)f_{n} (x)I×II \times Iのある点に収束する。

ここでf(x):=limnfn(x)\displaystyle f(x) : = \lim_{n \to \infty} f_{n} (x)と定義してみよう。ffが全射連続関数であることを示せば、証明は完了である。


パート2. ffは関数である。

全てのxIx \in Iに対してf(x)f(x)が唯一存在することを示せばよい。


パート3. ffは連続である。

fnf_{n}ffに一様収束することを示せば、fnf_{n}が連続であるため、ffも連続である。与えられたε>0\varepsilon > 0に対して、22n0<ε\displaystyle {{2} \over {2^{n_{0}} }} < \varepsilonを満たすようにn0Nn_{0} \in \mathbb{N}を選ぶ。全てのxIx \in Iに対して d(fn(x),f(x))<12n d ( f_{n}(x) , f (x) ) < {{1} \over {2^{n} }} である。三角不等式により、 d(fn(x),f(x))<d(fn(x),fn0(x))+d(fn0(x),f(x))<12n0+12n0=22n0<ε d ( f_{n}(x) , f (x) ) < d ( f_{n}(x) , f_{n_{0}} (x) ) + d ( f_{n_{0}}(x) , f (x) ) < {{1} \over {2^{n_{0}} }} + {{1} \over {2^{n_{0}} }} = {{2} \over {2^{n_{0}} }} < \varepsilon つまり、fnf_{n}ff一様収束し、ffは連続である。


パート4. ffは全射である。

全てのyI×Iy \in I \times Iに対して、yf(I)y \in f(I)が成り立つことを示せば、ffは全射である。{fn}\left\{ f_{n} \right\}の定義に従って、与えられたyI×Iy \in I \times Iに対して、 d(y,fm(x))<12m d(y, f_{m} (x) ) < {{ 1 } \over { 2^{m} }} を満たすxIx \in ImNm \in \mathbb{N}が存在する。それから、nmn \ge mに対して d(y,fn(x))d(y,fm(x))+d(fm(x),fn(x))<22m d(y, f_{n} (x) ) \le d(y, f_{m} (x) ) + d(f_{m} (x) , f_{n} (x) ) < {{2} \over {2^{m}}} 今、与えられたϵ>0\epsilon > 0に対して、32n0<ϵ\displaystyle {{3} \over {2^{n_{0}}}} < \epsilonを満たすn0>mn_{0} > mを選ぶ。三角不等式によって、 d(y,f(x))<d(y,fn0(x))+d(fn0(x),f(x))<22n0+12n0=32n0<ε d ( y , f (x) ) < d ( y , f_{n_{0}} (x) ) + d ( f_{n_{0}}(x) , f (x) ) < {{2} \over {2^{n_{0}} }} + {{1} \over {2^{n_{0}} }} = { {3} \over { 2^{n_{0} } } } < \varepsilon つまり、Bd(y,ε)f(I)B_{d} (y , \varepsilon ) \cap f(I) \ne \emptysetであり、全てのε>0\varepsilon > 0に対してd(y,f(x))<ε\displaystyle d ( y , f (x) ) < \varepsilonなので、yf(I)y \in \overline{ f(I) }である。

コンパクトと連続関数f:XYf : X \to Yについて、XXがコンパクトであり、ffが連続であるとしよう。YYがハウスドルフであれば、ffは閉関数である。閉集合CXC \subset Xに対して、f(C)Yf(C) \subset Yは閉集合である。

先にffが連続であることをパート2で示したので、f(I)f(I)I×II \times Iで閉集合であり、従ってyf(I)=f(I)y \in \overline{ f(I) } = f(I)である。したがって、f:II×If : I \to I \times Iは全射連続関数である。


  1. Munkres. (2000). Topology(2nd Edition): p272. ↩︎