Atoom (maattheorie)

In de maattheorie, een deelgebied van de wiskunde, is een atoom een meetbare verzameling, die een positieve maat heeft en die ook geen "kleinere" verzameling met een positieve maat bevat. Een maat die geen atomen bevat wordt niet-atomair genoemd.

Definitie

Een meetbare verzameling $A$ in een maatruimte $(X,\mathrm{\Sigma },\mu )$ heet een atoom als

$\mu (A)>0$

en voor elke meetbare deelverzameling $B$ van $A$ met $\mu (A)>\mu (B)$ geldt:

$\mu (B)=0$

Voorbeelden

• Beschouw de verzameling $X=\{1,2,\dots ,9,10\}$ en laat de sigma-algebra $\mathrm{\Sigma }$ de machtsverzameling op $X$ zijn. Definieer de maat $\mu$ op een verzameling als de kardinaliteit van deze verzameling, dat wil zeggen een aantal elementen in de verzameling. Dan is elk van de singletons $\{i\}$, voor $i=1,2,\dots ,9,10$ een atoom.

• Beschouw de Lebesgue-maat op de reële lijn. Deze maat heeft geen atomen en is dus niet-atomair.

Externe links

• Sjabloon:En Sjabloon:Cite book
• Sjabloon:En Sjabloon:Cite book