equation 24.8 eq:sym-bracket-homomorphism
open in the book ·
parts/03-classical-mechanics/07-symplectic-geometry.tex:438
- part of a statement or proof
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
lemma A.546
The Hamiltonian fields of the integrals
¶
-
depends_on
lemma A.548
The joint flow is a translation action on the level set
¶
- depends_on corollary A.553 Quasi-periodic motion ¶
-
depends_on
lemma A.549
The action is transitive
¶
-
depends_on
proposition A.552
The component is a torus
¶
- depends_on corollary A.553 Quasi-periodic motion ¶ ↺
- depends_on definition A.554 Actions on the torus ¶
- depends_on proposition A.556 The Jacobian of the actions is the lattice matrix ¶
-
depends_on
proposition A.552
The component is a torus
¶
- depends_on proposition A.552 The component is a torus ¶ ↺
-
depends_on
proposition A.547
The components of the level set are the leaves of
an integrable distribution
¶
- depends_on lemma A.549 The action is transitive ¶ ↺
- depends_on lemma A.555 The actions are well defined ¶
-
depends_on
lemma A.548
The joint flow is a translation action on the level set
¶
-
depends_on
proposition 24.51
Prequantization is a Lie-algebra homomorphism
¶
- depends_on example 24.52 The prequantum line and the Schrödinger representation ¶
- depends_on theorem A.545 Liouville–Arnold ¶
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
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 |