Zbiór atomowy

pojęcie teorii miary

Zbiór atomowy (atom)zbiór mierzalny miary dodatniej, który nie zawiera podzbiorów mniejszej miary dodatniej.

Funkcja mierzalna na zbiorze atomowym jest stała prawie wszędzie.

Inne znaczenia edytuj

Atom – niemający żadnych elementów obiekt, choć różny od zbioru pustego. Atom nie jest zbiorem[1].

W teorii mnogości z atomami przyjmuje się często odpowiednik aksjomatu regularności mówiący, że wszystkie zbiory można otrzymać ze zbioru pustego i atomów w wyniku pozaskończonej iteracji operacji tworzenia zbioru potęgowego[1].

Zobacz też edytuj

Przypisy edytuj

  1. a b Wojciech Guzicki, Piotr Zakrzewski, Wykłady ze wstępu do matematyki. Wprowadzenie do teorii mnogości., Wydawnictwo Naukowe PWN, 2005, s. 345 (pol.).