A Baire space is a topological space in which the intersection of any countable family of open and dense sets is dense (equivalently every non-empty open subset is of second category). One version of the Baire category theorem states that every complete metric space is a Baire space. Another common version states that every compact Hausdorff space is a Baire space. Another version states that every locally compact Hausdorff space is a Baire space. The commonality among these versions is the finite intersection property (whenever a collection of a certain type of sets satisfies the property that any finite subcollection has non-empty intersection, the whole collection has non-empty intersection). For each of these classes of spaces, in addition to countably compact spaces and pseudocompact spaces, Baire category theorem is derived from having one specific form of the finite intersection property. In this post, we explore this relationship.
In each of the following theorem pairs, the B Theorem follows from the A theorem. The A theorem is a form of the finite intersection property and the B theorem is a version of Baire category theorem.
Another interesting observation is that the finite intersection properties discussed here can give a stronger property than being a Baire space. This stronger property is defined by the Banach-Mazur game.
__________________________________________________________________________
Theorem 1A
Let be a metric space. Then the following conditions are equivalent.
is a complete metric space.
- For each decreasing sequence
of non-empty closed subsets of
such that the diameters of the sets
converge to zero, we have
.
Theorem 1B
Every complete metric space is a Baire space.
__________________________________________________________________________
Theorem 2A
Let be a Hausdorff space. Then the following conditions are equivalent.
is a compact space.
- For every family
consisting of non-empty closed subsets of
, if
has the finite intersection property, then
has non-empty intersection.
Theorem 2B
- Every compact Hausdorff space is a Baire space.
- Every locally compact Hausdorff space is a Baire space.
__________________________________________________________________________
Theorem 3A
Let be a Hausdorff space. Then the following conditions are equivalent.
is a countably compact space.
- For every countable family
consisting of non-empty closed subsets of
, if
has the finite intersection property, then
has non-empty intersection.
- For each decreasing sequence
of non-empty closed subsets of
, we have
.
Theorem 3B
Every countably compact Hausdorff space is a Baire space.
__________________________________________________________________________
Theorem 4A
Let be a regular space. The following conditions are equivalent:
- The space
is pseudocompact.
- If
is a family of non-empty open subsets of
such that
for each
, then
.
- If
is a family of non-empty open subsets of
such that
has the finite intersection property, then
.
Theorem 4B
Every regular pseudocompact space is a Baire space.
__________________________________________________________________________
Remark
Theorem 1A (the Cantor Theorem) can be found in Engelking (page 269 in [1]). Theorem 2A and Theorem 3A can also be found in Engelking (they are also proved in this post). Theorem 4B is also found in Engelking (Theorem 3.10.23 in page 207 of [1]) and is proved this post.
We would like to explicitly point out that between Thoerem 1A and Theorem 2A, none of the two theorems implies the other. For example, even though both complete metric spaces and compact Hausdorff spaces are Baire spaces, complete metric spaces are not necessarily compact and there are compact spaces that are not even metrizable. However, the finite intersection property of Theorem 2A implies that of Theorem 3A, which in turn implies the finite intersection property of Theorem 4A.
__________________________________________________________________________
Baire Category Theorem
The proofs of all four B theorems are amazingly similar. It is a matter of exploiting the fact that whenever a decreasing sequence of open sets satisfying the condition that each closure is a subset of the previous open set (and satisfying some other condition), the sequence of open sets has non-empty intersection. For example, for complete metric space, make sure that the closures of the open sets have diameters going to zero. For any reader who is new to this material, it will be very instructive to walk through the arguments of these Baire category theorems. The proof of Theorem 1A can be found this post. We prove Theorem 4B.
Recall that is a Baire space if
is a countable family of open and dense sets in
,
is dense in
, or equivalently every non-empty open subset of
is of second category in
. For more background about the concepts of Baire space and category (see [1] or this post).
Proof of Theorem 4B
Let be a regular pseudocompact space. Let
be a countable family of open and dense sets in
. Let
be a non-empty open subset of
. We show that
has to contain points of
. We let
. We find open
such that
and
(using regularity). Continue this inductive process, we have for each
, an open
such that
and
. Then we have a decreasing sequence of open sets
as in condition 2 of Theorem 4A. Then we have
. Since
for each
, we also have
. It is clear that
.
__________________________________________________________________________
Banach-Mazur Game
In proving the above versions of Baire category theorem, we can exploit the appropriate version of the finite intersection property – the situation that any nested decreasing sequence of open sets (under some specified conditions) has non-empty intersection. In fact, the finite intersection property offers more than just Baire category theorem; it can endow the space in question a type of completeness property stronger than Baire space. This completeness property is defined using the Banach-Mazur game.
The Banach-Mazur game is a two-person game played on a topological space. Let be a space. There are two players,
and
. They take turn choosing nested decreasing nonempty open subsets of
as follows. The player
goes first by choosing a nonempty open subset
of
. The player
then chooses a nonempty open subset
. At the nth play where
,
chooses an open set
and
chooses an open set
. The player
wins if
. Otherwise the player
wins. For more detailed discussion of the game, see this post.
One interesting point that we like to make about the finite intersection property ranging from Theorem 1A to Theorem 4A is that the player can always win the Banach-Mazur game as long as he/she plays the game according to each specific version of the finite intersection. For example, playing the game in a complete metric space, player
always wins as long as he/she makes the diameters of the closures of the open sets going to zero. In a regular pseudocompact space, player
can always win by making the closure of each of his/her open sets a subset of the previous move of other player.
A topological space in which the player has a winning strategy is said to be a weakly
-favorable space. Thus complete metric spaces, compact Hausdorff spaces, locally compact Hausdorff spaces, countably compact Hausdorff spaces, regular pseudocompact spaces are all weakly
-favorable.
There is characterization of Baire spaces in terms of the Banach-Mazur game. A space is a Baire space if and only if the player
has no winning strategy in the Banach-Mazur game played on the space
(see theorem 1 in this post). If the player
can always win, then player
can never win. In terms of game terminology, if player
has a winning strategy, then the other player (player
) has no winning strategy. Thus a space is weakly
-favorable implies that it is a Baire space. But the implication is not reversible (see example in this post).
So all the spaces discussed from Theorem 1A to Theorem 4A are all weakly -favorable, a property stronger than Baire spaces. These observations are summarized in the following theorems.
Theorem 1C
Every complete metric space is a weakly -favorable space.
Theorem 2C
- Every compact Hausdorff space is a weakly
-favorable space.
- Every locally compact Hausdorff space is a weakly
-favorable space.
Theorem 3C
Every countably compact Hausdorff space is a weakly -favorable space.
Theorem 4C
Every regular pseudocompact space is a weakly -favorable space.
__________________________________________________________________________
Reference
- Engelking, R., General Topology, Revised and Completed edition, Heldermann Verlag, Berlin, 1989.
- Willard, S., General Topology, Addison-Wesley Publishing Company, 1970.