数学 › 微分幾何学 › ファイバー束・主束と接続
ベクトル束の直和・テンソル積・双対
定義 2.3(「ファイバー束・主束と接続」§2)
E,E′ を M 上の階数 r,r′ の K ベクトル束とする。M の開被覆 {Uα} を、各 Uα 上で E と E′ の両方が局所自明化 Φα,Φα′ を持つように取り、変換関数を gαβ,gαβ′ とする。
- 直和(Whitney 和)E⊕E′:ファイバーが Ex⊕Ex′、変換関数が gαβ⊕gαβ′=(gαβ00gαβ′) の階数 r+r′ のベクトル束。
- テンソル積 E⊗E′:ファイバーが Ex⊗Ex′、変換関数が gαβ⊗gαβ′(Kronecker 積)の階数 rr′ のベクトル束。
- 双対 E∗:ファイバーが Ex∗、変換関数が (gαβT)−1 の階数 r のベクトル束。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。