Lie derivative
具体地，向量场"X"是一个基灵场，如果度量关于 "X" 李导数为零：