Baire-ruimte

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Nuvola single chevron right.svg Zie voor het begrip uit de verzamelingenleer Baire-ruimte (verzamelingenleer)

In de topologie, een deelgebied van de wiskunde, is een Baire-ruimte een topologische ruimte die, intuïtief gesproken, zeer groot is en "genoeg" punten heeft voor bepaalde limietprocessen.

De Baire-ruimte is genoemd naar René Baire, die het concept in 1899 heeft geïntroduceerd.

In een willekeurige topologische ruimte bestaat de collectie van gesloten verzamelingen met een leeg inwendige, juist uit de randen van de dichte open verzamelingen. Deze verzamelingen zijn in zekere zin 'verwaarloosbaar'. Voorbeelden zijn: eindige verzamelingen reële getallen, gladde krommes in het platte vlak, en echte affiene deelruimten in een Euclidische ruimte. Een Baire-ruimte is 'groot genoeg', wat betekent dat hij niet een aftelbare vereniging is van dergelijke verwaarloosbare deelverzamelingen. Zo is de driedimensionale Euclidische ruimte niet een aftelbare vereniging van zijn affiene vlakken.

Definitie[bewerken]

De definitie van een Baire-ruimte heeft in de loop van de geschiedenis kleine veranderingen ondergaan, voornamelijk als gevolg van de geldende behoeften en opvattingen.

Moderne definitie[bewerken]

Een topologische ruimte heet een Baire-ruimte als elke aftelbare vereniging van gesloten verzamelingen met een leeg inwendige, zelf ook een leeg inwendige heeft.

Deze definitie is equivalent met elk van de volgende voorwaarden:

  • Iedere doorsnede van aftelbaar veel dichte open verzamelingen is zelf dicht.
  • Het inwendige van iedere aftelbare vereniging van gesloten nergens dichte verzamelingen is leeg.
  • Als de vereniging van aftelbaar veel gesloten deelverzamelingen een inwendig punt heeft, dan heeft een van de gesloten deelverzameling in de vereniging een inwendig punt hebben.

Historische definitie[bewerken]

De historische definitie sluit meer aan bij de oorspronkelijke, door Baire gegeven definitie. Daarin introduceerde Baire het volgende begrip "categorie", dat overigens geen verband houdt met de categorietheorie:

een deelverzameling van een topologische ruimte X heet:

D=\cup_{i=0}^\infty E_i, {\overline E}^\circ_i=\emptyset
  • van de tweede categorie, of niet-mager in X, als zij niet van de eerste categorie is.

Opgelet: de categorie is geen intrinsieke topologische eigenschap van D, ze hangt af van de ruimte X.

Een topologische ruimte heet dan een Baire-ruimte als elke niet-lege open verzameling van de tweede categorie is. Deze definitie is equivalent met de moderne definitie.

Referenties[bewerken]

  • Baire, René-Louis, (1899), Sur les fonctions de variables réelles (Over functies van reële variabelen), Annali di Mat. Ser. 3 3, 1--123.