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.