Baire-ruimte (verzamelingenleer)
In de verzamelingenleer, een deelgebied van de wiskunde, is de Baire-ruimte de verzameling van alle oneindige rijen van natuurlijke getallen met een bepaalde topologie. Deze ruimte wordt vaak gebruikt in de beschrijvende verzamelingenleer, in die mate dat de elementen van de Baire-ruimte vaak "reëlen" worden genoemd. De Baire-ruimte wordt vaak aangeduid met B, N N of ωω. Moschovakis duidt het aan met .
De Baire-ruimte wordt gedefinieerd als het Cartesisch product van een aftelbaar aantal kopieën van de verzameling van natuurlijke getallen, en wordt in de producttopologie (waarbij elk exemplaar van de verzameling van natuurlijke getallen wordt uitgerust met de discrete topologie). De Baire-ruimte wordt vaak weergegeven door gebruik te maken van de boom van eindige rijen van natuurlijke getallen.
De Baire-ruimte kan worden vergeleken met Cantor-ruimte, de verzameling van oneindige rijen van binaire cijfers.
Eigenschappen
De Baire-ruimte heeft de volgende eigenschappen:
- De Baire-ruimte is een perfecte Poolse ruimte, wat betekent dat het een volledig metriseerbare tweedst-aftelbare ruimte is, waarin geen geïsoleerde punten voorkomen. Als zodanig heeft de Baire-ruime dezelfde kardinaliteit als de reële lijn en is een Baire-ruimte in de topologische zin van het woord.
- nuldimensionaal en volledig losgekoppeld.
- niet lokaal compact.
- universeel voor Poolse ruimten in de zin dat de Baire-ruimte continu "onto" elke niet-lege Poolse ruimte kan worden afgebeeld.
- homeomorf met het product van een willekeurig aantal eindige of aftelbare kopieën van zichzelf