Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 105 / 2 / c / i

The Sobolev trace theorem makes evaluation at zero a continuous linear map $T_0:H^1(0,1)\to \mathbb{R}$. Henceis a closed vector subspace of the Hilbert space $H^1(0,1)$. Every closed vector subspace of a Hilbert space is complete with the restricted inner product, so $H$ is a Hilbert space with the standard $H^1$ inner product.