Find your next learning step
A set can be dense yet small in the category sense, and countably many individually avoidable defects can behave differently in a complete space than in an incomplete one. Baire category makes that distinction precise.
Open the chapter contents · Topology root · Gold Standard of Education · How X Works
Chapter contents
Choose the route closest to the question, or read from Chapter 1 for the complete argument. The chapters remain open on the page; these grouped routes are an index.
Route 1 · Build the vocabulary
Route 2 · Prove the theorem
Route 3 · Work concrete spaces
Route 4 · Respect the hypotheses
Route 5 · Check and continue
CHAPTER 1 OF 12 · BUILD THE VOCABULARY
1. Category describes topological thinness, not probability
A subset A of a topological space X is nowhere dense when the interior of its closure is empty. Even after adding all of A’s limit points, no nonempty open region lies entirely inside it. A meagre set is a countable union of nowhere-dense sets.
These words measure a kind of topological smallness. They do not mean zero probability, small cardinality or small geometric length. The rational numbers are countable and meagre in the real line, yet dense: every open interval contains rationals.
Baire category theory studies what countably many such thin sets can cover. Its central lesson depends on the ambient space, particularly completeness or the broader Baire-space property.
CHAPTER 2 OF 12 · BUILD THE VOCABULARY
2. Nowhere dense is stronger than empty interior
The rationals Q have empty interior in R, but they are not nowhere dense because their closure is all of R, whose interior is R. By contrast, the integers Z are closed and contain no interval, so the interior of their closure is empty; Z is nowhere dense in R.
The closure in the definition prevents a dense dust from being called nowhere dense merely because it contains no open interval itself. Always compute closure first, then interior.
| Set in R | Closure | Interior of closure | Nowhere dense? |
|---|---|---|---|
| Z | Z | empty | Yes |
| Q | R | R | No |
| Cantor set | Cantor set | empty | Yes |
| Open interval (0,1) | [0,1] | (0,1) | No |
CHAPTER 3 OF 12 · PROVE THE THEOREM
3. State the Baire theorem in two connected forms
For a complete metric space X, every countable intersection of open dense subsets of X is dense, and in particular nonempty. Equivalently, X cannot be written as a countable union of closed nowhere-dense subsets.
The complement connects the forms. If Fₙ is closed and nowhere dense, then Gₙ=X\Fₙ is open and dense. A point in every Gₙ lies outside every Fₙ.
The density conclusion is stronger than simply finding one surviving point. To prove density, begin inside an arbitrary nonempty open set and repeat the construction there.
CHAPTER 4 OF 12 · PROVE THE THEOREM
4. Build nested closed balls inside the dense open sets
Let U be any nonempty open subset of a complete metric space X, and let G₁,G₂,… be open dense sets. Because G₁ is dense, U∩G₁ is nonempty and open. Choose a closed ball B₁ of positive radius inside it.
Next, B₁’s interior meets G₂. Choose a smaller closed ball B₂ inside that intersection, with radius at most half the first. Continue so Bₙ lies inside Bₙ₋₁∩Gₙ and radii tend to zero.
Choose centres xₙ. The nesting and shrinking radii make the centres Cauchy. Completeness supplies a limit x in X, while closed nesting keeps x in every Bₙ. Therefore x lies in U and every Gₙ. Since U was arbitrary, the intersection is dense.
CHAPTER 5 OF 12 · PROVE THE THEOREM
5. Where completeness enters the proof
The construction can produce a Cauchy sequence whose intended limit is missing from an incomplete space. Everything may look sound until the final step.
Completeness is not decorative. It turns indefinitely compatible local choices into a point that still belongs to the space. In a complete metric space, nested closed sets with diameters tending to zero cannot simply converge toward a deleted point.
This is a reusable proof pattern: successively meet countably many dense requirements while shrinking the available neighbourhood. The theorem guarantees that the requirements remain jointly satisfiable.
CHAPTER 6 OF 12 · WORK CONCRETE SPACES
6. Work the real line as a complete space
For each integer n≥1, let Gₙ=R\{qₙ}, where q₁,q₂,… lists the rational numbers. Each Gₙ is open and dense because removing one point leaves every open interval with other points.
Their intersection is R\Q, the irrational numbers. Baire tells us this intersection is dense. Indeed every open interval contains an irrational number.
| Stage | Dense open requirement | What is avoided |
|---|---|---|
| G₁ | R\{q₁} | First rational |
| G₁∩G₂ | Avoid q₁ and q₂ | First two rationals |
| ⋂ₙGₙ | R\Q | All rationals |
The result does not say the irrationals form an open set. Countable intersections of open sets need not be open.
CHAPTER 7 OF 12 · WORK CONCRETE SPACES
7. Changed context: the rationals are incomplete
View Q with the usual metric inherited from R. It is not complete: a rational Cauchy sequence can converge in R to an irrational number not in Q.
Q is the countable union of its singleton subsets. Each singleton is closed and nowhere dense in Q, so Q is meagre in itself. Thus the conclusion “a complete metric space is not meagre in itself” fails when completeness is removed.
Transfer check: the same set of rational points is dense and meagre in R, and it is also meagre in itself. Category is always relative to an ambient topology; changing the space changes closures, interiors and the theorem’s hypotheses.
CHAPTER 8 OF 12 · WORK CONCRETE SPACES
8. Dense, open and comeagre are different properties
A set is comeagre when its complement is meagre. In a Baire space, every comeagre set is dense, but it need not be open. The irrational numbers are comeagre in R and dense, yet not open.
A dense set need not be comeagre: Q is dense but meagre. An open set need not be dense: (0,1) is open in R but misses other open intervals. “Large” therefore depends on which property is meant.
Before applying a theorem, translate the claim into closure, interior, countable union or countable intersection language. Everyday size words are too ambiguous.
CHAPTER 9 OF 12 · RESPECT THE HYPOTHESES
9. Category supports existence without constructing a named point
Baire arguments often show that objects satisfying countably many generic conditions exist densely, even when no explicit example is produced. Each bad condition forms a nowhere-dense set; the union of all bad cases is meagre; points outside it meet every desired condition.
This logic underlies important results in analysis, including the uniform boundedness principle. Yet the category theorem is qualitative. It may establish abundance in the topological sense without giving a probability, algorithm or numerical stability guarantee.
For constructive work, a nested-ball proof can sometimes be turned into an approximation procedure, but only if the dense sets are presented effectively enough to find the next ball.
CHAPTER 10 OF 12 · RESPECT THE HYPOTHESES
10. What category does not tell you
Meagre does not mean measure zero. A set can be meagre yet have positive measure, and a set can have measure zero yet be topologically large in another sense. Probability language needs a measure; category language needs topology.
The complete-metric formulation is sufficient, not the most general statement. Locally compact Hausdorff spaces and other Baire spaces also satisfy suitable category conclusions. Conversely, a space may admit a different compatible metric that matters to how completeness is established.
Category also depends on the ambient space. A line inside the plane is nowhere dense in the plane but open in itself.
CHAPTER 11 OF 12 · CHECK AND CONTINUE
11. Questions readers should ask
Is every set with empty interior nowhere dense?
No. Q has empty interior in R, but its closure is R, so it is not nowhere dense.
Does dense mean topologically large?
Not by itself. Q is dense and meagre. Comeagreness is the category notion commonly used for a large generic set.
Is a countable intersection of open sets open?
Not necessarily. Topologies require finite intersections of open sets to be open, not arbitrary countable intersections.
Where is completeness used?
It ensures the Cauchy sequence or shrinking nested balls converge to a point still inside the space.
CHAPTER 12 OF 12 · CHECK AND CONTINUE
12. Continue through the verified topology ecosystem
Begin with the Topology root, the Gold Standard of Education and the How X Works hub. For closure and density, read Closure of Intersections and Dense Sets and Regular Open Sets and the Interior-of-Closure Repair.
For the completeness bridge, continue to Compactness and the Finite Intersection Property and Sequential Compactness and Compactness in Metric Spaces. For a changed ambient topology, use Cofinite Spaces, Compactness and Non-Unique Limits.
Authoritative technical reading: the University of Waterloo’s real-analysis notes define nowhere-dense and meagre sets and prove the complete-metric-space theorem. The University of Pennsylvania’s advanced-analysis notes on completeness and Baire category give a second nested-ball treatment. Keep the ambient space and completeness hypothesis visible in every application.
Top · Contents · Previous · How X Works