Connection along a curve: Difference between revisions
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.