Baire category theorem/Definition

From Citizendium
Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
A definition or brief description of Baire category theorem.

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.