Hopf–Rinow theorem

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:concerns gptkb:Riemannian_manifolds
metric spaces
geodesic completeness
gptkbp:field differential geometry
https://www.w3.org/2000/01/rdf-schema#label Hopf–Rinow theorem
gptkbp:namedAfter gptkb:Werner_Rinow
gptkb:Heinz_Hopf
gptkbp:publicationYear 1931
gptkbp:publishedIn gptkb:Mathematische_Annalen
gptkbp:state For a connected Riemannian manifold, geodesic completeness is equivalent to metric completeness.
gptkbp:bfsParent gptkb:Riemannian_geometry
gptkbp:bfsLayer 5