1. The Baire category theorem - Aarhus Universitet
1. The Baire category theorem - Aarhus Universitet
1. The Baire category theorem - Aarhus Universitet
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
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>