Nonexpansiveness of metric projection

ID: nonexpansiveness-of-metric-projection

The metric projection onto a nonempty closed convex set in a Hilbert space is nonexpansive:

New to topics? Read the docs here!