# A question about left invariant vector fields

Let $G$ be a Lie group with bi-invariant metric $\langle , \rangle$ and $X,Y,Z$ left invariant vector fields in $G$, how to conclude that $X\langle Y,Z\rangle=0$?

-
What have you tried until now? Where are you stuck? Why do not you take a look at Manfredo Perdigao do Carmo 'Riemannian Geometry'? There is a traitment of this point in §2.6 on Lie Groups on pages 40-41. Cf. for example here: books.google.it/… – Giuseppe Jun 2 '12 at 19:42
I don't know where to use the condition "left invariant". I read that chapter, but I still don't know the answer... – Jr. Jun 2 '12 at 19:54

The function $$G \ni g \mapsto \langle Y_g, Z_g \rangle$$ is constant since $$\langle Y_g, Z_g\rangle = \langle dL_g Y_e, dL_g Z_e\rangle = \langle Y_e, Z_e\rangle.$$ So differentiating it by $X$ gives 0. Note we have used the facts that $Y$ and $Z$ are left-invariant but $X$ need not be.
Why is $\langle dL_g Y_e, dL_g Z_e\rangle = \langle Y_e, Z_e\rangle$? – dmm Oct 9 '12 at 21:04