Lie derivative
"x""a" を座標系とする。("r", "s")-型のテンソル場 formula_11 に対して、formula_12 に沿ったリー微分は