Riemannian manifold
콤팩트 리만 다양체 formula_1 위의 미분 형식의 실수 벡터 공간