In the book of Bridson and Haefliger it is said that 'it follows easily' from what they proved before. Does anyone know of a rigorous proof that CAT(0) spaces are contractible?
2026-03-25 12:46:13.1774442773
why are CAT(0) spaces contractible?
611 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
Cat(0) spaces have unique geodesics between points. Fix a base point, and along each geodesic out from that point, pull everything inwards. This is well-defined because geodesics are unique, and is continuous if you use the same map on each geodesic.
i can provide more details as needed.