A Riemannian manifold is a differentiable manifold in which the tangent space at each point is a finite-dimensional Hilbert space.
