In meccanica quantistica, la notazione bra-ket, anche conosciuta come notazione di Dirac o formalismo di Dirac, è una notazione introdotta dal fisico e matematico britannico Paul Dirac per descrivere uno stato quantico[1]. Essa è usata più in generale in matematica per denotare vettori astratti in uno spazio funzionale lineare, lo spazio di Hilbert.
Il nome deriva dal fatto che il prodotto scalare di due stati e è denotato con una bracket (lett. "parentesi"): , in cui la parte sinistra è chiamata bra e la destra è chiamata ket. Un ket di stato descrive completamente uno stato quantistico.