ペアノの空間充填定理の証明
📂位相幾何学ペアノの空間充填定理の証明
定理
I=[0,1]に対して、全射連続関数f:I→I×Iが存在する。
説明
これは短いながらも非常に衝撃的な定理だ。この定理が真であれば、線のみで平面を構成できるという意味であるが、証明を見ても納得がいくのは難しい。‘空間充填曲線定理’は、日本で翻訳されたものを勝手に使用している。
証明
パート1.
以下の図のようにパスの数列{fn}を定義する。

f1:I→I×I

f2:I→I×I

f3:I→I×I
それから、全てのx∈Iに対してfnは
d(fn(x),fn+1(x))<2n1
なのでコーシー列だ。
コンパクト距離空間の等価条件:距離空間がコンパクトであることと、完備であり、かつ完全有界であることは等価である。
一方、I×Iはコンパクト距離空間なので完備空間であり、fn(x)はI×Iのある点に収束する。
ここでf(x):=n→∞limfn(x)と定義してみよう。fが全射連続関数であることを示せば、証明は完了である。
パート2. fは関数である。
全てのx∈Iに対してf(x)が唯一存在することを示せばよい。
パート3. fは連続である。
fnがfに一様収束することを示せば、fnが連続であるため、fも連続である。与えられたε>0に対して、2n02<εを満たすようにn0∈Nを選ぶ。全てのx∈Iに対して
d(fn(x),f(x))<2n1
である。三角不等式により、
d(fn(x),f(x))<d(fn(x),fn0(x))+d(fn0(x),f(x))<2n01+2n01=2n02<ε
つまり、fnはfに一様収束し、fは連続である。
パート4. fは全射である。
全てのy∈I×Iに対して、y∈f(I)が成り立つことを示せば、fは全射である。{fn}の定義に従って、与えられたy∈I×Iに対して、
d(y,fm(x))<2m1
を満たすx∈Iとm∈Nが存在する。それから、n≥mに対して
d(y,fn(x))≤d(y,fm(x))+d(fm(x),fn(x))<2m2
今、与えられたϵ>0に対して、2n03<ϵを満たすn0>mを選ぶ。三角不等式によって、
d(y,f(x))<d(y,fn0(x))+d(fn0(x),f(x))<2n02+2n01=2n03<ε
つまり、Bd(y,ε)∩f(I)=∅であり、全てのε>0に対してd(y,f(x))<εなので、y∈f(I)である。
コンパクトと連続関数:f:X→Yについて、Xがコンパクトであり、fが連続であるとしよう。Yがハウスドルフであれば、fは閉関数である。閉集合C⊂Xに対して、f(C)⊂Yは閉集合である。
先にfが連続であることをパート2で示したので、f(I)はI×Iで閉集合であり、従ってy∈f(I)=f(I)である。したがって、f:I→I×Iは全射連続関数である。
■