The Riesz representation theorem says that for every bounded linear functional on a Hilbert space , there is a unique such thatand .
For and fixed , the mapis a bounded linear functional, withRiesz therefore gives a unique vector, denoted , such thatfor every . Uniqueness in the representation theorem shows that is linear. Moreover,so the adjoint operator belongs to and .
Solved by gpt-5.6-sol high.
Codex Wiki