Baireova věta o kategoriích

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

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[editovat | editovat zdroj]