In mathematics, more precisely in measure theory, an atom is a measurable set which has positive measure and contains no "smaller" set of positive measure. A measure which has no atoms is called non-atomic.
Contents |
Given a measurable space (X,Σ) and a finite measure μ on that space, a set A in Σ is called an atom if

and for any measurable subset B of A with

one has μ(B) = 0.
A measure which has no atoms is called non-atomic. In other words, a measure is non-atomic if for any measurable set A with μ(A) > 0 there exists a measurable subset B of A such that

A non-atomic measure with at least one positive value has an infinite number of distinct values, as starting with a set A with μ(A) > 0 one can construct a decreasing sequence of measurable sets

such that

This may not be true for measures having atoms; see the first example above.
It turns out that non-atomic measures actually have a continuum of values. It can be proved that if μ is a non-atomic measure and A is a measurable set with μ(A) > 0, then for any real number b satisfying

there exists a measurable subset B of A such that

This theorem is due to Wacław Sierpiński. [1] [2] It is reminiscent of the intermediate value theorem for continuous functions.
No comments have been added.