コンパクト距離空間上の連続関数が一様連続であることの証明
📂距離空間コンパクト距離空間上の連続関数が一様連続であることの証明
定理
(X,dX)がコンパクト距離空間で、(Y,dY)が距離空間で、 f:X→Yが連続だとする。すると、fはXで一様連続である。
説明
コンパクトという条件は外せない。
証明
任意の正数ε>0が与えられたとする。fが連続であると仮定すると、定義により、各点p∈Xに対して以下の式を満たす正数δpが存在する。
∀q∈X,dX(p,q)<δp⟹dY(f(p),f(q))<2ε
次に、以下のような集合を考える。
Np:={q:dX(p,q)<21δp}
p∈Npであるから、全てのNpのコレクションはXのオープンカバーになる。Xはコンパクトと仮定されているので、以下の式を満たすp1,⋯,pnが存在する。
X⊂Np1∪⋯∪Npn(2)
今、δ=21min(δp1,⋯,δpn)とする。すると、δは明らかに正である。今、dX(p,q)<δを満たす二点p,q∈Xを考える。すると、(eq1)により、p∈Npmを満たすm(1≤m≤n)が存在する。従って、以下が成り立つ。
dX(p,pm)≤21δpm
すると、以下の式が成り立つ。
dX(q,pm)≤dX(q,p)+dX(p,pm)<δ+21δpm≤δpm
従って、
dX(p,q)<δ⟹dY(f(p),f(q))≤dY(f(p),f(pm))+dY(f(pm),f(q))<21ε+21ε=ε
が成り立つので、fは一様連続である。
■