距離空間ならば第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\)は一般的に成り立たない
反例で示す。上限位相\(\left(\mathbb{R},\mathcal{O}_{u}\right)\)は基本近傍系\(\mathcal{B}_{x}\)を\(\mathcal{B}_{x}=\left\{ \left(x-\frac{1}{n},x\right];n\in\mathbb{N}\right\} \)とすれば\(\mathcal{B}_{x}\)は高々可算濃度なので第1可算公理を満たすが、距離化不可能である。
故に\(\Leftarrow\)は一般的に成り立たない。
ページ情報
| タイトル | 距離空間ならば第1可算公理を満たす |
| URL | https://www.nomuramath.com/od3mdqpb/ |
| SNSボタン |
距離空間での集積点と閉包の点列による別定義
\[
x\in A^{d}\leftrightarrow\exists\left(x_{n}\right)_{n=1}^{\infty}\subseteq A\setminus\left\{ x\right\} ,\lim_{n\rightarrow\infty}x_{n}=x
\]
距離空間での内点(内部)・外点(外部)・境界(境界点)・触点(閉包)・集積点(導集合)・孤立点の定義
\[
\exists\epsilon>0,U_{\epsilon}\left(x\right)\subseteq A
\]
距離空間での連続を開近傍を使って表現
\[
\forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right)
\]
2つの距離関数と点列・開集合・閉集合の関係