Ріманів многовид

Ріманів многовид — гладкий многовид з визначеним у кожній точці скалярним добутком на дотичному просторі, так що скалярний добуток гладко змінюється від точки до точки.

Формально, нехай M — диференційовний многовид розмірності n. Рімановою метрикою на M називається множина скалярних добутків

${\displaystyle g_{p}:T_{p}M\times T_{p}M\longrightarrow \mathbb {R} ,\qquad p\in M}$

така що, для всіх гладких векторних полів X,Y на M,

${\displaystyle p\mapsto g_{p}(X(p),Y(p))}$

є гладкою функцією ${\displaystyle M\to \mathbb {R} }$.