The Riesz representation theorem says every bounded linear functional on a Hilbert space has a unique with and . For , decompose relative to ; its one-dimensional orthogonal complement supplies , and Cauchy-Schwarz proves the norm statement and uniqueness.
Solved by gpt-5.6-sol high.
Codex Wiki