What Residuality Does—and Does Not—Say
In category arguments, a residual set is often described as a set of “typical” points. That description can be useful, but it should not be confused with being open, being the whole space, or merely being dense. The real line gives a concrete example: its irrational numbers form a residual set, yet they are not open and do not include every real number. The dense rational numbers, by contrast, are not residual.
These definitions describe the size of a set through its complement and through nowhere-dense sets. They do not define residuality as openness or as equality with \(X\). In particular, the empty set is meagre, so \(X\) itself is always residual. Whether a residual set must be dense depends on the space.
Residual Sets in a Baire Space
A space \(X\) is a Baire space if every countable intersection of open dense subsets of \(X\) is dense in \(X\). We use the standard Baire Category Theorem for complete metric spaces: every complete metric space is a Baire space. The real line with its usual metric is complete, so this theorem applies to \(\mathbb{R}\).
Proof. Since \(R\) is residual, \(X\setminus R\) is meagre. Thus there are nowhere-dense sets \(N_n\), for \(n\in\mathbb{N}\), such that \(X\setminus R\subseteq\bigcup_{n\in\mathbb{N}}N_n\). Set \(F_n=\overline{N_n}\). Each \(F_n\) is closed and has empty interior, so \(G_n=X\setminus F_n\) is open and dense. The inclusion \(X\setminus R\subseteq\bigcup_n F_n\) implies \(\bigcap_nG_n\subseteq R\). Because \(X\) is Baire, \(\bigcap_nG_n\) is dense. A set containing a dense subset is dense, so \(R\) is dense and contains this dense intersection. \(\square\)
In a Baire space, this also explains a common alternative description: a set is residual exactly when it contains a dense countable intersection of open dense sets. For the reverse implication, suppose \(R\) contains \(\bigcap_nG_n\), where every \(G_n\) is open and dense. Then \(X\setminus R\subseteq\bigcup_n(X\setminus G_n)\). Each \(X\setminus G_n\) is closed with empty interior, hence nowhere dense. Any subset of a meagre set is meagre: intersect the subset with each nowhere-dense set in a countable cover. Therefore \(X\setminus R\) is meagre and \(R\) is residual.
The Irrationals: Residual, Dense, and Proper
Worked Example: The Irrationals in \(\mathbb{R}\)
Let \(\mathbb{R}\) have its standard topology, and let \(R=\mathbb{R}\setminus\mathbb{Q}\), the set of irrational numbers. We check residuality, density, openness, and whether \(R\) is the whole space.
First, \(\mathbb{Q}\) is meagre. The rationals are countable: each rational can be written as \(m/n\) for \(m\in\mathbb{Z}\) and \(n\in\mathbb{N}\), and the pairs of integers and positive integers can be listed in a sequence. For each \(q\in\mathbb{Q}\), the singleton \(\{q\}\) is closed because its complement is open in the standard topology. It has empty interior: every open interval containing \(q\) contains a point different from \(q\). Thus \(\{q\}\) is nowhere dense. Since \(\mathbb{Q}\) is a countable union of these singletons, it is meagre. Its complement \(R\) is therefore residual.
Next, \(R\) is dense. Take any nonempty open interval \((a,b)\). The rationals are dense in \(\mathbb{R}\): choose \(n\in\mathbb{N}\) with \(n(b-a)>1\), then choose an integer \(m\) with \(na<m<nb\); consequently \(m/n\in(a,b)\). Choose such a rational \(r\). The number \(\delta=\min(r-a,b-r)\) is positive. Choose \(k\in\mathbb{N}\) large enough that \(\sqrt{2}/k<\delta\). Then \(r+\sqrt{2}/k\in(a,b)\), and it is irrational because it is the sum of a rational and an irrational number. Thus every nonempty open interval meets \(R\).
But \(R\) is not open. If \(R\) were open, then, since it is nonempty, it would contain some open interval around one of its points. That interval would contain a rational by density of \(\mathbb{Q}\), contradicting that the interval is a subset of \(R\). So residual does not mean open.
And \(R\neq\mathbb{R}\). The number \(0\) is rational, so \(0\notin R\). Hence \(R\) is a proper subset of the real line, even though it is dense and residual.
Check: the complement of \(R\) is exactly \(\mathbb{Q}\), already expressed as a countable union of nowhere-dense singletons. This verifies residuality directly from its definition; the other checks show separately that \(R\) is dense, non-open, and not all of \(\mathbb{R}\).
The density argument above could also be shortened after proving residuality: the proposition says that every residual subset of the Baire space \(\mathbb{R}\) is dense. The direct interval argument makes density visible without confusing it with the definition of residuality.
Density Alone Is Not Enough
Worked Example: The Rationals Are Dense but Not Residual
In \(\mathbb{R}\) with the standard topology, \(\mathbb{Q}\) is dense by the interval argument above. It is also meagre, since it is a countable union of nowhere-dense singletons. These facts do not make it residual.
Suppose, for contradiction, that \(\mathbb{Q}\) were residual. Then its complement \(\mathbb{R}\setminus\mathbb{Q}\) would be meagre. Since \(\mathbb{Q}\) is meagre as well, their union \(\mathbb{R}\) would be meagre: combine the two countable covers by nowhere-dense sets into one countable cover. This contradicts the Baire Category Theorem, which implies that \(\mathbb{R}\) is not meagre in itself. Therefore \(\mathbb{Q}\) is dense but not residual.
Check: the failed claim would require both \(\mathbb{Q}\) and its complement to be meagre. Their union is all of \(\mathbb{R}\), so that claim would make the complete metric space \(\mathbb{R}\) meagre in itself, exactly what the Baire Category Theorem rules out.
This distinction matters in applications: density says that every nonempty open set meets a set, while residuality says that the complement is meagre. In a Baire space residuality implies density, but the converse does not follow, as \(\mathbb{Q}\) demonstrates. The two properties answer different questions.
What Changes Outside Baire Spaces?
The implication from residual to dense uses the Baire property. Without it, residual sets need not be dense. The following example checks this directly, so the qualification is not just a technical one.
Worked Example: A Residual Set That Is Not Dense
Let \(X\) be a countably infinite set with the cofinite topology: its open sets are \(\varnothing\) and the subsets whose complements in \(X\) are finite. For any \(x\in X\), the singleton \(\{x\}\) is closed because \(X\setminus\{x\}\) is open. Its interior is empty: no nonempty cofinite subset of an infinite set can be contained in \(\{x\}\). Thus each singleton is nowhere dense.
Because \(X\) is countable, write \(X=\bigcup_{n\in\mathbb{N}}\{x_n\}\) using an enumeration of its points. This expresses \(X\) as a countable union of nowhere-dense sets, so \(X\) is meagre. It follows from the definition that \(\varnothing\) is residual, since its complement is \(X\). But \(\varnothing\) is not dense: its closure is \(\varnothing\), which is not \(X\).
Check: the complement of \(\varnothing\) is \(X\), and the displayed singleton cover proves that complement meagre. The closure of \(\varnothing\) is \(\varnothing\), so residuality in this space does not imply density. This does not conflict with the proposition, whose Baire-space hypothesis is absent here.
A Common Mistake
Wrong calculation: “\(\mathbb{Q}\) is dense in \(\mathbb{R}\), so \(\mathbb{Q}\) is residual.” The implication is unsupported: density does not establish that the complement is meagre. In fact, the calculation in the preceding example proves that \(\mathbb{Q}\) is not residual.
Correction: check residuality by examining the complement. For the irrationals, the complement is \(\mathbb{Q}\), which is meagre, so the irrationals are residual. For the rationals, the complement is the irrationals, which cannot be meagre in \(\mathbb{R}\): if both it and \(\mathbb{Q}\) were meagre, then \(\mathbb{R}\) would be meagre, contradicting the Baire Category Theorem.
Residuality also does not mean “open” or “equal to the whole space.” The irrationals disprove both implications in one example. Conversely, some residual sets are open: \(\mathbb{R}\setminus\{0\}\) is open because \(\{0\}\) is closed, and it is residual because its complement is nowhere dense. The whole space is residual as well, since its complement is empty. These are possibilities, not requirements.
Check Your Understanding
For each question, use the definitions of nowhere dense, meagre, and residual, and note when the Baire property is needed.
- Why is every singleton in the standard real line nowhere dense?
- Explain why the irrationals are residual but not open in \(\mathbb{R}\).
- Why does the Baire Category Theorem prevent both \(\mathbb{Q}\) and its complement from being meagre?
- In a Baire space, why must a residual set be dense?
- In the countably infinite cofinite space, verify that the empty set is residual but not dense.