Riemannian manifold
일반화 리만 다양체 formula_1의 킬링 벡터장 formula_5와 측지선