2024年10月20日日曜日

826: トリビアライジングオープンサブセット(開部分集合)およびローカルトリビアライゼーション

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

トリビアライジングオープンサブセット(開部分集合)およびローカルトリビアライゼーションの定義

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、トリビアライジングオープンサブセット(開部分集合)およびローカルトリビアライゼーションの定義を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
T: { 全てのトポロジカルスペース(空間)たち }
E: { 全てのトポロジカルスペース(空間)たち }
π: :ET, { 全てのコンティニュアス(連続)マップ(写像)たち }
k: N{0}
U: {T の全てのオープンサブセット(開部分集合)たち }
Φ: π1(U)U×Rk
//

コンディションたち:
Φ{ 全てのホメオモーフィズム(位相同形写像)たち }tU(Φ|π1(t):π1(t){t}×Rk{ 全ての'ベクトルたちスペース(空間)たち - リニア(線形)モーフィズム(射)たち'アイソモーフィズム(同形写像)たち })
//

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

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


2: 注


通常は、'トリビアライジングオープンサブセット(開部分集合)'および'ローカルトリビアライゼーション'は、あるベクトルたちバンドル(束)に対して語られるが、トリビアライジングオープンサブセット(開部分集合)およびローカルトリビアライゼーションは、他のケースたちに対しても可能である。


参考資料


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