Torsion of a linear connection: Difference between revisions

From Diffgeom
No edit summary
No edit summary
Line 6: Line 6:


* A [[differential manifold]] <math>M</math>
* A [[differential manifold]] <math>M</math>
* A [[linear connection]] <math>\nabla</math> on <math>M</math> (viz a connection on the [[tangent bundle]] <math>TM</math>).
* A [[linear connection]] <math>\nabla</math> on <math>M</math> (viz., a connection on the [[tangent bundle]] <math>TM</math>).


===Definition part===
===Definition part===
Line 18: Line 18:
===Tensoriality===
===Tensoriality===


The torsion map is a <math>(1,2)</math> tensor. It is tensorial in both <math>X</math> and <math>Y</math>. This can actually be easily checked by hand.
{{further|[[Torsion is tensorial]]}}
The torsion map is a <math>(1,2)</math> tensor. It is tensorial in both <math>X</math> and <math>Y</math>.

Revision as of 23:53, 4 April 2008

This article defines a tensor (viz a section on a tensor bundle over the manifold) of type (1,2)

Definition

Given data

Definition part

The torsion of , denoted as , is defined as a map that takes as input 2 vector fields and outputs a third vector field, as follows:

A linear connection whose torsion is zero is termed a torsion-free linear connection.

Tensoriality

Further information: Torsion is tensorial The torsion map is a tensor. It is tensorial in both and .