内乘

在数学中，内乘（英语：interior product，或译内插积、内缩积）是光滑流形上的微分形式外代数上一个次数为 −1 导子，定义为微分形式与一个向量场的缩并。从而如果 X 是流形 M 上一个向量场，那么

<math>\iota_X\colon \Omega^p(M) \to \Omega^{p-1}(M)</math>

是将一个 p-形式 ω 映为 (p−1)-形式 i_Xω，由性质

<math>( \iota_X\omega )(X_1,\ldots,X_{p-1})=\omega(X,X_1,\ldots,X_{p-1})</math>

所定义，对任何向量场 X₁,..., X_p−1。本质上来说，内乘可以定义在向量空间与外代数上，即只与流形的一点有关。

内乘也称为内乘法（interior 或 inner multiplication），或内导数（inner derivative 或 derivation）。

一些作者使用字母 <math>i</math> 代替 <math>\iota</math>；内乘有时也写成 <math>\iota(X)</math> 或者 <math>X \lrcorner \omega = \iota_X\omega </math>。

性质[编辑]

由反对称性

<math> \iota_X \iota_Y \omega = - \iota_Y \iota_X \omega </math>

所以 <math> \iota_X^2 = 0 </math>。

因为李导数与缩并可以交换，故：

<math>\mathcal L_X (\iota_Y\omega)=\iota_{[X,Y]}\omega+\iota_Y (\mathcal L_X\omega)\ ,</math>

这便得出两个向量李括号的内乘公式：

<math>\iota_{[X,Y]}\omega=\mathcal L_X (\iota_Y\omega)-\iota_Y (\mathcal L_X\omega)\ .</math>

内乘与微分形式的外导数以及李导数的关系由嘉当恒等式给出：

<math> \mathcal L_X\omega = \mathrm d (\iota_X \omega) + \iota_X \mathrm d\omega \ .</math>

这个等式在辛几何中非常重要：参见矩映射。

这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。