Dirac Bra-Ket Notation
Also known as: Bracket notation · Dirac notation
Dirac split the bracket ⟨φ|ψ⟩ into a 'bra' ⟨φ| and a 'ket' |ψ⟩. A ket is a state vector; a bra is its dual, waiting to be paired with a ket to produce a number — their overlap, which measures how similar two states are. This notation hides the messy integrals and matrices: it works identically whether the state lives in an infinite-dimensional function space or a 2-level qubit. It's the universal shorthand of quantum mechanics.
Two state vectors on the Bloch-like plane; their bra-ket overlap is the projection of one onto the other.
Equivalent forms
A single elegant bracket does the job of integrals, sums, and matrix products — write physics once and it works in any Hilbert space.
Where it holds
Dimensional analysis
Dirac introduced the bra-ket in his 1939 paper 'A new notation for quantum mechanics,' though the ideas ran through his 1930 textbook. The playful naming — 'bra' + 'ket' = 'bracket' — belies how profoundly it unified Schrödinger's wave mechanics and Heisenberg's matrices into one vector-space language.
- Standard language of quantum computing (qubits as kets)
- Compact derivations across QM, QFT, and quantum optics
- Density-matrix and measurement formalism
- ⟨⟩ is generally complex; ⟨⟩ = ⟨⟩*
- |x⟩ kets are idealized, non-normalizable basis elements, not physical states
- The bra is the conjugate transpose of the ket, not just its transpose
What if…
The states are orthogonal — perfectly distinguishable, with zero transition amplitude between them.
You get a projection operator onto |⟩, the building block of measurements and density matrices.
Overlap of orthonormal basis states
- Orthonormality means ⟨i|j⟩
- ⟨0|1⟩ (orthogonal)
- ⟨0|0⟩ (normalized)