数学 › 多様体論 › ベクトル場と微分形式
外積代数の基本性質
定理 5.3(「ベクトル場と微分形式」§5) ・ ✓公理まで証明済み
ω∈ΛkV∗、η∈ΛlV∗、ζ∈ΛmV∗、a,b∈R とする。
- ω∧η∈Λk+lV∗ であり、∧ は各変数について線形:(aω1+bω2)∧η=a(ω1∧η)+b(ω2∧η)、ω∧(aη1+bη2)=a(ω∧η1)+b(ω∧η2)。
- 結合律:(ω∧η)∧ζ=ω∧(η∧ζ)。
- 次数付き可換性:ω∧η=(−1)klη∧ω。とくに k が奇数なら ω∧ω=0。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理 証明で参照している 1 件
関連するノック 5 問