距離空間ならばハウスドルフ空間
距離空間ならばハウスドルフ空間
距離空間\(\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ボタン |
単射により誘導された距離空間
\[
d_{f}\left(a,b\right)=d\left(f\left(a\right),f\left(b\right)\right)
\]
距離空間での各点連続と一様連続の定義
\[
\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(A,B\right):=\inf\left\{ d\left(a,b\right);a\in A,b\in B\right\}
\]
有限集合で距離化可能なのは離散位相のみ
有限位相空間では距離化可能と離散位相は同値である。