420: コネクテッド(連結された)トポロジカルスペース(空間)からの以下を満たす2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがポイントにおいて一致すれば、それらはネイバーフッド(近傍)上で一致し、もしもそれらがポイントにおいて不一致であれば、それらはネイバーフッド(近傍)上で不一致である、は全体として一致するか全体として不一致である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
コネクテッド(連結された)トポロジカルスペース(空間)からの以下を満たす2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがポイントにおいて一致すれば、それらはネイバーフッド(近傍)上で一致し、もしもそれらがポイントにおいて不一致であれば、それらはネイバーフッド(近傍)上で不一致である、は全体として一致するか全体として不一致であることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のコネクテッド(連結された)トポロジカルスペース(空間)から任意のトポロジカルスペース(空間)の中への以下を満たす任意の2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがそのポイントで一致すれば、それらはあるネイバーフッド(近傍)で一致し、もしもそれらがそのポイントで不一致であれば、それらはあるネイバーフッド(近傍)で不一致である、はドメイン(定義域)全体上で全体として一致するか全体として不一致であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のコネクテッド(連結された)トポロジカルスペース(空間)、任意のトポロジカルスペース(空間)、以下を満たす任意のコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもであれば、の以下を満たすあるネイバーフッド(近傍)、つまり、各に対して、があり、もしもであれば、の以下を満たすあるネイバーフッド(近傍)、つまり、各に対して、がある、に対して、各に対してまたは各に対して。
2: 証明
そうしたネイバーフッド(近傍)たちはオープンネイバーフッド(開近傍)たちであるように選択することができる、なぜなら、とが一致するか不一致である任意のネイバーフッド(近傍)はあるオープンネイバーフッド(開近傍)を包含しており、その上でとはそれぞれ一致するか不一致である。したがって、各ポイントの周りに、以下を満たすあるオープンネイバーフッド(開近傍)、つまり、とは上で一致するか不一致である、がある。.
、ここで、、とが一致するポイントたちのセット(集合)、を定義しよう。実のところ、、なぜなら、任意のポイント に対して、、そして、任意のポイントに対して、。はオープン(開)である。同様に、、ここで、、とが不一致であるポイントたちのセット(集合)、を定義しよう。実のところ、、なぜなら、任意のポイントに対して、、そして、任意のポイントに対して、。はオープン(開)である。
実のところ、、なぜなら、各ポイントはそれらの内の1つだけに所属する。したがって、はクローズド(閉)である。したがって、または、任意のトポロジカルスペース(空間)はコネクテッド(連結された)である、もしも、そのオープン(開)かつクローズド(閉)なサブセット(部分集合)たちは当該トポロジカルスペース(空間)および空集合だけである場合、そしてその場合に限ってという命題によって。もしも、である場合、とは全体で一致する。もしも、である場合、、したがって、とは全体で不一致である。
3: 注
はコネクテッド(連結された)であるよう要求されている、そうでなければ、とはのあるコネクテッド(連結された)コンポーネント上で一致し、の別のコネクテッド(連結された)コンポーネント上で不一致であり得る。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>