An abstract state vector in Hilbert space representing the quantum state of a system.

The Hermitian adjoint (dual) of the ket |ψ⟩, acting as a linear functional that maps kets to complex numbers.

Observable (operator)

A Hermitian linear operator on Hilbert space whose eigenvalues correspond to possible measurement outcomes.

A|a⟩ = a|a⟩, where |a⟩ is an eigenstate of operator A with eigenvalue a.

Dirac's notation ⟨ψ| for the dual (Hermitian adjoint) of a state vector |ψ⟩.

Dirac's notation |ψ⟩ for a quantum state vector in Hilbert space.

The operator [A, B] = AB − BA, indicating whether two observables are compatible.

A state |a⟩ that is unchanged in direction by an operator A, satisfying A|a⟩ = a|a⟩.

Dirac Notation, Operators, and the Mathematics of Quantum States — Quantum Mechanics Mastery: From Foundations to Modern Frontiers

From Wavefunctions to State Vectors

From ψ(x) to vectors

We replace the concrete wavefunction `ψ(x,t)` by an abstract state vector in a Hilbert space, written as a ket: `|ψ⟩`. This works for particles, spins, and more.

What is a Hilbert space?

A Hilbert space is a vector space with an inner product and good completeness properties. For a 1D particle, it is (roughly) all square-integrable functions `ψ(x)`.

Wavefunctions as components

In Dirac notation, the usual wavefunction is just a component: `ψ(x) = ⟨x|ψ⟩`, the overlap of the abstract state `|ψ⟩` with the position eigenstate `|x⟩`.

Kets, Bras, and Inner Products

Kets and bras

Kets `|ψ⟩` represent quantum states (like column vectors). Bras `⟨ψ|` are their Hermitian adjoints (like conjugate row vectors). Together they form bra-kets.

Inner products

The inner product `⟨φ|ψ⟩` is a complex number. For wavefunctions: `⟨φ|ψ⟩ = ∫ φ*(x) ψ(x) dx`. It measures overlap between states.

Normalization and probability

A normalized state has `⟨ψ|ψ⟩ = 1`. The probability to find `|ψ⟩` in state `|φ⟩` is `|⟨φ|ψ⟩|^2`, the squared modulus of the inner product.

Example: Spin-1/2 States in Dirac Notation

Spin basis states

For spin-1/2, choose the z-basis: `|↑⟩` and `|↓⟩`. Represent them as vectors: `|↑⟩ = (1,0)^T`, `|↓⟩ = (0,1)^T` in `C^2`.

Inner products in spin space

These basis states are orthonormal: `⟨↑|↑⟩ = 1`, `⟨↓|↓⟩ = 1`, and `⟨↑|↓⟩ = ⟨↓|↑⟩ = 0`.

General spin state and probabilities

Any normalized state is `|ψ⟩ = α|↑⟩ + β|↓⟩`, with `|α|^2 + |β|^2 = 1`. Measuring `S_z`: `P(↑) = |α|^2`, `P(↓) = |β|^2`.

Operators as Observables

Operators on states

Observables are linear operators: `A|ψ⟩` is a new state. Position and momentum for a particle, or spin matrices for spin-1/2, are all operators.

Examples: X and P

For a 1D particle: `X` acts as `(Xψ)(x) = x ψ(x)`, `P` acts as `(Pψ)(x) = -iħ dψ/dx`. In spin space, operators become 2×2 matrices.

Expectation values

The expected value of observable `A` in state `|ψ⟩` is `⟨A⟩_ψ = ⟨ψ|A|ψ⟩`. This works in any representation, making Dirac notation very general.

Thought Exercise: Connecting Representations

5. Thought exercise: connecting ψ(x) and Dirac notation

Work through these questions step by step. Try to answer before scrolling further in your notes.

Suppose you know the wavefunction `ψ(x)` of a particle at some fixed time. In Dirac language, what is the corresponding abstract object?

Hint: Think "ket".

The position eigenstates satisfy `X|x⟩ = x|x⟩`. What does the quantity `⟨x|ψ⟩` represent in terms of wavefunctions?

Hint: Compare with the formula for inner products in position space.

Write the expectation value of position `⟨X⟩` in two ways:

(a) Using wavefunctions and integrals.
(b) Using Dirac notation.

Check your consistency:

Starting from (b), insert a resolution of identity `∫ |x⟩⟨x| dx = I` between bras and kets to recover (a). Can you see how the integral appears automatically?

Reflect: Dirac notation is not a different theory; it is a compact way to write the same physics you already know from `ψ(x)`.

Eigenvalue Problems and Measurement

Eigenvalue equation

