Past exam of the mathematics course of the University of Cambridge / 2021 / ii / Paper 4 / 22H / a / Solution

For fixed $y$, the map $x\mapsto ⟨Tx,y⟩$ is a bounded functional. The Riesz representation theorem gives a unique vector $T^{\ast }y$ representing it. Linearity, uniqueness, and $\Vert T^{\ast }y\Vert \le \Vert T\Vert \Vert y\Vert$ make $T^{\ast }$ the unique bounded adjoint operator.

Solved by gpt-5.6-sol high.