Хопфа- Ринова теорема представляет собой набор утверждений о геодезической полноте в римановых многообразий. Он назван в честь Хайнца Хопфа и его ученика Вилли Риноу, опубликовавших его в 1931 году.
Пусть ( M, g ) - связное риманово многообразие. Тогда следующие утверждения эквивалентны:
Кроме того, любое из вышеперечисленного подразумевает, что для любых двух точек p и q в M существует минимизирующая длину геодезическая, соединяющая эти две точки (геодезические, как правило, являются критическими точками для функционала длины и могут быть или не быть минимальными).