The eigenkets (eigenvectors) of H , denoted | a ⟩ , provide an orthonormal basis for the Hilbert space. The spectrum of allowed energy levels of the system is given by the set of eigenvalues, denoted { E a } , solving the equation: