DIRAC NOTATION CHEAT SHEET: READING BRAS AND KETS
A consolidated reference for every piece of notation introduced so far in this module.
Over the last seven lessons, we've quietly introduced pieces of a notation system without ever stopping to summarize it as a whole: kets (Module 1, Lesson 4), bras (Lesson 5, in passing), inner products (Lesson 5), and conjugate transposes (Lesson 4). This lesson exists purely to consolidate everything into one clean reference, named after physicist Paul Dirac, who invented it in 1939. Think of this lesson as a syntax reference page you can bookmark — like a language cheat sheet you'd keep open while learning a new programming language.
The Ket: |ψ⟩
A ket, written |ψ⟩ (any symbol can go inside; ψ is just a common placeholder, pronounced "psi"), represents a column vector — exactly the object built in Lesson 1. It is the standard way to denote a quantum state.
We've already used specific kets extensively: , , and others.
The Bra: ⟨ψ|
A bra, written ⟨ψ|, represents the conjugate transpose (Lesson 4's "dagger" operation) of the corresponding ket — turning a column vector into a row vector, with every entry complex-conjugated (Lesson 2).
Worked Example: Bra of |i⟩
Recall from Lesson 5 that .
(The conjugate of a real number like is itself; the conjugate of flips the sign, giving .)
Dirac deliberately split the word "bracket" into "bra" and "ket" -- ⟨ψ| is the "bra," |ψ⟩ is the "ket," and putting them together, ⟨φ|ψ⟩, spells out "bra-ket" (bracket) again. It's a genuine pun, not an accident, and it makes the notation easy to remember once you notice it.
The Inner Product: ⟨φ|ψ⟩
We built this fully in Lesson 5. Now that we have proper bra notation, we can describe it as literally "multiplying a bra by a ket" — treating the bra as a row vector and the ket as a column vector, using ordinary row-times-column matrix multiplication:
This is exactly the formula from Lesson 5 — we've now shown why the "bra" and "ket" pairing is the natural, structurally correct way to write it: a row vector times a column vector, following ordinary matrix multiplication rules, produces a single number (a "scalar") — exactly what an inner product should be.
Worked Example: Recomputing Using Explicit Row-Times-Column Form
Matches Lesson 5's Worked Example 3 exactly.
The Outer Product: |φ⟩⟨ψ|
There's one more combination worth knowing, since it appears in Module 8's treatment of measurement: writing a ket before a bra, instead of after. This is called the outer product, and — unlike the inner product — it produces a matrix, not a single number, because it's a column vector times a row vector:
Worked Example: The Outer Product |0⟩⟨0|
We won't use outer products extensively until Module 8 (where this exact matrix will reappear as a projector — a tool for describing measurement mathematically). For now, just recognize the notation and know it produces a matrix, not a number, so you're never confused by the direction the bra and ket appear in.
Complete Cheat Sheet
| NOTATION | NAME | WHAT IT IS | PRODUCES |
|---|---|---|---|
| |ψ⟩ | Ket | A column vector representing a quantum state | A vector |
| ⟨ψ| | Bra | The conjugate transpose of |ψ⟩ — a row vector, entries conjugated | A vector |
| ⟨φ|ψ⟩ | Inner product / bra-ket | Row vector ⟨φ| times column vector |ψ⟩ | A single number (scalar) |
| |φ⟩⟨ψ| | Outer product | Column vector |φ⟩ times row vector ⟨ψ| | A matrix |
| ⟨ψ|ψ⟩ | Norm-squared / normalization check | Inner product of a state with itself | 1, if properly normalized |
| M|ψ⟩ | Matrix acting on a ket | A matrix (like a gate) applied to a state vector | A new vector (new state) |
| ⟨φ|M|ψ⟩ | "Sandwich" (matrix element) | Bra, matrix, then ket, multiplied in sequence | A single number — used in Module 20 |
The last row of the table, ⟨φ|M|ψ⟩, is worth flagging even though we won't use it until Module 20. It means: first apply matrix M to ket |ψ⟩ (producing a new vector), then take the inner product of that result with ⟨φ|. When phi and psi are the same state, ⟨ψ|M|ψ⟩ computes exactly the kind of expectation value we built in Lesson 7 -- this is the general formula those specific ⟨Z⟩ calculations were secretly built from.
Practice Questions
Test your understanding
KEY TAKEAWAYS
Remember these points
A ket |ψ⟩ is a column vector representing a quantum state; a bra ⟨ψ| is its conjugate transpose, written as a row vector
The inner product ⟨φ|ψ⟩ (bra times ket) produces a single number and measures overlap between states
The outer product |φ⟩⟨ψ| (ket times bra) produces a matrix, and will reappear in Module 8 as the mathematical tool behind measurement "projectors"
The "sandwich" notation ⟨φ|M|ψ⟩ computes a matrix acting on a ket, then an inner product with a bra -- this is the general formula behind the expectation values built in Lesson 7, used explicitly in Module 20
This cheat sheet consolidates every notation introduced across Lessons 1, 4, and 5 -- refer back to it any time notation in a later module feels unfamiliar