Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:differential_geometry_concept |
| gptkbp:definedIn |
complete, simply connected Riemannian manifolds with non-positive sectional curvature
|
| gptkbp:example |
gptkb:Euclidean_space
gptkb:hyperbolic_space |
| gptkbp:namedAfter |
gptkb:Jacques_Hadamard
|
| gptkbp:property |
complete
simply connected universal cover of any closed manifold with non-positive curvature exponential map at any point is a diffeomorphism geodesics between any two points are unique |
| gptkbp:relatedTo |
gptkb:Cartan–Hadamard_theorem
|
| gptkbp:sectionalCurvature |
non-positive
|
| gptkbp:studiedIn |
gptkb:Riemannian_geometry
|
| gptkbp:bfsParent |
gptkb:Cartan–Hadamard_theorem
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hadamard manifolds
|