Variedad Riemanniana

Una variedad diferenciable provista en cada punto de un producto interior definido positivo que varía suavemente en los espacios tangentes, lo que define longitudes de vectores tangentes e induce nociones de distancia y ángulo en la variedad.