logo

すべての等距離写像が埋め込みであることの証明 📂バナッハ空間

すべての等距離写像が埋め込みであることの証明

要旨

(X,X),(Y,Y)(X, \left\| \cdot \right\|_{X}), (Y, \left\| \cdot \right\|_{Y})ノルム空間としよう。そしてf:XYf : X \to Y等距離写像としよう。そうするとff埋め込みだ。言い換えると、ffは下記の二つの条件を満たす。

(a) f(X)Yf(X) \subset Y

(b) f:Xf(X)f : X \to f(X)位相同型写像だ。

証明

戦略: (b)(b)を最初に証明し、次に(a)(a)を証明する。各証明プロセスに特に難しい部分はないが、様々な定義を使用するため難しく見えるかもしれない。

(b)

補題

二つの位相空間XXYYがあるとする。全単射関数f:XYf : X \to Yに対して、以下の三条件は互いに同値である。

f:Xf(X)f : X \to f(X)が位相同型写像であることを示すためには、ffが全単射であり、連続であり、f1f^{-1}が連続であることを示さなければならない。

  • Part 1. f:Xf(X)f : X \to f(X)は全単射である。

    f:Xf(X)f : X \to f(X)が全射であることは自明である。f(x1)=f(x1)f(x_{1})=f(x_{1})と仮定する。すると、dy(f(x1), f(x2))=0d_{y} \big( f(x_{1}),\ f(x_{2}) \big)=0である。ffは距離を保持するので、dx(x1,x2)=0d_{x}(x_{1}, x_{2})=0である。従って、x1=x2x_{1}=x_{2}なのでffは単射である。

  • Part 2. f:Xf(X)f : X \to f(X)は連続である。

    ffは全単射であるので、任意のyf(X)y\in f(X)に対して、f(x)=yf(x)=yを満たすxXx\in Xが一意に存在する。したがって、ffは等距離写像であるので、任意の正のr>0r>0に対して、以下の式が成立する。

    f1(BdY(y,r))=BdX(x,r) f^{-1}\big(B_{d_{Y}}(y,r) \big)=B_{d_{X}}(x,r)

    任意の開集合Vf(X)V\subset f(X)に対して、f1(V)f^{-1}(V)が開集合であるので、ffは連続である。

  • Part 3. f1f^{-1}は連続である。

    同様の論理により、任意のxXx \in Xr>0r>0に対して、

    f(BdX(x,r))=BdY(f(x),r) f \big( B_{d_{X}}(x,r) \big) = B_{d_{Y}}\big( f(x),r\big)

    となるので、ffは開写像である。よって、補題により、f1f^{-1}は連続である。

(a)

x1,x2Xx_{1},x_{2} \in Xとしよう。すると、f(x1),f(x2)f(X)f(x_{1}),f(x_{2}) \in f(X)である。XXはノルム空間であり、したがってベクトル空間なので、x1+x2=xXx_{1}+x_{2}=x\in Xである。等距離写像ffは線形なので、f(x)=f(x1+x2)=f(x1)+f(x2)f(x)=f(x_{1}+x_{2})=f(x_{1})+f(x_{2})である。また、xXx\in Xなので、f(x)f(X)f(x) \in f(X)である。従って、f(x1),f(x2)f(X)f(x_{1}), f(x_{2}) \in f(X)の時常に、f(x1)+f(x2)=f(x)f(X)f(x_{1})+f(x_{2})=f(x)\in f(X)であるので、加算に対して閉じている。同じ論理を乗算に対して閉じていることを示すことができる。よって、f(X)f(X)YY部分空間である。