ハウスドルフ空間の点列の極限点
ハウスドルフ空間の点列の極限点
ハウスドルフ空間\(\left(X,\mathcal{O}\right)\)ならば、点列の極限点が存在すれば一意的に決まる。
逆は一般的に成り立たない。
ハウスドルフ空間\(\left(X,\mathcal{O}\right)\)ならば、点列の極限点が存在すれば一意的に決まる。
逆は一般的に成り立たない。
\(\Rightarrow\)
\(x\ne y\)として、点列の極限点が\(x,y\in X\)の2つになると仮定する。このとき、\(\mathcal{U}_{x},\mathcal{U}_{y}\)をそれぞれ元\(x,y\)を含む開近傍系とすると極限点の定義より、
\[ \forall U_{x}\in\mathcal{U}_{x},\exists n_{1}\in\mathbb{N},n_{1}<m\rightarrow x_{m}\in U_{x} \] \[ \forall U_{y}\in\mathcal{U}_{y},\exists n_{2}\in\mathbb{N},n_{2}<m\rightarrow x_{m}\in U_{y} \] となるので、\(n=\max\left\{ n_{1},n_{2}\right\} \)とおくと、
\[ n<m\rightarrow x_{m}\in U_{x}\land x_{m}\in U_{y}\Leftrightarrow n<m\rightarrow x_{m}\in U_{x}\cap U_{y} \] となるので、\(U_{x}\cap U_{y}\ne\emptyset\)となりハウスドルフ空間であることに矛盾が生じる。
故に背理法より、極限点が存在すれば一意的に決まる。
\(\Leftarrow\)は一般的に成り立たない
反例で示す実数全体の集合\(\mathbb{R}\)に補有限位相を入れる。
このとき点列として\(\left(x_{n}=0\right)_{n\in\mathbb{N}}\)をとれば、0以外の任意の元を\(c\)とすると\(X\setminus\left\{ c\right\} \)は0を含み\(c\)は含まない開集合となるので、極限点は一意的に0になる。
しかし補有限位相はハウスドルフではないので題意は成り立たない。
従って\(\Leftarrow\)は一般的に成り立たない。
ページ情報
タイトル | ハウスドルフ空間の点列の極限点 |
URL | https://www.nomuramath.com/eo09tscy/ |
SNSボタン |
複二次式の定義と因数分解
\[
a_{4}x^{4}+a_{2}x^{2}+a_{0}=\frac{1}{4a_{4}}\left(2a_{4}x^{2}+a_{2}+\sqrt{a_{2}^{\;2}-4a_{4}a_{0}}\right)\left(2a_{4}x^{2}+a_{2}-\sqrt{a_{2}^{\;2}-4a_{4}a_{0}}\right)
\]
分散の基本的性質
\[
V\left(\sum_{i=1}^{n}a_{i}X_{i}\right)=\sum_{i,j}a_{i}a_{j}Cov\left(X_{i},X_{j}\right)
\]
連結であることと離散位相空間への連続写像による同値
有向集合と有向点列の定義
\[
\forall a,b\in\Lambda,\exists c\in\Lambda,a\preceq c\land b\preceq c
\]