Chapter 8 Key Takeaways
The Five Big Ideas
-
The ket $|\psi\rangle$ is the quantum state; the wave function $\psi(x)$ is one representation. The wave function is what you get when you project the abstract state onto the position basis: $\psi(x) = \langle x|\psi\rangle$. Different bases give different representations of the same state.
-
Completeness relations are the master tool. Inserting $\sum_n |n\rangle\langle n| = \hat{I}$ or $\int |x\rangle\langle x| \, dx = \hat{I}$ into any expression lets you change basis, evaluate matrix elements, or connect representations. When stuck, insert a 1.
-
Operators become matrices in a chosen basis. The matrix element $A_{mn} = \langle m|\hat{A}|n\rangle$ is the $(m,n)$ entry. Different bases give different matrices for the same operator.
-
Unitary transformations change basis without changing physics. $\hat{U}^\dagger\hat{U} = \hat{I}$ ensures that inner products, probabilities, and expectation values are preserved.
-
Dirac notation works for all quantum systems. Wave functions, spin, photon polarization, qubits, multi-particle states — Dirac notation handles them all with the same tools.
The Rosetta Stone: Wave Mechanics ↔ Dirac Notation
| Concept | Wave Mechanics | Dirac Notation |
|---|---|---|
| State | $\psi(x)$ | $\|\psi\rangle$ |
| Wave function | $\psi(x)$ | $\langle x\|\psi\rangle$ |
| Conjugate / dual | $\psi^*(x)$ | $\langle\psi\|$ |
| Normalization | $\int \|\psi\|^2 dx = 1$ | $\langle\psi\|\psi\rangle = 1$ |
| Inner product | $\int \phi^*\psi \, dx$ | $\langle\phi\|\psi\rangle$ |
| Expansion | $\psi = \sum_n c_n\psi_n$ | $\|\psi\rangle = \sum_n c_n\|n\rangle$ |
| Coefficients | $c_n = \int \psi_n^*\psi \, dx$ | $c_n = \langle n\|\psi\rangle$ |
| Probability | $\|c_n\|^2 = \|\int \psi_n^*\psi \, dx\|^2$ | $\|\langle n\|\psi\rangle\|^2$ |
| Expectation value | $\int \psi^* \hat{A}\psi \, dx$ | $\langle\psi\|\hat{A}\|\psi\rangle$ |
| Eigenvalue equation | $\hat{A}\psi_n = a_n\psi_n$ | $\hat{A}\|a_n\rangle = a_n\|a_n\rangle$ |
| Orthonormality | $\int \psi_m^*\psi_n \, dx = \delta_{mn}$ | $\langle m\|n\rangle = \delta_{mn}$ |
| Completeness | $\sum_n \psi_n(x)\psi_n^*(x') = \delta(x-x')$ | $\sum_n \|n\rangle\langle n\| = \hat{I}$ |
| Position operator | $\hat{x}\psi = x\psi$ | $\langle x\|\hat{x}\|\psi\rangle = x\langle x\|\psi\rangle$ |
| Momentum operator | $\hat{p}\psi = -i\hbar\frac{d\psi}{dx}$ | $\langle x\|\hat{p}\|\psi\rangle = -i\hbar\frac{\partial}{\partial x}\langle x\|\psi\rangle$ |
| Time evolution | $\Psi(x,t) = \sum c_n\psi_n e^{-iE_nt/\hbar}$ | $\|\psi(t)\rangle = e^{-i\hat{H}t/\hbar}\|\psi(0)\rangle$ |
| Commutator | $[\hat{x},\hat{p}]\psi = i\hbar\psi$ | $[\hat{x},\hat{p}] = i\hbar\hat{I}$ |
| Matrix element | $\int \psi_m^* \hat{A}\psi_n \, dx$ | $\langle m\|\hat{A}\|n\rangle$ |
Essential Identities
Inner product and norm
$$\langle\phi|\psi\rangle = \langle\psi|\phi\rangle^* \qquad \langle\psi|\psi\rangle \geq 0 \qquad |\langle\phi|\psi\rangle|^2 \leq \langle\phi|\phi\rangle\langle\psi|\psi\rangle$$
Completeness relations
$$\sum_n |n\rangle\langle n| = \hat{I} \quad \text{(discrete)} \qquad \int |x\rangle\langle x| \, dx = \hat{I} \quad \text{(continuous)}$$
Hermitian conjugation rules
$$(|\psi\rangle)^\dagger = \langle\psi| \qquad (\alpha\hat{A})^\dagger = \alpha^*\hat{A}^\dagger \qquad (\hat{A}\hat{B})^\dagger = \hat{B}^\dagger\hat{A}^\dagger$$
$$(|n\rangle\langle m|)^\dagger = |m\rangle\langle n| \qquad (\hat{A}|\psi\rangle)^\dagger = \langle\psi|\hat{A}^\dagger$$
Spectral decomposition
$$\hat{A} = \sum_n a_n |a_n\rangle\langle a_n| \qquad f(\hat{A}) = \sum_n f(a_n)|a_n\rangle\langle a_n|$$
Trace
$$\text{Tr}(\hat{A}) = \sum_n \langle n|\hat{A}|n\rangle \quad \text{(any basis)} \qquad \text{Tr}(\hat{A}\hat{B}) = \text{Tr}(\hat{B}\hat{A})$$
Unitary transformations
$$\hat{U}^\dagger\hat{U} = \hat{U}\hat{U}^\dagger = \hat{I} \qquad \hat{A}' = \hat{U}^\dagger\hat{A}\hat{U} \qquad \langle\psi'|\hat{A}'|\psi'\rangle = \langle\psi|\hat{A}|\psi\rangle$$
Position-momentum overlap
$$\langle x|p\rangle = \frac{1}{\sqrt{2\pi\hbar}}e^{ipx/\hbar} \qquad \langle p|x\rangle = \frac{1}{\sqrt{2\pi\hbar}}e^{-ipx/\hbar}$$
Notation Quick Reference
| Symbol | Name | Type | Meaning |
|---|---|---|---|
| $\|\psi\rangle$ | Ket | Vector (state) | Abstract quantum state |
| $\langle\psi\|$ | Bra | Dual vector | Hermitian conjugate of ket |
| $\langle\phi\|\psi\rangle$ | Bracket | Scalar (complex number) | Inner product |
| $\|\phi\rangle\langle\psi\|$ | Outer product | Operator | Maps kets to kets |
| $\hat{P}_n = \|n\rangle\langle n\|$ | Projection operator | Operator | Projects onto $\|n\rangle$ |
| $A_{mn} = \langle m\|\hat{A}\|n\rangle$ | Matrix element | Scalar | $(m,n)$ entry of operator matrix |
| $\hat{A}^\dagger$ | Adjoint / Hermitian conjugate | Operator | Defined by $\langle\phi\|\hat{A}^\dagger\|\psi\rangle = \langle\psi\|\hat{A}\|\phi\rangle^*$ |
| $\hat{U}$ | Unitary operator | Operator | $\hat{U}^\dagger\hat{U} = \hat{I}$ |
| $\text{Tr}(\hat{A})$ | Trace | Scalar | $\sum_n \langle n\|\hat{A}\|n\rangle$ |
| $\delta_{mn}$ | Kronecker delta | Scalar | 1 if $m=n$, 0 otherwise |
| $\delta(x - x')$ | Dirac delta | Distribution | $\int f(x)\delta(x-x')dx = f(x')$ |
Common Pitfalls to Avoid
-
Confusing the state with its representation. $|\psi\rangle \neq \psi(x)$. The ket is the state; the wave function is its position representation.
-
Forgetting to conjugate when forming bras. $\langle\alpha\psi| = \alpha^*\langle\psi|$, not $\alpha\langle\psi|$.
-
Wrong order in Hermitian conjugation. $(\hat{A}\hat{B})^\dagger = \hat{B}^\dagger\hat{A}^\dagger$ — the order reverses.
-
Forgetting to insert completeness. If you are stuck converting between representations, ask: "Can I insert $\sum_n |n\rangle\langle n| = \hat{I}$ here?"
-
Treating $|x\rangle$ as a normalizable state. Position eigenkets satisfy $\langle x|x'\rangle = \delta(x-x')$, not $\langle x|x\rangle = 1$. They are not physical states.
-
Confusing the trace with a matrix element. $\text{Tr}(\hat{A}) = \sum_n \langle n|\hat{A}|n\rangle$ (sum over diagonal), not $\langle\psi|\hat{A}|\psi\rangle$ (single expectation value).
-
Assuming all operators commute. In general $\hat{A}\hat{B} \neq \hat{B}\hat{A}$. The commutator $[\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A}$ captures the difference.
Self-Test Checklist
Before proceeding to Chapter 9, you should be able to:
- [ ] Write any wave mechanics expression in Dirac notation and vice versa
- [ ] Compute inner products $\langle\phi|\psi\rangle$ for both discrete and continuous bases
- [ ] Apply the completeness relation to change basis
- [ ] Construct the matrix representation of an operator in a given basis
- [ ] Take the Hermitian conjugate of any expression
- [ ] Compute expectation values using $\langle\psi|\hat{A}|\psi\rangle$
- [ ] Use the spectral decomposition to compute $f(\hat{A})$
- [ ] Verify that a transformation is unitary
- [ ] Compute the trace of an operator
- [ ] Solve the eigenvalue problem for a $2\times 2$ matrix (spin-1/2)
- [ ] Derive the Fourier transform as a change of basis using completeness
If any item on this list feels uncertain, revisit the corresponding section before continuing.