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 in een maatruimte heet een atoom als

en voor elke meetbare deelverzameling van met geldt:

Voorbeelden

  • Beschouw de verzameling en laat de sigma-algebra de machtsverzameling op zijn. Definieer de maat op een verzameling als de kardinaliteit van deze verzameling, dat wil zeggen een aantal elementen in de verzameling. Dan is elk van de singletons , voor een atoom.

Externe links