距離空間ならばハウスドルフ空間
距離空間ならばハウスドルフ空間
距離空間\(\left(X,d\right)\)ならばハウスドルフ空間となる。
逆は一般的に成り立たない。
距離空間\(\left(X,d\right)\)ならばハウスドルフ空間となる。
逆は一般的に成り立たない。
対偶をとると、ハウスドルフ空間でないならば距離空間とはならない。
\(\Rightarrow\)
距離空間\(\left(X,d\right)\)の任意の異なる2点\(x,y\)に対し、\(0<d\left(x,y\right)\)なので\(\epsilon=d\left(x,y\right)\)とおくと、開近傍\(U\left(x,\frac{\epsilon}{2}\right),U\left(y,\frac{\epsilon}{2}\right)\)は\(U\left(x,\frac{\epsilon}{2}\right)\cap U\left(y,\frac{\epsilon}{2}\right)=\emptyset\)を満たすのでハウスドルフ空間になる。\(\Leftarrow\)は一般的に成り立たない
上限位相が反例である。
ページ情報
| タイトル | 距離空間ならばハウスドルフ空間 |
| URL | https://www.nomuramath.com/fs1izgfh/ |
| SNSボタン |
距離空間での開集合全体の集合
\[
\forall\mathcal{P}\subseteq\mathcal{O},\bigcup_{P\in\mathcal{P}}P\in\mathcal{O}
\]
距離空間では点列の収束先は一意的
距離空間での各点連続と一様連続の定義
\[
\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
\]
距離空間の定義
\[
d\left(x,y\right)\leq d\left(x,z\right)+d\left(z,y\right)
\]