Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:Riemannian_manifold differential manifold |
| gptkbp:hasConnection |
true
|
| gptkbp:hasExponentialMap |
diffeomorphism at every point
|
| gptkbp:hasGeodesics |
unique between any two points
|
| gptkbp:hasSectionalCurvature |
non-positive
|
| gptkbp:hasSpecialCase |
gptkb:Cartan–Hadamard_theorem
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hadamard manifold
|
| gptkbp:namedAfter |
gptkb:Jacques_Hadamard
|
| gptkbp:numberOfIssues |
true
|
| gptkbp:universalCover |
itself
|
| gptkbp:usedIn |
gptkb:global_Riemannian_geometry
geometric group theory |
| gptkbp:bfsParent |
gptkb:Riemannian_manifold
|
| gptkbp:bfsLayer |
5
|