Lebesgue measure

Moderators: dirkwb, Xilvo

Berichten: 150

Lebesgue measure

Op wiki lees ik http://en.wikipedia.org/wiki/Lebesgue_integration, waar bij 'examples' staat dat
\( \int_{[0,1]} 1_{\mathbb Q} \, d \mu = \mu(\mathbb Q \cap [0,1]) = 0\)
Er staat als uitleg: Omdat Q telbaar is.

Waarom is dit zo?

Gebruikersavatar
Berichten: 24.578

Re: Lebesgue measure

Waarom Q aftelbaar is, of waarom dan volgt dat de maat 0 is? Weet je dat het interval [0,1] overaftelbaar is?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 150

Re: Lebesgue measure

Het ging me om het feit dat het gelijk is aan 0. Dat andere wist ik.

Gebruikersavatar
Berichten: 24.578

Re: Lebesgue measure

Wat voor eigenschappen van de Lebesguemaat heb je gezien?

De doorsnede van Q met het interval [0,1] is (uiteraard) aftelbaar, de maat is dus 0.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 150

Re: Lebesgue measure

Vrijwel geen, het is nog maar net besproken. Maar de maat van elke aftelbare set is dus 0?

Gebruikersavatar
Berichten: 24.578

Re: Lebesgue measure

Inderdaad.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 150

Re: Lebesgue measure

Middels welke eigenschap geldt is dat waar?

Berichten: 150

Re: Lebesgue measure

Heb ondertussen wel iets gevonden:

Er geldt
\( \lambda\left(\bigcup_{i}E_i\right)\leq \sum_i \lambda(E_i) \)
En in dit geval is de laatste de som van nullen, dus is de maat 0?

Gebruikersavatar
Berichten: 24.578

Re: Lebesgue measure

Middels welke eigenschap geldt is dat waar?
Wat heb je wel al gezien over maten?

Voor elke e>0, kan je de elementen van een aftelbare verzameling overdekken met intervallen waarvan de totale som van lengtes onder e blijft.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 150

Re: Lebesgue measure

Een aantal van de eigenschappen die op wiki staan, verder geen.

Dus is het een null set en dus is de maat 0.

Gebruikersavatar
Berichten: 24.578

Re: Lebesgue measure

Een aftelbare verzameling is sowieso een 'null set' (omgekeerd geldt dit niet noodzakelijk) en heeft dus inderdaad maat 0.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 150

Re: Lebesgue measure

Ok, bedankt!

Gebruikersavatar
Berichten: 24.578

Re: Lebesgue measure

Graag gedaan, maar als je nog "niet veel" gezien hebt, is dat misschien niet de bedoeling? Je hebt toch een definitie gezien, neem ik aan. Voor een aftelbare verzameling kan je het dan expliciet tonen.

Hielp dit niet? Voor elke e>0, kan je de elementen van een aftelbare (deel)verzameling (van R) overdekken met intervallen waarvan de totale som van lengtes onder e blijft.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Berichten: 150

Re: Lebesgue measure

Ja dat hielp goed. Het was toch het idee dat je dus de limiet van e naar 0 kunt nemen en daaruit volgt dan dat de maat 0 is?

Gebruikersavatar
Berichten: 24.578

Re: Lebesgue measure

Ik weet niet goed wat je bedoelt met "limiet van e naar 0", maar je kunt die aftelbare verzameling overdekken met intervallen waarvan je de lengtes (in functie van e) 'snel genoeg' laat afnemen, bv. door een meetkundige rij te vormen zodat de som, in dat geval een meetkundige reeks, onder e blijft. Dit lukt voor elke e>0, dus voor e willekeurig klein (misschien doelde je daarop met "limiet"), dus maat 0.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Reageer