2024年11月3日日曜日

851: カバリングマップ(写像)に対して、シートたちのカーディナリティたちは同一である

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

カバリングマップ(写像)に対して、シートたちのカーディナリティたちは同一であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のカバリングマップ(写像)に対して、シートたちのカーディナリティたちは同一であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
T1: { 全てのコネクテッドでローカルにパスコネクテッドなトポロジカルスペース(空間)たち }
T2: { 全てのコネクテッドでローカルにパスコネクテッドなトポロジカルスペース(空間)たち }
π: :T1T2, { 全てのカバリングマップ(写像)たち }
//

ステートメント(言明)たち:
NpT2{p の π によってイーブンにカバーされた全てのネイバーフッド(近傍)たち },NpT2{p の π によってイーブンにカバーされた全てのネイバーフッド(近傍)たち }(|{π1(Np)β|βB}|=|{π1(Np)β|βB}|)
//


2: 証明


全体戦略: ステップ1: pの各コネクテッドネイバーフッド(近傍)NpNpに対して、|{π1(Np)β|βB}|=|{π1(Np)β|βB}|であることを見る; ステップ2: イーブンにカバーされたオープンネイバーフッド(開近傍)たちUpたちのことを考えるよう決定する; ステップ3: UpUpである時、|{π1(Up)β|βB}|=|{π1(Up)β|βB}|であることを見る; ステップ4: 各UpおよびUpは、イーブンにカバーされたオープンネイバーフッド(開近傍)たちを介してファイナイト(有限)数オープンセット(開集合)たちシーケンスコネクテッドであることを見る; ステップ5: 本命題を結論する。

ステップ1:

pの各コネクテッドネイバーフッド(近傍)NpNpに対して、|{π1(Np)β|βB}|=|{π1(Np)β|βB}|であることを見よう。

注意として、私たちが"コネクテッドネイバーフッド(近傍)"という時、NpNpのサブスペース(部分空間)とみなされるかT2のサブスペース(部分空間)とみなされるかはどうでもいい、トポロジカルサブスペース(部分空間)たちの任意のネストにおいて、任意のサブスペース(部分空間)のコネクテッド(連結された)性は、当該サブスペース(部分空間)がサブスペース(部分空間)であるとみなされる元のスーパースペース(空間)に依存しないという命題によって、そして、NpNp上のネイバーフッド(近傍)とみなされるかT2上のネイバーフッド(近傍)とみなされるかはどうでもいい、任意のトポロジカルスペース(空間)および任意のサブスペース(部分空間)上の任意のポイントに対して、当該ポイントの当該ベーススペース(空間)上の任意のネイバーフッド(近傍)と当該サブスペース(部分空間)のインターセクション(共通集合)は当該サブスペース(部分空間)上でネイバーフッド(近傍)であるという命題および任意のトポロジカルスペース(空間)、任意のポイント、当該ポイントの任意のネイバーフッド(近傍)に対して、当該ポイントの当該近傍上における任意のネイバーフッド(近傍)は当該ポイントの当該ベーススペース(空間)上のネイバーフッド(近傍)であるという命題によって。

Npはイーブンにカバーされていることを見よう。

π1(Np)π1(Np)=βBπ1(Np)β

π1(Np)β:=π1(Np)π1(Np)βとしよう。

gp,β:=π|π1(Np)β:π1(Np)βNpを当該ホメオモーフィズム(位相同形写像)としよう。

π1(Np)β=gp,β1(Np)、それは、π1(Np)βのサブスペース(部分空間)としてコネクテッドである、任意のコネクテッドスペース(空間)の任意のコンティニュアス(連続)イメージ(像)はコネクテッドであるという命題によって。

π1(Np)βはコネクテッドである、T1のサブスペース(部分空間)として、トポロジカルサブスペース(部分空間)たちの任意のネストにおいて、任意のサブスペース(部分空間)のコネクテッド(連結された)性は、当該サブスペース(部分空間)がサブスペース(部分空間)であるとみなされる元のスーパースペース(空間)に依存しないという命題によって。

全てのπ1(Np)βたちはディスジョイント(互いに素)である、なぜなら、それらはディスジョイント(互いに素)なπ1(Np)βたち内に包含されている。

したがって、{π1(Np)β|βB}は、π1(Np)のコネクテッドコンポーネントたちに他ならない。

π|π1(Np)β:π1(Np)βNpはホメオモーフィズム(位相同形写像)である、なぜなら、それはホメオモーフィック(位相同形写像)なgp,βのリストリクション(制限)である、任意のコンティヌアス(連続)マップ(写像)の、ドメイン(定義域)およびコドメイン(余域)についてのリストリクション(制限)はコンティヌアス(連続)であるという命題によって。

したがって、|{π1(Np)β|βB}|=|{π1(Np)β|βB}|

ステップ2:

私たちは必ずしもオープン(開)でないNpたちについて話しているのであるが、各Npに対して、pの以下を満たすあるオープンネイバーフッド(開近傍)、つまり、UpNp、があり、ステップ1によって、私たちは、Npに対するカーディナリティはUpに対するカーディナリティに等しいことを知っている。

したがって、もしも、全てのUpたちに対するカーディナリティたちが同一であれば、全てのNpたちに対するカーディナリティたちは同一だということになる。

したがって、Upたちに集中しよう。

ステップ3:

UpUpであると仮定しよう。

|{π1(Up)β|βB}|=|{π1(Up)β|βB}|であることを見よう。

UpUpは、任意のpUpUpのイーブンにカバーされたオープンネイバーフッド(開近傍)である。

ステップ1によって、|{π1(Up)β|βB}|=|{π1(UpUp)β|βB}|および|{π1(Up)β|βB}|=|{π1(UpUp)β|βB}|

したがって、|{π1(Up)β|βB}|=|{π1(Up)β|βB}|: BBであるように取れる。

ステップ4:

UpおよびUpは、イーブンにカバーされたオープンネイバーフッド(開近傍)たちを介してファイナイト(有限)数オープンセット(開集合)たちシーケンスコネクテッドであることを見よう: ファイナイト(有限)数オープンセット(開集合)たちシーケンスコネクテッド(連結された)オープンセット(開集合)たちペアの定義を参照。

T2は、イーブンにカバーされたオープンネイバーフッド(開近傍)たち{Up|pT2}によってカバーされている。

任意のコネクテッド(連結された)トポロジカルスペース(空間)の任意のオープンカバーの任意の要素たちペアは、当該オープンカバーのいくつかの要素たちを介して有限数オープンセット(開集合)たちシーケンスコネクテッド(連結された)であるという命題によって、Upはあるファイナイト(有限)シーケンス(Up,Up1,...,Upk,Up)によってUpへコネクテッドである。

ステップ5:

UpUp1であるから、ステップ3によって、|{π1(Up)β|βB}|=|{π1(Up1)β|βB}|

同様に、|{π1(Up1)β|βB}|=|{π1(Up2)β|βB}|

...

同様に、|{π1(Upk)β|βB}|=|{π1(Up)β|βB}|

したがって、|{π1(Up)β|βB}|=...=|{π1(Up)β|βB}|


参考資料


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