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(“工作者、操作者”),在数学里引申为“对对象施加作用的算子”。合在一起,强调这是一个“在形式内部进行代入/收缩操作”的算子。