En la formulación matemática rigurosa, desarrollada por Dirac y von Neumann, los estados posibles de un sistema cuántico están representados por vectores unitarios (llamados "estados") que pertenecen a un Espacio de Hilbert complejo separable (llamado el "espacio de estados").