So today I am starting a new series on the Principles of Functional Analysis to give you all an appreciation for the power that these simple truths hold. We will start today with Baire’s Lemma , which will require some definitions, hopefully, all familiar. (If you are not familiar, it’s okay, I’m going to tell you in 3, 2, 1…)
Definition 1 (Dense Set) For a topological space
,
is dense if
.
A key example from Real Analysis hours is is dense in
. Opposed to the dense set, is the illustrious
Definition 2 (Nowhere Dense Set) For a topological space
,
is nowhere dense if
.
Now that we have these, to get used to the definitions, try proving the following.
Proposition 3 Let
. Then the following are equivalent:
- A is open and dense
is closed and nowhere dense
Hopefully you’re now cozy with those definitions. It’s time for the main event of this post.
Theorem 4 (Baire) Let
be a complete metric space. Then the countable intersection of open dense sets is dense.
As a first example, if is not complete the conclusion fails to hold. Consider the set
for any
and note that these sets are open and dense in
. However, their intersection is the empty set which is not dense. We can show the following useful equivalence in any metric space, not just a complete metric space.
Lemma 5 Let
be a metric space. The following are equivalent:
- the countable intersection of open dense sets is dense
- if
where each
is closed, then there exists an
such that
.
Proof: Suppose that
where each
is closed with empty interior. Then it follows that
However, since each is closed and nowhere dense, it follows that
is open and dense and so their countable intersection must be too. A contradiction.
Let
be a collection of open and dense sets and suppose that there exists an open ball
such that
(This is just the definition of the intersection being not dense). It then follows that
and so it must follow that
Now, the big question is, how do we use (2), to show that one of the sets has non-empty interior (hence the contradiction)? Well, we just choose a ball that satisfies
and consider the space
and then apply (2) using the sets
. This gives the existence of an
such that
has non-empty interior which implies that
has non-empty interior. A contradiction.
This is extremely important, as most of the time, Baire’s lemma is used in the following way. Suppose a complete metric space can be written as the countable union of closed sets, then one of those sets must have non-empty interior. We will see it used in this way in the next post on the uniform boundedness theorem.
I need to mention some terminology. This is where the term Baire Category Theorem comes from. In a metric space , a set is called meagre if it is the countable union of closed, nowhere dense sets. Go back through the previous proof and see if you can spot the meager set. Meagre sets are also said to be of first category. If a set is not of first category it is of second category, also called fat sets (I prefer the term thicc). Finally, a set whose complement is of first category is called co-meagre or residual.
Beware, although these categories mentioned above are mutually exclusive, the same cannot be said about denseness and meagreness. For example try and find a set such that
is meagre and dense (This should be easy!). For an even more involved example, you could try and show that the
functions form a first category set as a subset of
. (First show that a subset of a meagre set is meagre, then work with Lipschitz continuous functions).
Now, meagerness and fatness (thiccness, for those who have opted for my proposed change in convention), are both measures of how ‘small’ or ‘big’ a set is. But it is not the conventional notion of small or big that you are used to from measure theory. However, we can draw some parallels between these ideas. Namely, a first category set can be thought of as null sets while second category sets as those of positive measure. Keeping with the analogy, the residual sets would be compared to sets that are of full measure. However, these are not exactly the same ideas, to get your head around this, try searching for the following examples.
- A meagre set
that has complement with Lebesgue measure zero.
- A set
that is nowhere dense but has infinite Lebesgue measure.
I’m out of time for today, post in the comments your thoughts on the questions above and stay tuned for the problem of the week.
(So from now on, every Thursday night will be a new content post, and on Sunday nights I will post a problem and solve the problem of the previous Sunday)!
Great stuff as always Anthony! What is the meaning of the notation A^{\circ}?