Difference between revisions of "Transport along a curve"

From Diffgeom
Jump to: navigation, search
(Definition)
Line 1: Line 1:
 
==Definition==
 
==Definition==
  
Let <math>M</math> be a [[differential manifold]], <math>E</math> a [[vector bundle]] on <math>M</math>. Let <math>\gamma:[0,1] \to M</math> be a [[smooth curve]] in <math>M</math>. Let <math>D/dt</math> denote a [[connection along a curve|connection along]] <math>\gamma</math>. The transport along <math>\gamma</math> defined by <math>D/dt</math> maps <math>E_{\gamma(0)}</math> to the space of [[section of a vector bundle along a curve|section]]s  of <math>E</math> along <math>\gamma</math>, denoted in symbols as:
+
Let <math>M</math> be a [[differential manifold]], <math>E</math> a [[vector bundle]] on <math>M</math>. Let <math>\gamma:[0,1] \to M</math> be a [[smooth curve]] in <math>M</math>. Let <math>D/dt</math> denote a [[connection along a curve|connection along]] <math>\gamma</math> of <math>E</math>. The transport along <math>\gamma</math> defined by <math>D/dt</math> maps <math>E_{\gamma(0)}</math> to the space of [[section of a vector bundle along a curve|section]]s  of <math>E</math> along <math>\gamma</math>, denoted in symbols as:
  
 
<math>v \mapsto \phi_t(v) (t \in [0,1])</math>
 
<math>v \mapsto \phi_t(v) (t \in [0,1])</math>

Revision as of 13:11, 1 September 2007

Definition

Let M be a differential manifold, E a vector bundle on M. Let \gamma:[0,1] \to M be a smooth curve in M. Let D/dt denote a connection along \gamma of E. The transport along \gamma defined by D/dt maps E_{\gamma(0)} to the space of sections of E along \gamma, denoted in symbols as:

v \mapsto \phi_t(v) (t \in [0,1])

such that for any vector v \in E_{\gamma(0)}):

\phi_0(v) = v

and

\frac{D (\phi_t(v)}{dt} = 0

Intuitively, we define a rule for moving the fibre of E, in a manner that is parallel to itself with respect to the connection.