finite-dimensional real hyperbolic spaces
GPTKB entity
Statements (16)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:dimensions |
finite
|
gptkbp:field |
real numbers
|
gptkbp:has_constant_curvature |
negative
|
https://www.w3.org/2000/01/rdf-schema#label |
finite-dimensional real hyperbolic spaces
|
gptkbp:is_a_homogeneous_space |
true
|
gptkbp:is_a_model_of |
noncommutative geometry
|
gptkbp:is_a_Riemannian_manifold |
true
|
gptkbp:is_denoted_by |
H^n
|
gptkbp:isometry_group |
O(1,n)/O(n)
|
gptkbp:type |
hyperbolic space
|
gptkbp:used_in |
gptkb:hyperbolic_geometry
differential geometry geometric group theory |
gptkbp:bfsParent |
gptkb:CAT(0)_spaces
|
gptkbp:bfsLayer |
8
|