連続と開基との関係
連続と開基との関係
位相空間\(\left(X,\mathcal{O}_{X}\right)\)から位相空間\(\left(Y,\mathcal{O}_{Y}\right)\)への写像\(f:X\rightarrow Y\)があるとき、\(f\)が連続であることと、\(Y\)の開基\(\mathcal{B}_{Y}\)の任意の元\(B_{Y}\)に対し\(f^{\bullet}\left(B_{Y}\right)\in\mathcal{O}_{X}\)となることは同値である。
位相空間\(\left(X,\mathcal{O}_{X}\right)\)から位相空間\(\left(Y,\mathcal{O}_{Y}\right)\)への写像\(f:X\rightarrow Y\)があるとき、\(f\)が連続であることと、\(Y\)の開基\(\mathcal{B}_{Y}\)の任意の元\(B_{Y}\)に対し\(f^{\bullet}\left(B_{Y}\right)\in\mathcal{O}_{X}\)となることは同値である。
\(\Rightarrow\)
\(B_{Y}\in\mathcal{B}_{Y}\subseteq\mathcal{O}_{Y}\)なので、任意の\(B_{Y}\in\mathcal{B}_{Y}\)に対し、ある\(O_{Y}\in\mathcal{O}_{Y}\)が存在し、\(O_{Y}=B_{Y}\)となるので、\(f\)が連続であるという条件より\(f^{\bullet}\left(B_{Y}\right)=f^{\bullet}\left(O_{Y}\right)\in\mathcal{O}_{X}\)となる。故に\(\Rightarrow\)が成り立つ。
\(\Leftarrow\)
条件より、\(\mathcal{B}_{Y}=\left\{ B_{Y,\lambda};\lambda\in\Lambda\right\} \)とすると、任意の\(B_{Y,\lambda}\in\mathcal{B}_{Y}\)に対し、ある\(O_{X,\lambda}\in\mathcal{O}_{X}\)が存在し\(f^{\bullet}\left(B_{Y,\lambda}\right)=O_{X,\lambda}\)となる。\(\mathcal{B}_{Y}\)は開基なので、任意の\(\mathcal{O}_{Y}\)の元\(O_{Y}\in\mathcal{O}_{Y}\)に対し、ある集合\(\Lambda'\)が存在し、\(O_{Y}=\bigcup\left\{ B_{Y,\lambda};\lambda\in\Lambda'\right\} =\bigcup_{\lambda\in\Lambda'}B_{Y,\lambda}\)となる。
これより、\(f^{\bullet}\left(O_{Y}\right)=f^{\bullet}\left(\bigcup_{\lambda\in\Lambda'}B_{Y,\lambda}\right)=\bigcup_{\lambda\in\Lambda'}f^{\bullet}\left(B_{Y,\lambda}\right)=\bigcup_{\lambda\in\Lambda'}O_{X,\lambda}\in\mathcal{O}_{X}\)となるので、\(f\)は連続となる。
故に\(\Leftarrow\)が成り立つ。
\(\Leftrightarrow\)
これらより、\(\Rightarrow\)と\(\Leftarrow\)が成り立つので\(\Leftrightarrow\)が成り立つ。
ページ情報
| タイトル | 連続と開基との関係 |
| URL | https://www.nomuramath.com/xgtv233w/ |
| SNSボタン |
多重階乗と拡張多重階乗の定義
\[
\left(x\right)!^{n}=n^{\frac{x-1}{n}}\frac{\left(\frac{x}{n}\right)!}{\left(\frac{1}{n}\right)!}
\]
3角関数3つでの積和公式・和積公式
\[
\sin A+\sin B+\sin C=4\sin\frac{B+C}{2}\sin\frac{C+A}{2}\sin\frac{A+B}{2}+\sin\left(A+B+C\right)
\]
オイラーの4平方恒等式
\[
\left(a_{0}^{\;2}+a_{1}^{\;2}+a_{2}^{\;2}+a_{3}^{\;2}\right)\left(b_{0}^{\;2}+b_{1}^{\;2}+b_{2}^{\;2}+b_{3}^{\;2}\right)=\left(a_{0}b_{0}-a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}\right)^{2}+\left(a_{0}b_{1}+a_{1}b_{0}+a_{2}b_{3}-a_{3}b_{2}\right)^{2}+\left(a_{0}b_{2}-a_{1}b_{3}+a_{2}b_{0}+a_{3}b_{1}\right)^{2}+\left(a_{0}b_{3}+a_{1}b_{2}-a_{2}b_{1}+a_{3}b_{0}\right)^{2}
\]
三角関数を正接の半角、双曲線関数を双曲線正接の半角で表す。
\[
\sin z=\frac{2\tan\frac{z}{2}}{1+\tan^{2}\frac{z}{2}}
\]