開基の基本性質
開基の基本性質
位相空間\(\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ボタン |
カントールの対関数の性質
\[
\pi\left(m+1,n\right)=\pi\left(m,n\right)+m+n+1
\]
交換子・反交換子と指数関数の定義
\[
\left[\hat{A},\hat{B}\right]=\hat{A}\hat{B}-\hat{B}\hat{A}
\]
距離空間と位相空間の関係
距離空間の開集合族は位相空間
ブラーマグプタの公式
\[
S=\sqrt{\left(s-a\right)\left(s-b\right)\left(s-c\right)\left(s-d\right)}
\]