Applications of advanced set theory to analysis and topology, including regularity properties, Banach spaces, measure theory, and topological classification.
Advanced set theory, especially forcing, large cardinals, and descriptive set theory, has deep applications in analysis and topology, because many central objects in these fields are sets of real numbers or functions, and their behavior depends strongly on definability, cardinality, and structural properties of the continuum.
The purpose of this section is to explain how set theoretic principles influence classical areas of mathematics, often by determining whether certain pathological objects exist or whether regularity properties hold.
Regularity Properties of Sets of Reals
In classical analysis, many results depend on sets having properties such as measurability, the Baire property, or the perfect set property.
Under the axiom of choice, there exist subsets of:
that are not Lebesgue measurable, do not have the Baire property, and do not satisfy the perfect set property.
However, descriptive set theory shows that definable sets behave much better.
Every Borel set and every analytic set is Lebesgue measurable and has the Baire property, and every uncountable analytic set contains a perfect subset.
Under determinacy principles, these regularity properties extend to much larger classes of sets, such as projective sets.
Thus the behavior of sets of reals in analysis depends on both definability and the underlying set theoretic axioms.
Measure Theory and Nonmeasurable Sets
Lebesgue measure assigns a size to subsets of the real line in a way that is compatible with limits and countable additivity.
However, the existence of nonmeasurable sets shows that not every subset of:
can be assigned a consistent measure.
The construction of nonmeasurable sets uses the axiom of choice, typically by selecting representatives from equivalence classes of real numbers modulo rational translation.
Forcing can be used to build models in which all sets of reals that are definable in certain ways are measurable, and determinacy principles imply that every set of reals is measurable.
Thus the existence of nonmeasurable sets is not a purely analytical fact, but depends on the set theoretic framework.
Banach Spaces and Bases
In functional analysis, Banach spaces are complete normed vector spaces, and many questions about them depend on the existence of bases, decompositions, or special sequences.
A classical problem is whether every infinite dimensional Banach space has a basis.
Using advanced set theoretic methods, including forcing, one can construct Banach spaces with unusual properties, such as spaces without a Schauder basis or spaces with highly nonclassical decomposition behavior.
These constructions show that certain structural questions in analysis cannot be resolved within ZFC alone.
Compactness and Topological Spaces
In topology, compactness is a central notion, and many results depend on whether certain spaces are compact, separable, or metrizable.
Set theory influences these properties in subtle ways.
For example, there exist compact Hausdorff spaces with no nontrivial convergent sequences, and the existence of such spaces may depend on additional axioms beyond ZFC.
Forcing can be used to construct or eliminate such examples, showing that certain topological statements are independent of ZFC.
Example 9.81 (Suslin Line)
A Suslin line is a totally ordered set with no uncountable chains or antichains that behaves like the real line in many respects but is not order isomorphic to it.
The existence of a Suslin line is independent of ZFC.
In some models of set theory, there are Suslin lines, while in others there are none.
This example shows that even basic classification questions in topology can depend on set theoretic assumptions.
Cardinal Invariants of the Continuum
Many properties of subsets of the real line are measured by cardinal invariants, which are cardinals between:
and:
These invariants describe combinatorial properties such as the size of the smallest family of sets with a given covering or intersection property.
Examples include:
the bounding number,
the dominating number,
the splitting number.
The exact relationships between these invariants cannot be determined in ZFC alone, and forcing is used to construct models in which these cardinals take different values.
Thus analysis and topology are affected by the fine structure of the continuum.
Function Spaces
Spaces of functions, such as:
the space of continuous real valued functions on the unit interval, are central objects in analysis.
The structure of these spaces, including properties such as separability, compactness of subsets, and dual space behavior, can depend on set theoretic assumptions.
For example, the existence of certain types of discontinuous linear functionals or pathological subsets of function spaces can depend on the axiom of choice or on additional axioms.
Descriptive Classification
Descriptive set theory provides tools for classifying functions and sets according to definability.
For example, measurable functions, Borel functions, and continuous functions can be organized into hierarchies based on how they are defined.
This classification has direct applications in analysis, where one often studies limits of functions, convergence properties, and integrability.
Understanding the definability level of a function can determine whether it has good properties, such as measurability or continuity almost everywhere.
Topological Dynamics
In topological dynamics, one studies continuous transformations of spaces and the long term behavior of orbits.
Set theory enters through the classification of invariant sets, recurrence properties, and the structure of minimal systems.
For example, the existence of certain invariant measures or the classification of orbit equivalence relations can depend on descriptive set theoretic properties.
Equivalence Relations and Classification Problems
Many classification problems in mathematics can be formulated as equivalence relations on a space of structures.
For example, one may classify countable groups up to isomorphism or classify functions up to some equivalence.
Descriptive set theory studies the complexity of such equivalence relations, often using reducibility notions.
A key idea is that some classification problems are too complex to admit simple invariants, and this complexity can be measured using the projective hierarchy.
The Role of Forcing
Forcing is used in analysis and topology to construct models where certain statements hold or fail.
For example, forcing can add new real numbers, change the size of the continuum, or alter the behavior of subsets of the real line.
By carefully choosing the forcing notion, one can control properties such as:
the existence of special subsets of ,
the values of cardinal invariants,
the existence of certain types of functions or sequences.
This allows mathematicians to prove that certain statements cannot be decided from ZFC alone.
Independence in Analysis
Many classical questions in analysis turn out to be independent of ZFC.
For example, statements about the existence of certain pathological functions, bases in Banach spaces, or special subsets of the real line may hold in some models and fail in others.
These independence results show that the foundations of analysis are not completely determined by the standard axioms of set theory.
Large Cardinals and Regularity
Large cardinal axioms have strong consequences for analysis, especially for definable sets of reals.
Under suitable large cardinal assumptions, all projective sets of reals have regularity properties such as Lebesgue measurability and the Baire property.
These results connect abstract set theory with concrete analytical behavior.
Summary of Influence
The influence of set theory on analysis and topology can be summarized in several themes.
First, definability controls regularity. Sets that can be described in a simple way behave well, while arbitrary sets may behave pathologically.
Second, forcing shows that many questions cannot be decided from ZFC alone, and therefore different mathematical universes can exhibit different behaviors.
Third, large cardinals provide strong structural principles that extend regularity properties to broader classes of sets.
Fourth, descriptive set theory provides tools for measuring the complexity of sets and functions, which directly impacts classification problems in analysis and topology.
Thus advanced set theory does not only study abstract infinite structures, but also provides essential tools for understanding concrete mathematical objects in analysis and topology.