Write the dense space as in compact Hausdorff . Every is dense and open. A dense open subset of has the form with dense and open in . The compact Baire category theorem makes dense in , hence in . Therefore every Čech-complete space is a Baire space. The rationals are not a Baire space, as deleting their points one at a time gives dense open sets with empty intersection.
Articles by others on the same topic
There are currently no matching articles.