ポインテッドトポロジカルスペース(空間)たちのウェッジサム(楔和)の定義
話題
About: トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
- 読者は、ポインテッドセット(集合)たちのウェッジサム(楔和)の定義を知っている。
- 読者は、トポロジカルサムの定義を知っている。
- 読者は、セット(集合)上の、マップ(写像)に関するクオシエント(商)トポロジーの定義を知っている。
ターゲットコンテキスト
- 読者は、ポインテッドトポロジカルスペース(空間)たちのウェッジサム(楔和)の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
\( \{(T_\alpha, p_\alpha) \vert \alpha \in A\}\): \(\subseteq \{\text{ 全てのポインテッドトポロジカルスペース(空間)たち }\}\), \(A \in \{\text{ 全てのアンカウンタブル(不可算)インデックスセット(集合)たち }\}\)
\( \coprod_{\alpha \in A} T_\alpha\): \(= \text{ 当該トポロジカルサム }\)
\(*\vee_{\alpha \in A} (T_\alpha, p_\alpha)\): \(= \text{ 当該セット(集合)たちの当該ウェッジサム(楔和)}\)で、\(f\)に関するクオシエント(商)トポロジーを持つもの
\( f\): \(: \coprod_{\alpha \in A} T_\alpha \to \vee_{\alpha \in A} (T_\alpha, p_\alpha)\), \(= p_\alpha \text{ を } [p_\alpha] \text{ へマップするカノニカルマップ(写像) }\)
//
コンディションたち:
//