Quantum mechanics is a formal theory, i.e., one which describes nonphysical or formal quantities (namely the wavefunction in the Schrödinger picture or quantum operators in the Heisenberg picture) which for a given formalism or interpretation relate to physical observables (namely a probability).

The quantum state is consequently a purely mathematical and abstract concept and also a source of many difficulties when first apprehending the theory. Especially, the quantum state is *not* the state in which a quantum object is *to be found*, since a quantum object can only be observed in one eigenstate of the observable, whereas when it is not observed it can be in other quantum states.

Dirac invented a powerful and intuitive notation to capture this abstractness in a mathematical way known as the bra and ket notation. It is very flexible and allows for formal notations which suit the theory very well. For instance, one can refer to an |*excited atom*> or to for a spin-up particle, hiding the underlying complexity of the mathematical description, which is revealed when the state is *projected* onto a coordinate basis. For instance, the mere notation |1s> which describes the hydrogenoïd bound state becomes a complicated function in terms of Laguerre polynomial and spherical harmonics when projected onto the basis of position vectors |**r**>. The resulting expression *Ψ*(**r**)=<**r**|1s>, which is known as the wavefunction, is a special representation of the quantum state, namely, its projection in the real space. Other representations, like the projection in momentum (or reciprocal) space, are possible. They are the many facets of a unique concept, the **quantum state**.

It is instructive to consider the most useful quantum state of the harmonic oscillator:

- The Fock state |
*n*> (*n*an integer) which describes a state of definite energy. - The coherent state |α> (α a complex number) which describes a state of definite phase.
- The thermal state which describes a state of thermal equilibrium.