ランク\(k\)のベクトルたちバンドル（束）の定義
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、トポロジカルスペース（空間）の定義を知っている。
- 読者は、ランク\(r\)のローカルにトリビアルなサージェクション（全射）を知っている。
ターゲットコンテキスト
- 読者は、ランク\(k\)のベクトルたちバンドル（束）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( T\): \(\in \{\text{ 全てのトポロジカルスペース（空間）たち }\}\)
\( E\): \(\in \{\text{ 全てのトポロジカルスペース（空間）たち }\}\)
\( k\): \(\in \mathbb{N} \setminus \{0\}\)
\( \pi\): \(: E \to T\), \(\in \{\text{ ランク } k \text{ の全てのローカルにトリビアルなサージェクション（全射）たち }\}\)
\(*(E, T, \pi)\):
//
コンディションたち:
//
2: 注
本定義は、任意の恣意的な\(T\)および\(E\)に対してある\(\pi\)が存在することを意味しない; それが意味するのは、もしもある\(\pi\)が存在すれば、\((E, T, \pi)\)はベクトルたちバンドル（束）であるということ。
