Dirac Notation and Riesz Theorem

Riesz Representation Theorem