proposition 13.129 Commutation of Lie derivative and interior product

Rests on

• depends_on definition 13.98 $k$-form ¶
  • depends_on definition 13.83 Covector ¶
    • depends_on definition 13.81 Vector on a manifold ¶
      • depends_on definition 13.71 Differentiable curve ¶
        • depends_on definition 13.48 Differentiable manifold ¶
      • depends_on definition 13.45 Differentiable map on a topological space ¶
        • depends_on definition 13.44 Atlas ¶
        • depends_on definition 13.43 Coordinate system ¶
      • depends_on definition 13.48 Differentiable manifold ¶ ↺
  • depends_on definition 13.84 Tensor ¶
    • depends_on definition 13.83 Covector ¶ ↺
    • depends_on definition 13.81 Vector on a manifold ¶ ↺
• depends_on proposition 13.128 Cartan's magic formula ¶
  • depends_on definition 13.103 Exterior derivative ¶
    • depends_on definition 13.98 $k$-form ¶ ↺
    • depends_on definition 13.102 Wedge product ¶
      • depends_on definition 13.98 $k$-form ¶ ↺
      • depends_on equation 13.239 eq:mfd-dual-basis ¶
  • depends_on equation 13.246 eq:mfd-leibniz-forms ¶
  • depends_on equation 13.245 eq:mfd-nilpotency ¶
  • depends_on proposition 13.127 Component formulas ¶
    • depends_on definition 13.89 Contravariant and covariant tensors ¶
      • depends_on definition 13.88 General coordinate transformation ¶
    • depends_on definition 13.90 Mixed tensor ¶
      • depends_on definition 13.89 Contravariant and covariant tensors ¶ ↺
      • depends_on definition 13.88 General coordinate transformation ¶ ↺
    • depends_on equation 13.267 eq:mfd-lie-def ¶
    • proves proof ch:11-manifolds-tensors-curvature@proof-28 ¶
  • proves proof ch:11-manifolds-tensors-curvature@proof-29 ¶
• depends_on proposition 13.127 Component formulas ¶ ↺
• proves proof ch:11-manifolds-tensors-curvature@proof-30 ¶

Supports

Nothing declares a dependency on this node yet.