logo

コンパクト距離空間上の連続関数が一様連続であることの証明 📂距離空間

コンパクト距離空間上の連続関数が一様連続であることの証明

定理

(X,dX)(X,d_{X})コンパクト距離空間で、(Y,dY)(Y,d_{Y})距離空間で、 f:XYf:X\to Y連続だとする。すると、ffXX一様連続である。

説明

コンパクトという条件は外せない。

証明

任意の正数ε>0\varepsilon >0が与えられたとする。ffが連続であると仮定すると、定義により、各点pXp\in Xに対して以下の式を満たす正数δp\delta_{p}が存在する。

qX,dX(p,q)<δp    dY(f(p),f(q))<ε2 \forall q\in X,\quad d_{X}(p,q)<\delta_{p} \implies d_{Y}(f(p),f(q))<\frac{\varepsilon}{2}

次に、以下のような集合を考える。

Np:={q:dX(p,q)<12δp} N_{p}:= \left\{ q : d_{X}(p,q)<\frac{1}{2}\delta_{p} \right\}

pNpp \in N_{p}であるから、全てのNpN_{p}コレクションXXオープンカバーになる。XXはコンパクトと仮定されているので、以下の式を満たすp1,,pnp_{1},\cdots,p_{n}が存在する。

XNp1Npn \begin{equation} X \subset N_{p_{1}}\cup \cdots \cup N_{p_{n}} \tag{2} \label{eq1} \end{equation}

今、δ=12min(δp1,,δpn)\delta=\frac{1}{2} \min (\delta_{p_{1}},\cdots,\delta_{p_{n}})とする。すると、δ\deltaは明らかに正である。今、dX(p,q)<δd_{X}(p,q)<\deltaを満たす二点p,qXp,q \in Xを考える。すると、(eq1)\eqref{eq1}により、pNpmp \in N_{p_{m}}を満たすm(1mn)m(1\le m \le n)が存在する。従って、以下が成り立つ。

dX(p,pm)12δpm d_{X}(p,p_{m}) \le \frac{1}{2}\delta_{p_{m}}

すると、以下の式が成り立つ。

dX(q,pm)dX(q,p)+dX(p,pm)<δ+12δpmδpm d_{X}(q,p_{m}) \le d_{X}(q,p) + d_{X}(p,p_{m}) < \delta + \frac{1}{2}\delta_{p_{m}} \le \delta _{p_{m}}

従って、

dX(p,q)<δ    dY(f(p),f(q))dY(f(p),f(pm))+dY(f(pm),f(q))<12ε+12ε=ε d_{X}(p,q)<\delta \implies d_{Y}(f(p),f(q))\le d_{Y}(f(p),f(p_{m})) + d_{Y}(f(p_{m}),f(q))<\frac{1}{2}\varepsilon+\frac{1}{2}\varepsilon=\varepsilon

が成り立つので、ffは一様連続である。