JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

Dirac's Bras and Kets

A friendly guide to the elegant ⟨bra| and |ket⟩ notation used everywhere.

A symbol that became famous

In the late 1920s the young British physicist Paul Dirac was looking for the cleanest possible way to write quantum mechanics down. His famous 1930 textbook laid the groundwork, and the notation he settled on — refined in a short 1939 paper and folded into later editions of that book — is so good that we still use it essentially unchanged today. Once you learn it, you cannot un-see how neat it is. It is called bra-ket notation, and it rests on one wonderfully silly pun, which we will get to.

Recall from the last guide that a quantum state is really an arrow. Bra-ket notation is just a beautifully economical way of writing that arrow and doing things with it. There is nothing here you have not already met in spirit — only a new, very compact handwriting for it.

The ket: a state in a box

To write a quantum state, Dirac wraps a label in a half-box that opens to the left, like this: |ψ⟩. This object is called a ket, and it stands for one state-arrow. The squiggle inside, ψ here, is just a name — you could equally write |cat⟩, |electron is here⟩, |spin up⟩, or |0⟩ and |1⟩ for a quantum bit. The brackets carry the meaning "this is a state"; the label inside merely says *which* state.

Because a ket is an arrow, the two arrow-tricks still work, and now they look very clean. You can scale a ket by a number, written c|ψ⟩, and you can add two kets, |ψ⟩ + |φ⟩, to make a new state. That sum is a superposition — written, finally, in its natural alphabet.

|psi>            a state (a "ket")
c |psi>          the same state, scaled by a number c
|psi> + |phi>    a superposition: two states added

Examples:  |up>, |down>, |0>, |1>, |here>, |cat alive>
Kets are just labelled arrows you can scale and add. The bracket means "state"; the label means "which one."

The bra: a state turned into a question

Now the pun. Dirac wanted a partner symbol that opens the other way, a half-box facing right: ⟨φ|. He called it a bra. The joke is that when you push a bra up against a ket — ⟨φ| next to |ψ⟩ — the two halves snap together into a complete bracket: ⟨φ|ψ⟩. Bra-ket. (Dirac genuinely named them by splitting the word "bracket" in two.) If a ket is a state sitting there, a bra is best thought of as a *measuring question* aimed at states.

Every ket |φ⟩ has a matching bra ⟨φ|; the bra is the same arrow viewed from a partner space (mathematicians call it the dual space, but you do not need that word to use the notation). The single most important thing a bra and a ket do together is form ⟨φ|ψ⟩, which is a plain number telling you how much the state |ψ⟩ overlaps with the state |φ⟩. This number is the inner product of the two states.

Why the overlap is the whole game

The bracket ⟨φ|ψ⟩ matters because it is where physics enters. Suppose a system is in state |ψ⟩ and you ask, "is it in state |φ⟩?" The overlap ⟨φ|ψ⟩ is exactly the probability amplitude for getting "yes." To turn an amplitude into an honest probability you take its size and square it — written |⟨φ|ψ⟩|². That squaring rule is the famous Born rule, and you will see it dressed in this notation for the rest of your quantum life. So the humble bracket is not decoration: it is the bridge from the abstract arrow to a number you can compare against an experiment.

Two special cases are worth keeping in your pocket. First, ⟨ψ|ψ⟩, the overlap of a state with itself, measures the arrow's length-squared; we usually insist this equals 1, which is just demanding that the probabilities of all outcomes add to 1 (the normalization condition). Second, if ⟨φ|ψ⟩ = 0 the two states are perfectly distinguishable — measuring one will never be mistaken for the other. These two facts, normalized states and orthogonal states, are the grammar of almost every calculation ahead.

Putting the pieces together

  1. See a |ψ⟩? Read it as "a state called ψ" — an arrow. Do not overthink the symbol.
  2. See a ⟨φ|? Read it as "the question: how much like φ?" — a state turned into a probe.
  3. See a full ⟨φ|ψ⟩? It is a single number: the overlap, the amplitude for "yes, it is φ."
  4. Want a probability? Square the size: |⟨φ|ψ⟩|². That is the number an experiment can check.

That is the entire alphabet: kets for states, bras for questions, brackets for overlaps. It looks slight on the page, yet this small set of symbols can express every statement in quantum mechanics, from a single qubit to the whole electromagnetic field. In the next guide we ask where all these arrows actually live — the space that makes the whole language hang together.