Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How do I prove the following assertion:

Let $\nabla$ be a connection on a riemannian manifold. $\nabla$ is compatible with the metric if and only if for all vector fields $X,Y,Z$ we must have:

$X\langle Y,Z \rangle = \langle\nabla_X^Y,Z\rangle+\langle Y,\nabla_X^Z\rangle$

share|cite|improve this question
What's your definition of "compatibility"? – Neal May 12 '12 at 15:24
For every $X,Y$ parallel vector fields along a curve we have: $\langle X,Y \rangle$ = constant, but suppose you know that the product rule can be applied to $\frac{d\langle X,Y \rangle}{dt}$ – Jr. May 12 '12 at 16:35
$\frac{d\langle X,Y \rangle}{dt}=\langle \frac{DX}{dt},Y\rangle + \langle X,\frac{DY}{dt}\rangle$ – Jr. May 12 '12 at 16:40
up vote 1 down vote accepted

Look at the Proposition 3.2 and Corollary 3.3

share|cite|improve this answer
actualy I was trying to understand that corollary but stuck, but after some time I understand :) – Jr. May 12 '12 at 19:06
Dear Jr. Knowing what have tried out precisely, would be helpful to those who want to answer your questions. – Ehsan M. Kermani May 12 '12 at 19:09

Your Answer


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.