2022年10月9日日曜日

147: コネクテッド(連結された)トポロジカルスペース(空間)のオープンカバーの要素たちペアはカバー要素たちを介して有限数オープンセット(開集合)たちシーケンスコネクテッド(連結された)である

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

コネクテッド(連結された)トポロジカルスペース(空間)のオープンカバーの要素たちペアはカバー要素たちを介して有限数オープンセット(開集合)たちシーケンスコネクテッド(連結された)であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のコネクテッド(連結された)トポロジカルスペース(空間)の任意のオープンカバーの任意の要素たちペアは、当該オープンカバーのいくつかの要素たちを介して有限数オープンセット(開集合)たちシーケンスコネクテッド(連結された)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のコネクテッド(連結された)トポロジカルスペース(空間)Tおよび任意のオープンカバーSc={Uα},αUα=Tに対して、任意の要素たちペアU1,U2Scは、Scのいくつかの要素たちを介して有限数オープンセット(開集合)たちシーケンスコネクテッド(連結された)である。


2: 証明


当該オープンカバーのイクイバレンス(同値)クラスSe={Uβ}Scを、当イクイバレンス(同値)クラスの各要素はU1と、Scのいくつかの要素たちを介して有限数オープンセット(開集合)たちシーケンスコネクテッド(連結された)であるものであるというように取ると、それは明らかにイクイバレンス(同値)クラスである。

もしも、SeScに一致しなければ、Sr:=ScSe={Uγ}は空でないということになる。SeSr=Scはオープンカバーだから、(βUβ)(γUγ)=T、しかし、Tはコネクテッド(連結された)であるから、(βUβ)(γUγ)、なぜなら、そうでなければ、Tは、オープンセット(開集合)たちβUβおよびγUγのディスジョイント(互いに素)なユニオン(共通集合)だということになる。したがって、以下を満たすあるポイントpT、つまり、pβUβおよびpγUγ、があることになる、それが意味するのは、あるβに対してpUβおよびあるγに対してpUγ、したがって、pUβUγ、それは矛盾である、なぜなら、UγUβとあるポイントを共有することになるから、UγU1と有限数オープンセット(開集合)たちシーケンスコネクテッド(連結された)であるということになる。したがって、SeScに等しい。

したがって、U2Se、そして、U1U2Scのいくつかの要素たちを介して有限数オープンセット(開集合)たちシーケンスコネクテッド(連結された)である。


3: 注


あらゆるコネクテッド(連結された)トポロジカルスペース(空間)がパスコネクテッド(連結された)であるわけではないが、任意のコネクテッド(連結された)トポロジカルスペース(空間)の任意のオープンセット(開集合)たちペアはオープンセット(開集合)の方法によってコネクテッド(連結された)である。


参考資料


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