2023年10月15日日曜日

386: 1ディメンジョナル(次元)ユークリディアントポロジカルスペース(空間)のコネクテッド(連結された)トポロジカルサブスペース(部分空間)たちはインターバル(区間)たちである

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

1ディメンジョナル(次元)ユークリディアントポロジカルスペース(空間)のコネクテッド(連結された)トポロジカルサブスペース(部分空間)たちはインターバル(区間)たちであることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、Rユークリディアントポロジカルスペース(空間)の全てのコネクテッド(連結された)トポロジカルサブスペース(部分空間)たちのセット(集合)は全てのインターバル(区間)たちのセット(集合)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 注


ここでの'インターバル(区間)'は任意のシングルトン(単点セット(集合)){r}[r,r]として含む。任意のインターバル(区間)は少なくとも2ポイントたちを持たなければならないという別の定義もあり得るが、私たちはそれを採用しなかった、なぜなら、[r,r]を除外することは、より不自然であり、私たちの目的たちのためには便利よりはより扱いにくいと思われる。


2: 記述


Rユークリディアントポロジカルスペース(空間)の全てのコネクテッド(連結された)トポロジカルサブスペース(部分空間)たちのセット(集合)は全てのインターバル(区間)たちのセット(集合)である。


3: 証明


任意のコネクテッド(連結された)トポロジカルサブスペース(部分空間)はインターバル(区間)であることを証明しよう、任意の非インターバル(区間)はコネクテッド(連結された)トポロジカルサブスペース(部分空間)でないことを証明することによって。SRはインターバル(区間)でない任意のサブセット(部分集合)であるとしよう。以下を満たすいくつかのポイントたちr1,r2S、つまり、r1<r2、に対して、以下を満たすあるポイントr3R、つまり、r1<r3<r2およびr3S、がある。S1:=S(,r3)およびS2:=S(r3,)を定義しよう。Siは非空であり、S上のオープン(開)である、サブスペース(部分空間)トポロジーの定義によって。S=S1S2およびS1S2=。したがって、Sはコネクテッド(連結された)トポロジカルサブスペース(部分空間)ではない。

任意のインターバル(区間)はコネクテッド(連結された)トポロジカルサブスペース(部分空間)である、任意のRnインターバル(区間)はコネクテッド(連結された)トポロジカルサブスペース(部分空間)であるという命題によって。


参考資料


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