Borelstam
Uit Wikipedia, de vrije encyclopedie
De Borelstam is een wiskundige structuur die aangeeft in welke mate de open verzamelingen van een topologische ruimte een meetbaar onderscheid maken tussen de punten van die ruimte. Hij is genoemd naar Emile Borel.
Aanvankelijk werd de Borelstam op de verzameling der reële getallen (met de gebruikelijke topologie) bestudeerd als uitgangspunt voor de maattheorie.
Inhoud |
[bewerk] Oorspronkelijke definitie
De Borelstam op de verzameling der reële getallen is de kleinste sigma-algebra die alle open intervallen bevat.
In het algemeen is de doorsnede van alle sigma-algebra's die een gegeven familie verzamelingen omvatten, opnieuw een sigma-algebra (en daarom de unieke kleinste).
De Borelstam verandert niet als we in de definitie "open intervallen" vervangen door "intervallen" of door "open verzamelingen".
[bewerk] Voorbeelden
Nagenoeg alle verzamelingen die toevallig opduiken bij het bestuderen van de reële getallen, zijn meetbaar. Men moet al enig werk verrichten om een tegenvoorbeeld te vinden. Voorbeelden van Borelmeetbare verzamelingen zijn: alle intervallen (open, gesloten, halfopen, halve rechten, de hele reële as) en aftelbare (in het bijzonder, eindige) verzamelingen van reële getallen.
[bewerk] Onvolledigheid
De Borelstam kan worden uitgerust met de gewone Borelmaat. De aldus ontstane maatruimte is onvolledig in de zin dat een deelverzameling van een nulverzameling niet altijd meetbaar is. De vervollediging van de Borelstam heet de Lebesguestam.
[bewerk] Algemene definitie
De Borelstam op een willekeurige topologische ruimte is de kleinste sigma-algebra die alle open verzamelingen bevat.
[bewerk] Borelstam van een Poolse ruimte
Een Poolse ruimte is een topologische ruimte waarvan de topologie afkomstig is van een volledige separabele metrische ruimte.
Een stelling van Kazimierz Kuratowski luidt: als 
een overaftelbare Poolse ruimte is, dan bestaat er een bijectie tussen X en 
die in beide richtingen meetbare verzamelingen op meetbare verzamelingen afbeeldt (voor de respectievelijke Borelstammen).
