Así, los estados puros vienen dados por los rayos de algún espacio de Hilbert complejo separable.