アジャンクション（付加）トポロジカルスペース（空間）に対して、アタッチング先スペース（空間）からアジャンクション（付加）スペース（空間）へのカノニカルマップ（写像）はコンティニュアス（連続）エンベディング（埋め込み）であることの記述/証明
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、トポロジカルスペース（空間）の定義を知っている。
- 読者は、トポロジカルスペース（空間）をマップ（写像）を介してトポロジカルスペース（空間）へアタッチして得られたアジャンクショントポロジカルスペース（空間）を知っている。
- 読者は、コンティヌアス（連続）エンベディング（埋め込み）を知っている。
- 読者は、サブスペーストポロジーの定義を知っている。
- 読者は、セット（集合）上の、マップ（写像）に関するクオシエント（商）トポロジーを知っている。
- 読者は、トポロジカルサムの定義を知っている。
- 読者は、任意のマップ（写像）に対して、任意の、セット（集合）たちのユニオン（和集合）、のマップ（写像）イメージ（像）はそれらセット（集合）たちのマップ（写像）イメージ（像）たちのユニオン（和集合）であるという命題を認めている。
- 読者は、任意のコンティヌアス（連続）マップ（写像）の、ドメイン（定義域）およびコドメイン（余域）についてのリストリクション（制限）はコンティヌアス（連続）であるという命題を認めている。
- 読者は、任意のマップ（写像）に対して、任意の、セット（集合）たちのユニオン（和集合）、のマップ（写像）プリイメージ（前像）は、それらセット（集合）たちのマップ（写像）プリイメージ（前像）たちのユニオン（和集合）であるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のアジャンクション（付加）トポロジカルスペース（空間）に対して、アタッチング先スペース（空間）からアジャンクション（付加）スペース（空間）へのカノニカルマップ（写像）はコンティニュアス（連続）エンベディング（埋め込み）であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のトポロジカルスペース（空間）たち\(T_1, T_2\)、任意のサブセット（部分集合）\(S \subseteq T_1\)、任意のコンティニュアス（連続）マップ（写像）\(f: S \rightarrow T_2\)、アジャンクション（付加）トポロジカルスペース（空間）\(T_2 \cup_f T_1\)に対して、カノニカルマップ（写像）\(f_3: T_2 \rightarrow T_2 \cup_f T_1\)はコンティニュアス（連続）エンベディング（埋め込み）である。
2: 証明
\(f_3\)は明らかにインジェクティブ（単射）である。\(f_3\)はコンティニュアス（連続）である、なぜなら、\(f_3: T_2 \rightarrow T_1 + T_2 \rightarrow T_2 \cup_f T_1\)はコンティニュアス（連続）マップ（写像）たちの合成（合成の前者構成要素がそうであるのはトポロジカルサムの定義による; 後者がそうであるのはクオシエント（商）スペース（空間）の定義による）)だから。\({f_3}': T_2 \rightarrow f_3 (T_2)\)はバイジェクティブ（全単射）でありコンティニュアス（連続）である、任意のコンティヌアス（連続）マップ（写像）の、ドメイン（定義域）およびコドメイン（余域）についてのリストリクション（制限）はコンティヌアス（連続）であるという命題によって。残る問題は\({{f_3}'}^{-1}\)はコンティニュアス（連続）であるかである。任意のオープンセット（開集合）\(U \subseteq T_2\)に対して、\(U = S' \cup S''\)、ここで、\(S' = U \cap f (T_1)\)で\(S'' = U \setminus S'\)。\({{{f_3}'}^{-1}}^{-1} (U)\)は\(f_3 (T_2)\)上でオープン（開）か？\({{{f_3}'}^{-1}}^{-1} (U) = {f_3}' (U) = {f_3}' (S') \cup {f_3}' (S'')\)、任意のマップ（写像）に対して、任意の、セット（集合）たちのユニオン（和集合）、のマップ（写像）イメージ（像）はそれらセット（集合）たちのマップ（写像）イメージ（像）たちのユニオン（和集合）であるという命題によって。\({f_3}' (S') = \{[p]: p \in S', [p] = \{f^{-1} (p) \cup \{p\}\}\}\); \({f_3}' (S'') = S''\)。
\({{{f_3}'}^{-1}}^{-1} (U)\)が\(f_3 (T_2)\)上でオープンか否かは、以下を満たすあるオープンセット（開集合）\(U' \subset T_2 \cup_f T_1\)があるか否かである、つまり、\({{{f_3}'}^{-1}}^{-1} (U) = U' \cap f_3 (T_2)\)、サブスペース（部分空間）トポロジーの定義によって、したがって、そうした\(U'\)を定義しよう。\(f^{-1} (U)\)は\(S\)上でオープン（開）である、したがって、以下を満たすあるオープンセット（開集合）\(U'' \subseteq T_1\)がある、つまり、\(f^{-1} (U) = U'' \cap S\)。\(U' := (U'' \setminus S) \cup {{{f_3}'}^{-1}}^{-1} (U)\)。\(U'\)は\(T_2 \cup_f T_1\)上でオープン（開）であることを証明しよう、それは、\(f_4^{-1} (U')\)は\(T_1 + T_2\)上でオープン（開）であるかである、ここで、\(f_4: T_1 + T_2 \rightarrow T_2 \cup_f T_1\)は当該クウォシェント（商）マップ（写像）である、セット（集合）上の、マップ（写像）に関するクオシエント（商）トポロジーの定義によって、それは、\(f_4^{-1} (U') \cap T_1\)および\(f_4^{-1} (U') \cap T_2\)がオープン（開）であるかである、トポロジカルサムの定義によって。\(f_4^{-1} (U') \cap T_1 = U''\); \(f_4^{-1} (U') \cap T_2 = U\)。したがって、\(U'\)は\(T_2 \cup_f T_1\)上でオープン（開）である。\({{{f_3}'}^{-1}}^{-1} (U) = U' \cap f_3 (T_2)\)、なぜなら、\(U'\)は\((U'' \setminus S) \cup {{{f_3}'}^{-1}}^{-1} (U)\)、\(f_3 (T_2) \cap (U'' \setminus S) = \emptyset\)であるところ。
