Maattheorie

Wiskundig deelgebied dat integratie generaliseert

De maattheorie is het deelgebied van de wiskunde dat de elementaire begrippen van maat (lengte, oppervlakte en volume) veralgemeent, zodat ook aan ingewikkelder verzamelingen dan die van 'gewone' punten in een ruimte een maat kan worden toegekend. In de maattheorie is de Lebesgue-integratie de theoretische basis voor de kansrekening en de integraalrekening. Zo kan dankzij de maattheorie de verwachting van een stochastische variabele worden opgevat als de integraal van een meetbare functie.

Het uitgangspunt is een strenge afbakening van het studiegebied op basis van de axiomatische verzamelingenleer. In de Banach-Tarskiparadox wordt duidelijk hoe een naïeve opvatting van het begrip "maat van een verzameling" wordt afgestraft. De wiskundigen Stefan Banach en Alfred Tarski toonden aan dat uit een naïeve opvatting van het begrip "volume" (maat in de -dimensionale reële ruimte) volgt dat alle lichamen een gelijk volume hebben.

Meetbare ruimte bewerken

Een meetbare ruimte bestaat uit een willekeurige verzameling  , tezamen met een σ-algebra   van deelverzamelingen van  . (In de Franstalige literatuur spreekt men van stam ("tribu")).

De elementen van   noemt men de meetbare deelverzamelingen van  . Uiteraard kan op eenzelfde drager   meestal meer dan één meetbare ruimte gedefinieerd worden, dus het begrip "meetbare verzameling" hangt evenzeer af van de keuze van  .

De geëiste structuur van σ-algebra voor de meetbare verzamelingen maakt het mogelijk een maat aan deze verzamelingen toe te kennen die geschikte eigenschappen heeft.

Voorbeelden bewerken

Zij   een willekeurige verzameling. Uit de drie definiërende eigenschappen van een σ-algebra volgt dat elke σ-algebra minstens de lege verzameling en de verzameling   zelf bevat. Het paar   is ook altijd een σ-algebra op  , die soms indiscrete stam heet. De indiscrete stam is de kleinst mogelijke σ-algebra op een verzameling  ; elke andere σ-algebra bevat die indiscrete stam.

De machtsverzameling  , d.w.z. de verzameling van alle deelverzamelingen van   vormt een σ-algebra op   die men soms de discrete stam noemt. De discrete stam is de grootst mogelijke σ-algebra op een verzameling   in de zin dat hij elke andere σ-algebra omvat.

Zij   een willekeurige collectie deelverzamelingen van   De verzameling van alle σ-algebra's op   die   omvatten, is niet leeg, want zij bevat de discrete stam, en de doorsnede van al deze σ-algebra's is opnieuw een σ-algebra op  . Deze doorsnede heet de σ-algebra voortgebracht door   genoteerd  

Zij   een topologische ruimte. De door   voortgebrachte σ-algebra   heet de borelstam van  .

Interpretatie in de kansrekening bewerken

In de kansrekening kan   geïnterpreteerd worden als de verzameling van alle denkbare werelden. Een meetbare verzameling  , deelverzameling van  , is dan een 'logische uitspraak' die in sommige werelden waar, in andere onwaar is. Iets minder abstract, kan   worden gezien als de uitkomstenruimte bij een kansexperiment. Een meetbare verzameling   heet een gebeurtenis (meetbare deelverzameling van de uitkomstenruimte  ) die zich met een bepaalde kans (de maat van  ) kan voordoen, wat wil zeggen dat de uitkomst van het kansexperiment een element van   is.

Meetbare functie bewerken

Een functie tussen twee dragers van meetbare ruimten heet een meetbare functie als ze de structuur van de σ-algebra's respecteert, meer bepaald als het volledig origineel van elke meetbare verzameling ook meetbaar is.

Maat bewerken

Een maat is een functie   die aan elke meetbare verzameling een niet-negatief reëel getal of de waarde oneindig toekent, op een manier die als volgt de structuur van   respecteert:

  1. De lege verzameling (die overigens altijd meetbaar is) heeft maat nul:  
  2. Additiviteit: Voor elke twee disjuncte meetbare verzamelingen   en   is de maat van hun vereniging gelijk aan de som van hun maten:  .
  3. σ-Additiviteit: Voor een rij paarsgewijs disjuncte meetbare verzamelingen   is de maat van hun vereniging gelijk aan de som van de reeks van de afzonderlijke maten:
 .
Hierbij wordt afgesproken dat een som waarvan minstens één term oneindig is, oneindig bedraagt.

Merk op dat voorwaarde 2 een speciaal geval is van voorwaarde 3.

Het geordende drietal   heet een maatruimte.

Een nulverzameling is een verzameling met maat nul. Er kunnen best nulverzamelingen bestaan die niet leeg zijn, en zelfs overaftelbaar veel elementen hebben.

De kansrekening gaat uit van een eindige maat die aan de hele verzameling   de maat (kans) 1 toekent. Als een meetbare verzameling   een logische uitspraak voorstelt, is   de kans dat die uitspraak waar is.

Lebesgue-integraal bewerken

Voor de reële getallen, uitgerust met haar gewone topologie, is de borelstam de kleinste σ-algebra die alle intervallen bevat. De borelmaat associeert met elk interval zijn lengte.

De aldus ontstane maatruimte is onvolledig. De lebesgue-stam is de kleinste volledige uitbreiding van de borelstam. De borelmaat kan op eenduidige wijze worden uitgebreid tot de hele lebesguestam en heet dan lebesgue-maat.

Op maatruimten wordt een abstract integraalbegrip gedefinieerd voor sommige meetbare functies van de maatruimte naar de reële getallen (met de lebesguestam). In het bijzondere geval van reëelwaardige functies op de reële getallen ontstaat zo de lebesgue-integraal.

Stochastische variabele bewerken

Een stochastische variabele is een meetbare functie van een kansruimte naar de reële getallen (met de lebesguestam). Als de functie Lebesgue-integreerbaar is, noemt men haar integraal de verwachting van de stochastische variabele. Vaak wordt de eis "meetbaar" niet uitdrukkelijk vermeld - desnoods vergroot men de σ-algebra in kwestie om alle interessante stochastische variabelen meetbaar te maken.