equation 13.273 eq:mfd-lie-vector

Rests on

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

Supports

• depends_on definition 13.130 Distribution; involutive; integrable ¶
  • depends_on corollary 13.134 Frobenius for a Pfaffian system ¶
  • depends_on theorem 13.133 Frobenius ¶
    • depends_on corollary 13.134 Frobenius for a Pfaffian system ¶ ↺
    • 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 proposition A.552 The component is a torus ¶
      • depends_on lemma A.555 The actions are well defined ¶
    • depends_on theorem A.545 Liouville–Arnold ¶
• depends_on proposition 13.131 Commuting fields have commuting flows ¶
  • 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 proposition 13.132 Simultaneous straightening of commuting fields ¶
    • depends_on theorem 13.133 Frobenius ¶ ↺
    • depends_on theorem 13.137 Commuting complete fields on a compact manifold ¶
  • depends_on theorem 13.137 Commuting complete fields on a compact manifold ¶ ↺
• depends_on theorem 13.133 Frobenius ¶ ↺