Theme 2 — Hilbert Spaces and Dirac Notation
Riesz representative in finite dimension
Keywords: Riesz · linear functional · inner product · antilinearity · finite dimension
Exercise 1 : Riesz representative in finite dimension
Question 1
Let be equipped with the usual inner product . Let be the linear functional defined by
Question 2
Determine the Riesz representative such that for every .
Solution We seek such that for every . Identifying the components one by one gives , and hence
Question 3
Show that the map is antilinear.
and therefore . The map is indeed antilinear. Solution Let be two linear functionals with representatives and , and let . The representative of satisfies, for every :