352: オープンセット(開集合)たちのコレクションがベーシス(基底)であるための基準
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
オープンセット(開集合)たちのコレクションがベーシス(基底)であるための基準の記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、オープンセット(開集合)たちの任意のコレクションがベーシス(基底)であることのいくつかの基準たちの記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述1
任意のトポロジカルスペース(空間)に対して、オープンセット(開集合)たちの任意のコレクションはのベーシス(基底)である、もしも、上の各オープンセット(開集合)がコレクションのいくつかの要素たちのユニオン(和集合)である場合、そしてその場合に限って。
2: 証明1
上の各オープンセット(開集合)はコレクションのいくつかの要素たちのユニオン(和集合)であると仮定する。任意のオープンセット(開集合)に対して、ユニオン(和集合)があり、任意のはを満たす、したがって、コレクションはベーシス(基底)である。
コレクションはベーシス(基底)であると仮定する。任意のオープンセット(開集合)はコレクションのいくつかの要素たちのユニオン(和集合)である、なぜなら、任意のポイントの周りに、あるオープンセット(開集合)がある、オープン(開)であるためのローカル基準によって;あるオープンセット(開集合)がベーシス(基底)内にある、ベーシス(基底)の定義によって;はベーシス(基底)内のそうしたオープンセット(開集合)たちのユニオン(和集合)である。
3: 記述2
任意のセット(集合)およびサブセット(部分集合)たちの任意のコレクションに対して、の要素たちの全てのユニオン(和集合)たちのコレクション(空集合は要素なしのユニオン(和集合)として含まれている)は、に対するトポロジーを構成する、そして、はそのトポロジカルスペース(空間)のベーシス(基底)である、もしも、1) はの全要素たちのユニオン(和集合)である、つまり、そして、2) 各セット(集合)たちおよび各ポイントに対して、以下を満たすあるセット(集合)がある、つまり、、場合、そしてその場合に限って。
4: 証明2
条件たち1)および2)が満足されていると仮定する。の要素たちの全てのユニオン(和集合)たちのコレクション内には含まれている、1)がゆえに、また、空集合は含まれている、また、コレクションの要素たちの任意の不可算かもしれない無限ユニオン(和集合)はコレクション内に含まれている、なぜなら、それは、の要素たちのユニオン(和集合)であるから、そして、コレクションの要素たちの任意の有限インターセクション(共通集合)はコレクション内に含まれている、なぜなら、任意の要素たちおよびに対して、インターセクション(共通集合)、しかし、2)のため、任意のに対して、以下を満たすある、つまり、、がある、したがって、、なぜなら、そうしたたちはカバーするから、したがって、インターセクション(共通集合)はであるが、それはコレクション内にいる。したがって、コレクションは実際にトポロジーである。は当トポロジーのベーシス(基底)である、なぜなら、任意のオープンセット(開集合)(それはの要素たちのあるユニオン(和集合)である)および当オープンセット(開集合)内の任意のポイントに対して、当ポイントはのある要素内にあり、その要素はがベーシス(基底)であることの定義を満たしているから。
トポロジーと想定されているものが本当にトポロジーであり、はそのトポロジカルスペース(空間)のベーシス(基底)であると仮定する。記述1によって、はオープン(開)であるので、はのいくつかの要素たちのユニオン(和集合)である、しかし、すると、はの全要素たちのユニオン(和集合)である、なぜなら、残っている任意の他の要素(それはのサブセット(部分集合)である)を加えても、ユニオン(和集合)は変わらないから。はベーシス(基底)であるので、およびはオープン(開)であり、はオープン(開)であり、ベーシス(基底)の定義によって、あるそういうがある。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>