数学 › 微分幾何学 › ファイバー束・主束と接続

ベクトル束の直和・テンソル積・双対

定義 2.3(「ファイバー束・主束と接続」§2)

E,E′E,E' を MM 上の階数 r,r′r,r' の K\mathbb{K} ベクトル束とする。MM の開被覆 {Uα}\{U_\alpha\} を、各 UαU_\alpha 上で EE と E′E' の両方が局所自明化 Φα,Φα′\Phi_\alpha,\Phi'_\alpha を持つように取り、変換関数を gαβ,gαβ′g_{\alpha\beta},g'_{\alpha\beta} とする。

  1. 直和(Whitney 和)E⊕E′E\oplus E':ファイバーが Ex⊕Ex′E_x\oplus E'_x、変換関数が gαβ⊕gαβ′=(gαβ00gαβ′)g_{\alpha\beta}\oplus g'_{\alpha\beta}=\begin{pmatrix}g_{\alpha\beta}&0\\0&g'_{\alpha\beta}\end{pmatrix} の階数 r+r′r+r' のベクトル束。
  2. テンソル積 E⊗E′E\otimes E':ファイバーが Ex⊗Ex′E_x\otimes E'_x、変換関数が gαβ⊗gαβ′g_{\alpha\beta}\otimes g'_{\alpha\beta}(Kronecker 積)の階数 rr′rr' のベクトル束。
  3. 双対 E∗E^*:ファイバーが Ex∗E_x^*、変換関数が (gαβT)−1(g_{\alpha\beta}^{\mathsf{T}})^{-1} の階数 rr のベクトル束。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。