Hilbert spaces are infinite-dimensional vector spaces with an inner product, providing the mathematical foundation for quantum mechanics. Dirac notation |ψ⟩ (kets) and ⟨ψ| (bras) offers a compact way to represent quantum states and compute inner products. The Hilbert space framework ensures quantum mechanics is mathematically rigorous and enables the probabilistic interpretation of quantum mechanics.
Start with finite-dimensional examples, then extend intuition to infinite dimensions. Use Dirac notation from the start and practice converting between |ψ⟩, ⟨ψ|, and ⟨ψ|φ⟩ notation.
Thinking Hilbert spaces are fundamentally different from familiar vector spaces—they are just infinite-dimensional. Confusing bra-ket notation as mere shorthand when it encodes the inner product structure. Assuming all infinite-dimensional vector spaces with inner products are Hilbert spaces; they must also be complete.
You already know inner product spaces from linear algebra — vector spaces where you can compute lengths and angles using a dot product. A Hilbert space is exactly that concept extended to infinite dimensions, with one additional requirement: *completeness*, meaning there are no "gaps" in the space (Cauchy sequences always converge to a vector in the space). Quantum mechanics needs infinite dimensions because quantum states can have any wavefunction shape, and the space of all square-integrable functions ψ(x) is the canonical example: L²(ℝ). The completeness condition is a technical subtlety that ensures limits of convergent sequences of states are themselves valid states.
Dirac notation is a bookkeeping system designed specifically for this infinite-dimensional setting. A ket |ψ⟩ represents a quantum state — think of it as an abstract column vector with (infinitely many) components. A bra ⟨ψ| is its dual — the conjugate-transpose, like a row vector. The inner product ⟨φ|ψ⟩ is the scalar you get by pairing a bra with a ket, analogous to the dot product v·u in finite dimensions. In wave mechanics, ⟨φ|ψ⟩ = ∫ φ*(x) ψ(x) dx. The probability amplitude for a system in state |ψ⟩ to be found in state |φ⟩ is ⟨φ|ψ⟩, and the probability is |⟨φ|ψ⟩|².
The power of the notation is its basis independence. The abstract ket |ψ⟩ is the quantum state — independent of how you represent it. In position representation, ⟨x|ψ⟩ = ψ(x) gives the wavefunction. In momentum representation, ⟨p|ψ⟩ = φ(p) gives the momentum-space wavefunction. These two representations are related by a Fourier transform, but they describe the same underlying ket |ψ⟩. This distinction — between the abstract state and its representation — is conceptually essential: it lets you work in whichever basis makes the physics clearest.
Operators, which you know from eigenvalue problems in linear algebra, become Hermitian operators in Hilbert space — operators equal to their own adjoint († = Â). These are the observables of quantum mechanics: position, momentum, energy, spin. An eigenvalue equation Â|a⟩ = a|a⟩ means measuring observable A on state |a⟩ always returns the real number a. The eigenvectors of Hermitian operators form complete orthonormal bases — any state |ψ⟩ can be expanded as |ψ⟩ = Σ cₙ|aₙ⟩ with cₙ = ⟨aₙ|ψ⟩. The coefficients |cₙ|² are the probabilities of obtaining each eigenvalue upon measurement. Hilbert spaces and Dirac notation transform these abstract statements into tractable algebra that carries through all of quantum mechanics.