1. The Baire category theorem - Aarhus Universitet
1. The Baire category theorem - Aarhus Universitet
1. The Baire category theorem - Aarhus Universitet
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong><br />
Klaus Thomsen matkt@imf.au.dk<br />
Institut for Matematiske Fag<br />
Det Naturvidenskabelige Fakultet<br />
<strong>Aarhus</strong> <strong>Universitet</strong><br />
September 2005<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
We read in W. Rudin: Functional Analysis<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
We read in W. Rudin: Functional Analysis<br />
Chapter 2, Starting on page 41 of my edition<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
Let S be a topological space, i.e.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
Let S be a topological space, i.e.<br />
S is a set with a specified collection τ of subsets, the open sets,<br />
such that<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
Let S be a topological space, i.e.<br />
S is a set with a specified collection τ of subsets, the open sets,<br />
such that<br />
i) S, ∅ ∈ τ,<br />
ii) when U1,U2,... ,Un is a finite number of elements of τ the<br />
intersection<br />
n<br />
is also in τ.<br />
i=1<br />
iii) for any collection Uα,α ∈ I, of sets from τ the union<br />
is also in τ.<br />
<br />
α∈I<br />
Ui<br />
Uα<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
Example: A metric space X with metric d is a topological space:<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
Example: A metric space X with metric d is a topological space:<br />
<strong>The</strong> open sets, τ, consists of the subsets U of X which satisfies the<br />
following condition:<br />
∀x ∈ U ∃δ > 0 : {y ∈ X : d(y,x) < δ} ⊆ U.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
A subset A of S is nowhere dense when the closure A has empty<br />
interior.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
A subset A of S is nowhere dense when the closure A has empty<br />
interior.<br />
Reminder: <strong>The</strong> closure A of A is by definition the intersection of<br />
the closed sets containing A. <strong>The</strong> interior of any subset B ⊆ X is<br />
the union of the open sets contained in B.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
A subset A of S is nowhere dense when the closure A has empty<br />
interior.<br />
Reminder: <strong>The</strong> closure A of A is by definition the intersection of<br />
the closed sets containing A. <strong>The</strong> interior of any subset B ⊆ X is<br />
the union of the open sets contained in B.<br />
Thus a subset A of S is nowhere dense when the closure A does<br />
not contain any open subset.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
A subset A of S is nowhere dense when the closure A has empty<br />
interior.<br />
Reminder: <strong>The</strong> closure A of A is by definition the intersection of<br />
the closed sets containing A. <strong>The</strong> interior of any subset B ⊆ X is<br />
the union of the open sets contained in B.<br />
Thus a subset A of S is nowhere dense when the closure A does<br />
not contain any open subset.<br />
Examples: <strong>The</strong> integers Z is nowhere dense in R.<br />
<strong>The</strong> set { 1<br />
n : n ∈ N} is nowhere dense [0,1].<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
First <strong>category</strong><br />
A set A ⊆ S is of first <strong>category</strong> if it is the union of a countable<br />
collection of nowhere dense sets, i.e. if A = ∞ i=1 Ai, where Ai have<br />
empty interior.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
First <strong>category</strong><br />
A set A ⊆ S is of first <strong>category</strong> if it is the union of a countable<br />
collection of nowhere dense sets, i.e. if A = ∞ i=1 Ai, where Ai have<br />
empty interior.<br />
Example: <strong>The</strong> rational numbers Q form a set of first <strong>category</strong> in<br />
the real line R. Note that Q itself is not nowhere dense; but it is<br />
the union of a countable collection of sets that are!<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
First <strong>category</strong><br />
A set A ⊆ S is of first <strong>category</strong> if it is the union of a countable<br />
collection of nowhere dense sets, i.e. if A = ∞ i=1 Ai, where Ai have<br />
empty interior.<br />
Example: <strong>The</strong> rational numbers Q form a set of first <strong>category</strong> in<br />
the real line R. Note that Q itself is not nowhere dense; but it is<br />
the union of a countable collection of sets that are!<br />
A set of first <strong>category</strong> is ’small’ from the topological viewpoint.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
Second <strong>category</strong><br />
A set A ⊆ S is of second <strong>category</strong> when it is not of the first<br />
<strong>category</strong>.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
Second <strong>category</strong><br />
A set A ⊆ S is of second <strong>category</strong> when it is not of the first<br />
<strong>category</strong>.<br />
Via the <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong> we will become able to give many<br />
examples - for example show that R is of the second <strong>category</strong> as a<br />
subset of itself. (As well as [0,1] ⊆ R).<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Definition of first and second <strong>category</strong><br />
Second <strong>category</strong><br />
A set A ⊆ S is of second <strong>category</strong> when it is not of the first<br />
<strong>category</strong>.<br />
Via the <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong> we will become able to give many<br />
examples - for example show that R is of the second <strong>category</strong> as a<br />
subset of itself. (As well as [0,1] ⊆ R).<br />
Subsequently we shall then see why the notion is usefull !<br />
Philosophically a set of second <strong>category</strong> is a large subset of S from<br />
the topological point of view.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(a) If A ⊆ B and B is of the first <strong>category</strong>, then so is A.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(a) If A ⊆ B and B is of the first <strong>category</strong>, then so is A.<br />
Indeed if B = ∞<br />
i=1 Bi, then A = ∞<br />
i=1 Bi ∩ A and Bi ∩ A ⊆ Bi.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(a) If A ⊆ B and B is of the first <strong>category</strong>, then so is A.<br />
Indeed if B = ∞<br />
i=1 Bi, then A = ∞<br />
i=1 Bi ∩ A and Bi ∩ A ⊆ Bi.<br />
(b) Any countable union of sets of the first <strong>category</strong> is of the first<br />
<strong>category</strong>.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(a) If A ⊆ B and B is of the first <strong>category</strong>, then so is A.<br />
Indeed if B = ∞<br />
i=1 Bi, then A = ∞<br />
i=1 Bi ∩ A and Bi ∩ A ⊆ Bi.<br />
(b) Any countable union of sets of the first <strong>category</strong> is of the first<br />
<strong>category</strong>.<br />
Indeed, if B = ∞ i=1 Bi and Bi = ∞ j=1 B(i,j), for all i, then<br />
B(i,j), i,j ∈ N is a countable collection of sets whose union is B.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(a) If A ⊆ B and B is of the first <strong>category</strong>, then so is A.<br />
Indeed if B = ∞<br />
i=1 Bi, then A = ∞<br />
i=1 Bi ∩ A and Bi ∩ A ⊆ Bi.<br />
(b) Any countable union of sets of the first <strong>category</strong> is of the first<br />
<strong>category</strong>.<br />
Indeed, if B = ∞ i=1 Bi and Bi = ∞ j=1 B(i,j), for all i, then<br />
B(i,j), i,j ∈ N is a countable collection of sets whose union is B.<br />
(c) Any closed set with empty interior is of the first <strong>category</strong>.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(a) If A ⊆ B and B is of the first <strong>category</strong>, then so is A.<br />
Indeed if B = ∞<br />
i=1 Bi, then A = ∞<br />
i=1 Bi ∩ A and Bi ∩ A ⊆ Bi.<br />
(b) Any countable union of sets of the first <strong>category</strong> is of the first<br />
<strong>category</strong>.<br />
Indeed, if B = ∞ i=1 Bi and Bi = ∞ j=1 B(i,j), for all i, then<br />
B(i,j), i,j ∈ N is a countable collection of sets whose union is B.<br />
(c) Any closed set with empty interior is of the first <strong>category</strong>.<br />
Indeed, if E is closed, E = E ∪ ∅ ∪ ∅ ∪ ∅ ∪ ... is a union of a<br />
countable collection of nowhere dense sets.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(d) If h : S → S is a homeomorphism, E ⊆ S and h(E) are of the<br />
same <strong>category</strong>.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(d) If h : S → S is a homeomorphism, E ⊆ S and h(E) are of the<br />
same <strong>category</strong>.<br />
It suffices to show that h(E) is of the first <strong>category</strong> if and only if E.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(d) If h : S → S is a homeomorphism, E ⊆ S and h(E) are of the<br />
same <strong>category</strong>.<br />
It suffices to show that h(E) is of the first <strong>category</strong> if and only if E.<br />
Furthermore, since E = h −1 (h(E)), it suffice to show that h(E) is<br />
of the first <strong>category</strong> when E is.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(d) If h : S → S is a homeomorphism, E ⊆ S and h(E) are of the<br />
same <strong>category</strong>.<br />
It suffices to show that h(E) is of the first <strong>category</strong> if and only if E.<br />
Furthermore, since E = h−1 (h(E)), it suffice to show that h(E) is<br />
of the first <strong>category</strong> when E is.<br />
So assume that E = ∞ i=1 Ei, where each Ei has empty interior.<br />
<strong>The</strong>n h(E) = ∞ i=1 h (Ei) and h(Ei) = h <br />
Ei .<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(d) If h : S → S is a homeomorphism, E ⊆ S and h(E) are of the<br />
same <strong>category</strong>.<br />
It suffices to show that h(E) is of the first <strong>category</strong> if and only if E.<br />
Furthermore, since E = h−1 (h(E)), it suffice to show that h(E) is<br />
of the first <strong>category</strong> when E is.<br />
So assume that E = ∞ i=1 Ei, where each Ei has empty interior.<br />
<strong>The</strong>n h(E) = ∞ i=1 h (Ei) and h(Ei) = h <br />
Ei .<br />
If U ⊆ h <br />
Ei is open, h−1 (U) ⊆ Ei is also open.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Basic properties the notions of <strong>category</strong><br />
(d) If h : S → S is a homeomorphism, E ⊆ S and h(E) are of the<br />
same <strong>category</strong>.<br />
It suffices to show that h(E) is of the first <strong>category</strong> if and only if E.<br />
Furthermore, since E = h−1 (h(E)), it suffice to show that h(E) is<br />
of the first <strong>category</strong> when E is.<br />
So assume that E = ∞ i=1 Ei, where each Ei has empty interior.<br />
<strong>The</strong>n h(E) = ∞ i=1 h (Ei) and h(Ei) = h <br />
Ei .<br />
If U ⊆ h <br />
Ei is open, h−1 (U) ⊆ Ei is also open.<br />
Since Ei has empty interior, this implies that h−1 (U) = ∅, i.e.<br />
U = h−1 (h(U)) = ∅.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
<strong>The</strong> <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong><br />
<strong>The</strong> <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong>.<br />
If S is either<br />
(a) a complete metric space, or<br />
(b) a locally compact Hausdorff space,<br />
then the intersection of every countable collection of dense open<br />
sets in S is dense is S.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
<strong>The</strong> <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong><br />
<strong>The</strong> <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong>.<br />
If S is either<br />
(a) a complete metric space, or<br />
(b) a locally compact Hausdorff space,<br />
then the intersection of every countable collection of dense open<br />
sets in S is dense is S.<br />
Thus if Ei,i = 1,2,3,... , are dense and open in S, then ∞<br />
i=1 Ei is<br />
dense in S.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
<strong>The</strong> <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong><br />
<strong>The</strong> <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong>.<br />
If S is either<br />
(a) a complete metric space, or<br />
(b) a locally compact Hausdorff space,<br />
then the intersection of every countable collection of dense open<br />
sets in S is dense is S.<br />
Thus if Ei,i = 1,2,3,... , are dense and open in S, then ∞<br />
i=1 Ei is<br />
dense in S.<br />
Corollary.<br />
A complete metric space or a locally compact Hausdorff space is of<br />
the second <strong>category</strong>; thus they are not the union of a countable<br />
collection of nowhere dense subsets.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of the corollary<br />
Reminder ?: A subset E of S is dense when E ∩ U = ∅ for all open<br />
and non-empty subsets U.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of the corollary<br />
Reminder ?: A subset E of S is dense when E ∩ U = ∅ for all open<br />
and non-empty subsets U.<br />
Examples: 1) Q is dense in R.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of the corollary<br />
Reminder ?: A subset E of S is dense when E ∩ U = ∅ for all open<br />
and non-empty subsets U.<br />
Examples: 1) Q is dense in R.<br />
<strong>The</strong> polynomials are dense in C[0,1].<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of the corollary<br />
Reminder ?: A subset E of S is dense when E ∩ U = ∅ for all open<br />
and non-empty subsets U.<br />
Examples: 1) Q is dense in R.<br />
<strong>The</strong> polynomials are dense in C[0,1].<br />
Nullermændene er tætte i min ældste søns værelse.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of the corollary<br />
Reminder ?: A subset E of S is dense when E ∩ U = ∅ for all open<br />
and non-empty subsets U.<br />
Examples: 1) Q is dense in R.<br />
<strong>The</strong> polynomials are dense in C[0,1].<br />
Nullermændene er tætte i min ældste søns værelse.<br />
Proof of corollary using the <strong>theorem</strong>:<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of the corollary<br />
Reminder ?: A subset E of S is dense when E ∩ U = ∅ for all open<br />
and non-empty subsets U.<br />
Examples: 1) Q is dense in R.<br />
<strong>The</strong> polynomials are dense in C[0,1].<br />
Nullermændene er tætte i min ældste søns værelse.<br />
Proof of corollary using the <strong>theorem</strong>:<br />
If S = ∞ i=1 Ei, where each Ei is nowhere dense, observe that<br />
∅ = ∞ i=1 Ec<br />
i ⊇ ∞ i=1 Ei<br />
c c<br />
and each Ei is dense and open. This<br />
contradicts the <strong>theorem</strong>.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong><br />
Let V1,V2,V3,... be open and dense subsets of S. We must show<br />
that ∞ i=1 Vi is dense in S when S is either a complete metric<br />
space or a locally compact Hausdorff space.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong><br />
Let V1,V2,V3,... be open and dense subsets of S. We must show<br />
that ∞<br />
i=1 Vi is dense in S when S is either a complete metric<br />
space or a locally compact Hausdorff space.<br />
Consider an open non-empty subset B0 of S. We want to show<br />
that ∞<br />
i=1 Vi ∩ B0 = ∅. Since V1 is dense in S, B0 ∩ V1 = ∅.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong><br />
Let V1,V2,V3,... be open and dense subsets of S. We must show<br />
that ∞ i=1 Vi is dense in S when S is either a complete metric<br />
space or a locally compact Hausdorff space.<br />
Consider an open non-empty subset B0 of S. We want to show<br />
that ∞ i=1 Vi ∩ B0 = ∅. Since V1 is dense in S, B0 ∩ V1 = ∅.<br />
We claim that there is an open set B1 such that<br />
B1 ⊆ V1 ∩ B0<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong><br />
(1)
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong><br />
Let V1,V2,V3,... be open and dense subsets of S. We must show<br />
that ∞ i=1 Vi is dense in S when S is either a complete metric<br />
space or a locally compact Hausdorff space.<br />
Consider an open non-empty subset B0 of S. We want to show<br />
that ∞ i=1 Vi ∩ B0 = ∅. Since V1 is dense in S, B0 ∩ V1 = ∅.<br />
We claim that there is an open set B1 such that<br />
B1 ⊆ V1 ∩ B0<br />
When S is a complete metric space we will require that d(y,x) ≤ 1<br />
when x,y ∈ B1 and when S is locally compact Hausdorff we require<br />
that B1 is compact.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong><br />
(1)
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong><br />
Let V1,V2,V3,... be open and dense subsets of S. We must show<br />
that ∞ i=1 Vi is dense in S when S is either a complete metric<br />
space or a locally compact Hausdorff space.<br />
Consider an open non-empty subset B0 of S. We want to show<br />
that ∞ i=1 Vi ∩ B0 = ∅. Since V1 is dense in S, B0 ∩ V1 = ∅.<br />
We claim that there is an open set B1 such that<br />
B1 ⊆ V1 ∩ B0<br />
When S is a complete metric space we will require that d(y,x) ≤ 1<br />
when x,y ∈ B1 and when S is locally compact Hausdorff we require<br />
that B1 is compact.<br />
<strong>The</strong> argument for this differ in the two cases. Assume first that S<br />
is a complete metric space. Take x ∈ V1 ∩ B0.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong><br />
(1)
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong><br />
Let V1,V2,V3,... be open and dense subsets of S. We must show<br />
that ∞ i=1 Vi is dense in S when S is either a complete metric<br />
space or a locally compact Hausdorff space.<br />
Consider an open non-empty subset B0 of S. We want to show<br />
that ∞ i=1 Vi ∩ B0 = ∅. Since V1 is dense in S, B0 ∩ V1 = ∅.<br />
We claim that there is an open set B1 such that<br />
B1 ⊆ V1 ∩ B0<br />
When S is a complete metric space we will require that d(y,x) ≤ 1<br />
when x,y ∈ B1 and when S is locally compact Hausdorff we require<br />
that B1 is compact.<br />
<strong>The</strong> argument for this differ in the two cases. Assume first that S<br />
is a complete metric space. Take x ∈ V1 ∩ B0.<br />
Since V1 ∩ B0 is open there is a 1 > δ > 0 such that<br />
{y ∈ S : d(y,x) < δ} ⊆ V1 ∩ B0. <strong>The</strong>n<br />
B1 = y ∈ S : d(y,x) < δ<br />
<br />
2 has the desired property.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong><br />
(1)
On locally compact Hausdorff spaces<br />
Before we continue the proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> we<br />
develop a little of the general theory of locally compact Hausdorff<br />
spaces.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Before we continue the proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> we<br />
develop a little of the general theory of locally compact Hausdorff<br />
spaces.<br />
Recall that a topological space is locally compact when every point<br />
has an open neighborhood with compact closure.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Before we continue the proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> we<br />
develop a little of the general theory of locally compact Hausdorff<br />
spaces.<br />
Recall that a topological space is locally compact when every point<br />
has an open neighborhood with compact closure.<br />
Lemma<br />
Let X be a Hausdorff space, K a compact subset of X and p a<br />
point in the complement K c = X \K of K. <strong>The</strong>re are then open<br />
sets U and W such that p ∈ U,K ⊆ W and U ∩ W = ∅.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Consider an element k ∈ K. Since X is Hausdorff there are open<br />
sets, Wk ⊆ X and Uk ⊆ X, such that k ∈ Wk,p ∈ Uk and<br />
Wk ∩ Uk = ∅.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Consider an element k ∈ K. Since X is Hausdorff there are open<br />
sets, Wk ⊆ X and Uk ⊆ X, such that k ∈ Wk,p ∈ Uk and<br />
Wk ∩ Uk = ∅.<br />
Note that the collection {Wk : k ∈ K} is an open cover of K.<br />
Since K is compact there is a finite collection k1,k2,... ,kN such<br />
that<br />
K ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN .<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Consider an element k ∈ K. Since X is Hausdorff there are open<br />
sets, Wk ⊆ X and Uk ⊆ X, such that k ∈ Wk,p ∈ Uk and<br />
Wk ∩ Uk = ∅.<br />
Note that the collection {Wk : k ∈ K} is an open cover of K.<br />
Since K is compact there is a finite collection k1,k2,... ,kN such<br />
that<br />
K ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN .<br />
Set W = Wk1 ∪ Wk2 ∪ · · · ∪ WkN and U = Uk1 ∩ Uk2 ∩ · · · ∩ UkN .<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Consider an element k ∈ K. Since X is Hausdorff there are open<br />
sets, Wk ⊆ X and Uk ⊆ X, such that k ∈ Wk,p ∈ Uk and<br />
Wk ∩ Uk = ∅.<br />
Note that the collection {Wk : k ∈ K} is an open cover of K.<br />
Since K is compact there is a finite collection k1,k2,... ,kN such<br />
that<br />
K ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN .<br />
Set W = Wk1 ∪ Wk2 ∪ · · · ∪ WkN and U = Uk1 ∩ Uk2 ∩ · · · ∩ UkN .<br />
Corollary: In a Hausdorff space, any compact subset is closed.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Consider an element k ∈ K. Since X is Hausdorff there are open<br />
sets, Wk ⊆ X and Uk ⊆ X, such that k ∈ Wk,p ∈ Uk and<br />
Wk ∩ Uk = ∅.<br />
Note that the collection {Wk : k ∈ K} is an open cover of K.<br />
Since K is compact there is a finite collection k1,k2,... ,kN such<br />
that<br />
K ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN .<br />
Set W = Wk1 ∪ Wk2 ∪ · · · ∪ WkN and U = Uk1 ∩ Uk2 ∩ · · · ∩ UkN .<br />
Corollary: In a Hausdorff space, any compact subset is closed.<br />
Proof: By Lemma1 the complement of a compact set is open.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Lemma<br />
Let X be a Hausdorff space and {Kα : α ∈ A} a collection of<br />
compact subsets of X. If <br />
α∈A Kα = ∅, there is a finite subset<br />
F ⊆ A such that <br />
α∈F Kα = ∅.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Lemma<br />
Let X be a Hausdorff space and {Kα : α ∈ A} a collection of<br />
compact subsets of X. If <br />
α∈A Kα = ∅, there is a finite subset<br />
F ⊆ A such that <br />
α∈F Kα = ∅.<br />
Proof.<br />
<br />
Fix one of the Kα’s; say Kα1 . Since α∈A Kα = ∅, every element of<br />
Kα1 is in the complement Kc α of Kα, for some α. This means that<br />
{Kc α : α ∈ A} covers Kα1 .<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Lemma<br />
Let X be a Hausdorff space and {Kα : α ∈ A} a collection of<br />
compact subsets of X. If <br />
α∈A Kα = ∅, there is a finite subset<br />
F ⊆ A such that <br />
α∈F Kα = ∅.<br />
Proof.<br />
<br />
Fix one of the Kα’s; say Kα1 . Since α∈A Kα = ∅, every element of<br />
Kα1 is in the complement Kc α of Kα, for some α. This means that<br />
{Kc α : α ∈ A} covers Kα1 .<br />
By Corollary ?? each Kc α is open, so by compactness of Kα1 there is<br />
a finite subset F0 ⊆ A such that<br />
<br />
⊆ K c α.<br />
Kα1<br />
α∈F0<br />
Set F = {α1} ∪ F0. <strong>The</strong>n <br />
α∈F Kα = ∅.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Lemma<br />
Let X be a topological space.<br />
a) <strong>The</strong> union of a finite number of compact sets in X is itself<br />
compact.<br />
b) If K is a compact subset of X and B ⊆ K is a closed subset of<br />
K, then B is compact.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Lemma<br />
Let X be a topological space.<br />
a) <strong>The</strong> union of a finite number of compact sets in X is itself<br />
compact.<br />
b) If K is a compact subset of X and B ⊆ K is a closed subset of<br />
K, then B is compact.<br />
Proof.<br />
a) is left to the reader.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Lemma<br />
Let X be a topological space.<br />
a) <strong>The</strong> union of a finite number of compact sets in X is itself<br />
compact.<br />
b) If K is a compact subset of X and B ⊆ K is a closed subset of<br />
K, then B is compact.<br />
Proof.<br />
a) is left to the reader.<br />
To prove b), consider an open cover {Uα : α ∈ A} of B. <strong>The</strong>n<br />
{Bc } ∪ {Uα : α ∈ A} is an open cover of K and hence<br />
K ⊆ B c ∪ <br />
for some finite collection F ⊆ A.<br />
α∈F<br />
Uα<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
It follows that B ⊆ <br />
α∈F Uα, proving that B is compact.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
It follows that B ⊆ <br />
α∈F Uα, proving that B is compact.<br />
Lemma<br />
Let X be a locally compact Hausdorff space, K a compact subset<br />
of X and U an open subset of X such that K ⊆ U. <strong>The</strong>re is then<br />
an open set V in X with compact closure V such that<br />
K ⊆ V ⊆ V ⊆ U.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Since X is locally compact we can, for each k ∈ K, find an open<br />
set Wk such that k ∈ Wk and Wk is compact.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Since X is locally compact we can, for each k ∈ K, find an open<br />
set Wk such that k ∈ Wk and Wk is compact.<br />
Since {Wk : k ∈ K} is an open cover of K, and K is compact,<br />
there is a finite collection k1,k2,...,kN such that<br />
K ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN . Set W = Wk1 ∪ Wk2 ∪ · · · ∪ WkN and<br />
note that W ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN .<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Since X is locally compact we can, for each k ∈ K, find an open<br />
set Wk such that k ∈ Wk and Wk is compact.<br />
Since {Wk : k ∈ K} is an open cover of K, and K is compact,<br />
there is a finite collection k1,k2,...,kN such that<br />
K ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN . Set W = Wk1 ∪ Wk2 ∪ · · · ∪ WkN and<br />
note that W ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN .<br />
It follows from Lemma 3 that W is compact. This completes the<br />
proof in the case where U = X, since we can then take V = W.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Since X is locally compact we can, for each k ∈ K, find an open<br />
set Wk such that k ∈ Wk and Wk is compact.<br />
Since {Wk : k ∈ K} is an open cover of K, and K is compact,<br />
there is a finite collection k1,k2,...,kN such that<br />
K ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN . Set W = Wk1 ∪ Wk2 ∪ · · · ∪ WkN and<br />
note that W ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN .<br />
It follows from Lemma 3 that W is compact. This completes the<br />
proof in the case where U = X, since we can then take V = W.<br />
When U = X, let C = Uc be the complement of U in X. For each<br />
p ∈ C there is an open set W ′ p such that K ⊆ W ′ p and p /∈ W ′ p .<br />
This follows from Lemma <strong>1.</strong><br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
Since X is locally compact we can, for each k ∈ K, find an open<br />
set Wk such that k ∈ Wk and Wk is compact.<br />
Since {Wk : k ∈ K} is an open cover of K, and K is compact,<br />
there is a finite collection k1,k2,...,kN such that<br />
K ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN . Set W = Wk1 ∪ Wk2 ∪ · · · ∪ WkN and<br />
note that W ⊆ Wk1 ∪ Wk2 ∪ · · · ∪ WkN .<br />
It follows from Lemma 3 that W is compact. This completes the<br />
proof in the case where U = X, since we can then take V = W.<br />
When U = X, let C = Uc be the complement of U in X. For each<br />
p ∈ C there is an open set W ′ p such that K ⊆ W ′ p and p /∈ W ′ p .<br />
This follows from Lemma <strong>1.</strong><br />
Note that <br />
C ∩ W ∩ W ′ p = ∅,<br />
p∈C<br />
and that each set C ∩ W ∩ W ′ p is compact.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
It follows from Lemma 2 that there is a finite set, p1,p2,... ,pN,<br />
such that<br />
N<br />
C ∩ W ∩ W ′ pi = ∅. (2)<br />
i=1<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
On locally compact Hausdorff spaces<br />
Proof.<br />
It follows from Lemma 2 that there is a finite set, p1,p2,... ,pN,<br />
such that<br />
N<br />
C ∩ W ∩ W ′ pi = ∅. (2)<br />
i=1<br />
Set V = W ∩ W ′ p1 ∩ W ′ p2 ∩ · · · ∩ W ′ pN . <strong>The</strong>n<br />
K ⊆ V ⊆ V ⊆ W ∩ W ′ p1 ∩ W ′ p2 ∩ · · · ∩ W ′ pN . It follows from (2)<br />
that W ∩ W ′ p1 ∩ W ′ p2 ∩ · · · ∩ W ′ pN ⊆ U and from Lemma 3 that V<br />
is compact.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Let V1,V2,V3,... be open and dense subsets of S. We must show<br />
that ∞ i=1 Vi is dense in S when S is either a complete metric<br />
space or a locally compact Hausdorff space.<br />
Consider an open non-empty subset B0 of S. We want to show<br />
that ∞ i=1 Vi ∩ B0 = ∅. Since V1 is dense in S, B0 ∩ V1 = ∅.<br />
We claim that there is an open set B1 such that<br />
B1 ⊆ V1 ∩ B0<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong><br />
(3)
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Let V1,V2,V3,... be open and dense subsets of S. We must show<br />
that ∞ i=1 Vi is dense in S when S is either a complete metric<br />
space or a locally compact Hausdorff space.<br />
Consider an open non-empty subset B0 of S. We want to show<br />
that ∞ i=1 Vi ∩ B0 = ∅. Since V1 is dense in S, B0 ∩ V1 = ∅.<br />
We claim that there is an open set B1 such that<br />
B1 ⊆ V1 ∩ B0<br />
When S is a complete metric space we will require that d(y,x) ≤ 1<br />
when x,y ∈ B1 and when S is locally compact Hausdorff we require<br />
that B1 is compact.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong><br />
(3)
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Let V1,V2,V3,... be open and dense subsets of S. We must show<br />
that ∞ i=1 Vi is dense in S when S is either a complete metric<br />
space or a locally compact Hausdorff space.<br />
Consider an open non-empty subset B0 of S. We want to show<br />
that ∞ i=1 Vi ∩ B0 = ∅. Since V1 is dense in S, B0 ∩ V1 = ∅.<br />
We claim that there is an open set B1 such that<br />
B1 ⊆ V1 ∩ B0<br />
When S is a complete metric space we will require that d(y,x) ≤ 1<br />
when x,y ∈ B1 and when S is locally compact Hausdorff we require<br />
that B1 is compact.<br />
This is now straightforward in case of a locally compact Hausdorff<br />
space; thanks to the last lemma.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong><br />
(3)
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Next we find an open set B2 such that<br />
B2 ⊆ V2 ∩ B1<br />
such that d(y,x) ≤ 1<br />
2 when S is complete metric space and such<br />
that B2 is compact when S is a locally compact Hausdorff space.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Next we find an open set B2 such that<br />
B2 ⊆ V2 ∩ B1<br />
such that d(y,x) ≤ 1<br />
2 when S is complete metric space and such<br />
that B2 is compact when S is a locally compact Hausdorff space.<br />
This is done as above: Since V2 is dense, V2 ∩ B1 is not empty.<br />
Repeat then the previous arguments.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Next we find an open set B2 such that<br />
B2 ⊆ V2 ∩ B1<br />
such that d(y,x) ≤ 1<br />
2 when S is complete metric space and such<br />
that B2 is compact when S is a locally compact Hausdorff space.<br />
This is done as above: Since V2 is dense, V2 ∩ B1 is not empty.<br />
Repeat then the previous arguments.<br />
Thus we construct recursively a sequence B0,B1,B2,... of open<br />
sets such that<br />
Bn ⊆ Vn ∩ Bn−1<br />
for all n ≥ 1, d(x,y) ≤ 1<br />
n when x,y ∈ Bn in the case where S is a<br />
complete metric space, and such that Bn is compact in the case<br />
where S is a locally compact Hausdorff space.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
<strong>The</strong> proof is now completed as follows; first the case when S is a<br />
locally compact Hausdorff space:<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
<strong>The</strong> proof is now completed as follows; first the case when S is a<br />
locally compact Hausdorff space:<br />
B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and each Bk,k ≥ 1, is compact and<br />
non-empty.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
<strong>The</strong> proof is now completed as follows; first the case when S is a<br />
locally compact Hausdorff space:<br />
B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and each Bk,k ≥ 1, is compact and<br />
non-empty.<br />
It follows that ∞ k=1 Bk = ∅. Since Bk ⊆ Vk−1 for all k, we find<br />
that<br />
∞ ∞<br />
Vk.<br />
k=1<br />
Bk ⊆<br />
k=0<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
<strong>The</strong> proof is now completed as follows; first the case when S is a<br />
locally compact Hausdorff space:<br />
B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and each Bk,k ≥ 1, is compact and<br />
non-empty.<br />
It follows that ∞ k=1 Bk = ∅. Since Bk ⊆ Vk−1 for all k, we find<br />
that<br />
∞ ∞<br />
Vk.<br />
k=1<br />
Bk ⊆<br />
But ∞<br />
k=1 Bk ⊆ B0, so we see that<br />
∞<br />
k=1<br />
Bk ⊆<br />
k=0<br />
∞<br />
Vk ∩ B0,<br />
k=1<br />
which was what we wanted to prove.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞<br />
k=1 Bk ⊆ ∞<br />
k=0 Vk ∩B0.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞<br />
It remains therefore only to show that ∞<br />
k=1 Bk = ∅.<br />
k=1 Bk ⊆ ∞ k=0 Vk ∩B0.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞ k=1 Bk ⊆ ∞ k=0 Vk ∩B0.<br />
It remains therefore only to show that ∞ Choose xk ∈ Bk. We claim that {xk} ∞ k=1<br />
k=1 Bk = ∅.<br />
is a Cauchy sequence in S.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞ k=1 Bk ⊆ ∞ k=0 Vk ∩B0.<br />
It remains therefore only to show that ∞ k=1 Bk = ∅.<br />
Choose xk ∈ Bk. We claim that {xk} ∞ k=1 is a Cauchy sequence in S.<br />
To see this, let ǫ > 0 be given. Choose N so large that 1<br />
N ≤ ǫ.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞ k=1 Bk ⊆ ∞ k=0 Vk ∩B0.<br />
It remains therefore only to show that ∞ k=1 Bk = ∅.<br />
Choose xk ∈ Bk. We claim that {xk} ∞ k=1 is a Cauchy sequence in S.<br />
To see this, let ǫ > 0 be given. Choose N so large that 1<br />
N ≤ ǫ.<br />
Let n,m ≥ N. <strong>The</strong>n xn,xm ∈ BN, and hence d (xn,xm) ≤ 1<br />
N ≤ ǫ.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞ k=1 Bk ⊆ ∞ k=0 Vk ∩B0.<br />
It remains therefore only to show that ∞ k=1 Bk = ∅.<br />
Choose xk ∈ Bk. We claim that {xk} ∞ k=1 is a Cauchy sequence in S.<br />
To see this, let ǫ > 0 be given. Choose N so large that 1<br />
N ≤ ǫ.<br />
Let n,m ≥ N. <strong>The</strong>n xn,xm ∈ BN, and hence d (xn,xm) ≤ 1<br />
N ≤ ǫ.<br />
Thus {xk} ∞ k=1 is a Cauchy sequence in S and we set<br />
x = limk→∞ xk.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞ k=1 Bk ⊆ ∞ k=0 Vk ∩B0.<br />
It remains therefore only to show that ∞ k=1 Bk = ∅.<br />
Choose xk ∈ Bk. We claim that {xk} ∞ k=1 is a Cauchy sequence in S.<br />
To see this, let ǫ > 0 be given. Choose N so large that 1<br />
N ≤ ǫ.<br />
Let n,m ≥ N. <strong>The</strong>n xn,xm ∈ BN, and hence d (xn,xm) ≤ 1<br />
N ≤ ǫ.<br />
Thus {xk} ∞ k=1 is a Cauchy sequence in S and we set<br />
x = limk→∞ xk.<br />
Since xn ∈ Bk when n ≥ k, we conclude that x ∈ Bk.<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞ k=1 Bk ⊆ ∞ k=0 Vk ∩B0.<br />
It remains therefore only to show that ∞ k=1 Bk = ∅.<br />
Choose xk ∈ Bk. We claim that {xk} ∞ k=1 is a Cauchy sequence in S.<br />
To see this, let ǫ > 0 be given. Choose N so large that 1<br />
N ≤ ǫ.<br />
Let n,m ≥ N. <strong>The</strong>n xn,xm ∈ BN, and hence d (xn,xm) ≤ 1<br />
N ≤ ǫ.<br />
Thus {xk} ∞ k=1 is a Cauchy sequence in S and we set<br />
x = limk→∞ xk.<br />
Since xn ∈ Bk when n ≥ k, we conclude that x ∈ Bk.<br />
(Indeed, if x /∈ Bk there is a δ > 0 such that<br />
c<br />
{y ∈ S : d(y,x) < δ} ⊆ Bk . Since xn ∈ {y ∈ S : d(y,x) < δ}<br />
for all large n, this is a contradiction.)<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>
Proof of <strong>Baire</strong>’s <strong>category</strong> <strong>theorem</strong> - continued<br />
Finally the completion of the proof in the case of a complete metric<br />
space:<br />
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞ k=1 Bk ⊆ ∞ k=0 Vk ∩B0.<br />
It remains therefore only to show that ∞ k=1 Bk = ∅.<br />
Choose xk ∈ Bk. We claim that {xk} ∞ k=1 is a Cauchy sequence in S.<br />
To see this, let ǫ > 0 be given. Choose N so large that 1<br />
N ≤ ǫ.<br />
Let n,m ≥ N. <strong>The</strong>n xn,xm ∈ BN, and hence d (xn,xm) ≤ 1<br />
N ≤ ǫ.<br />
Thus {xk} ∞ k=1 is a Cauchy sequence in S and we set<br />
x = limk→∞ xk.<br />
Since xn ∈ Bk when n ≥ k, we conclude that x ∈ Bk.<br />
(Indeed, if x /∈ Bk there is a δ > 0 such that<br />
c<br />
{y ∈ S : d(y,x) < δ} ⊆ Bk . Since xn ∈ {y ∈ S : d(y,x) < δ}<br />
for all large n, this is a contradiction.)<br />
Hence x ∈ ∞ k=1 Bk and the proof is complete!<br />
Klaus Thomsen <strong>1.</strong> <strong>The</strong> <strong>Baire</strong> <strong>category</strong> <strong>theorem</strong>