Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-302/1/c/solution

Strictly, the normalized functions form the unit sphere rather than a vector space; let and restrict to normalized states when interpreting wavefunctions. The group law gives
Translation preserves Lebesgue measure and both exponential factors have unit modulus, so preserves the inner product and is a unitary representation. This is the Schrödinger representation of the Heisenberg group: translates position, translates momentum, and contributes the physically irrelevant overall phase.

New to topics? Read the docs here!