Conjugate of the squared distance to a convex set
= Conjugate of the squared distance to a convex set
{title2=$d_C^*(p)=\frac12\|p\|^2+\sigma_C(p)$}
The <squared distance to a convex set> is the <infimal convolution> of the set's <indicator functional of a constraint set> and the half-squared <Hilbert space> <norm>. Its <convex conjugate> is the sum of the half-squared <norm> and the <support function> of the set.