Let be the real line and be the set of all rational numbers. Consider the following question:

___________________________________________________________________________________

**Question**

- For each nonnegative integer , let be an open subset of such that that . The intersection is certainly nonempty since it contains . Does this intersection necessarily contain some irrational numbers?

___________________________________________________________________________________

While taking a real analysis course, the above question was posted to the author of this blog by the professor. Indeed, the question is an excellent opening of the subject of category. We first discuss the Baire category theorem and then discuss the above question. A discussion of Baire spaces follow. For any notions not defined here and for detailed discussion of any terms discussed here, see [1] and [2].

In the above question, the set is a set since it is the intersection of countably many open sets. It is also dense in the real line since it contains the rational numbers. So the question can be rephrased as: is the set of rational numbers a set? Can a dense set in the real line be a “small” set such as ? The discussion below shows that is too “thin” to be a dense set. Put it another way, a dense subset of the real line is a “thick” set. First we present the Baire category theorem.

___________________________________________________________________________________

**Baire Category Theorem**

Let be a complete metric space. For each nonnegative integer , let be an open subset of that is also dense in . Then is dense in .

**Proof**

Let . Let be any nonempty open subset of . We show that contains some point of .

Since is dense in , contains some point of . Let be one such point and choose open set such that and with the additional condition that the diameter of is less than .

Since is dense in , contains some point of . Let be one such point and choose open set such that and with the additional condition that the diameter of is less than .

By continuing this inductive process, we obtain a nested sequence of open sets and a sequence of points such that for each and that the diameters of converge to zero (according to some complete metric on ). Then the sequence of points is a Cauchy sequence. Since is a complete metric space, the sequence converges to a point .

We claim that . To see this, note that for each , for each . Since is the sequential limit of , for each . It follows that for each () and . This completes the proof of Baire category theorem.

___________________________________________________________________________________

**Discussion of the Above Question**

For each nonnegative integer , let be an open subset of such that that . We claim that the intersection contain some irrational numbers.

Suppose the intersection contains no irrational numbers, that is, .

Let be enumerated by . For each , let . Then each is an open and dense set in . Note that the set of irrational numbers .

We then have countably many open and dense sets whose intersection is empty. Note that any point that belongs to all has to be a rational number and any point that belongs to all has to be an irrational number. On the other hand, the real line with the usual metric is a complete metric space. By the Baire category theorem, the intersection of all and must be nonempty. Thus the intersection must contain more than rational numbers.

It follows that the set of rational numbers cannot be a set in . In fact, the discussion below will show that the in a complete metric space such as the real line, any dense set must be a “thick” set (see Theorem 3 below).

___________________________________________________________________________________

**Baire Spaces**

The version of the Baire category theorem discussed above involves complete metric spaces. However, the ideas behind the Baire category theorem are topological in nature. The following is the conclusion of the Baire category theorem:

is a topological space such that for each countable family of open and dense sets in , the intersection is dense in .

A Baire space is a topological space in which the condition holds. The Baire category theorem as stated above gives a sufficient condition for a topological space to be a Baire space. There are plenty of Baire spaces that are not complete metric spaces, in fact, not even metric spaces. The condition is a topological property. In order to delve deeper into this property, let’s look at some related notions.

Let be a topological space. A set is dense in if every open subset of contains a point of (i.e. ). A set is nowhere dense in if for every open subset of , there is some open set such that contains no point of (another way to describe this: contains no interior point of ).

A set is dense if its points can be found in every nonempty open set. A set is nowhere dense if every nonempty open set has an open subset that misses it. For example, the set of integers is nowhere dense in .

A set is of first category in if is the union of countably many nowhere dense sets in . A set is of second category in if it is not of first category in .

To make sense of these notions, the following observation is key:

is nowhere dense in if and only if is an open and dense set in .

So in a Baire space, if you take away any countably many closed and nowhere dense sets (in other words, taking away a set of first category in ), there is a remainder (there are still points remaining) and the remainder is still dense in . In thinking of sets of first category as “thin”, a Baire space is one that is considered “thick” or “fat” in that taking away a “thin” set still leaves a dense set.

A space is of second category in means that if you take away any countably many closed and nowhere dense sets in , there are always points remaining. For a set , is of second category in means that if you take away from any countably many closed and nowhere dense sets in , there are still points remaining in . A set of second category is “thick” in the sense that after taking away a “thin” set there are still points remaining.

For example, is nowhere dense in and thus of first category in . However, is of second category in itself. In fact, is a Baire space since it is a complete metric space (with the usual metric).

For example, is of first category in since it is the union of countably many singleton sets ( is also of first category in itself).

For example, let . The space is not a Baire space since after taking away the rational numbers in , the remainder is no longer dense in . However, is of second category in itself.

For example, any Cantor set defined in the real line is nowhere dense in . However, any Cantor set is of second category in itself (in fact a Baire space).

The following theorems summarize these concepts.

**Theorem 1a**

Let be a topological space. The following conditions are equivalent:

- is of second category in itself.
- The intersection of countably many dense open sets is nonempty.

**Theorem 1b**

Let be a topological space. Let . The following conditions are equivalent:

- The set is of second category in .
- The intersection of countably many dense open sets in must intersect .

**Theorem 2**

Let be a topological space. The following conditions are equivalent:

- is a Baire space, i.e., the intersection of countably many dense open sets is dense in .
- Every nonempty open subset of is of second category in .

The above theorems can be verified by appealing to the relevant definitions, especially the observation . Theorems 2 and 1a indicate that any Baire space is of second category in itself. The converse is not true (see the space discussed above).

___________________________________________________________________________________

**Dense G delta Subsets of a Baire Space**

In answering the question stated at the beginning, we have shown that cannot be a set. Being a set of first category, cannot be a dense set. In fact, it can be shown that in a Baire space, any dense subset is also a Baire space.

**Theorem 3**

Let be a Baire space. Then any dense subset of is also a Baire space.

**Proof**

Let where each is open and dense in . We show that is a Baire space. In light of Theorem 2, we show that every nonempty open set of is of second category in .

Suppose that there is a nonempty open subset such that is of first category in . Then where each is nowhere dense in . It can be shown that each is also nowhere dense in .

Since is open in , there is an open set such that . Note that for each , is closed and nowhere dense in . Then we have:

shows that is the union of countably many nowhere dense sets in , contracting that every nonempty open subset of is of second category in . Thus we can conclude that every nonempty open subset of is of second category in .

*Reference*

- Engelking, R.,
*General Topology, Revised and Completed edition*, 1989, Heldermann Verlag, Berlin. - Willard, S.,
*General Topology*, 1970, Addison-Wesley Publishing Company.

Revised July 3, 2019

Pingback: Lindelof Exercise 2 | Dan Ma's Topology Blog

Pingback: Adding up to a non-meager set | Dan Ma's Topology Blog

Pingback: The ideal of meager sets | Dan Ma's Topology Blog