194: サブセット（部分集合）たちのセット（集合）でセット（集合）全体と空集合を含むものはサブベーシス（基底）を構成する|T.B.P.日本語版

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

サブセット（部分集合）たちのセット（集合）でセット（集合）全体と空集合を含むものはサブベーシス（基底）を構成することの記述/証明

話題

About: トポロジカルスペース（空間）

この記事の目次

開始コンテキスト
ターゲットコンテキスト
オリエンテーション
本体
1: 記述
2: 証明
3: 注

開始コンテキスト

読者は、トポロジカルスペース（空間）の定義を知っている。
読者は、サブベーシス（基底）の定義を知っている。
読者は、オープンセット（開集合）たちの任意のコレクションがベーシス（基底）であることの1つの基準を認めている。

ターゲットコンテキスト

読者は、任意のセット（集合）に対して、任意のサブセット（部分集合）たちセット（集合）でセット（集合）全体と空集合を含むものはサブベーシス（基底）を構成するという命題の記述と証明を得る。

オリエンテーション

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

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

本体

1: 記述

任意のセット（集合）

S

、

S

のサブセット（部分集合）たちの任意のセット（集合）

S^{'}

でセット（集合）全体と空集合を含むものはあるサブベーシス（基底）を構成する。

2: 証明

オープンセット（開集合）たちセット（集合）で、各オープンセット（開集合）は、

S^{'}

からのサブセット（部分集合）たちの任意の有限インターセクション（共通集合）たちの任意のユニオン（和集合）であると定義されたものは、トポロジーを構成することを示そう。セット（集合）全体と空集合は明らかに含まれている。

オープンセット（開集合）たちの任意のユニオン（和集合）

\cup_{α} \cup_{β} \cap_{i} S_{α, β, i}

、ここで、

{α}

はアンカウンタブル（不可算）かもしれないインデックスセット（集合）、

{α, β}

は各固定された

α

ごとにアンカウンタブル（不可算）かもしれないインデックスセット（集合）、

{α, β, i}

は各固定された

α, β

ごとに有限なインデックスセット（集合）、

S_{α, β, i}

は

S^{'}

のサブセット（部分集合）である、を考えよう。

\cup_{α} \cup_{β} \cap_{i} S_{α, β, i} = \cup_{α, β} \cap_{i} S_{α, β, i}

、それは、

S^{'}

からのサブセット（部分集合）たちの有限インターセクション（共通集合）たちのユニオン（共通集合）であり、オープン（開）である。

オープンセット（開集合）たちの有限インターセクション（共通集合）たちに関しては、最初に、2つのオープンセット（開集合）たちのインターセクション（共通集合）たちを考えよう。2つのオープンセット（開集合）たちの任意のインターセクション（共通集合

(\cup_{α} \cap_{i} S_{α, i}) \cap (\cup_{β} \cap_{j} S_{β, j})

、ここで、

{α}

および

{β}

はアンカウンタブル（不可算）かもしれないインデックスセット（集合）、

{α, i}

および

{β, j}

は各固定された

α

および

β

ごとに有限なインデックスセット（集合）、

S_{α, i}

および

S_{β, j}

は

S^{'}

からのサブセット（部分集合）たちである、を考えよう。

A_{α} := \cap_{i} S_{α, i}

および

B_{β} := \cap_{j} S_{β, j}

と表わそう、簡略化のため。

(\cup_{α} A_{α}) \cap (\cup_{β} B_{β}) = \cup_{α} (A_{α} \cap \cup_{β} B_{β})

、なぜなら、任意の

p \in (\cup_{α} A_{α}) \cap (\cup_{β} B_{β})

に対して、

p \in \cup_{α} A_{α}

および

p \in \cup_{β} B_{β}

、ある

α

に対して

p \in A_{α}

およびある

β

に対して

p \in B_{β}

、ある

α

に対して

p \in A_{α}

および

p \in \cup_{β} B_{β}

、ある

α

に対して

p \in A_{α} \cap \cup_{β} B_{β}

、したがって、

p \in \cup_{α} (A_{α} \cap \cup_{β} B_{β})

; 任意の

p \in \cup_{α} (A_{α} \cap \cup_{β} B_{β})

に対して、ある

α

に対して

p \in A_{α} \cap \cup_{β} B_{β}

、ある

α

に対して

p \in A_{α}

およびある

β

に対して

p \in B_{β}

、

p \in \cup_{α} A_{α}

および

p \in \cup_{β} B_{β}

、したがって、

p \in (\cup_{α} A_{α}) \cap (\cup_{β} B_{β})

。

A_{α} \cap \cup_{β} B_{β} = \cup_{β} (A_{α} \cap B_{β})

、なぜなら、任意の

p \in A_{α} \cap \cup_{β} B_{β}

、

p \in A_{α}

および

p \in \cup_{β} B_{β}

、

p \in A_{α}

およびある

β

に対して

p \in B_{β}

、ある

β

に対して

p \in A_{α} \cap B_{β}

、したがって、

p \in \cup_{β} (A_{α} \cap B_{β})

; 任意の

p \in \cup_{β} (A_{α} \cap B_{β})

に対して、ある

β

に対して

p \in A_{α} \cap B_{β}

、

p \in A_{α}

およびある

β

に対して

p \in B_{β}

、

p \in A_{α}

および

p \in \cup_{β} B_{β}

、したがって、

p \in A_{α} \cap \cup_{β} B_{β}

。したがって、

(\cup_{α} A_{α}) \cap (\cup_{β} B_{β}) = \cup_{α} (\cup_{β} (A_{α} \cap B_{β})) = \cup_{α β} A_{α} \cap B_{β} = \cup_{α β} (\cap_{i} S_{α, i}) \cap \cap_{j} S_{β, j}

)\)、それは、

S^{'}

からのサブセット（部分集合）たちの有限インターセクション（共通集合）たちのユニオン（和集合）であり、オープン（開）である。明らかに、数学的帰納法によって、オープンセット（開集合）たちの任意の有限インターセクション（共通集合）たちはオープン（開）である。

したがって、

S^{'}

によって定義されたオープンセット（開集合）たちセット（集合）はトポロジーである。

S^{'}

の全ての有限インターセクション（共通集合）たちのセット（集合）は当該トポロジーのベーシス（基底）を構成する、なぜなら、それは、オープンセット（開集合）たちの任意のコレクションがベーシス（基底）であることの1つの基準: 任意のトポロジカルスペース（空間）Tに対して、オープンセット（開集合）たちの任意のセット（集合）

{B_{α}}

はTのベーシス（基底）である、もしも、T上の各オープンセット（開集合）が当該セット（集合）のいくつかの要素たちのユニオン（和集合）である場合、そしてその場合に限ってを満たしているから。

したがって、

S^{'}

はサブベーシス（基底）である。

3: 注

セット（集合）および空集合は、　無のインターセクション（共通集合）はセット（集合）全体であり無のユニオン（和集合）は空集合であるとする取り決めに基づいて当該トポロジーに含まれている、と広く主張されているが、それら取り決めは自然であるとは思われず（特に前者）、

S^{'}

はセット（集合）全体と空集合を含むと単に要求するほうがより自然でより明瞭であると思われ、何の問題もない。

参考資料

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

バイアス惑星
定義たちと命題たち
学校数学をより高い視点から
わかりにくい用語や説明をひもとく
情報テーブル群
LibreOfficeまたはOpenOfficeを活用する
Javaプログラミング言語を暴く
C++を暴く
Pythonを暴く
C#を暴く
Gradleを暴く
Gitを暴く
UNOディスパッチコマンドたち

2023年2月12日日曜日