Curvature is antisymmetric in first two variables

From Diffgeom
Revision as of 01:17, 24 July 2009 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

The Riemann curvature tensor is an alternating tensor, or an antisymmetric tensor, in the first two variables. In other words:

R(X,Y) = - R(Y,X)

Related facts

Proof

The proof is based on the fact that [X,Y] = - [Y,X]

We have:

R(X,Y) = \nabla_X \circ \nabla_Y - \nabla_Y \circ \nabla_X - \nabla_{[X,Y]} = - \left( \nabla_Y \circ \nabla_X  - \nabla_X \circ \nabla_Y - \nabla_{[Y,X]}\right) = -R(Y,X).