In mathematics, the interior product is a degree −1 antiderivation on the exterior algebra of differential forms on a smooth manifold. The interior product, named in opposition to the exterior product, is also called interior or inner multiplication, or the inner derivative or derivation, but should not be confused with an inner product. The interior product ιXω is sometimes written as X ⨼ ω; this character is U+2A3C in Unicode and looks like .
is the map which sends a p-form ω to the (p−1)-form ιXω defined by the property that
for any vector fields X1,..., Xp−1.
the duality pairing between α and the vector X. Explicitly, if β is a p-form and γ is a q-form, then
The above relation says that the interior product obeys a graded Leibniz rule. An operation equipped with linearity and a Leibniz rule is often called a derivative. The interior product is also known as the interior derivative.
By antisymmetry of forms,
and so . This may be compared to the exterior derivative d which has the property d2 = 0. The interior product relates the exterior derivative and Lie derivative of differential forms by Cartan's identity:
See also 
|This Differential geometry related article is a stub. You can help Wikipedia by expanding it.|