2023年2月19日日曜日

206: 2ポイントたちはトポロジカルにパスコネクテッド(連結された)である、もしも2ポイントたちをコネクト(連結)するパスがある場合、そしてその場合に限って

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

2ポイントたちはトポロジカルにパスコネクテッド(連結された)である、もしも2ポイントたちをコネクト(連結)するパスがある場合、そしてその場合に限って、ことの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意の2ポイントたちは任意のトポロジカルスペース(空間)上でパスコネクテッド(連結された)である、もしも、当該トポロジカルスペース(空間)上に当該2ポイントたちをコネクト(連結)するパスがある場合、そしてその場合に限ってという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


任意のトポロジカルスペース(空間)Tに対して、任意のポイントたちp1,p2Tはパスコネクテッド(連結された)である、もしも、以下を満たすパスλ:[r1,r2]T、つまり、λ(r1)=p1およびλ(r2)=p2、がある場合、そしてその場合に限って。


2: 証明


あるλがあると仮定する。T1:=λ([r1,r2])はパスコネクテッド(連結された)トポロジカルサブスペース(空間)であると証明しよう。任意のポイントたちp3,p4T1に対して、p3=λ(r3)およびp4=λ(r4)、そして、λ:[r3,r4]T1、それは、λのドメイン(定義域)およびコドメイン(余域)についてのリストリクション(制限)であり、T1上のパスである、任意のコンティヌアス(連続)マップ(写像)の、ドメイン(定義域)およびコドメイン(余域)についてのリストリクション(制限)はコンティヌアス(連続)であるという命題によって。したがって、p3p4T1上でパスコネクテッド(連結された)である。したがって、p1p2T上でパスコネクテッド(連結された)である、両ポイントたちを包含するあるパスコネクテッド(連結された)トポロジカルサブスペース(部分空間)があるから。

p1p2はパスコネクテッド(連結された)であると仮定する。あるパスコネクテッド(連結された)トポロジカルサブスペース(部分空間)p1,p2T1Tがある。当該2ポイントたちをコネクト(連結)するあるパスλ:[r1,r2]T1がある、しかし、任意のコンティニュアス(連続)マップ(写像)のコドメイン(余域)についてのエクスパンション(拡張)はコンティニュアス(連続)であるという命題によって、λ:[r1,r2]TT上のパスである。


3: 注


本命題は、一部の人々にとっては定義かもしれない、しかし、私は別の定義を採択したので、本命題が必要なのだ。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>