Definizione (Ket). Sia lo spazio di Hilbert di un sistema quantistico. Si dice ket un vettore appartenente a , denotato come:

Definizione (Bracket). Sia il prodotto scalare dello spazio di Hilbert di un sistema quantistico. Siano . Sia un operatore lineare in . Si denotano:

Proposizione. Per la simmetria hermitiana del prodotto scalare e per definizione di operatore aggiunto segue che:

Definizione (Valor medio). Sia lo spazio di Hilbert di un sistema quantistico, e un’osservabile del sistema. Si dice valor medio di su il seguente rapporto:

Definizione. Gli operatori e , che operano nello spazio di Hilbert a cui appartengono i ket sono definiti tali per cui:

Proposizione. Sia una base di uno spazio di Hilbert. Allora:

Proposizione.