2022年1月16日日曜日

2: ランクkのローカルにトリビアルなサージェクション(全射)

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

ランクkのローカルにトリビアルなサージェクション(全射)の定義

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、ランクkのローカルにトリビアルなサージェクション(全射)の定義を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
T: { 全てのトポロジカルスペース(空間)たち }
E: { 全てのトポロジカルスペース(空間)たち }
π: :ET, { 全てのサージェクション(全射たち) }{ 全てのコンティニュアス(連続)マップ(写像)たち }
k: N{0}
//

コンディションたち:
mM(π1(p){ 全ての k ディメンショナル(次元) R ベクトルたちスペース(空間)たち })

mM(Um{m の M 上における全てのオープンネイバーフッド(開近傍)たち },Φ:π1(Um)Um×Rk(Φ{ 全てのホメオモーフィズム(位相同形写像)たち }mUm(Φ|π1(m):π1(m){m}×Rk{ 全ての'ベクトルたちスペース(空間)たち - リニア(線形)モーフィズム(射)たち'アイソモーフィズム(同形写像)たち })))
//

Rkは、ユークリディアントポロジカルスペース(空間)である; Um×Rkはプロダクトトポロジカルスペース(空間)である。

{m}×Rkは、Rkへカノニカル(正典)に'ベクトルたちスペース(空間)たち - リニア(線形)モーフィズム(射)たち'アイソモーフィック(同形写像)なベクトルたちスペース(空間)である。


2: 注


Φは、"ローカルトリビアライゼーション"と呼ばれる。


参考資料


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