Baire Category Department of Mathematics（贝利类别数学系）.pdfVIP

Baire Category Nowhere Dense Sets by G. H. Meisters • January 31, 1997 The following theorem expresses a very useful property of complete metric spaces. It was first proved by W. F. Osgood in 1897 for the real line R , and (independently) by R. Baire in 1899 for Rn . Theorem 1 (Baire Category Theorem) If a (nonempty) complete metric space E is the union of a countable family (F ) of closed subsets, then at leas