Definition:Dimension of Riemannian Manifold