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

曲率形式とその性質

命題 5.1(「ファイバー束・主束と接続」§5) ・ ✓公理まで証明済み

接続 ω\omega の局所ゲージポテンシャル AαA_\alpha に対し、g\mathfrak{g} 値 2 形式 Fα=dAα+Aα∧AαF_\alpha=dA_\alpha+A_\alpha\wedge A_\alpha を曲率(場の強さ)という。

  1. Uα∩UβU_\alpha\cap U_\beta 上で Fβ=gαβ−1Fα gαβF_\beta=g_{\alpha\beta}^{-1}F_\alpha\,g_{\alpha\beta}。
  2. (Bianchi 恒等式)dFα+Aα∧Fα−Fα∧Aα=0dF_\alpha+A_\alpha\wedge F_\alpha-F_\alpha\wedge A_\alpha=0。
  3. 同伴束の接続 ∇\nabla について ∇X∇Yψ−∇Y∇Xψ−∇[X,Y]ψ=F(X,Y)ψ\nabla_X\nabla_Y\psi-\nabla_Y\nabla_X\psi-\nabla_{[X,Y]}\psi=F(X,Y)\psi。

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

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。

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

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。

これを使っている定理 証明で参照している 5 件

関連するノック 8 問