Volledige maat

In de maattheorie, een deelgebied van de wiskunde, is een volledige maat (of preciezer gezegd een volledige maatruimte) een maatruimte, waarin elke deelverzameling van elke nulverzameling meetbaar is (dat wil zeggen een nulmaat heeft).

Meer formeel uitgedrukt

(X, Σ, μ)

is volledig dan en slechts dan als

S\subseteq N\in \Sigma {\mbox{ en }}\mu (N)=0\implies S\in \Sigma .

Voorbeelden

De Borel-maat, zoals gedefinieerd op de Borel σ-algebra, gegenereerd door de open intervallen van de reële lijn is niet volledig, en dus moet de bovenstaande vervolledigingsprocedure worden toegepast om de volledige Lebesgue-maat te definiëren.
De n-dimensionale Lebesgue-maat is de vervollediging van het n-voudige product van de een-dimensionale Lebesgue-ruimte met zichzelf. Het is ook de vervollediging van de Borel-maat, zoals in het een-dimensionale geval.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.