微分幾何 k−形式の計算 admin 2023年11月7日 次の k−形式 ω=1k!ωμ1,⋯,μkdxμ1∧⋯∧dxmk (ここに ωμ1,⋯,μk は添字に対して完全反対称であるとする。) に対して ω(X1,⋯,Xk)=ωμ1,⋯,μkX1μ1⋯Xkμk を示せ。 ω(X1,⋯,Xk)=1k!ωμ1,⋯,μkdxμ1∧⋯∧dxmkX1ν1⋯Xkνk(∂∂xν1,⋯,∂∂xνk)=1k!ωμ1,⋯,μkX1ν1⋯Xkνk∑σ∈Sksgn(μ1⋯μkσ(μ1)⋯σ(μk))(δν1σ(μ1)⋯δνkσ(μk))=ωμ1,⋯,μkX1μ1⋯Xkμk