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.

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>

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

Saved successfully!

Ooh no, something went wrong!