Generated by GPT-5-mini| Hilbert space | |
|---|---|
![]() Adjwilley · CC BY-SA 3.0 · source | |
| Name | Hilbert space |
| Field | Functional analysis |
| Introduced | 20th century |
| Introduced by | David Hilbert |
| Examples | Euclidean space; sequence spaces; function spaces |
Hilbert space A Hilbert space is a complete inner-product space central to modern David Hilbert-era functional analysis and to many developments in John von Neumann-era operator theory and Paul Dirac-inspired quantum theory. It provides the geometric setting for problems studied by Stefan Banach, Frigyes Riesz, and Erhard Schmidt and underpins results connected to the work of Andrey Kolmogorov, Norbert Wiener, and Marshall Stone. Hilbert-space methods appear across research of Alfred Haar, Hermann Weyl, and Israel Gelfand and in constructions used by Kurt Gödel-era mathematical physics.
A Hilbert space is a vector space over the real or complex field equipped with an inner product that induces a norm, and it is complete with respect to the metric from that norm. Foundational statements and canonical theorems were formalized by Frigyes Riesz, Stefan Banach, and John von Neumann and are used in proofs by Erhard Schmidt and Marcel Riesz. Key properties include the parallelogram law studied by Otto Toeplitz and orthogonal projection results used by Marcel Riesz and Hervé Zwirn. The structure allows manipulation of sequences and functions similarly to finite-dimensional spaces in work by Carathéodory and Émile Picard.
Standard examples include finite-dimensional Euclidean spaces studied by Henri Poincaré and infinite-dimensional spaces such as sequence spaces l^2 introduced in analyses by David Hilbert and Vito Volterra, and function spaces L^2 developed in probability and ergodic contexts by Andrey Kolmogorov and Norbert Wiener. Reproducing kernel Hilbert spaces arise in the research of S. Bergman and N. Aronszajn and are applied in methods associated with Vladimir Smirnov and Salomon Bochner. Direct sums, tensor products, and completion constructions are used in operator-algebra contexts explored by John von Neumann and Israel Gelfand, while Sobolev spaces connected to Sergei Sobolev and Laurent Schwartz furnish Hilbert structures in partial differential equation studies by André Weil and Elias Stein.
Orthogonality and orthonormal systems generalize Euclidean orthogonality from studies by Erhard Schmidt and Stefan Banach and are central to expansions like Fourier series developed by Joseph Fourier and eigenfunction methods used by Sophie Germain and Lord Rayleigh. Complete orthonormal bases, sometimes uncountable as in continuous spectral decompositions exploited by Paul Dirac and John von Neumann, contrast with Hamel bases whose existence relies on choice principles considered by Ernst Zermelo and Abraham Fraenkel. Dimension theory for Hilbert spaces, including separability investigated by Norbert Wiener and Andrey Kolmogorov, interacts with results of Stefan Banach and cardinality considerations appearing in the work of Felix Hausdorff.
Bounded and unbounded linear operators on Hilbert spaces are treated via adjoint, self-adjoint, normal, and unitary classes formalized by John von Neumann and used in spectral analysis by Marshall Stone and Frigyes Riesz. The spectral theorem for normal operators connects to studies by David Hilbert and Erhard Schmidt and was extended in contexts handled by Israel Gelfand and Marshall Stone. Compact operators and Fredholm theory relate to investigations by Ivar Fredholm and Earle Raymond Hedrick, while C*-algebras and von Neumann algebras, central to classification work by Murray and von Neumann, interact with representations studied by George Mackey and Gelfand–Naimark-style results influenced by Israel Gelfand and Mark Naimark.
Hilbert-space formalism is foundational in quantum mechanics as developed by Paul Dirac, John von Neumann, and Werner Heisenberg, providing the setting for state vectors, observables, and measurement theory referenced in experiments by Niels Bohr and Erwin Schrödinger. In signal processing, orthonormal expansions, wavelet bases, and time–frequency analysis draw on work by Alfred Haar, Ingrid Daubechies, and Jean Morlet and are connected to algorithms influenced by Claude Shannon and Norbert Wiener. Methods used in tomography and inverse problems trace to practitioners like Athanassios Politis and Andrey Tikhonov and to sampling theorems related to Claude Shannon and Harry Nyquist.
Topological completeness and duality for Hilbert spaces are established through principles used by Stefan Banach and Frigyes Riesz, while weak and strong operator topologies are studied by John von Neumann and Irving Kaplansky. Interactions with Banach space theory and distribution theory involve contributions from Laurent Schwartz, Stefan Banach, and Andrey Kolmogorov, and embeddings like the Riesz representation theorem connect to measure-theoretic foundations of Henri Lebesgue and spectral measures used in the work of Marshall Stone and Naimark. Modern extensions include geometric analysis influenced by Michael Atiyah and Isadore Singer and computational frameworks informed by John Tukey and Alan Turing.