Riemannian manifold
일반화 리만 다양체 formula_81의 직교 틀다발 formula_82의 주접속 formula_94가 주어졌다고 하자.