No history yet

Dirac Notation Foundations

States as Vectors

In quantum mechanics, the state of a system contains all the information you can possibly know about it. Instead of thinking about wavefunctions like ψ(x)\psi(x), we're going to represent these states as vectors. This isn't just a notational trick; it's a fundamental shift in perspective that simplifies many calculations and reveals deeper structures.

These aren't ordinary 3D vectors that point in physical space. They are abstract mathematical vectors that live in a special kind of vector space called Hilbert space. A Hilbert space is a complex inner product space, which just means it's a space where vectors can have complex numbers as components, and we have a defined way to calculate the "dot product" or inner product between any two vectors.

Every possible state of a quantum system corresponds to a unique vector in a Hilbert space.

To represent these state vectors, we use Paul Dirac's elegant bra-ket notation. A state vector is written as a ket, which looks like this: ψ|\psi\rangle. The symbol inside, ψ\psi, is just a label for the state. We could just as easily have a state labeled A|A\rangle, spin up|\text{spin up}\rangle, or n|n\rangle for the n-th energy level of an atom.

Ket

noun

A column vector in Hilbert space that represents the state of a quantum system.

Bras and Inner Products

For every ket ψ|\psi\rangle, there is a corresponding bra, written as ψ\langle\psi|. A bra is a row vector. If a ket is a column vector with complex components, its corresponding bra is the conjugate transpose of that vector. This means you take the transpose (turn the column into a row) and then take the complex conjugate of each element.

Ket (Column Vector)Bra (Row Vector)
$\psi\rangle = \begin{pmatrix} c_1 \ c_2 \end{pmatrix}$
$\phi\rangle = \begin{pmatrix} d_1 \ d_2 \ d_3 \end{pmatrix}$

The power of this notation becomes clear when we combine a bra and a ket. When a bra ϕ\langle\phi| acts on a ket ψ|\psi\rangle, they form a "bra-ket" or inner product: ϕψ\langle\phi|\psi\rangle. This is the quantum mechanical equivalent of the dot product. It's a single complex number that tells us about the relationship between the two states.

ϕψ=idici\langle\phi|\psi\rangle = \sum_i d_i^* c_i

One of the most important inner products is the one a state has with itself, ψψ\langle\psi|\psi\rangle. This gives the squared norm (or length) of the state vector. In quantum mechanics, we demand that all physical states are normalized to 1.

ψψ=1\langle\psi|\psi\rangle = 1

Two states, ψ|\psi\rangle and ϕ|\phi\rangle, are said to be orthogonal if their inner product is zero: ϕψ=0\langle\phi|\psi\rangle = 0. In vector terms, this means they are perpendicular. Physically, it means the states are mutually exclusive. If a system is in state ψ|\psi\rangle, there is zero probability of measuring it to be in state ϕ|\phi\rangle.

Lesson image

Expanding into a Basis

Just as any 3D vector can be written as a combination of the basis vectors i^\hat{i}, j^\hat{j}, and k^\hat{k}, any quantum state can be expressed as a linear combination of a set of basis states. A basis is a set of vectors that are orthonormal (mutually orthogonal and normalized to one) and span the entire Hilbert space.

Let's say we have an orthonormal basis set of kets, which we'll label as b1,b2,b3,|b_1\rangle, |b_2\rangle, |b_3\rangle, \dots. The orthonormality condition can be written compactly using the Kronecker delta:

bibj=δij\langle b_i | b_j \rangle = \delta_{ij}

Any arbitrary state ψ|\psi\rangle can be written as a sum over these basis states:

ψ=icibi|\psi\rangle = \sum_i c_i |b_i\rangle

How do we find these coefficients? We use the inner product. To find a specific coefficient, say cjc_j, we take the inner product of the equation with the corresponding basis bra, bj\langle b_j|:

bjψ=icibjbi=iciδij=cj\langle b_j |\psi\rangle = \sum_i c_i \langle b_j | b_i \rangle = \sum_i c_i \delta_{ij} = c_j

This leads to a powerful tool called the completeness relation or the resolution of the identity. It states that the sum of all the outer products of the basis vectors equals the identity operator, II.

An outer product is formed when a ket is followed by a bra, like bibi|b_i\rangle\langle b_i|. This creates a matrix (an operator), not a scalar.

ibibi=I\sum_i |b_i\rangle\langle b_i| = I

We can see this in action by applying the identity operator to our state ψ|\psi\rangle: Iψ=(ibibi)ψ=ibi(biψ)I |\psi\rangle = (\sum_i |b_i\rangle\langle b_i|) |\psi\rangle = \sum_i |b_i\rangle (\langle b_i|\psi\rangle). Since we know that ci=biψc_i = \langle b_i|\psi\rangle, this becomes icibi\sum_i c_i |b_i\rangle, which is just our original expansion of ψ|\psi\rangle. The completeness relation provides the formal justification for expanding any vector in a given basis.

Quiz Questions 1/6

In Dirac's bra-ket notation, what does a ket, represented as |\[\psi\]\rangle, fundamentally represent?

Quiz Questions 2/6

How is the bra \langle\[\psi\]| mathematically related to the ket |\[\psi\]\rangle?