Categoriestelling van Baire

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

De categoriestelling van Baire is een belangrijk instrument in de algemene topologie en de functionaalanalyse.

De stelling heeft twee vormen, die elk voor een topologische ruimte voldoende voorwaarden zijn dat deze topologische ruimte tevens een Baire-ruimte is.

De stelling werd in 1899 door René Baire in zijn proefschrift bewezen[1].

Formulering van de categoriestelling[bewerken]

Een Baire-ruimte is een topologische ruimte met de volgende eigenschap: voor elke aftelbare collectie van open, dichte verzamelingen Un, is hun doorsnedeUn dicht.

Merk op dat geen van deze uitspraken de andere impliceert, aangezien er een volledige metrische ruimte bestaat die niet lokaal compact is (de irrationale getallen met de metriek, die hieronder wordt gedefinieerd), en er ook een lokaal compacte Hausdorff-ruimte bestaat, die niet metriseerbaar is (de onaftelbare Fort-ruimte).

  • (BCS3): een niet-lege volledige metrische ruimte is NIET de aftelbare vereniging van nergens-dichte verzamelingen (dat wil zeggen verzamelingen, waarvan de afsluiting een dicht complement heeft).

Deze formulering is een gevolg van BCS1 en is soms nuttig in toepassingen. Ook: als een niet-lege volledige metrische ruimte de aftelbare vereniging van gesloten verzamelingen is, dan heeft een van deze gesloten verzamelingen een niet leeg inwendige.

Relatie tot het ​​keuzeaxioma[bewerken]

De bewijzen van BCT1 en BCT2 voor willekeurige volledige metrische ruimten vereisen enige vorm van het keuzeaxioma; in feite is BCT1 gelijkwaardig over ZF aan een zwakke vorm van het keuzeaxioma genaamd het axioma van afhankelijke keuzes.[2]

De beperkte vorm van de categoriestelling van Baire, waarin de volledige metrische ruimte ook geacht wordt scheidbaar te zijn, is zonder additionele keuzeprincipes binnen ZF bewijsbaar.[3] Deze beperkte vorm is in het bijzonder van toepassing op de reële lijn, de Baire-ruimte ω ω en de Cantor-ruimte 2ω.

Voetnoten[bewerken]

  1. R. Baire. Sur les fonctions de variabelen reelles (Over functies van reële variabelen). Annali. di Mat., 3:1-123, 1899.
  2. Blair 1977
  3. Levy 1979, blz. 212