第2可算ならばリンデレフ空間
第2可算ならばリンデレフ空間
位相空間\(\left(X,\mathcal{O}\right)\)が第2可算ならばリンデレフ空間である。
逆は一般的に成り立たない。
位相空間\(\left(X,\mathcal{O}\right)\)が第2可算ならばリンデレフ空間である。
逆は一般的に成り立たない。
実数全体の集合\(\mathbb{R}\)に通常距離を入れた距離空間\(\left(\mathbb{R},d\right)\)は第2可算であるのでリンデレフ空間となる。
\(\Rightarrow\)
\(X\)の任意の開被覆を\(\mathcal{U}=\left\{ U_{\lambda};\lambda\in\Lambda\right\} \)として、第2可算を満たす可算開基を\(\mathcal{B}=\left\{ B_{n};n\in\mathbb{N}\right\} \)とする。任意の\(x\in X\)に対しある\(\lambda\in\Lambda\)が存在し、\(x\in U_{\lambda}\)を満たす。
またこのとき、ある\(n\in\mathbb{N}\)が存在し、\(x\in B_{n}\subseteq U_{\lambda}\)を満たす。
各点\(x\)についてこれを満たす\(B_{n}\)全体は\(\mathcal{B}\)の部分族となり、\(\left\{ B_{n_{i}};i\in\mathbb{N}\right\} \subseteq\mathcal{B}\)となる。
ここで\(U_{\lambda_{i}}\)を\(B_{n_{i}}\subseteq U_{\lambda}\)を満たす\(U_{\lambda}\)から1つを選び\(U_{\lambda_{i}}=U_{\lambda}\)とする。
そうすると、任意の\(x\in X\)に対し、ある\(i\in\mathbb{N}\)が存在し、\(x\in B_{n_{i}}\subseteq U_{\lambda_{i}}\)となるので\(X=\bigcup_{x\in X}\left\{ x\right\} \subseteq\bigcup_{i\in\mathbb{N}}B_{n_{i}}\subseteq\bigcup_{i\in\mathbb{N}}U_{\lambda_{i}}\)となり可算開被覆を持つのでリンデレフ空間となる。
これより\(\Rightarrow\)が成り立つ。
逆は一般的に成り立たない。
反例で示す。上限位相はリンデレフ空間であるが第2可算ではない。
故に\(\Leftarrow\)は一般的に成り立たない。
ページ情報
タイトル | 第2可算ならばリンデレフ空間 |
URL | https://www.nomuramath.com/q494koc8/ |
SNSボタン |
空集合・全体集合の内部・外部・境界・閉包・導集合・孤立点全体の集合
\[
X^{s}=\left\{ x\in X;\left\{ x\right\} \in\mathcal{O}\right\}
\]
2重階乗の逆数和
\[
\sum_{k=0}^{n}\frac{1}{\left(2k\right)!!}=\sqrt{e}\frac{\Gamma\left(n+1,\frac{1}{2}\right)}{\Gamma\left(n+1\right)}
\]
ガウスの乗法公式
\[
\Gamma(nz)=\frac{n^{nz-\frac{1}{2}}}{\left(2\pi\right)^{\frac{n-1}{2}}}\prod_{k=0}^{n-1}\Gamma\left(z+\frac{k}{n}\right)
\]
交換子が定数になるときの性質
\[
\left[A^{n},B\right]=n\left[A,B\right]A^{n-1}
\]