開基の基本性質
開基の基本性質
位相空間\(\left(X,\mathcal{O}\right)\)で\(\mathcal{B}\)が開基であることと、任意の開集合\(O\in\mathcal{O}\)と任意の元\(x\in O\)に対し、ある\(\mathcal{B}\)の元\(B\in\mathcal{B}\)が存在し、\(x\in B\subseteq O\)となることは同値である。
位相空間\(\left(X,\mathcal{O}\right)\)で\(\mathcal{B}\)が開基であることと、任意の開集合\(O\in\mathcal{O}\)と任意の元\(x\in O\)に対し、ある\(\mathcal{B}\)の元\(B\in\mathcal{B}\)が存在し、\(x\in B\subseteq O\)となることは同値である。
\(\Rightarrow\)
条件より\(\mathcal{B}\)は開基なので、任意の開集合\(O\in\mathcal{O}\)に対し、\(\mathcal{B}\)のある部分集合\(\left\{ B_{\lambda};\lambda\in\Lambda\right\} \subseteq\mathcal{B}\)が存在し\(O=\bigcup\left\{ B_{\lambda};\lambda\in\Lambda\right\} =\bigcup_{\lambda\in\Lambda}B_{\lambda}\)となる。従って任意の元\(x\in O\)に対し、ある\(\lambda\in\Lambda\)が存在し、\(x\in B_{\lambda}\)となる。
これより\(O=\bigcup_{\lambda\in\Lambda}B_{\lambda}\)なので\(B_{\lambda}\subseteq O\)となり、\(x\in B_{\lambda}\subseteq O\)となる。
故に\(\Rightarrow\)が成り立つ。
\(\Leftarrow\)
条件より、任意の開集合\(O\in\mathcal{O}\)と任意の元\(x\in O\)に対し、ある\(\mathcal{B}\)の元\(B_{x}\in\mathcal{B}\)が存在し、\(x\in B_{x}\subseteq O\)となる。これより、任意の開集合\(O\)に対して、\(O=\bigcup_{x\in O}B_{x}\)とできるので\(\mathcal{B}\)は開基となる。
故に\(\Leftarrow\)が成り立つ。
\(\Leftrightarrow\)
これらより、\(\Rightarrow\)と\(\Leftarrow\)が成り立つので\(\Leftrightarrow\)が成り立つ。ページ情報
タイトル | 開基の基本性質 |
URL | https://www.nomuramath.com/ezz4tc0h/ |
SNSボタン |
負数の偏角と対数
\[
\Arg\alpha-\Arg\left(-\alpha\right)=2\pi H_{0}\left(\Arg\left(\alpha\right)\right)-\pi
\]
平方剰余の定義
\[
QR(a,p)
\]
円となるための条件
\[
\frac{a^{2}+b^{2}}{4}-c>0
\]
剰余演算同士の和・差
\[
\mod\left(x,a,b\right)+\mod\left(y,a,b\right)=\mod\left(x+y,a,b\right)+a\mzp_{0,1}\left(b\sgn\left(a\right),b\sgn\left(a\right)+\left|a\right|;\sgn\left(a\right)\left(\mod\left(x,a,b\right)+\mod\left(y,a,b\right)\right)\right)
\]