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