Function space

Common types and structures

Function spaces arise in many flavors. As algebraic objects they may be vector spaces (for real- or complex-valued functions). As metric or normed spaces they include spaces with the supremum norm or Lp-norms. Typical examples are:

• Continuous functions C(X) on a topological space X with the uniform (sup) norm when X is compact.
• Lebesgue spaces Lp(Ω) of p-integrable functions on a measure space, defined up to equality almost everywhere.
• Sobolev spaces W^{k,p}(Ω) combining differentiability and integrability in weak form.
• Sequence spaces ℓp, spaces of sequences with p-summable terms, and spaces of polynomials or trigonometric series.

Topologies and convergence

Different applications require different notions of convergence: pointwise, uniform, convergence in measure or convergence in norm. These are encoded by topologies such as the product topology, the compact-open topology, or norm topologies. Choice of topology affects compactness, continuity of operators and approximation properties. Classical compactness criteria, like Arzelà–Ascoli for families of continuous functions, rely on these structures.

Uses and significance

Function spaces are the natural setting for differential and integral equations, spectral theory, calculus of variations and approximation theory. Linear operators between function spaces model differential operators, integral transforms and kernels; studying their continuity, spectrum and inverse properties is central to both pure and applied analysis.

Origins and notable distinctions

The modern study of function spaces grew out of 19th- and 20th-century analysis, especially through the development of Lebesgue integration and abstract functional analysis by figures such as Banach and Hilbert. Important distinctions include raw collections like Y^X versus structured subspaces (continuous, measurable, square-integrable) and quotient constructions (e.g., identifying functions that agree almost everywhere in Lp spaces). For further reading see general introductions at related resources.