PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
contraction (Definition)

Definition Let $ \omega$ be a smooth $ k$-form on a smooth manifold $ M$, and let $ \xi$ be a smooth vector field on $ M$. The contraction of $ \omega$ with $ \xi$ is the smooth $ (k-1)$-form that maps $ x\in M$ to $ \omega_x(\xi_x, \cdot)$. In other words, $ \omega$ is point-wise evaluated with $ \xi$ in the first slot. We shall denote this $ (k-1)$-form by $ \iota_\xi\omega$. If $ \omega$ is a 0-form, we set $ \iota_\xi \omega = 0$ for all $ \xi$.

Properties Let $ \omega$ and $ \xi$ be as above. Then the following properties hold:

  1. For any real number $ k$
    $\displaystyle \iota_{k \xi} \omega = k\iota_\xi \omega.$
  2. For vector fields $ \xi$ and $ \eta$
    $\displaystyle \iota_{\xi+\eta} \omega$ $\displaystyle =$ $\displaystyle \iota_\xi \omega + \iota_\eta \omega,$  
    $\displaystyle \iota_{\xi} \iota_\eta \omega$ $\displaystyle =$ $\displaystyle -\iota_\eta \iota_\xi \omega,$  
    $\displaystyle \iota_{\xi} \iota_\xi \omega$ $\displaystyle =$ $\displaystyle 0.$  

  3. Contraction is an anti-derivation [1]. If $ \omega^1$ is a $ p$-form, and $ \omega^2$ is a $ q$-form, then
    $\displaystyle \iota_\xi \big(\omega^1\wedge \omega^2\big) = (\iota_\xi \omega^1) \wedge \omega^2 + (-1)^p\ \omega^1\wedge (\iota_\xi \omega^2).$

Bibliography

1
T. Frankel, Geometry of physics, Cambridge University press, 1997.



"contraction" is owned by mathcam. [ owner history (1) ]
(view preamble)

View style:

Log in to rate this entry.
(view current ratings)

Cross-references: real number, properties, maps, vector field, smooth manifold, smooth
There are 6 references to this entry.

This is version 1 of contraction, born on 2003-05-10.
Object id is 4261, canonical name is Contraction3.
Accessed 3484 times total.

Classification:
AMS MSC15A75 (Linear and multilinear algebra; matrix theory :: Exterior algebra, Grassmann algebras)
 58A10 (Global analysis, analysis on manifolds :: General theory of differentiable manifolds :: Differential forms)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)