Čech-complete spaces are Baire spaces

ID: cech-complete-spaces-are-baire-spaces

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.

New to topics? Read the docs here!