8
$\begingroup$

Let $M$ be a Riemannian manifold, $f \in C^{\infty}(M)$, $X,Y$ vector fields on $M$. Then i have to prove $[X,f\cdot Y]=f\cdot [X,Y]+X(f)\cdot Y$. First i use the definition of Lie bracket: $[X,f\cdot Y]=X\circ (f\cdot Y)-(f\cdot Y)\circ X$. After that i am stuck, because i must somehow pull $f$ from the composition and i do not know how. Please help.

$\endgroup$

1 Answer 1

10
$\begingroup$

Since the vector field $X$ acts as a derivation, you can use the product rule for the first composition:

$$\left(X\circ (fY)\right)(h) = X\left(fY(h)\right) = X(f)Y(h) + f\left(XY(h)\right)$$

Your result should follow quickly from this.

$\endgroup$
1
  • $\begingroup$ Thanks, I forgot about this! Now everything is clear. $\endgroup$
    – Elensil
    May 10, 2014 at 9:00

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .