ハウスドルフ空間とT1空間の点列の極限点
ハウスドルフ空間とT1空間の点列の極限点
逆は一般的に成り立たない。
(1)ハウスドルフ空間
ハウスドルフ空間\(\left(X,\mathcal{O}\right)\)ならば、点列の極限点が存在すれば一意的に決まる。逆は一般的に成り立たない。
(2)\(T_{1}\)空間
\(T_{1}\)空間\(\left(X,\mathcal{O}\right)\)では点列の極限点が存在しても一意的とは限らない。(1)
\(\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\)は一般的に成り立たない。
(2)
反例で示す。補有限位相\(\left(\mathbb{N},\mathcal{O}_{c}\right)\)で点列\(\left(x_{k}=k\right)_{k\in\mathbb{N}}\)を考える。
このとき、任意の点\(a\in\mathbb{N}\)と\(a\)の任意の開近傍\(U_{a}\)について、\(U_{a}^{c}\)は有限集合なので最大値\(N\)が存在するので\(N<n\)ならば\(x_{n}=n\in U_{a}\)となるので\(a\)に収束する。
従って、補有限位相\(\left(\mathbb{N},\mathcal{O}_{c}\right)\)では点列\(\left(x_{k}=k\right)_{k\in\mathbb{N}}\)は任意の点に収束する。
故に\(T_{1}\)空間\(\left(X,\mathcal{O}\right)\)では点列の極限点が存在しても一意的とは限らない。
ページ情報
タイトル | ハウスドルフ空間とT1空間の点列の極限点 |
URL | https://www.nomuramath.com/eo09tscy/ |
SNSボタン |
チェビシェフ多項式の別表記
\[
T_{n}(x)=\frac{1}{2}\left(\left(x+i\sqrt{1-x^{2}}\right)^{n}+\left(x-i\sqrt{1-x^{2}}\right)^{n}\right)
\]
連続で出来る部分分数分解
\[
\frac{1}{x(x+a)^{n}}=\frac{1}{a^{n}x}-\sum_{k=1}^{n}\left(\frac{1}{a^{n-k+1}(x+1)^{k}}\right)
\]
偶数ゼータの通常型母関数
\[
\sum_{k=1}^{\infty}\zeta(2k)x^{2k}=\frac{1}{2}\left(1-\pi x\tan^{-1}\left(\pi x\right)\right)
\]
階乗と階乗の逆数の母関数
\[
\frac{x^{a}}{a!}=e^{x}\left(\frac{\Gamma\left(a+1,x\right)}{\Gamma\left(a+1\right)}-\frac{\Gamma\left(a,x\right)}{\Gamma\left(a\right)}\right)
\]