カバリングマップ(写像)に対して、コネクテッド(連結された)トポロジカルスペース(空間)からのコンティニュアス(連続)マップ(写像)の2つのリフトたちは全体として一致するか全体として不一致であるかであることの記述/証明
話題
About: トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
- 読者は、カバリングマップ(写像)の定義を知っている。
- 読者は、コンティニュアス(連続)マップ(写像)のカバリングマップ(写像)に関するリフトの定義を知っている。
- 読者は、トポロジカルサブスペース(部分空間)たちの任意のネストにおいて、任意のサブスペース(部分空間)上の任意のサブセット(部分集合)のオープン(開)性は、当該サブスペース(部分空間)がサブスペース(部分空間)とみなされる元のスーパースペース(空間)に依存しないという命題を認めている。
- 読者は、任意のコンティヌアス(連続)マップ(写像)の、ドメイン(定義域)およびコドメイン(余域)についてのリストリクション(制限)はコンティヌアス(連続)であるという命題を認めている。
- 読者は、任意のローカルにパスコネクテッド(連結された)トポロジカルスペース(空間)の任意のオープンサブセット(開部分集合)はローカルにパスコネクテッド(連結された)であるという命題を認めている。
- 読者は、任意のローカルにパスコネクテッド(連結された)トポロジカルスペース(空間)上の任意のコネクテッド(連結された)コンポーネントはオープン(開)であるという命題を認めている。
- 読者は、任意のオープン(開)トポロジカルサブスペース(部分空間)上の任意のオープンセット(開集合)はベーススペース(空間)上でオープン(開)であるという命題を認めている。
- 読者は、任意のコネクテッド(連結された)トポロジカルスペース(空間)から任意のトポロジカルスペース(空間)の中への以下を満たす任意の2つのコンティニュアス(連続)マップ(写像)たち、つまり、任意のポイントに対して、もしもそれらがそのポイントで一致すれば、それらはあるネイバーフッド(近傍)で一致し、もしもそれらがそのポイントで不一致であれば、それらはあるネイバーフッド(近傍)で不一致である、はドメイン(定義域)全体上で全体として一致するか全体として不一致であるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のカバリングマップ(写像)に対して、任意のコネクテッド(連結された)トポロジカルスペース(空間)からの任意のコンティニュアス(連続)マップ(写像)の任意の2つのリフトたちは全体として一致するか全体として不一致であるかであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のコネクテッド(連結された)でローカルにパスコネクテッド(連結された)トポロジカルスペース(空間)たち
2: 証明
サブスペース(部分空間)
あるオープンネイバーフッド(開近傍)
任意のポイント
可能性1)を仮定しよう。
可能性2)を仮定しよう。
したがって、