The Baire Category Theorem states that a complete metric space cannot be expressed as a countable union of nowhere dense sets. This provides a powerful 'genericity' argument: typical points in a complete metric space satisfy any condition that excludes only countably many nowhere dense sets. Applications include proving the uniform boundedness principle and open mapping theorem.
The Baire Category Theorem rests on the concept of a nowhere dense set — a set whose closure contains no open ball, meaning it is "thin" in the sense that it does not fill up any region of the space. Individual points, the Cantor set, and the boundary of a disk are nowhere dense subsets of ℝ or ℝ². The theorem says something striking about complete metric spaces: no such space can be expressed as a countable union of nowhere dense sets. In other words, you cannot cover a complete metric space with countably many thin sets, no matter how many you use.
Why is completeness essential? Without it, the theorem fails. The rational numbers ℚ, with the usual metric, are incomplete — and ℚ itself is a countable union of singletons {q₁}, {q₂}, … each of which is nowhere dense. So an incomplete space can be covered by countably many nowhere dense sets. The reals ℝ cannot. Completeness ensures enough "substance" that no countable collection of thin sets can exhaust the space. The proof builds a nested sequence of shrinking closed balls (choosing each to avoid the next nowhere dense set), then invokes completeness to guarantee the intersection of this Cauchy sequence is non-empty — producing a point in the space that lies outside every set in the supposed cover.
The theorem's main use is an existence argument: to prove that some type of object exists or that some property holds generically, show that the set of exceptions is meager (a countable union of nowhere dense sets). Whatever remains is called comeager or residual and, in the Baire sense, constitutes "most" of the space. A famous example: the set of continuous functions on [0, 1] that are differentiable at even a single point is meager in the space of all continuous functions. So "most" continuous functions — in the precise Baire sense — are nowhere differentiable, even though such functions are hard to construct explicitly.
This proof strategy recurs throughout functional analysis. The Uniform Boundedness Principle (Banach-Steinhaus) and the Open Mapping Theorem both use Baire's theorem as a key step: assume the conclusion fails, construct a meager cover of a Banach space, invoke Baire to derive a contradiction. Recognizing the pattern — "if the conclusion fails, we get a meager cover of a complete space" — is the core skill. Baire category turns abstract completeness into a powerful existence tool that does not require exhibiting the object explicitly.
No topics depend on this one yet.