Mathematical Foundations
This is a reference chapter. We'll cover the essential mathematics you'll need for quantum mechanics, relativity, and beyond. Skim now, return when needed.
Linear Algebra
Linear algebra is the language of quantum mechanics. Everything is vectors and operators.
Vector Spaces
A vector space is a set $V$ where you can:
- Add vectors: $\vec{u} + \vec{v} \in V$
- Scale vectors: $\alpha \vec{v} \in V$ for any scalar $\alpha$
Familiar examples: $\mathbb{R}^3$ (3D arrows), polynomials, functions.
The key quantum example: the space of all wavefunctions $\psi(x)$.
Inner Products
An inner product $\langle u | v \rangle$ measures "overlap" between vectors.
For functions:
For finite vectors:
Properties:
- $\langle u | v \rangle = \langle v | u \rangle^*$ (conjugate symmetric)
- $\langle u | u \rangle \geq 0$, equals zero only if $u = 0$
- $\langle u | \alpha v + \beta w \rangle = \alpha \langle u | v \rangle + \beta \langle u | w \rangle$ (linear in second argument)
Hilbert Spaces
A Hilbert space is a vector space with an inner product that is complete (limits of sequences stay in the space).
Quantum mechanics lives in Hilbert space. States are vectors, observables are operators.
Linear Operators
An operator $\hat{A}$ acts on vectors to produce vectors:
Examples in quantum mechanics:
- Position: $\hat{x}\psi(x) = x\psi(x)$
- Momentum: $\hat{p}\psi(x) = -i\hbar\frac{d\psi}{dx}$
Eigenvalues and Eigenvectors
An eigenvector of $\hat{A}$ is a vector that only gets scaled:
The scalar $\lambda$ is the eigenvalue.
The Spectral Theorem
Hermitian operators (those with $\hat{A}^\dagger = \hat{A}$) have:
- Real eigenvalues
- Orthogonal eigenvectors
- A complete basis of eigenvectors
This is why observables in QM are Hermitian — measurements give real numbers.
Dirac Notation
Quantum mechanics uses bra-ket notation:
- $|\psi\rangle$ — a "ket," a column vector (state)
- $\langle\phi|$ — a "bra," a row vector (dual state)
- $\langle\phi|\psi\rangle$ — inner product (bracket)
- $|\psi\rangle\langle\phi|$ — outer product (an operator)
Complex Analysis Essentials
Complex numbers are unavoidable in quantum mechanics (the $i$ in Schrödinger's equation).
Complex Numbers
A complex number: $z = x + iy$ where $i^2 = -1$.
- Real part: $\text{Re}(z) = x$
- Imaginary part: $\text{Im}(z) = y$
- Complex conjugate: $z^* = x - iy$
- Modulus: $|z| = \sqrt{x^2 + y^2} = \sqrt{z z^*}$
Euler's Formula
The most important formula in physics:
Every complex number can be written in polar form:
where $\theta = \arg(z)$ is the phase angle.
Why Complex Numbers in QM?
Wavefunctions are complex: $\psi = |\psi|e^{i\phi}$. The phase $\phi$ encodes interference — it's why quantum mechanics is wavelike. Real numbers can't capture this structure.
Contour Integration (Preview)
Many physics integrals are easiest in the complex plane. The key result:
The integral around a closed contour equals $2\pi i$ times the sum of residues at poles inside. This lets you compute real integrals by going to the complex plane.
Differential Geometry Basics
The language of general relativity. Space (and spacetime) can be curved.
Manifolds
A manifold is a space that locally looks like $\mathbb{R}^n$ but may have global structure (curvature, topology).
Examples:
- The surface of a sphere (locally flat, globally curved)
- Spacetime (4D manifold with Lorentzian geometry)
Vectors and Tensors
On a manifold, vectors live in tangent spaces — the space of "directions" at each point.
A tensor is a multilinear map that transforms correctly under coordinate changes. The metric tensor $g_{\mu\nu}$ tells you how to measure distances:
The Metric
In flat space: $ds^2 = dx^2 + dy^2 + dz^2$ (Euclidean).
In special relativity: $ds^2 = -c^2dt^2 + dx^2 + dy^2 + dz^2$ (Minkowski).
In general relativity: $g_{\mu\nu}$ varies from point to point — that's gravity.
Curvature
Curvature measures how much parallel transport around a loop rotates a vector.
The Riemann tensor $R^\rho_{\sigma\mu\nu}$ encodes all curvature information. Einstein's equation relates it to matter:
Group Theory
Symmetries form mathematical structures called groups. Groups classify what's possible in physics.
What is a Group?
A group is a set with an operation that satisfies:
- Closure: $a \cdot b$ is in the group
- Associativity: $(a \cdot b) \cdot c = a \cdot (b \cdot c)$
- Identity: There exists $e$ such that $e \cdot a = a$
- Inverse: Every $a$ has $a^{-1}$ such that $a \cdot a^{-1} = e$
Important Groups in Physics
| Group | What it is | Where it appears |
|---|---|---|
| $SO(3)$ | 3D rotations | Angular momentum, spin |
| $SU(2)$ | 2×2 unitary matrices, det = 1 | Spin-1/2, weak force |
| $U(1)$ | Phase rotations $e^{i\theta}$ | Electromagnetism, charge |
| $SU(3)$ | 3×3 unitary matrices, det = 1 | Strong force, color charge |
| Lorentz | Spacetime rotations + boosts | Special relativity |
| Poincaré | Lorentz + translations | Full spacetime symmetry |
Representations
A representation is a way to realize a group as matrices acting on a vector space.
Example: $SO(3)$ (rotations) has representations:
- Spin-0: 1×1 matrices (scalars, don't change under rotation)
- Spin-1: 3×3 matrices (vectors)
- Spin-2: 5×5 matrices (traceless symmetric tensors)
But $SU(2)$ also has half-integer representations:
- Spin-1/2: 2×2 matrices (spinors — fermions like electrons)
- Spin-3/2: 4×4 matrices
Why Groups Matter
The Standard Model is built from $SU(3) \times SU(2) \times U(1)$. Particles are classified by how they transform under these groups. The mathematics of group theory determines what particles can exist and how they interact.
Lie Algebras
For continuous groups (Lie groups), there's an associated Lie algebra — the infinitesimal generators.
For $SO(3)$, the generators are angular momentum operators $J_x, J_y, J_z$ satisfying:
The commutation relations are the Lie algebra. They determine the group structure.
Fourier Analysis
Decomposing functions into frequencies. Essential for quantum mechanics and wave physics.
Fourier Series
A periodic function can be written as a sum of sines and cosines:
Fourier Transform
For non-periodic functions, the sum becomes an integral:
Connection: Position and Momentum
In quantum mechanics, position and momentum are Fourier transforms of each other:
$$ \tilde{\psi}(p) = \frac{1}{\sqrt{2\pi\hbar}} \int \psi(x) e^{-ipx/\hbar} dx $$This is why the uncertainty principle exists: a narrow function has a wide Fourier transform.
Summary: The Mathematical Toolkit
Key Takeaways
- Linear algebra: Vectors, operators, eigenvalues — the language of QM
- Hilbert space: Where quantum states live
- Complex numbers: Essential for phases and interference
- Differential geometry: Curved spaces, tensors — the language of GR
- Group theory: Symmetries determine physics; particles are representations
- Fourier analysis: Position ↔ momentum, time ↔ energy
This completes the Foundations phase. You now have the conceptual and mathematical tools for quantum mechanics.