<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Baire category theorem - Page 5 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Baire_category_theorem&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Baire_category_theorem&amp;p=6">3.Next</a>
</p>
<p><a href="page.php?w=Hausdorff_space">Hausdorff space</a> is a Baire space.  More generally, every <a href="page.php?w=locally_compact_regular">locally compact regular</a> space is a Baire space.</p>

<p>Neither of these statements directly implies the other, since there are complete metric spaces that are not locally compact (the <a href="page.php?w=irrational_number">irrational number</a>s with the metric defined below; also, any <a href="page.php?w=Banach_space">Banach space</a> of <a href="page.php?w=dimension_of_a_vector_space">infinite dimension</a>),</p><p>
<a accesskey="1" href="page.php?w=Baire_category_theorem&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Baire_category_theorem&amp;p=6">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
