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

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

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.

Zobacz też

Przypisy

  1. 1 2 Wojciech Guzicki, Piotr Zakrzewski, Wykłady ze wstępu do matematyki. Wprowadzenie do teorii mnogości., Wydawnictwo Naukowe PWN, 2005, s. 345 (pol.).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.