Lineability and Spaceability in Functional Analysis

Functional analysis has long grappled with sets of functions that defy linear or topological expectations: nowhere differentiable maps, singular transforms and nonmeasurable functions. Over recent decades a systematic programme has revealed that many of these “pathological” collections harbour surprisingly large algebraic or topological substructures. Lineability asks whether a given subset of a vector space contains an infinite-dimensional linear subspace, while spaceability strengthens the requirement to closed infinite-dimensional subspaces in a topological vector space. Methodologies blend classical tools—Baire category, measure theory and bespoke functional-analytic constructions—with novel algebraic genericity arguments. Key results demonstrate that sets of nonmeasurable functions, discontinuous mappings and solutions to differential-equation anomalies can support vector spaces of dimension equal to the continuum. These phenomena extend beyond real-valued functions on intervals to Sobolev spaces, Banach spaces of operators and non-Archimedean contexts. The unifying theme is that many ostensibly non-linear properties admit maximal linear frameworks, enriching our global view of function spaces and suggesting new directions in operator theory, approximation and p-adic analysis.

Research from Nature Portfolio

No recent Nature Portfolio content available.

Research from all publishers

Several recent studies have deepened and broadened the theory of lineability and spaceability in non-Nature outlets. One line of work develops constructions of infinite-dimensional vector subspaces within sets of continuous functions on the unit interval that fail differentiability or integrability constraints, and extends these methods to Sobolev spaces, thereby identifying dense closed subspaces of functions with prescribed smoothness obstacles. Another contribution shows that families of non-Borel measurable quasi-continuous functions on Polish spaces contain large convex cones and free vector spaces of maximal cardinality, quantifying the algebraic genericity of measure-theoretic pathologies. A further strand in a non-Archimedean setting constructs continuum-dimensional vector spaces of p-adic continuous functions, each uniformly violating classical regularity properties. These advances confirm that linear structures are pervasive across diverse analytic landscapes, routinely uncovered through a synthesis of algebraic and topological techniques.

Lineability and Spaceability in Functional Analysis publication trend

The graph below shows the total number of articles in lineability and spaceability in functional analysis across all publications each year (not limited to Nature Index journals).

Technical terms

Lineability: The property of a subset of a vector space to contain, apart from zero, an infinite-dimensional linear subspace.

Spaceability: The property of a subset of a topological vector space to contain, apart from zero, a closed infinite-dimensional subspace.

Sobolev space: A space of functions whose weak derivatives up to a given order belong to an L^p integrability class, endowed with a norm combining function and derivative norms.

Banach space: A complete normed vector space in which every Cauchy sequence converges with respect to the norm.

p-adic numbers: A completion of the rational numbers under a non-Archimedean absolute value determined by divisibility by a fixed prime p.

References

1. Lineability, spaceability, and latticeability of subsets of C([0, 1]) and Sobolev spaces. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas (2022).
2. The Set of p-Adic Continuous Functions not Satisfying the Luzin (N) Property. Results in Mathematics (2023).
3. Coneability of Anti-Fubini Functions and Other Lineability Properties. Results in Mathematics (2024).