Riesz Representation Theorem (Hilbert Spaces)

Theorem
Let $H$ be a Hilbert space.

Let $L$ be a bounded linear functional on $H$.

Then there is a unique $h_0 \in H$ such that


 * $\forall h \in H: L h = \left\langle{h, h_0}\right\rangle$