2023年12月10日日曜日

430: コネクテッド(連結された)トポロジカルスペース(空間)からハウスドルフトポロジカルスペース(空間)の中への以下を満たす2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがポイントにおいて一致すれば、それらはネイバーフッド(近傍)で一致する、は全体として一致するか全体として不一致である

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

コネクテッド(連結された)トポロジカルスペース(空間)からハウスドルフトポロジカルスペース(空間)の中への以下を満たす2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがポイントにおいて一致すれば、それらはネイバーフッド(近傍)で一致する、は全体として一致するか全体として不一致であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のコネクテッド(連結された)トポロジカルスペース(空間)から任意のハウスドルフトポロジカルスペース(空間)の中への以下を満たす任意の2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれら(マップ(写像)たち)が当該ポイントにおいて一致すれば、それらはあるネイバーフッド(近傍)上で一致する、はドメイン(定義域)全体上で全体として一致するか全体として不一致であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のコネクテッド(連結された)トポロジカルスペース(空間)T1、任意のハウスドルフトポロジカルスペース(空間)T2、以下を満たす任意のコンティニュアス(連続)マップ(写像)たちf1,f2:T1T2、つまり、もしも任意のポイントにおいてf1(p)=f2(p)である場合、pの以下を満たすあるネイバーフッド(近傍)Np、つまり、各pNpに対してf1(p)=f2(p)、がある、に対して、各pT1に対してf1(p)=f2(p)であるか各pT1に対してf1(p)f2(p)であるかである。


2: 証明


f1f2はあるネイバーフッド(近傍)上で不一致である、もしも任意のポイントにおいて不一致である場合、任意のトポロジカルスペース(空間)から任意のハウスドルフトポロジカルスペース(空間)の中への任意の2つのコンティニュアス(連続)マップ(写像)たちで任意のポイントで不一致であるものは当該ポイントのあるネイバーフッド(近傍)で不一致であるという命題によって。したがって、f1f2T1全体上で全体として一致するか全体として不一致であるかである、任意のコネクテッド(連結された)トポロジカルスペース(空間)から任意のトポロジカルスペース(空間)の中への以下を満たす任意の2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがそのポイントで一致すれば、それらはあるネイバーフッド(近傍)で一致し、もしもそれらがそのポイントで不一致であれば、それらはあるネイバーフッド(近傍)で不一致である、はドメイン(定義域)全体上で全体として一致するか全体として不一致であるという命題によって。


3: 注


任意のユークリディアントポロジカルスペース(空間)はハウスドルフである、したがって、任意のコネクテッド(連結された)トポロジカルスペース(空間)から任意のユークリディアントポロジカルスペース(空間)の中への任意の2つのコンティニュアス(連続)マップ(写像)たちでそれらが任意のポイントにおいて一致すればあるネイバーフッド(近傍)で一致するものは、ドメイン(定義域)全体で全体として一致するか全体として不一致である。


参考資料


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