Riesz representation theorem

Riesz representation theorem

The Riesz representation theorem is a central result in functional analysis connecting linear functionals with measures or inner products. In its classical forms it identifies dual spaces of Hilbert spaces and of spaces of continuous functions with measures, establishing bridges between abstract linear operators and concrete integral representations. The theorem has multiple formulations and generalizations that underpin modern analysis, probability, and mathematical physics.

Statement

The theorem appears in several precise formulations. For a separable complex Hilbert space H any continuous linear functional φ on H can be written as φ(x) = ⟨x, y⟩ for a unique y in H, where ⟨·,·⟩ denotes the inner product; this version links bounded linear functionals to vectors in H and is often attributed to work in early twentieth-century operator theory. In the context of locally compact Hausdorff spaces X, the theorem states that every positive linear functional on C_c(X) or C_0(X) corresponds uniquely to a regular Borel measure μ on X via integration f ↦ ∫ f dμ, yielding an identification of the dual of C_0(X) with the space of regular signed (or complex) Borel measures. These formulations connect to results by contemporaries and successors in the lineage of Frigyes Riesz such as interactions with concepts used by David Hilbert, Stefan Banach, Issai Schur, and later formalizations by Marshall Stone and John von Neumann.

Versions and generalizations

Multiple versions adapt the core identification to varied settings. The Hilbert-space version generalizes to complex and real inner-product spaces and links with the Spectral theorem for self-adjoint operators studied by Israel Gelfand and John von Neumann. The measure-theoretic formulation connects with the Riesz–Markov–Kakutani representation theorem developed further by Andrey Markov and Shizuo Kakutani, and interacts with the Radon–Nikodym theorem proved by Otton Nikodym and Johannes Radon. Extensions appear in the theory of Banach spaces where duals of L^p spaces for 1 < p < ∞ are identified with L^q spaces via Hölder duality, a principle used by Henri Lebesgue and Emile Borel. Noncommutative analogues arise in the setting of C*-algebras and von Neumann algebras, exploiting modular theory by Murray and von Neumann and the duality frameworks of Gelfand–Naimark and Sakai. Further generalizations include vector measures (studied by Bartle, Dunford, Schwartz), distributions in Laurent Schwartz's theory, and representer theorems in statistical learning theory connected to work by Bernhard Schölkopf and Vladimir Vapnik.

Proofs

Proofs of the Hilbert-space form use the Riesz lemma and orthogonal projection arguments prominent in the pedagogy of Stefan Banach and Norbert Wiener. A standard proof constructs the representing vector by evaluating the functional on orthonormal bases, invoking completeness and parallelogram identities treated by John von Neumann; alternatives use the Hahn–Banach theorem due to Hahn and Banach to extend functionals and deduce norm attainment. The measure-theoretic version employs the Daniell integral approach from Percy John Daniell or the outer measure construction advanced by Henri Lebesgue and Andrey Kolmogorov, and uses regularity properties proved by H. L. Royden and L. C. Young. Kakutani’s fixed-point methods and Markov’s techniques feature in historic proofs that connect to potential theory of Riesz and classical work by Henri Poincaré.

Applications

The theorem underpins spectral theory for linear operators used extensively by John von Neumann and Marshall Stone in quantum mechanics formalism; it identifies states on C*-algebras with measures in the commutative Gelfand representation used by Israel Gelfand. In probability theory the identification of expectation functionals with measures grounds the construction of probability measures in the work of Andrey Kolmogorov and is pervasive in stochastic processes studied by Kiyosi Itô and Norbert Wiener. In partial differential equations and potential theory, the theorem enables representation of Green’s functionals and boundary value problems analyzed by Sofia Kovalevskaya and Bernhard Riemann. Machine learning leverages reproducing kernel Hilbert spaces, whose representer theorems generalize Riesz-type identifications and inform methods by Vladimir Vapnik, Bernhard Schölkopf, and Trevor Hastie. Numerical analysis and optimization rely on representer results for finite element methods developed by Richard Courant and J. H. Wilkinson.

Examples and counterexamples

Examples include the classical L^2(Ω) setting where every bounded linear functional is inner-product with a unique L^2 function, a fact used in the study of Fourier series by Joseph Fourier and Norbert Wiener. For C_0(ℝ) the dual is identified with regular Borel measures as in the work of Andrey Markov and Shizuo Kakutani. Counterexamples show limits of representation: the dual of C([0,1]) with weak-* topologies yields signed measures but certain nonseparable Banach spaces lack simple measure representations, highlighted in pathologies studied by Stewart Banach's school and later by Per Enflo. In nonlocal or noncommutative settings, operator algebras require states and weights rather than measures, as explored by Murray and von Neumann and Masamichi Takesaki, demonstrating that naive extensions of the theorem fail without additional structure.

Category:Functional analysis