Introduction: The Language of Quantum Mechanics
Dirac notation (bra-ket notation) is the standard notation for quantum mechanics. It was invented by Paul Dirac and elegantly captures the structure of Hilbert spaces. Once you master it, complex quantum calculations become almost automatic.
Kets: Column Vectors
A ket \(|\psi\rangle\) represents a quantum state—mathematically, a column vector in Hilbert space:
\[|\psi\rangle = \begin{pmatrix} \psi_1 \\ \psi_2 \\ \vdots \end{pmatrix}\]The label inside can be anything meaningful: \(|0\rangle\), \(|1\rangle\), \(|\uparrow\rangle\), \(|n\rangle\), \(|x\rangle\), etc.
Bras: Row Vectors
A bra \(\langle\phi|\) is the adjoint (conjugate transpose) of a ket:
\[\langle\phi| = |\phi\rangle^\dagger = (\bar{\phi}_1, \bar{\phi}_2, \ldots)\]If \(|\phi\rangle = \begin{pmatrix} 1 \\ i \end{pmatrix}\), then \(\langle\phi| = (1, -i)\).
The Bra-Ket Relationship
The notation is designed so that:
- \(|\psi\rangle\) is a ket (column vector, state)
- \(\langle\psi|\) is a bra (row vector, dual state)
- \(\langle\phi|\psi\rangle\) is a bra-ket (inner product, scalar)
The names come from "bracket" split in half!
Worked Examples
Example 1: Standard Basis Kets
In \(\mathbb{C}^2\):
\[|0\rangle = \begin{pmatrix} 1 \\ 0 \end{pmatrix}, \quad |1\rangle = \begin{pmatrix} 0 \\ 1 \end{pmatrix}\]These represent spin-up and spin-down (or qubit states 0 and 1).
Example 2: Superposition State
\[|+\rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle) = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ 1 \end{pmatrix}\]Example 3: From Ket to Bra
If \(|\psi\rangle = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ i \end{pmatrix}\), then:
\[\langle\psi| = \frac{1}{\sqrt{2}} (1, -i)\]The Quantum Connection
Dirac notation abstracts away coordinate representations. The ket \(|\psi\rangle\) represents the state itself, independent of any basis. Writing \(\psi(x) = \langle x|\psi\rangle\) shows that the wavefunction is just the amplitude of the state in the position basis. This abstraction is essential for understanding that quantum states exist independently of how we choose to measure them.