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:
.