First-class constraint: Difference between revisions

Revision as of 23:58, 15 December 2012

Revision as of 00:01, 16 December 2012

Line 34:

for some smooth functions

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

(there is a theorem showing this) and

Line 42:

for some smooth functions

:<math>v_i^j</math>.

:''v''_''i''^''j''.

This can be done globally, using a [[partition of unity]]. Then, we say we have an irreducible '''first-class constraint''' (''irreducible'' here is in a different sense from that used in [[representation theory]]).