First-class constraint: Difference between revisions

Revision as of 02:07, 26 February 2014

Revision as of 02:07, 26 February 2014

Line 36:

:<math>c_{ij}^k</math>

(there is a theorem showing this; cf. [[Lie algebra]]) and

:<math>\{f_i,H\}=\sum_j v_i^j f_j</math>

Line 47:

==Geometric theory==

For a more elegant way, suppose given a [[vector bundle]] over M, with ''n''-dimensional [[fiber]] ''V''. Equip this vector bundle with a [[connection form|connection]]. Suppose too we have a [[smooth function|smooth]] [[Section (fiber bundle)|section]] ''f'' of this bundle.

Then the [[covariant derivative]] of ''f'' with respect to the connection is a smooth [[linear map]] Δ''f'' from the [[tangent bundle]] ''TM'' to ''V'', which preserves the [[base point]]. Assume this linear map is right [[invertible]] (i.e. there exists a linear map ''g'' such that (Δ''f'')''g'' is the [[identity function|identity map]]) for all the fibers at the zeros of ''f''. Then, according to the [[implicit function theorem]], the subspace of zeros of ''f'' is a [[submanifold]].