1. The Baire category theorem - Aarhus Universitet

Proof of Baire’s category theorem - continued
Finally the completion of the proof in the case of a complete metric
space:
As above B0 ⊇ B1 ⊇ B2 ⊇ B3 ⊇ ... and ∞ k=1 Bk ⊆ ∞ k=0 Vk ∩B0.
It remains therefore only to show that ∞ k=1 Bk = ∅.
Choose xk ∈ Bk. We claim that {xk} ∞ k=1 is a Cauchy sequence in S.
To see this, let ǫ > 0 be given. Choose N so large that 1
N ≤ ǫ.
Klaus Thomsen 1. The Baire category theorem