Lie derivative
定義可觀測空間formula_81為包括所有李导数及多重李导数的空間。此空間在formula_82可觀測若且唯若formula_83。