距離空間ならばハウスドルフ空間
距離空間ならばハウスドルフ空間
距離空間\(\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ボタン |
距離空間と位相空間の関係
距離空間の開集合族は位相空間
ルベーグの被覆補題
\[
\diam\left(A\right)<\delta\rightarrow A\subseteq U
\]
全有界ならば有界
全有界ならば有界である。
開球同士が交わるときの包含関係
\[
B\left(x_{1},r_{1}\right)\cap B\left(x_{2},r_{2}\right)\ne\emptyset\land r_{2}\leq r_{1}\Rightarrow B\left(x_{2},r_{2}\right)\subseteq B\left(x_{1},3r_{1}\right)
\]