10.04.2013 Views

1. The Baire category theorem - Aarhus Universitet

1. The Baire category theorem - Aarhus Universitet

1. The Baire category theorem - Aarhus Universitet

SHOW MORE
SHOW LESS

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>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!