密着位相・離散位相・シェルピンスキー空間・補有限位相・補可算位相の定義
密着位相・離散位相・シェルピンスキー空間・補有限位相・補可算位相の定義
離散位相は\(\left(X,\left\{ A;A\subseteq X\right\} \right)\)でも表すことが出来る。
また\(\left(X,\mathcal{P}\left(X\right)\right)\)で表されることもある。
シェルピンスキー空間は\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} \right\} \right)\)と位相同型な位相空間で\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ b\right\} ,\left\{ a,b\right\} \right\} \right)\)もシェルピンスキー空間である。
\[ \mathcal{O}_{c}=\left\{ \emptyset\right\} \cup\left\{ S\subseteq X;\left|X\setminus S\right|<\infty\right\} \] となる位相\(\left(X,\mathcal{O}_{c}\right)\)を補有限位相という。
言い換えると、有限集合と\(X\)自身を閉集合とする位相である。
補有限位相は\(X\)自身が有限集合のときは離散位相となる。
\[ \mathcal{O}=\left\{ \emptyset\right\} \cup\left\{ S\subseteq X;\left|X\setminus S\right|\leq\aleph_{0}\right\} \] となる位相\(\left(X,\mathcal{O}\right)\)を補可算位相という。
(1)密着位相
\(X\)を空でない集合とする。このとき\(\left(X,\left\{ \emptyset,X\right\} \right)\)は位相となり、この位相を密着位相という。(2)離散位相
\(X\)を空でない集合とする。このとき\(\left(X,2^{X}\right)\)は位相となり、この位相を離散位相という。離散位相は\(\left(X,\left\{ A;A\subseteq X\right\} \right)\)でも表すことが出来る。
また\(\left(X,\mathcal{P}\left(X\right)\right)\)で表されることもある。
(3)シェルピンスキー空間
密着位相でも離散位相でもない2つの元のみでなる位相空間をシェルピンスキー空間という。シェルピンスキー空間は\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} \right\} \right)\)と位相同型な位相空間で\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ b\right\} ,\left\{ a,b\right\} \right\} \right)\)もシェルピンスキー空間である。
(4)補有限位相
\(X\)を集合とする。補集合が有限集合のとき開集合とする位相、すなわち\[ \mathcal{O}_{c}=\left\{ \emptyset\right\} \cup\left\{ S\subseteq X;\left|X\setminus S\right|<\infty\right\} \] となる位相\(\left(X,\mathcal{O}_{c}\right)\)を補有限位相という。
言い換えると、有限集合と\(X\)自身を閉集合とする位相である。
補有限位相は\(X\)自身が有限集合のときは離散位相となる。
(5)補可算位相
\(X\)を集合とする。補集合が可算集合のとき開集合とする位相、すなわち\[ \mathcal{O}=\left\{ \emptyset\right\} \cup\left\{ S\subseteq X;\left|X\setminus S\right|\leq\aleph_{0}\right\} \] となる位相\(\left(X,\mathcal{O}\right)\)を補可算位相という。
(1)密着位相
\(\left(\left\{ a\right\} ,\left\{ \emptyset,\left\{ a\right\} \right\} \right)\)は密着位相となる。\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ a,b\right\} \right\} \right)\)は密着位相となる。
(2)離散位相
\(\left(\left\{ a\right\} ,\left\{ \emptyset,\left\{ a\right\} \right\} \right)\)は離散位相となる。\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ b\right\} ,\left\{ a,b\right\} \right\} \right)\)は離散位相となる。
(3)シェルピンスキー空間
\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} \right\} \right)\)はシェルピンスキー空間となる。\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ b\right\} ,\left\{ a,b\right\} \right\} \right)\)はシェルピンスキー空間となる。
(4)補有限位相
\(\left(\mathbb{R},\left\{ A\subseteq\mathbb{R};A=\emptyset\lor\left|X\setminus A\right|<\infty\right\} \right)\)は補有限位相となる。このとき、無理数全体の集合は補集合が有理数で可算無限なので開集合とはならない。
(5)補可算位相
\(\left(\mathbb{R},\left\{ A\subseteq\mathbb{R};A=\emptyset\lor\left|X\setminus A\right|\leq\aleph_{0}\right\} \right)\)は補可算位相となる。このとき、無理数全体の集合は補集合が有理数で可算無限なので開集合となる。
ページ情報
タイトル | 密着位相・離散位相・シェルピンスキー空間・補有限位相・補可算位相の定義 |
URL | https://www.nomuramath.com/mtqgg3p9/ |
SNSボタン |
(*)log(1-x)のn乗の展開
\[
\log^{n}(1-x)=(-1)^{n}n!\sum_{k=0}^{\infty}\frac{S_{1}(k+n,n)}{(k+n)!}x^{k+n}
\]
剰余演算の引数
\[
\mod\left(\alpha,\beta,\gamma\right):=\mod\left(\alpha-\gamma,\beta\right)+\gamma
\]
分母の2乗をどうするかな?
\[
\int_{0}^{\infty}\frac{x^{2}}{\left(1+e^{x}\right)^{2}}dx=?
\]
(*)チェビシェフ多項式のロドリゲス公式
\[
T_{n}(x)=\frac{(-1)^{n}\sqrt{\pi}\sqrt{1-x^{2}}}{2^{n}\Gamma\left(n+\frac{1}{2}\right)}\frac{d^{n}}{dx^{n}}\left(1-x^{2}\right)^{n-\frac{1}{2}}
\]