Baire category theorem/Definition
Jump to navigation
Jump to search
Theorem that a complete metric space is of second category, equivalently, the intersection of any sequence of open dense sets in a complete metric space is dense.