トポロジカルスペース（空間）からパスコネクテッド（連結された）トポロジカルスペース（空間）の中への\(2\)個のコンスタントマップ（写像）たちはホモトピックであることの記述/証明
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、パスコネクテッド（連結された）トポロジカルスペース（空間）の定義を知っている。
- 読者は、ホモトピックマップ（写像）たちの定義を知っている。
- 読者は、任意のトポロジカルスペース（空間）間任意のコンスタントマップ（写像）はコンティニュアス（連続）であるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のトポロジカルスペース（空間）から任意のパスコネクテッド（連結された）トポロジカルスペース（空間）の中への任意の\(2\)個のコンスタントマップ（写像）たちはホモトピックであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(T_1\): \(\in \{\text{ 全てのトポロジカルスペース（空間）たち }\}\)
\(T_2\): \(\in \{\text{ 全てのパスコネクテッド（連結された）トポロジカルスペース（空間）たち }\}\)
\(p\): \(\in T_2\)
\(p'\): \(\in T_2\)
\(f\): \(: T_1 \to T_2, t \mapsto p\)
\(f'\): \(: T_1 \to T_2, t \mapsto p'\)
//
ステートメント（言明）たち:
\(f \simeq f'\)、ここで、\(\simeq\)は、ホモトピックであることを意味する
//
2: Proof
Whole Strategy: Step 1: see that \(f\) and \(f'\) are continuous; Step 2: take a path from \(p\) to \(p'\), \(\gamma: I \to T_2\), and a map, \(g: T_1 \times I \to T_2, (t, j) \mapsto \gamma (j)\), and see that \(g\) is a homotopy from \(f\) to \(f'\).
Step 1:
\(f\) and \(f'\) are continuous, by the proposition that any constant map between any topological spaces is continuous.
Step 2:
There is a path (which is a continuous map), \(\gamma: I \to T_2\), such that \(\gamma (0) = p\) and \(\gamma (1) = p'\), because \(T_2\) is path-connected.
Let us define the map, \(g: T_1 \times I \to T_2, (t, j) \mapsto \gamma (j)\).
\(g\) is continuous, because for each \((t, j) \in T_1 \times I\), for each neighborhood of \(g ((t, j)) = \gamma (j)\), \(N_{\gamma (j)} \subseteq T_2\), there is a neighborhood of \(j\), \(N_j \subseteq I\), such that \(\gamma (N_j) \subseteq N_{\gamma (j)}\), because \(\gamma\) is continuous, and there is the neighborhood of \((t, j)\), \(T_1 \times N_j \subseteq T_1 \times I\), which satisfies \(g (T_1 \times N_j) \subseteq N_{\gamma (j)}\), because for each \((t, j') \in T_1 \times N_j\), \(g ((t, j')) = \gamma (j') \in N_{\gamma (j)}\), because \(\gamma (N_j) \subseteq N_{\gamma (j)}\).
For each \(t \in T_1\), \(g ((t, 0)) = \gamma (0) = p = f (t)\) and \(g ((t, 1)) = \gamma (1) = p' = f ' (t)\).
So, \(f\) and \(f'\) are homotopic.
