Así, el producto interno en el espacio tangente da la longitud de una traslación infinitesimal.