450: カバリングマップ(写像)に対して、クローズド(閉)リアル(実)インターバル(区間)たちのファイナイト(有限)プロダクトからのコンティニュアス(連続)マップ(写像)のユニークなリフトが各初期値に対してある
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
カバリングマップ(写像)に対して、クローズド(閉)リアル(実)インターバル(区間)たちのファイナイト(有限)プロダクトからのコンティニュアス(連続)マップ(写像)のユニークなリフトが各初期値に対してあることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のカバリングマップ(写像)に対して、任意のクローズド(閉)リアル(実)インターバル(区間)たちのファイナイト(有限)プロダクトからの任意のコンティニュアス(連続)マップ(写像)のユニークなリフトが各初期値に対してあるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のコネクテッド(連結された)でローカルにパスコネクテッド(連結された)トポロジカルスペース(空間)たち、任意のカバリングマップ(写像)、それが意味するのは、はコンティニュアス(連続)でサージェクティブ(全射)で任意のポイントの周りにあるネイバーフッド(近傍)があり、それはによってイーブンにカバーされている、任意のいくつかのクローズド(閉)リアル(実)インターバルたちのファイナイト(有限)プロダクト、ここで、、任意のコンティニュアス(連続)マップ(写像)に対して、のユニークなリフトが任意の初期値、ここで、は原点と呼ばれる、に対してある。
2: 証明
サブスペース(部分空間)は複数のコネクテッド(連結された)コンポーネントたち、それぞれと表記される、ここで、、ここで、はアンカウンタブル(不可算)かもしれないインデックスたちセット(集合)、からなるかもしれない。
あるオープンネイバーフッド(開近傍)をとして取ることができる、なぜなら、もしも、がオープン(開)でなければ、あるオープンネイバーフッド(開近傍)があり、それは、各へによってホメオモーフィック(位相同形写像)である、なぜなら、は明らかにバイジェクティブ(全単射)であり、ドメイン(定義域)およびコドメイン(余域)をそれぞれおよびのサブスペース(部分空間)たちとみなしてコンティニュアス(連続)である、コンティニュアス(連続)のリストリクション(制限)として、任意のコンティヌアス(連続)マップ(写像)の、ドメイン(定義域)およびコドメイン(余域)についてのリストリクション(制限)はコンティヌアス(連続)であるという命題によって、そして、そのインバース(逆)はドメイン(定義域)およびコドメイン(余域)を同様にみなしてコンティニュアス(連続)である、コンティニュアス(連続)のリストリクション(制限)として、同様に、しかし、トポロジカルサブスペース(部分空間)たちの任意のネストにおいて、任意のサブスペース(部分空間)上の任意のサブセット(部分集合)のオープン(開)性は、当該サブスペース(部分空間)がサブスペース(部分空間)とみなされる元のスーパースペース(空間)に依存しないという命題によって、それらマップ(写像)たちはドメイン(定義域)およびコドメイン(余域)をそれぞれおよびのサブスペース(部分空間)たちとみなしてもコンティニュアス(連続)である。
任意のポイントに対して、あるおよびがある。はコンティニュアス(連続)であるから、以下を満たすあるオープンネイバーフッド(開近傍)、つまり、、がある。各に対して、マップ(写像)、コンティニュアス(連続)、がある。はをカバーし、はコンパクトである、任意のファイナイト(有限)数のコンパクトトポロジカルスペース(空間)たちのプロダクトはコンパクトであるという命題によって。以下を満たすあるリアル(実)ナンバー(数)、つまり、直径がより小さい任意のサブセット(部分集合)は当該オープンカバー(開被覆)内のあるオープンサブセット(開部分集合)に包含されている、がある、ルベーグナンバー(数)補助定理によって。をタイルで埋めよう、原点から開始して、辺の長さがであるキューブ(立方体)たち(は各キューブの直径をより小さくする)でもって; 実際には、若干の余りたちがあり得る(はの自然数倍でないかもしれないから)が、それらはより小さいクローズド(閉)直方体タイルたち、それらの直径たちはやはりより小さい、で埋められる。すると、各クローズド(閉)直方体(キューブ(立方体)たちを含む)はある内に包含されている。そうしたクローズド(閉)直方体たちのそれぞれはと記される、原点から開始して番号付けされ、。
は固定されたと仮定しよう。
各に対して、ユニークなリフト of 、ここで、は固定されている、がある、任意のカバリングマップ(写像)に対して、任意のクローズド(閉)リアル(実)インターバル(区間)からの任意のコンティニュアス(連続)マップ(写像)のユニークなリフトが各初期値に対してあるという命題によって。がの値たちがこれまでに定義済みのエリアである。
以下のように定義しよう、; 、もしも、である場合; 、もしも、である場合; 、もしも、である場合; 等々と続く: それらは帰納的に以下の順序で定義されている: 。
インターセクション(共通集合)サブスペース(部分空間)たちを以下のように定義しよう、; 、もしも、である場合; 、もしも、である場合; 、もしも、; 等々と続く: 前パラグラフ内の定義たちの中のユニオン(和集合)たちの代わりにインターセクション(共通集合)たちが取られたもの。
注意として、これ以降、バージョンのみを示すかもしれない、他のケースたちも同様であるという意味が明らかである時は。
各はの左底ポイントとパスコネクテッド(連結された)である、したがって、コネクテッド(連結された)である、ことを示そう。は、のとのインターセクション(共通集合)とのいくつかのたち、ここで、、とのインターセクション(共通集合)たちからなる。上のポイントをインデックスたち表現で考えよう: 上のポイントたちはである。のとのインターセクション(共通集合)の各パートは、のあるとのインターセクション(共通集合)であり、それは、インデックスたち表現では(でなければならない)、それは左底ポイントとパスコネクテッド(連結された)である。のある、ここで、、とのインターセクション(共通集合)については、各に対してである時は、インターセクション(共通集合)は、ここで、に対してなどに""であるのは、だからで、に対してなどに""であるのは、だから、のようになり、当該インターセクション(共通集合)は左底ポイントとパスコネクテッド(連結された)である; いくつかのたちに対してである時は、インターセクション(共通集合)は、のようになり、それは、実のところ、左底ポイントとパスコネクテッド(連結された)でないのだが、は対応する(である全てのたちが減ぜられた)ともインターセクトし(交わり)、そのインターセクション(共通集合)はであり、それは前者インターセクション(共通集合)を包含しており、左底ポイントとパスコネクテッド(連結された)である。したがって、の各パートはの左底ポイントとパスコネクテッド(連結された)であり、はの左底ポイントとパスコネクテッド(連結された)である、そうしたパートたちのファイナイト(有限)ユニオン(和集合)として。例えば、はの左底ポイントと接続しているのエッジ(辺)たちである; はエッジ(辺)とのユニオン(和集合)である。
は既に定義済である。。。であるから、はそこで既に定義済である。である、なぜなら、であり、、ところ、をとして選択しよう、それは妥当である、なぜなら、はコネクテッド(連結された)であるから、はコネクテッド(連結された)である。。、コンティニュアス(連続)。、なぜなら、、しかし、でありはインジェクティブ(単射)である。を以下のように定義しよう、つまり、および。したがって、は上で決定された。
は既に定義済であると仮定しよう。。。であるから、はそこで既に定義済である。である、なぜなら、であり、である、ところ、をとして選択しよう、それは妥当である、なぜなら、はコネクテッド(連結された)であるから、はコネクテッド(連結された)である。。、コンティニュアス(連続)。、なぜなら、、しかし、でありはインジェクティブ(単射)である。を以下のように定義しよう、つまり、および。したがって、全体が決定された。
はのリフトであることを確認しよう。はコンティニュアス(連続)である、任意のトポロジカルスペース(空間)間マップ(写像)はコンティヌアス(連続)である、もしも、そのマップ(写像)の、ドメイン(定義域)の、ある有限数クローズドカバー(閉被覆)の各クローズドセット(閉集合)、への、ドメイン(定義域)リストリクション(制限)がコンティヌアス(連続)である場合、という命題によって。任意のに対して、。
はユニークである、なぜなら、それは、上でユニークに決定され、への各拡張には自由度が全くない: はユニークに決定され、はそう定義されなければならない、を満たすためには。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>