= Closest point theorem for a closed convex subset of Lp
{title2=$h=\operatorname*{argmin}_{g\in K}\|g-f\|_p$}
For $2\le p<\infty$, a nonempty <closed> <convex set> $K$ in an <Lp space> has exactly one nearest point to every $f$. A <minimizing sequence> $g_j$ is a <Cauchy sequence>: the <Clarkson inequality> bounds $\|g_j-g_k\|_p^p$ by $2^{p-1}(\|g_j-f\|_p^p+\|g_k-f\|_p^p)-2^pd^p$, where $d$ is the infimum of the distances. <Completeness of Lp spaces> and the <closed set> property give a limit in $K$. Applying the same inequality to two minimizers proves uniqueness. Nonemptiness is essential.
Back to article page
