マップ(写像)のコンティニュアス(連続)性をチェックするためには、ベーシス(基底)またはサブベーシス(基底)のみのプリイメージ(前像)たちだけで十分であることの記述/証明
話題
About: トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
- 読者は、コンティヌアス(連続)マップ(写像)の定義を知っている。
- 読者は、トポロジカルスペース(空間)のベーシス(基底)の定義を知っている。
- 読者は、トポロジカルスペース(空間)のサブベーシス(基底)の定義を知っている。
- 読者は、オープンセット(開集合)たちの任意のコレクションがベーシス(基底)であることのいくつかの基準たちを認めている。
- 読者は、任意のマップ(写像)に対して、任意の、セット(集合)たちのユニオン(和集合)、のマップ(写像)プリイメージ(前像)は、それらセット(集合)たちのマップ(写像)プリイメージ(前像)たちのユニオン(和集合)であるという命題を認めている。
- 読者は、任意のマップ(写像)に対して、任意の、セット(集合)たちのインターセクション(共通集合)、のマップ(写像)プリイメージ(前像)はそれらセット(集合)たちのマップ(写像)プリイメージ(前像)たちのインターセクション(共通集合)であるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のトポロジカルスペース(空間)たち間任意のマップ(写像)のコンティニュアス(連続)性をチェックするためには、任意のベーシス(基底)または任意のサブベーシス(基底)のみのプリイメージ(前像)たちだけをチェックすれば十分であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
//
ステートメント(言明)たち:
(
)
(
)
//
2: 証明
全体戦略: ステップ1: 各オープンサブセット(開部分集合)
ステップ1:
任意のオープンサブセット(開部分集合)
もしも、
Step 2: ステップ2:
もしも、