すべての等距離写像が埋め込みであることの証明
📂バナッハ空間すべての等距離写像が埋め込みであることの証明
要旨
(X,∥⋅∥X),(Y,∥⋅∥Y)をノルム空間としよう。そしてf:X→Yを等距離写像としよう。そうするとfは埋め込みだ。言い換えると、fは下記の二つの条件を満たす。
(a) f(X)⊂Y
(b) f:X→f(X)は位相同型写像だ。
証明
戦略: (b)を最初に証明し、次に(a)を証明する。各証明プロセスに特に難しい部分はないが、様々な定義を使用するため難しく見えるかもしれない。
(b)
補題
二つの位相空間XとYがあるとする。全単射関数f:X→Yに対して、以下の三条件は互いに同値である。
- fは開写像である。
- fは閉写像である。
- f−1 :Y→Xは連続写像である。
f:X→f(X)が位相同型写像であることを示すためには、fが全単射であり、連続であり、f−1が連続であることを示さなければならない。
Part 1. f:X→f(X)は全単射である。
f:X→f(X)が全射であることは自明である。f(x1)=f(x1)と仮定する。すると、dy(f(x1), f(x2))=0である。fは距離を保持するので、dx(x1,x2)=0である。従って、x1=x2なのでfは単射である。
Part 2. f:X→f(X)は連続である。
fは全単射であるので、任意のy∈f(X)に対して、f(x)=yを満たすx∈Xが一意に存在する。したがって、fは等距離写像であるので、任意の正のr>0に対して、以下の式が成立する。
f−1(BdY(y,r))=BdX(x,r)
任意の開集合V⊂f(X)に対して、f−1(V)が開集合であるので、fは連続である。
Part 3. f−1は連続である。
同様の論理により、任意のx∈Xとr>0に対して、
f(BdX(x,r))=BdY(f(x),r)
となるので、fは開写像である。よって、補題により、f−1は連続である。
■
(a)
x1,x2∈Xとしよう。すると、f(x1),f(x2)∈f(X)である。Xはノルム空間であり、したがってベクトル空間なので、x1+x2=x∈Xである。等距離写像fは線形なので、f(x)=f(x1+x2)=f(x1)+f(x2)である。また、x∈Xなので、f(x)∈f(X)である。従って、f(x1),f(x2)∈f(X)の時常に、f(x1)+f(x2)=f(x)∈f(X)であるので、加算に対して閉じている。同じ論理を乗算に対して閉じていることを示すことができる。よって、f(X)はYの部分空間である。
■