微分幾何

k形式の計算

次の k形式
ω=1k!ωμ1,,μkdxμ1dxmk
(ここに ωμ1,,μk は添字に対して完全反対称であるとする。)
に対して
ω(X1,,Xk)=ωμ1,,μkX1μ1Xkμk
を示せ。

ω(X1,,Xk)=1k!ωμ1,,μkdxμ1dxmkX1ν1Xkνk(xν1,,xνk)=1k!ωμ1,,μkX1ν1XkνkσSksgn(μ1μkσ(μ1)σ(μk))(δν1σ(μ1)δνkσ(μk))=ωμ1,,μkX1μ1Xkμk

RELATED POST