位相空間での閉集合系による位相
位相空間での閉集合系による位相
位相空間\(\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ボタン |
チェビシェフ距離は距離空間
\[
d_{\infty}\left(\boldsymbol{x},\boldsymbol{y}\right)=\max\left(\left|x_{1}-y_{1}\right|,\cdots,\left|x_{n}-y_{n}\right|\right)
\]
4角形の対角線と面積の関係
\[
S=\frac{1}{2}\left(\overrightarrow{AC}\times\overrightarrow{DB}\right)
\]
階乗冪(下降階乗・上昇階乗)の和分
\[
\sum_{k=1}^{m}P(k,n)=\frac{1}{n+1}P(m+1,n+1)
\]
3角関数・双曲線関数の総和
\[
\sum_{k=m_{1}}^{m_{2}}\sin\left(ak+b\right)=\sin^{-1}\left(\frac{a}{2}\right)\sin\left(\left(m_{1}+m_{2}\right)\frac{a}{2}+b\right)\sin\left(\left(1+m_{2}-m_{1}\right)\frac{a}{2}\right)
\]