距離空間ならば第1可算公理を満たす
距離空間ならば第1可算公理を満たす
距離空間\(\left(X,d\right)\)ならば第1可算公理を満たす。
逆は一般的に成り立たない。
距離空間\(\left(X,d\right)\)ならば第1可算公理を満たす。
逆は一般的に成り立たない。
\(\Rightarrow\)
任意の\(x\in X\)に対し、\(x\)での基本近傍系\(\mathcal{B}_{x}\)を\(\mathcal{B}_{x}=\left\{ B\left(x,\frac{1}{n}\right);n\in\mathbb{N}\right\} \)とおけば\(\mathcal{B}_{x}\)は高々可算濃度なので第1可算公理を満たす。故に\(\Rightarrow\)が成り立つ。
\(\Leftarrow\)は一般的に成り立たない
反例で示す。上限位相は第1可算公理を満たすが、距離化不可能である。
故に\(\Leftarrow\)は一般的に成り立たない。
ページ情報
タイトル | 距離空間ならば第1可算公理を満たす |
URL | https://www.nomuramath.com/od3mdqpb/ |
SNSボタン |
点と集合との距離の関係
\[
d\left(x,A\right)=0\Leftrightarrow x\in A^{a}
\]
完備距離空間の部分集合は完備とは限らない
完備距離空間$\left(X,d_{X}\right)$の部分集合$A\subseteq X$は完備とは限らない。
完備距離空間の像は完備部分集合とは限らない
完備距離空間の像は完備部分集合とは限らない
距離空間での各点連続と一様連続の定義
\[
\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
\]