包含写像・射影・商写像は連続写像
包含写像・射影・商写像は連続写像
包含写像・射影・商写像は連続写像となる。
包含写像・射影・商写像は連続写像となる。
(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ボタン |
有界閉区間上の連続関数はリーマン可積分
有界閉区間上の連続関数はリーマン可積分である。
有限補有限位相は離散位相
\[
\left|X\right|<\infty\leftrightarrow\left(X,\mathcal{O}_{c}\right)=\left(X,2^{X}\right)
\]
上限位相と下限位相の定義
\[
\mathcal{B}_{u}=\left\{ \left(a,b\right];a,b\in\mathbb{R},a<b\right\}
\]
整徐関係と半順序関係