位相空間での閉集合系による位相
位相空間での閉集合系による位相
位相空間\(\left(X,\mathcal{O}\right)\)があるとき、閉集合系を\(\mathcal{F}\)とするとき次の3条件を満たす。
位相空間\(\left(X,\mathcal{O}\right)\)があるとき、閉集合系を\(\mathcal{F}\)とするとき次の3条件を満たす。
(a)空集合、全体集合
\[ \emptyset,X\in\mathcal{F} \](b)閉集合の有限和集合
\[ F_{1},\cdots,F_{n}\in\mathcal{F}\rightarrow\bigcup_{k=1}^{n}F_{k}\in\mathcal{F} \](c)閉集合の積集合
\[ \forall\lambda_{0}\in\Lambda,F_{\lambda_{0}}\in\mathcal{F}\rightarrow\bigcap_{\lambda\in\Lambda}F_{\lambda}\in\mathcal{F} \]位相空間になるためには
\[ \emptyset,X\in\mathcal{O} \] \[ O_{1},\cdots,O_{n}\in\mathcal{O}\rightarrow\bigcap_{k=1}^{n}O_{k}\in\mathcal{O} \] \[ \forall\lambda_{0}\in\Lambda,O_{\lambda_{0}}\in\mathcal{O}\rightarrow\bigcup_{\lambda\in\Lambda}O_{\lambda}\in\mathcal{O} \] の3つが成り立てばいいので閉集合系\(\mathcal{F}\)でこれを表せばいい。
\(X\in\mathcal{O}\Leftrightarrow\emptyset^{c}\in\mathcal{O}\Leftrightarrow\emptyset\in\mathcal{F}\)
故に\(\emptyset,X\in\mathcal{O}\Leftrightarrow\)\(\emptyset,X\in\mathcal{F}\)となる。
\begin{align*} O_{1},\cdots,O_{n}\in\mathcal{O}\rightarrow\bigcap_{k=1}^{n}O_{k}\in\mathcal{O} & \Leftrightarrow O_{1}^{c},\cdots,O_{n}^{c}\in\mathcal{F}\rightarrow\left(\bigcup_{k=1}^{n}F_{k}\right)^{c}\in\mathcal{O}\\ & \Leftrightarrow F_{1},\cdots,F_{n}\in\mathcal{F}\rightarrow\bigcup_{k=1}^{n}F_{k}\in\mathcal{F} \end{align*} となる。
故に開集合の有限積集合と閉集合の有限和集合は同値となる。
\begin{align*} \forall\lambda_{0}\in\Lambda,O_{\lambda_{0}}\in\mathcal{O}\rightarrow\bigcup_{\lambda\in\Lambda}O_{\lambda}\in\mathcal{O} & \Leftrightarrow\forall\lambda_{0}\in\Lambda,F_{\lambda_{0}}^{c}\in\mathcal{O}\rightarrow\left(\bigcap_{\lambda\in\Lambda}O_{\lambda}^{c}\right)^{c}\in\mathcal{O}\\ & \Leftrightarrow\forall\lambda_{0}\in\Lambda,F_{\lambda_{0}}\in\mathcal{F}\rightarrow\bigcap_{\lambda\in\Lambda}F_{\lambda}\in\mathcal{F} \end{align*} となる。
故に開集合の和集合と閉集合の積集合は同値となる。
\[ \emptyset,X\in\mathcal{O} \] \[ O_{1},\cdots,O_{n}\in\mathcal{O}\rightarrow\bigcap_{k=1}^{n}O_{k}\in\mathcal{O} \] \[ \forall\lambda_{0}\in\Lambda,O_{\lambda_{0}}\in\mathcal{O}\rightarrow\bigcup_{\lambda\in\Lambda}O_{\lambda}\in\mathcal{O} \] の3つが成り立てばいいので閉集合系\(\mathcal{F}\)でこれを表せばいい。
(a)
\(\emptyset\in\mathcal{O}\Leftrightarrow X^{c}\in\mathcal{O}\Leftrightarrow X\in\mathcal{F}\)\(X\in\mathcal{O}\Leftrightarrow\emptyset^{c}\in\mathcal{O}\Leftrightarrow\emptyset\in\mathcal{F}\)
故に\(\emptyset,X\in\mathcal{O}\Leftrightarrow\)\(\emptyset,X\in\mathcal{F}\)となる。
(b)
開集合の補集合は閉集合なので\(O_{k}^{c}=F_{k}\)とおくと、\begin{align*} O_{1},\cdots,O_{n}\in\mathcal{O}\rightarrow\bigcap_{k=1}^{n}O_{k}\in\mathcal{O} & \Leftrightarrow O_{1}^{c},\cdots,O_{n}^{c}\in\mathcal{F}\rightarrow\left(\bigcup_{k=1}^{n}F_{k}\right)^{c}\in\mathcal{O}\\ & \Leftrightarrow F_{1},\cdots,F_{n}\in\mathcal{F}\rightarrow\bigcup_{k=1}^{n}F_{k}\in\mathcal{F} \end{align*} となる。
故に開集合の有限積集合と閉集合の有限和集合は同値となる。
(c)
開集合の補集合は閉集合なので\(O_{k}^{c}=F_{k}\)とおくと、\begin{align*} \forall\lambda_{0}\in\Lambda,O_{\lambda_{0}}\in\mathcal{O}\rightarrow\bigcup_{\lambda\in\Lambda}O_{\lambda}\in\mathcal{O} & \Leftrightarrow\forall\lambda_{0}\in\Lambda,F_{\lambda_{0}}^{c}\in\mathcal{O}\rightarrow\left(\bigcap_{\lambda\in\Lambda}O_{\lambda}^{c}\right)^{c}\in\mathcal{O}\\ & \Leftrightarrow\forall\lambda_{0}\in\Lambda,F_{\lambda_{0}}\in\mathcal{F}\rightarrow\bigcap_{\lambda\in\Lambda}F_{\lambda}\in\mathcal{F} \end{align*} となる。
故に開集合の和集合と閉集合の積集合は同値となる。
-
これらより、(a),(b),(c)の3条件を満たせばいい。
ページ情報
| タイトル | 位相空間での閉集合系による位相 |
| URL | https://www.nomuramath.com/ntbqqdqm/ |
| SNSボタン |
冪乗の符号関数
\[
\sgn\left(\alpha^{b}\right)=\sgn^{b}\left(\alpha\right)
\]
上限位相空間・下限位相空間の分離公理(T1・T2・T3・T4・正則空間・正規空間)
第1種・第2種不完全ガンマ関数の定義
\[
\Gamma\left(a,x\right)=\int_{x}^{\infty}t^{a-1}e^{-t}dt
\]
偶数ゼータ関数と円周率を含む交代級数
\[
\frac{\zeta\left(2\right)}{\pi^{2}}-\frac{\zeta\left(4\right)}{\pi^{4}}+\frac{\zeta\left(6\right)}{\pi^{6}}-\frac{\zeta\left(8\right)}{\pi^{8}}+\cdots=?
\]