Solution.
Let H be a Hilbert space and let f∈H∗ be a bounded linear functional. Then there exists a unique y∈H such that f(x)=⟨x,y⟩ for all x∈H.
We first show uniqueness: suppose y,y′∈H are such that ⟨x,y⟩=⟨x,y′⟩ for all x∈H. In particular, if we set x=y−y′, then
0=⟨y−y′,y−y′⟩=∥y−y′∥2⟹y=y′.
Next, we need to show existence. If f=0, then f(x)=⟨x,0⟩. Otherwise, kerf is a closed, proper subspace of H. In particular, there exists z∈(kerf)⊥, and by normalizing, we may assume that ∥z∥=1.
Let x∈H. By linearity, if we set u=xf(z)−zf(x), then
f(u)=f(x)f(z)−f(z)f(x)=0,
so u∈kerf. Thus, since z∈(kerf)⊥,
0=⟨u,z⟩⟹f(x)=f(z)⟨x,z⟩−f(x)⟨z,z⟩=⟨x,f(z)z⟩.
Thus, if we set y=f(z)z, we have f(x)=⟨x,y⟩ for any x∈H, which completes the proof.