Vector field X ---[X,Y]---complete vector field---Jacobi field

local flow of X------Geometric flow

Lie derivative :=

  1. be two complete vector fields with local flows
  2. Frobenius Theorem