Baireova věta o kategoriích

Baireova věta o kategoriích je matematická věta, kterou v roce 1897 dokázal William Fogg Osgood pro množinu reálných čísel a roku 1899 znění rozšířil pro Euklediovské prostory René-Louis Baire, po kterém věta nese název.

Znění

Nechť $P$ je množina první kategorie v $ℝ$ a $I\subset ℝ$ je interval. Pak $I\setminus P\ne \mathrm{\varnothing }$.

Literatura

• Šablona:Citace periodika