remark 26.4 The constant-rank theorem is owed by Part II

open in the book · parts/03-classical-mechanics/09-constrained-hamiltonian-dynamics.tex:123 · p. 900

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

Neighborhood

Every logical edge within two steps of this node.

remark 26.4: The constant-rank theorem is owed by Part II26.4lemma A.650: Flattening the constraintsA.650proposition 26.5: Primary constraints26.5remark 26.7: The regularity assumption, stated once26.7theorem A.286: Implicit function theoremA.286lemma A.651: Acyclicity of \deltaA.651proof : app:A-long-proofs@proof-390proofdefinition 26.3: Singular Lagrangian26.3proposition 26.6: The canonical Hamiltonian is defined on the constraint surface26.6proposition 26.32: Constraint structure of the free Maxwell field26.32proposition 26.29: Reparametrization invariance and the mass-shell constraint26.29proof : ch:09-constrained-hamiltonian-dynamics@proof-1proof

Edges

typedirectionnode provenancewhere
depends_on Flattening the constraints declared appendices/A-long-proofs.tex:31651
depends_on Primary constraints declared parts/03-classical-mechanics/09-constrained-hamiltonian-dynamics.tex:152