An eigenvalue problem: `A|an⟩ = an |an⟩`. Here `A` is an operator, `an` a real eigenvalue (for observables), and `|a_n⟩` the corresponding eigenstate.

Measurement meaning

Spectral decomposition

Operators can be written as `A = Σn an |an⟩⟨an|` and the identity as `Σn |an⟩⟨a_n| = I`. This expresses completeness of the eigenstates.

Numerical Example: Spin Operator in Python

7. Code example: spin-1/2 operator and expectation value

You can use Python with NumPy to play with operators and states numerically. This mirrors the Dirac notation with matrices and vectors.

The code below:

Defines `|↑⟩` and `|↓⟩` as vectors.
Defines the `S_z` operator.
Builds a superposition state.
Computes the expectation value `⟨S_z⟩`.

Commutators and Compatible Observables

Commutator definition

The commutator of operators `A` and `B` is `[A, B] = AB - BA`. It measures how much the order of operations matters.

Compatible observables

If `[A, B] = 0`, the observables are compatible and can share eigenstates. If not, there is a fundamental limit to joint knowledge.

Examples: X, P and spin

Position and momentum obey `[X, P] = iħI`, giving `ΔX ΔP ≥ ħ/2`. Spin components satisfy `[Sx, Sy] = iħ S_z`, showing they are incompatible.

Quick Check: Interpreting Bra-Kets

9. Quiz: interpreting ⟨φ|ψ⟩

Answer the multiple-choice question below to check your understanding.

What does the quantity |⟨φ|ψ⟩|^2 represent when the system is in state |ψ⟩ and we consider the state |φ⟩?

The expectation value of the observable φ in state |ψ⟩
The probability of obtaining the result associated with state |φ⟩ when measuring the corresponding observable on |ψ⟩
The normalization factor needed to make |ψ⟩ a unit vector
The commutator between |φ⟩ and |ψ⟩

Show Answer

Answer: B) The probability of obtaining the result associated with state |φ⟩ when measuring the corresponding observable on |ψ⟩

The overlap ⟨φ|ψ⟩ is a probability amplitude. Its squared modulus |⟨φ|ψ⟩|^2 is the probability that a measurement (with eigenstate |φ⟩ as one outcome) yields the result associated with |φ⟩ when the system is in state |ψ⟩.

Key Term Review

10. Flashcards: core concepts

Flip through these cards to reinforce the main vocabulary of Dirac notation and operators.

Ket |ψ⟩: An abstract state vector in Hilbert space representing the quantum state of a system.
Bra ⟨ψ|: The Hermitian adjoint (dual) of the ket |ψ⟩, acting as a linear functional that maps kets to complex numbers.
Inner product ⟨φ|ψ⟩: A complex number measuring the overlap between two states; its modulus squared is a transition probability.
Observable (operator): A Hermitian linear operator on Hilbert space whose eigenvalues correspond to possible measurement outcomes.
Eigenvalue equation: A|a⟩ = a|a⟩, where |a⟩ is an eigenstate of operator A with eigenvalue a.
Expectation value ⟨A⟩: The average outcome of many measurements of observable A in state |ψ⟩, given by ⟨ψ|A|ψ⟩.
Commutator [A, B]: Defined as AB − BA; if [A,B] = 0, the observables are compatible and can share eigenstates.
Compatible observables: Observables represented by commuting operators that can be simultaneously diagonalized and measured precisely together.

Key Terms

Bra: Dirac's notation ⟨ψ| for the dual (Hermitian adjoint) of a state vector |ψ⟩.
Ket: Dirac's notation |ψ⟩ for a quantum state vector in Hilbert space.
Commutator: The operator [A, B] = AB − BA, indicating whether two observables are compatible.
Eigenstate: A state |a⟩ that is unchanged in direction by an operator A, satisfying A|a⟩ = a|a⟩.
Eigenvalue: The scalar a in A|a⟩ = a|a⟩, interpreted as a possible measurement outcome.
Observable: A physical quantity represented by a Hermitian operator whose eigenvalues are possible measurement results.
Hilbert space: A complete vector space with an inner product, providing the mathematical setting for quantum states.
Inner product: Operation ⟨φ|ψ⟩ that assigns a complex number to a pair of states, generalizing the dot product.
Expectation value: The statistical average of measurement outcomes of an observable in a given state, ⟨ψ|A|ψ⟩.
Compatible observables: Observables with commuting operators that can have a common set of eigenstates and be measured simultaneously.
Spectral decomposition: Representation of an operator as a sum or integral over its eigenvalues and projectors, A = Σ a_n |a_n⟩⟨a_n|.
Heisenberg uncertainty relation: A bound like ΔX ΔP ≥ ħ/2 that limits the simultaneous precision of incompatible observables.