数学 › 多様体論 › ベクトル場と微分形式

外積代数の基本性質

定理 5.3(「ベクトル場と微分形式」§5) ・ ✓公理まで証明済み

ω∈ΛkV∗\omega\in\Lambda^kV^*、η∈ΛlV∗\eta\in\Lambda^lV^*、ζ∈ΛmV∗\zeta\in\Lambda^mV^*、a,b∈Ra,b\in\mathbb{R} とする。

  1. ω∧η∈Λk+lV∗\omega\wedge\eta \in \Lambda^{k+l}V^* であり、∧\wedge は各変数について線形:(aω1+bω2)∧η=a(ω1∧η)+b(ω2∧η)(a\omega_1+b\omega_2)\wedge\eta = a(\omega_1\wedge\eta)+b(\omega_2\wedge\eta)、ω∧(aη1+bη2)=a(ω∧η1)+b(ω∧η2)\omega\wedge(a\eta_1+b\eta_2)=a(\omega\wedge\eta_1)+b(\omega\wedge\eta_2)。
  2. 結合律:(ω∧η)∧ζ=ω∧(η∧ζ)(\omega\wedge\eta)\wedge\zeta = \omega\wedge(\eta\wedge\zeta)。
  3. 次数付き可換性:ω∧η=(−1)kl η∧ω\omega\wedge\eta = (-1)^{kl}\,\eta\wedge\omega。とくに kk が奇数なら ω∧ω=0\omega\wedge\omega=0。

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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

関連するノック 5 問