包含写像・射影・商写像は連続写像
包含写像・射影・商写像は連続写像
包含写像・射影・商写像は連続写像となる。
包含写像・射影・商写像は連続写像となる。
(1)
位相空間\(\left(X,\mathcal{O}\right)\)と部分集合\(A\subseteq X\)があるとき、包含写像\(\iota:A\rightarrow X\)は連続写像となる。(2)
位相空間\(\left(X,\mathcal{O}_{X}\right),\left(Y,\mathcal{O}_{Y}\right)\)があるとき、射影\(\pi_{X}:X\times Y\rightarrow X\)は連続写像となる。(3)
位相空間\(\left(X,\mathcal{O}\right)\)と商集合\(X\setminus\sim\)があるとき、商写像\(f:X\rightarrow X\setminus\sim\)は連続写像となる。(1)
\(A\)での部分位相\(\left(A,\mathcal{O}_{A}\right)\)は\(\mathcal{O}_{A}=\left\{ O\cap A;O\in\mathcal{O}\right\} \)なので、任意の\(O\in\mathcal{O}\)に対し、\(\iota^{\bullet}\left(O\right)=A\cap O\in\mathcal{O}_{A}\)となるので\(\iota\)は連続写像になる。(2)
\(Y\in\mathcal{O}_{Y}\)であり、\(X\times Y\)での位相を\(\mathcal{O}_{X\times Y}\)とする。任意の\(O_{X}\in\mathcal{O}_{X}\)に対し、\(O_{X}\times Y\)は\(\mathcal{O}_{X\times Y}\)の開基になるので\(\pi_{X}^{\bullet}\left(O_{X}\right)=O_{X}\times Y\in\mathcal{O}_{X\times Y}\)となり、\(\pi_{X}\)は連続写像になる。
(3)
\(X\setminus\sim\)の開集合全体の集合は\(\mathcal{O}_{X\setminus\sim}=\left\{ O_{X\setminus\sim};f^{\bullet}\left(O_{X\setminus\sim}\right)\in\mathcal{O}_{X}\right\} \)なので連続写像となる。
ページ情報
| タイトル | 包含写像・射影・商写像は連続写像 |
| URL | https://www.nomuramath.com/fg4a1dnk/ |
| SNSボタン |
始点・終点に関して対称な形を含む総和・積分
\[
\sum_{k=a}^{b}\frac{f\left(k\right)}{f\left(k\right)+f\left(a+b-k\right)}=\frac{b-a+1}{2}
\]
点と集合との距離の関係
\[
d\left(x,A\right)=0\Leftrightarrow x\in A^{a}
\]
三角関数と双曲線関数の積分
\[
\int f(\cos x,\sin x)dx=\int f\left(\frac{1-t^{2}}{1+t^{2}},\frac{2t}{1+t^{2}}\right)\frac{2}{1+t^{2}}dt\cmt{t=\tan\frac{x}{2}}
\]
スターリング数の組み合わせ解釈