リーマン多様体
Fundamental Theorem of Riemannian Geometry. Let ("M", "g") be a Riemannian manifold (or pseudo-Riemannian manifold). Then there is a unique connection ∇ which satisfies the following conditions: