CAT(0) spaces

GPTKB entity

Statements (47)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:characterizedBy convexity of distance function
triangle comparison property
gptkbp:defines A geodesic metric space where geodesic triangles are at least as thin as in Euclidean space
gptkbp:example gptkb:Euclidean_space
gptkb:Hilbert_space
gptkb:Hadamard_manifolds
gptkb:finite-dimensional_real_hyperbolic_spaces
gptkb:trees_(in_the_sense_of_metric_spaces)
gptkbp:field geometric group theory
metric geometry
https://www.w3.org/2000/01/rdf-schema#label CAT(0) spaces
gptkbp:introducedIn 1950s
gptkbp:namedAfter gptkb:Élie_Cartan
gptkb:Alexandrov
gptkb:Toponogov
gptkbp:property contractible
finite-dimensional CAT(0) spaces are locally geodesic
finite-dimensional CAT(0) spaces are ANRs (absolute neighborhood retracts)
Busemann convexity
finite-dimensional CAT(0) spaces are locally uniquely geodesic
contractible universal cover
every closed ball is convex
fixed point property for group actions by isometries
finite-dimensional CAT(0) spaces are contractible
finite-dimensional CAT(0) spaces are locally ANR
midpoint map is 1-Lipschitz
no local cut points
finite-dimensional CAT(0) spaces are locally contractible
simply connected if complete and locally CAT(0)
non-positive curvature in the sense of comparison geometry
unique geodesics between points
uniqueness of geodesics between points
finite-dimensional CAT(0) spaces are locally simply connected
finite-dimensional CAT(0) spaces are geodesic metric spaces
finite-dimensional CAT(0) spaces are uniquely geodesic
finite-dimensional CAT(0) spaces are locally convex
gptkbp:relatedTo gptkb:Gromov_hyperbolic_spaces
gptkb:Hadamard_spaces
non-positively curved spaces
gptkbp:usedIn gptkb:topology
fixed point theorems
group actions
rigidity theorems
gptkbp:bfsParent gptkb:Tits_metric
gptkb:CAT(k)_spaces
gptkbp:bfsLayer 7