Closest point theorem in a Hilbert space
= Closest point theorem in a Hilbert space
{wiki=Hilbert_projection_theorem}
Every nonempty closed convex subset $C$ of a Hilbert space contains a unique point nearest to each $x$. A minimizing sequence is Cauchy by the parallelogram identity, and uniqueness follows by applying the same identity to two minimizers and their midpoint.