パスコネクテッド（連結された）サブスペース（部分空間）たちのユニオン（和集合）パスコネクテッド（連結された）である、もしも、各サブスペース（部分空間）からポイントを抽出したサブスペース（部分空間）がパスコネクテッド（連結された）である場合、ことの記述/証明
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
ターゲットコンテキスト
- 読者は、任意のトポロジカルスペース（空間）に対して、任意のアンカウンタブル（不可算）かもしれない数のパスコネクテッド（連結された）サブスペース（部分空間）たちのユニオン（和集合）はパスコネクテッド（連結された）である、もしも、各サブスペース（部分空間）から1ポイントを抽出したサブスペース（部分空間）がパスコネクテッド（連結された）である場合、という命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のトポロジカルスペース（空間）\(T\)および任意のアンカウンタブル（不可算）かもしれない数のパスコネクテッド（連結された）サブスペース（部分空間）たち\(\{S_\alpha\}\)、\(S_\alpha \subseteq T\)に対して、\(\cup_\alpha S_\alpha\)はパスコネクテッド（連結された）である、もしも、各\(S_\alpha\)から1ポイントを抽出したサブスペース（部分空間）\(\{p_\alpha\}\)、ここで、\(p_\alpha \in S_\alpha\)、がパスコネクテッド（連結された）である場合。
2: 証明
任意のトポロジカルサブスペース（部分空間）上でパスコネクテッド（連結された）である任意の2ポイントたちは任意のより大きなサブスペース（部分空間）上でパスコネクテッド（連結された）であるという命題に留意する。
任意の\(p_1, p_2 \in \cup_\alpha S_\alpha\)に対して、ある\(\alpha_1\)とある\(\alpha_2\)に対して、\(p_1 \in S_{\alpha_1}\)および\(p_2 \in S_{\alpha_2}\)。\(p_1\)と\(p_{\alpha_1}\)は\(S_{\alpha_1}\)上でパスコネクテッド（連結された）である、したがって、より大きな\(\cup_\alpha S_\alpha\)上でパスコネクテッド（連結された）である、\(p_2\)と\(p_{\alpha_2}\)は\(S_{\alpha_2}\)上でパスコネクテッド（連結された）である、したがって、より大きな\(\cup_\alpha S_\alpha\)上でパスコネクテッド（連結された）である、そして、\(p_{\alpha_1}\)と\(p_{\alpha_2}\)は\(\{p_\alpha\}\)上でパスコネクテッド（連結された）である、したがって、より大きな\(\cup_\alpha S_\alpha\)上でパスコネクテッド（連結された）である、したがって、2ポイントたちのトポロジカルパスコネクテッド性はイクイバレンス（同値）リレーション（関係）であるという命題によって、\(p_1\)と\(p_2\)は\(\cup_\alpha S_\alpha\)上でパスコネクテッド（連結された）である。
