Definition
It is defined to be the contraction of a differential form with a vector field. Thus if X is a vector field on the manifold M, then
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 interior product is the unique antiderivation of degree −1 on the exterior algebra such that on one-forms α
- ,
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.
Read more about this topic: Interior Product
Famous quotes containing the word definition:
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)