Riesz representation theorem (source code)

= Riesz representation theorem
{c}
{wiki}

Every bounded linear functional on a Hilbert space is inner product with one unique vector, with equal norms.