開基の基本性質
開基の基本性質
位相空間\(\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ボタン |
上限と下限・最大元と最小元・上極限と下極限との関係
\[
\inf_{n\in\mathbb{N}}\left(-a_{n}\right)=-\sup_{n\in\mathbb{N}}\left(a_{n}\right)
\]
三角関数の合成
\[
a\sin\theta+b\cos\theta =\sqrt{a^{2}+b^{2}}\sin(\theta+\alpha)
\]
フレネル積分の一般化
\[
\int_{0}^{\infty}\sin\left(x^{a}\right)dx=\Gamma\left(\frac{1}{a}+1\right)\sin\frac{\pi}{2a}
\]
切片の定義
\[
X\left\langle a\right\rangle =\left\{ x\in X;x\prec a\right\}
\]