\(\mathfrak{B}\)が\(\mathfrak{O}\)の基底ならば,明らかに\(\mathfrak{O}=\mathfrak{O}(\mathfrak{B})\)
証明
\(\mathfrak{B}\)が\(\mathfrak{O}\)の基底であるとする.すなわち,\(\mathfrak{B} \subset \mathfrak{O}\)で,\(\forall O \in \mathfrak{O}\exists (W_{\lambda})_{\lambda \in \Lambda} [O=\displaystyle \bigcup_{\lambda \in \Lambda}W_{\lambda},W_{\lambda}\in \mathfrak{B}]\)とする.示したいことは\(\mathfrak{O}=\mathfrak{O}(\mathfrak{B}) \Longleftrightarrow \mathfrak{O} \subset \mathfrak{O}(\mathfrak{B}), \mathfrak{O}(\mathfrak{B}) \subset \mathfrak{O}\)である.
\(\mathfrak{O} \subset \mathfrak{O}(\mathfrak{B})\)であること:
\((\mathfrak{O}_{\mu})_{\mu \in M}\)を\(\mathfrak{B}\)を含む位相から成る任意の集合族とすると,\(\mathfrak{O}(\mathfrak{B})=\displaystyle\bigcap_{\mu \in M}\mathfrak{O}_{\mu},\mathfrak{B}\subset \mathfrak{O}_{\mu}\)と表せる.\(O \in \mathfrak{O}\)とする.このとき,仮定により\(O=\displaystyle\bigcup_{\lambda \in \Lambda}{W}_{\lambda}\)と書ける.任意の\(\lambda \in \Lambda\)に対して\(W_{\lambda} \in \mathfrak{B} \subset \mathfrak{O}_{\mu}~(\forall \mu \in M)\).よって\(\mathfrak{O}_{\mu}\)は位相だから\((\mathbf{Oiii})\)により\(\displaystyle\bigcup_{\lambda \in \Lambda}W_{\lambda} \in \mathfrak{O}_{\mu}~(\forall \mu \in M)\).ゆえに,\(O=\displaystyle \bigcup_{\lambda \in \Lambda}W_{\lambda} \in \displaystyle\bigcap_{\mu \in M}\mathfrak{O}_{\mu} = \mathfrak{O}(\mathfrak{B})\).
\(\mathfrak{O}(\mathfrak{B}) \subset \mathfrak{O}\)であること:
\(O \in \mathfrak{O}(\mathfrak{B})\left(=\displaystyle\bigcap_{\mu \in M}\mathfrak{O}_{\mu}\right)\)とする.仮定により\(\mathfrak{B}\subset \mathfrak{O}\).ここで,\((\mathfrak{O}_{\mu})_{\mu \in M}\)は\(\mathfrak{B}\)を含む位相から成る任意の集合族であったから,\(\mathfrak{O} \in \{\mathfrak{O}_{\mu}\}_{\mu \in M}\).したがって\(O \in \mathfrak{O}(\mathfrak{B})=\displaystyle\bigcap_{\mu \in M}\mathfrak{O}_{\mu}\subset \mathfrak{O}\).
証明終