Let be a real hilbert space (and thus an inner product space), and let be a continuous linear functional on . Then has an associated quadratic function given by