Curvature is antisymmetric in first two variables: Difference between revisions
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> | ||
{{ | 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:
.