Mathematically, A is a self-adjoint operator on a separable complex Hilbert space. In the most commonly used case in quantum mechanics, σ σ is a pure state, described by a normalized vector ψ ψ in the Hilbert space. The expectation value of A in the state ψ ψ is defined as