equation 24.8 eq:sym-bracket-homomorphism

open in the book · parts/03-classical-mechanics/07-symplectic-geometry.tex:438

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.

equation 24.8: eq:sym-bracket-homomorphism24.8lemma A.546: The Hamiltonian fields of the integralsA.546proposition 24.51: Prequantization is a Lie-algebra homomorphism24.51theorem A.545: Liouville–ArnoldA.545equation A.844: eq:app-hj-liouville-arnold-involutionA.844equation 24.5: eq:sym-hamiltonian-field24.5lemma A.548: The joint flow is a translation action on the level setA.548proposition A.547: The components of the level set are the leaves of an integrable distributionA.547proof : app:A-long-proofs@proof-330proofdefinition 24.50: Prequantum operator24.50equation 24.34: eq:sym-prequantum-condition24.34example 24.52: The prequantum line and the Schrödinger representation24.52proof : ch:07-symplectic-geometry@proof-16proofequation 23.54: eq:hj-involution23.54theorem 13.133: Frobenius13.133proof : app:A-long-proofs@proof-338proof

Edges

typedirectionnode provenancewhere
depends_on The Hamiltonian fields of the integrals declared appendices/A-long-proofs.tex:26539
depends_on Prequantization is a Lie-algebra homomorphism declared parts/03-classical-mechanics/07-symplectic-geometry.tex:1728
depends_on Liouville–Arnold declared appendices/A-long-proofs.tex:26521