In any Hadamard space, projection into convex sets is non-expansive; see Proposition 2.4(4) in Metric spaces of non-positive curvature by Bridson and Haefliger.
Mohammad Ghomi
- 7.2k
- 1
- 29
- 54