完備距離空間の像は完備部分集合とは限らない
完備距離空間の像は完備部分集合とは限らない
完備距離空間\(\left(X,d_{X}\right)\)から距離空間\(\left(Y,d_{Y}\right)\)への連続写像\(f:X\rightarrow Y\)があるとき、\(f\left(X\right)\)は完備部分集合とは限らない。
完備距離空間\(\left(X,d_{X}\right)\)から距離空間\(\left(Y,d_{Y}\right)\)への連続写像\(f:X\rightarrow Y\)があるとき、\(f\left(X\right)\)は完備部分集合とは限らない。
反例で示す。
何故なら\(x_{n}=\frac{\pi}{2}-\frac{1}{n}\)とすると\(x_{n}\in\left(-\frac{\pi}{2},\frac{\pi}{2}\right)\)であるが、その収束先の\(\frac{\pi}{2}\)は\(\frac{\pi}{2}\notin\left(-\frac{\pi}{2},\frac{\pi}{2}\right)\)だからである。
何故なら\(x_{n}=1-\frac{1}{n}\)とすると\(x_{n}\in\left(-1,1\right)\)であるが、その収束先の1は\(1\notin\left(-1,1\right)\)だからである。
-
完備距離空間と距離空間を\(\mathbb{R}\)とすると、\(\mathbb{R}\)は完備であるが連続写像\(f\left(x\right)=\tan^{\bullet}x\)の像は\(f\left(X\right)=\left(-\frac{\pi}{2},\frac{\pi}{2}\right)\)は完備ではない。何故なら\(x_{n}=\frac{\pi}{2}-\frac{1}{n}\)とすると\(x_{n}\in\left(-\frac{\pi}{2},\frac{\pi}{2}\right)\)であるが、その収束先の\(\frac{\pi}{2}\)は\(\frac{\pi}{2}\notin\left(-\frac{\pi}{2},\frac{\pi}{2}\right)\)だからである。
-
完備距離空間と距離空間を\(\mathbb{R}\)とすると、\(\mathbb{R}\)は完備であるが連続写像\(f\left(x\right)=\frac{x}{1+\left|x\right|}\)の像は\(f\left(X\right)=\left(-1,1\right)\)は完備ではない。何故なら\(x_{n}=1-\frac{1}{n}\)とすると\(x_{n}\in\left(-1,1\right)\)であるが、その収束先の1は\(1\notin\left(-1,1\right)\)だからである。
ページ情報
| タイトル | 完備距離空間の像は完備部分集合とは限らない |
| URL | https://www.nomuramath.com/xlzs3f6t/ |
| SNSボタン |
有限集合で距離化可能なのは離散位相のみ
有限位相空間では距離化可能と離散位相は同値である。
2つの距離関数と点列・開集合・閉集合の関係
距離空間での開集合と点列の収束
距離空間での各点連続と一様連続の定義
\[
\forall x_{1}\in X,\forall\epsilon>0,\exists\delta>0,\forall x_{2}\in X;d_{X}\left(x_{1},x_{2}\right)<\delta\rightarrow d_{Y}\left(f\left(x_{1}\right),f\left(x_{2}\right)\right)<\epsilon
\]