Baireova věta o kategoriích

Tento článek není dostatečně ozdrojován a může obsahovat informace, které je třeba ověřit.
Jste-li s předmětem článku dostatečně seznámeni, pomozte prosím vylepšit tento článek doplněním věrohodných zdrojů, které dokládají uvedená tvrzení.

Baireova věta o kategoriích zní: Nechť $(P, \rho)$ je úplný metrický prostor a $G_n \subset P$ spočetný systém otevřených hustých podmnožin $P$. Pak průnik těchto podmnožin je hustá množina v $P$.

Související články

• Množina první kategorie