Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\omega $ be a $1$-form on $M$. For $f:M\to \mathbb R$, and $X\in \mathfrak{X}(M)$, Does the following true?

$f. i_X \omega = i_{f.x}\omega$

According to me proof is the following: Please point out the mistake in the following and if possible please make comment on above expression. Thanks.

For $p\in M$, we have $$f.i_X\omega|_p= f(p). \omega_p(X_p)= \omega(f(p)X_p)= i_{fX}\omega|_p$$

share|improve this question
    
When the hyphen in "$1$-form" is INSIDE the $\TeX$ tags, then it looks like a minus sign instead of a hyphen, thus: $1-$ form. (I fixed it.) –  Michael Hardy Sep 10 '12 at 17:25
    
thanks.... i will take care in future.. –  Junu Sep 10 '12 at 20:23
add comment

1 Answer 1

up vote 5 down vote accepted

The fact is true and your proof is true (although you should add a $p$ subscript after $\omega$ in the third equality of your proof).

You have used the $\mathbb{R}$-linearity of $\omega_p$, which is an element of the real vector space $T^\star_pM$, but you could have also used the $\mathcal{C}^\infty(M)$-linearity of $\omega$, which is an element of the $\mathcal{C}^\infty(M)$-module of sections of $T^\star M$ (the cotangent bundle). You have a $1$-form $\omega$ so applying to it the interior product (insertion operator) yields the smooth function $\omega(X)$: $$i_X\omega=\omega(X)$$ (there is only one slot to fill since we have a $1$-form). Now $i_{fX}\omega=\omega(fX)$ and remember that a differential form is $\mathcal{C}^\infty(M)$-multilinear alternate so you can take out the $f$ which yields: $$i_{fX}\omega=\omega(fX)=f\omega(X)=f\cdot i_X\omega$$.

share|improve this answer
    
thanks for the answer... :) –  Junu Sep 10 '12 at 15:34
    
@Junu: You are welcome :) –  Benjamin Sep 10 '12 at 15:39
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.