Baire'i teoreem

Baire'i teoreem on teoreem funktsionaalanalüüsis.

See teoreem väidab järgmist:

"Kui täielik meetriline ruum avaldub loenduva hulga kinniste hulkade ühendina, siis vähemalt üks neist hulkadest sisaldab lahtist kera."