位相空間での閉集合系による位相
位相空間での閉集合系による位相
位相空間\(\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ボタン |
第3種・第4種チェビシェフ多項式の漸化式
\[
V_{k+1}(x)=2xV_{k}(x)-V_{k-1}(x)
\]
条件収束と絶対収束の定義
数列$\left\{ a_{n}\right\} $の各項$a_{n}$の絶対値をとった総和が$\sum_{k=1}^{\infty}\left|a_{n}\right|<\infty$となるとき、$\sum_{k=1}^{\infty}a_{n}$は絶対収束するという。
上限位相と下限位相より強ければ離散位相
離散位相は距離化可能
離散位相$\left(X,2^{X}\right)$は離散距離空間$\left(X,d\right)$で距離化可能である。