Curvature is antisymmetric in first two variables: Difference between revisions

From Diffgeom
m (2 revisions)
No edit summary
 
Line 1: Line 1:
==Statement==
==Statement==


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


<math>R(X,Y) = - R(Y,X)</math>
<math>R(X,Y) = - R(Y,X)</math>
==Related facts==
* [[Curvature is tensorial]]


==Proof==
==Proof==
Line 9: Line 13:
The proof is based on the fact that <math>[X,Y] = - [Y,X]</math>
The proof is based on the fact that <math>[X,Y] = - [Y,X]</math>


{{fillin}}
We have:
 
<math>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)</math>.

Latest revision as of 01:17, 24 July 2009

Statement

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

Related facts

Proof

The proof is based on the fact that

We have:

.