interior operator(也常叫 interior product / contraction)指微分几何与微分形式中“内插算子/内积算子”:给定一个向量场 \(X\),它把一个 \(k\)-形式 \(\omega\) 变成一个 \((k-1)\)-形式 \(i_X\omega\),直观上就是把 \(\omega\) 的第一个“输入位置”用 \(X\) 代入(收缩)掉。常用于定义与理解李导数与 Cartan 公式。
/ɪnˈtɪəriər ˈɒpəreɪtər/
The interior operator \(i_X\) lowers the degree of a differential form by one.
内插算子 \(i_X\) 会把微分形式的次数降低 1。
Using Cartan’s formula, the Lie derivative satisfies \(L_X = d\,i_X + i_X\,d\).
利用 Cartan 公式,李导数满足 \(L_X = d\,i_X + i_X\,d\)。
interior 来自拉丁语 interior,意为“更里面的、内部的”;operator 源自拉丁语 operator(“工作者、操作者”),在数学里引申为“对对象施加作用的算子”。合在一起,强调这是一个“在形式内部进行代入/收缩操作”的算子。