Hilbert space
…instance by the Plancherel theorem for spherical functions occurring in noncommutative harmonic analysis. In the mathematically rigorous formulation of quantum mechanics, developed by John von Neumann, the possible states (more precisely, the pure states) of a quantum mechanical system are represented by unit vectors…