キリング場は、等長変換群(isometry)の無限小生成子である。