equation 24.5 eq:sym-hamiltonian-field

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

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.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 proposition A.571 Invariant Hamiltonians descend with their flows ¶
depends_on theorem 24.45 Noether, symplectic form ¶
- depends_on proposition A.571 Invariant Hamiltonians descend with their flows ¶ ↺

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`	←	Invariant Hamiltonians descend with their flows	declared	appendices/A-long-proofs.tex:27413
`depends_on`	←	Noether, symplectic form	declared	parts/03-classical-mechanics/07-symplectic-geometry.tex:1514