see also: Reimannian Geometry smooth manifolds with a Riemannian Metric (an inner product on the tangent space at each point that varies smoothly from point to point)