M 上の 1 次微分形式w=~泛idかとヘクトル场X=江Xiax;との间には
代入とか内部积と呼はれる自然な积か定义される.これは<w,X>,w(X),w_JX,しxwなとと书かれるか,
心
(=w_JX)=L叫 )('EC00(M)
のことてある.これを自然に拡张して M 上の 2次微分形式W=~WijdX以dx1(未整理)と Xの内部积を
知
,;(=wふ)=L巳ふdx1-切iX1dx')
i,j
と定义する.しxw は M 上の 1 次微分形式となる.さらに, M 上の p - 次微分形
式w=区Wれ...;Pdx叫・ ••1d正(未整理)とヘクトル场X=L;Xi心との内部积を次て定义する:
p
し心 =
L (L(-