開基の基本性質
開基の基本性質
位相空間\(\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ボタン |
交換子が定数になるときの性質
\[
\left[A^{n},B\right]=n\left[A,B\right]A^{n-1}
\]
完備リーマンゼータ関数の関数等式
\[
\xi(s)=\xi(1-s)
\]
三角関数と双曲線関数のn乗積分
\[
\int\sin^{2n+m_{\pm}}xdx=\frac{\Gamma\left(n+\frac{1}{2}+\frac{m_{\pm}}{2}\right)}{\Gamma\left(n+1+\frac{m_{\pm}}{2}\right)}\left\{ -\frac{1}{2}\sum_{k=0}^{n-1}\left(\frac{\Gamma\left(k+1+\frac{m_{\pm}}{2}\right)}{\Gamma\left(k+\frac{3}{2}+\frac{m_{\pm}}{2}\right)}\cos x\sin^{2k+1+m_{\pm}}x\right)+\frac{\Gamma\left(1+\frac{m_{\pm}}{2}\right)}{\Gamma\left(\frac{1}{2}+\frac{m_{\pm}}{2}\right)}\int\sin^{m_{\pm}}xdx\right\}
\]
🔰[python]print文で色をつけてみよう