距離空間ならば第1可算空間
距離空間ならば第1可算空間
距離空間\(\left(X,d\right)\)ならば第1可算空間となる。
逆は一般的に成り立たない。
距離空間\(\left(X,d\right)\)ならば第1可算空間となる。
逆は一般的に成り立たない。
\(\Rightarrow\)
任意の\(x\in X\)に対し\(\left\{ U\left(x,\frac{1}{n}\right);n\in\mathbb{N}\right\} \)は\(x\)の基本近傍系となり濃度は可算無限なので第1可算空間となる。\(\Leftarrow\)は一般的に成り立たない。
反例で示す。上限位相は第1可算空間であるが距離化不可能である。
故に\(\Leftarrow\)は一般的に成り立たない。
ページ情報
| タイトル | 距離空間ならば第1可算空間 |
| URL | https://www.nomuramath.com/h66buev1/ |
| SNSボタン |
距離空間での連続を開近傍を使って表現
\[
\forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right)
\]
距離空間での開集合と閉集合の定義
\[
\forall x\in A,\exists\epsilon>0,U_{\epsilon}\left(x\right)\subseteq A
\]
距離空間での空集合・全体集合・1点集合
距離空間$\left(X,d\right)$で空集合$\emptyset$と全体集合$X$はどちらも開集合かつ閉集合となる。
一様連続であれば各点連続
一様連続であれば各点連続である。