Connection along a curve: Difference between revisions

From Diffgeom
No edit summary
Line 1: Line 1:
==Definition==
==Definition==


Let <math>M</math> be a [[differential manifold]] and <math>E</math> be a [[vector bundle]] over <math>M</math>. Let <math>\gamma:[0,1] \to M</math> be a [[smooth curve]] in <math>M</math>. A [[connection]] along <math>\gamma<math>, of <math>E</math>, is defined as follows: it is a map <math>D/dt</math> from the space of [[section of a vector bundle along a curve|section]]s of <math>E</math> along <math>\gamma</math>, to itself, such that:
Let <math>M</math> be a [[differential manifold]] and <math>E</math> be a [[vector bundle]] over <math>M</math>. Let <math>\gamma:[0,1] \to M</math> be a [[smooth curve]] in <math>M</math>. A [[connection]] along <math>\gamma</math>, of <math>E</math>, is defined as follows: it is a map <math>D/dt</math> from the space of [[section of a vector bundle along a curve|section]]s of <math>E</math> along <math>\gamma</math>, to itself, such that:


<math>DV/dt + DW/dt = D(V + W)/dt</math>
<math>DV/dt + DW/dt = D(V + W)/dt</math>

Revision as of 00:33, 13 April 2008

Definition

Let be a differential manifold and be a vector bundle over . Let be a smooth curve in . A connection along , of , is defined as follows: it is a map from the space of sections of along , to itself, such that:

and for we have:

where is usual real differentiation.

Facts

Connection gives connection along a curve

Given a connection on the whole vector bundle , we can obtain a connection along the curve . Simply define:

where is the tangent vector to .

However, not every connection along a curve arises from a connection. A particular case is self-intersecting curves. We can construct connections along self-intersecting curves that behave very differently for the same point at two different times, and hence cannot arise from a connection.