Dirac Notation (Bra-Ket) — Mathematics Knowledge System

Overview

Dirac notation (also called bra-ket notation) is a compact and powerful notation for quantum states and operators introduced by Paul Dirac in his 1930 book 'The Principles of Quantum Mechanics'. A ket |ψ⟩ represents a state vector in a Hilbert space; a bra ⟨ψ| is its dual vector. Inner products, outer products, matrix elements, and operator expressions are all written uniformly. The notation is basis-independent and makes the algebraic structure of quantum mechanics transparent.

Intuition

A ket |ψ⟩ is a column vector in the Hilbert space of states; a bra ⟨ψ| is the corresponding row vector (complex conjugate transpose). Their inner product ⟨φ|ψ⟩ is a complex number (probability amplitude); the outer product |ψ⟩⟨φ| is a matrix (operator). Operator matrix elements are written ⟨φ|A|ψ⟩ = the action of A on |ψ⟩ then inner-producted with |φ⟩.

Formal Definition

Definition

In a complex Hilbert space ℋ, kets are vectors, bras are elements of the dual space ℋ*, and the inner product pairs them.

|\psi\rangle \in \mathcal{H} \quad (\text{ket: state vector})

Ket

\langle \phi | \in \mathcal{H}^* \quad (\text{bra: dual vector, via Riesz representation})

Bra

\langle \phi | \psi \rangle \in \mathbb{C} \quad (\text{inner product / probability amplitude})

Bra-ket (inner product)

|\psi\rangle\langle\phi| : \mathcal{H} \to \mathcal{H} \quad (\text{ket-bra: rank-1 operator})

Outer product (operator)

\sum_n |n\rangle\langle n| = \mathbf{1} \quad (\text{completeness / resolution of identity})

Completeness relation for orthonormal basis {|n⟩}

Notation

Notation	Meaning
$\|\psi\rangle$	Ket: state vector in ℋ
$\langle\psi\|$	Bra: dual vector in ℋ*
$\langle\phi\|\psi\rangle$	Inner product (probability amplitude)
$\|\psi\rangle\langle\phi\|$	Outer product (rank-1 operator)
$\langle\phi\|A\|\psi\rangle$	Matrix element of operator A

Properties

Linearity of ket

\alpha|\psi\rangle + \beta|\phi\rangle \in \mathcal{H} \quad \forall\, \alpha,\beta \in \mathbb{C}

Conjugate linearity of bra

(\alpha|\psi\rangle)^\dagger = \bar{\alpha}\langle\psi|

Hermitian inner product

\langle\phi|\psi\rangle = \overline{\langle\psi|\phi\rangle}

Born rule via bra-ket

P(n|\psi) = |\langle n|\psi\rangle|^2

Worked Examples

1
A physical state must have unit norm in ℋ.
$\langle\psi|\psi\rangle = 1$
2
In coordinates: if |ψ⟩ = Σₙ cₙ|n⟩, then ⟨ψ|ψ⟩ = Σₙ |cₙ|² = 1.
$\sum_n |c_n|^2 = 1$

✓ Answer

Normalisation: ⟨ψ|ψ⟩ = 1.

Practice Problems

Mediumfree response

Write the matrix element of an operator A between states |φ⟩ and |ψ⟩ in bra-ket notation, and state its relationship to the adjoint A†.

Common Mistakes

Common Mistake

⟨φ|ψ⟩ and |ψ⟩⟨φ| are the same thing

⟨φ|ψ⟩ is a scalar (complex number); |ψ⟩⟨φ| is a rank-1 operator (matrix). They are fundamentally different objects.

Common Mistake

The bra ⟨ψ| is just the complex conjugate of |ψ⟩

⟨ψ| is the Hermitian conjugate (conjugate transpose) of |ψ⟩. It lives in the dual space ℋ*, not in ℋ itself.

Quiz

The completeness relation Σₙ |n⟩⟨n| = 1 requires the set {|n⟩} to be:

Any orthogonal setA complete orthonormal basis (ONB) of ℋEigenstates of any operatorFinitely many vectors

The outer product |ψ⟩⟨φ| is:

A complex numberA scalar multiple of the identityA linear operator from ℋ to ℋ of rank 1A unitary operator

Historical Background

Paul Dirac introduced the bra-ket notation in the first edition of 'The Principles of Quantum Mechanics' (1930) as a way to unify matrix mechanics and wave mechanics in a single algebraic framework. The notation proved enormously influential: it is now the universal language of quantum physics, quantum information, and quantum computing. The terms 'bra' and 'ket' come from splitting the word 'bracket' — since the inner product ⟨φ|ψ⟩ is written as a bracket.

1930
Dirac publishes 'The Principles of Quantum Mechanics', introducing bra-ket notation
Paul Dirac
1939
Dirac refines the notation in the second edition of his book
Paul Dirac
1980s
Bra-ket notation adopted universally in quantum information and quantum computing

Summary

Kets |ψ⟩ are vectors in ℋ; bras ⟨ψ| are their duals in ℋ* via the Riesz representation theorem.
Inner product ⟨φ|ψ⟩ is a complex number; outer product |ψ⟩⟨φ| is a rank-1 operator.
Matrix elements of operator A are written ⟨φ|A|ψ⟩.
Completeness: Σₙ |n⟩⟨n| = 1 for any complete orthonormal basis {|n⟩}.
The Born rule: P(n|ψ) = |⟨n|ψ⟩|² is the probability of measuring eigenstate |n⟩.

References

BookDirac, P.A.M. — The Principles of Quantum Mechanics, 4th ed. (1958), Oxford University Press
BookSakurai, J.J. & Napolitano, J. — Modern Quantum Mechanics, 3rd ed. (2020), Cambridge University Press, Chapter 1
BookNielsen, M.A. & Chuang, I.L. — Quantum Computation and Quantum Information (2000), Cambridge University Press, §2.1
WebsiteWikipedia — Bra-ket notation
WebsiteMathWorld — Bra