2023年2月26日日曜日

219: パスコネクテッド(連結された)トポロジカルコンポーネントはローカルにパスコネクテッド(連結された)トポロジカルスペース(空間)上でオープン(開)かつクローズド(閉)である

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

パスコネクテッド(連結された)トポロジカルコンポーネントはローカルにパスコネクテッド(連結された)トポロジカルスペース(空間)上でオープン(開)かつクローズド(閉)であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のパスコネクテッド(連結された)トポロジカルコンポーネントは任意のローカルにパスコネクテッド(連結された)トポロジカルスペース(空間)上でオープン(開)かつクローズド(閉)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のローカルにパスコネクテッド(連結された)トポロジカルスペース(空間)Tに対して、任意のパスコネクテッド(連結された)コンポーネントT1Tはオープン(開)かつクローズド(閉)である。


2: 証明


任意のポイントpT1の周りに、pのあるネイバーフッド(近傍)NpTおよびpのパスコネクテッド(連結された)ネイバーフッド(近傍)NpNpがある。NpT1、なぜなら、Np上の各ポイントはNp上でpとパスコネクテッド(連結された)である、したがって、T上でもそうである、任意のトポロジカルサブスペース(部分空間)上でパスコネクテッド(連結された)である任意の2ポイントたちは任意のより大きなサブスペース(部分空間)上でパスコネクテッド(連結された)であるという命題によって。したがって、T1はオープン(開)である、オープン(開)であることのローカル基準によって。

T1はクローズド(閉)でなかったと仮定する。クロージャー(閉包)T1はクローズド(閉)であるところ、あるポイントpT1およびpT1があるだろう。任意のサブセット(部分集合)のクロージャー(閉包)はサブセット(部分集合)とサブセット(部分集合)のアキューミュレーションポイント(集積点)たちセット(集合)のユニオン(和集合)であるという命題によって、pT1のアキューミュレーションポイント(集積点)であるだろう。pの任意のネイバーフッド(近傍)Npに対して、pのあるパスコネクテッド(連結された)ネイバーフッド(近傍)NpNpがある。pT1のアキューミュレーション(集積点)ポイントということになるから、NpT1のあるポイントを包含することになる、したがって、pNp上でT1の当該ポイントとパスコネクテッド(連結された)だということになる、そして、T上でそうだということになる、任意のトポロジカルサブスペース(部分空間)上でパスコネクテッド(連結された)である任意の2ポイントたちは任意のより大きなサブスペース(部分空間)上でパスコネクテッド(連結された)であるという命題によって。したがって、pT1内にあるということになる、矛盾。したがって、T1はクローズド(閉)である。


参考資料


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