Nonexpansiveness of metric projection (source code)

= Nonexpansiveness of metric projection

The metric projection onto a nonempty closed convex set in a Hilbert space is nonexpansive:
$$
\lVert\Pi_C(x)-\Pi_C(y)\rVert\leq\lVert x-y\rVert.
$$