Complete inner-product vector space (typically L²) used as the state space of a quantum system. Pure states are unit rays; observables are self-adjoint operators with spectra giving measurement outcomes (spectral theorem).
Complete inner-product vector space (typically L²) used as the state space of a quantum system. Pure states are unit rays; observables are self-adjoint operators with spectra giving measurement outcomes (spectral theorem).