Atom (measure theory)

A measurable set with positive measure that contains no subset of smaller positive measure

In mathematics, more precisely in measure theory, an atom is a measurable set that has positive measure and contains no set of smaller positive measures. A measure that has no atoms is called non-atomic or atomless.

## Definition

[edit]

Given a measurable space ( X , Σ ) {\displaystyle (X,\Sigma )} and a measure μ {\displaystyle \mu } on that space, a set  A ⊂ X {\displaystyle A\subset X} in  Σ {\displaystyle \Sigma } is called an atom if  μ ( A ) > 0 {\displaystyle \mu (A)>0} and for any measurable subset  B ⊆ A {\displaystyle B\subseteq A} , either  μ ( B ) = 0 {\displaystyle \mu (B)=0} or  μ ( B ) = μ ( A ) {\displaystyle \mu (B)=\mu (A)} .[1]

The equivalence class of  A {\displaystyle A} is defined by  [ A ] := { B ∈ Σ : μ ( A Δ B ) = 0 } , {\displaystyle [A]:=\\{B\in \Sigma :\mu (A\Delta B)=0\\},} where  Δ {\displaystyle \Delta } is the symmetric difference operator. If  A {\displaystyle A} is an atom then all the subsets in  [ A ] {\displaystyle [A]} are atoms and  [ A ] {\displaystyle [A]} is called an atomic class.[2] If  μ {\displaystyle \mu } is a  σ {\displaystyle \sigma } -finite measure, there are countably many atomic classes.

## Examples

[edit]

* Consider the set X = {1, 2, ..., 9, 10} and let the sigma-algebra Σ {\displaystyle \Sigma } be the power set of X. Define the measure  μ {\displaystyle \mu } of a set to be its cardinality, that is, the number of elements in the set. Then, each of the singletons {i}, for i = 1, 2, ..., 9, 10 is an atom.
* Consider the Lebesgue measure on the real line. This measure has no atoms.

## Atomic measures

[edit]

A  σ {\displaystyle \sigma } -finite measure  μ {\displaystyle \mu } on a measurable space ( X , Σ ) {\displaystyle (X,\Sigma )} is called atomic or purely atomic if every measurable set of positive measure contains an atom. This is equivalent to say that there is a countable partition of  X {\displaystyle X} formed by atoms up to a null set.[3] The assumption of  σ {\displaystyle \sigma } -finitude is essential. Consider otherwise the space  ( R , P ( R ) , ν ) {\displaystyle (\mathbb {R} ,{\mathcal {P}}(\mathbb {R} ),\nu )} where  ν {\displaystyle \nu } denotes the counting measure. This space is atomic, with all atoms being the singletons, yet the space is not able to be partitioned into the disjoint union of countably many disjoint atoms,  ⋃ n = 1 ∞ A n {\textstyle \bigcup _{n=1}^{\infty }A_{n}} and a null set  N {\displaystyle N} since the countable union of singletons is a countable set, and the uncountability of the real numbers shows that the complement  N = R ∖ ⋃ n = 1 ∞ A n {\textstyle N=\mathbb {R} \setminus \bigcup _{n=1}^{\infty }A_{n}} would have to be uncountable, hence its  ν {\displaystyle \nu } -measure would be infinite, in contradiction to it being a null set. The validity of the result for  σ {\displaystyle \sigma } -finite spaces follows from the proof for finite measure spaces by observing that the countable union of countable unions is again a countable union, and that the countable unions of null sets are null.

## Discrete measures

[edit]

See also: Discrete measure

A  σ {\displaystyle \sigma } -finite atomic measure  μ {\displaystyle \mu } is called discrete if the intersection of the atoms of any atomic class is non empty. It is equivalent[4] to say that  μ {\displaystyle \mu } is the weighted sum of countably many Dirac measures, that is, there is a sequence  x 1 , x 2 , . . . {\displaystyle x_{1},x_{2},...} of points in  X {\displaystyle X} , and a sequence  c 1 , c 2 , . . . {\displaystyle c_{1},c_{2},...} of positive real numbers (the weights) such that  μ = ∑ k = 1 ∞ c k δ x k {\textstyle \mu =\sum _{k=1}^{\infty }c_{k}\delta _{x_{k}}} , which means that  μ ( A ) = ∑ k = 1 ∞ c k δ x k ( A ) {\textstyle \mu (A)=\sum _{k=1}^{\infty }c_{k}\delta _{x_{k}}(A)} for every  A ∈ Σ {\displaystyle A\in \Sigma } . We can choose each point  x k {\displaystyle x_{k}} to be a common point of the atoms in the  k {\displaystyle k} -th atomic class.

A discrete measure is atomic but the inverse implication fails: take  X = [ 0 , 1 ] {\displaystyle X=[0,1]} ,  Σ {\displaystyle \Sigma } the  σ {\displaystyle \sigma } -algebra of countable and co-countable subsets,  μ = 0 {\displaystyle \mu =0} in countable subsets and  μ = 1 {\displaystyle \mu =1} in co-countable subsets. Then there is a single atomic class, the one formed by the co-countable subsets. The measure  μ {\displaystyle \mu } is atomic but the intersection of the atoms in the unique atomic class is empty and  μ {\displaystyle \mu } can't be put as a sum of Dirac measures.

If every atom is equivalent to a singleton, then  μ {\displaystyle \mu } is discrete iff it is atomic. In this case the  x k {\displaystyle x_{k}} above are the atomic singletons, so they are unique. Any finite measure in a separable metric space provided with the Borel sets satisfies this condition.[5]

## Non-atomic measures

[edit]

A measure which has no atoms is called non-atomic measure or a diffuse measure. In other words, a measure  μ {\displaystyle \mu } is non-atomic if for any measurable set  A {\displaystyle A} with  μ ( A ) > 0 {\displaystyle \mu (A)>0} there exists a measurable subset  B {\displaystyle B} of  A {\displaystyle A} such that  μ ( A ) > μ ( B ) > 0. {\displaystyle \mu (A)>\mu (B)>0.}

A non-atomic measure with at least one positive value has an infinite number of distinct values, as starting with a set  A {\displaystyle A} with  μ ( A ) > 0 {\displaystyle \mu (A)>0} one can construct a decreasing sequence of measurable sets  A = A 1 ⊃ A 2 ⊃ A 3 ⊃ ⋯ {\displaystyle A=A_{1}\supset A_{2}\supset A_{3}\supset \cdots } such that  μ ( A ) = μ ( A 1 ) > μ ( A 2 ) > μ ( A 3 ) > ⋯ > 0. {\displaystyle \mu (A)=\mu (A_{1})>\mu (A_{2})>\mu (A_{3})>\cdots >0.}

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  μ {\displaystyle \mu } is a non-atomic measure and  A {\displaystyle A} is a measurable set with  μ ( A ) > 0 , {\displaystyle \mu (A)>0,} then for any real number  b {\displaystyle b} satisfying  μ ( A ) ≥ b ≥ 0 {\displaystyle \mu (A)\geq b\geq 0} there exists a measurable subset  B {\displaystyle B} of  A {\displaystyle A} such that  μ ( B ) = b . {\displaystyle \mu (B)=b.}

This theorem is due to Wacław Sierpiński.[6][7] It is reminiscent of the intermediate value theorem for continuous functions.

Sketch of proof of Sierpiński's theorem on non-atomic measures. A slightly stronger statement, which however makes the proof easier, is that if  ( X , Σ , μ ) {\displaystyle (X,\Sigma ,\mu )} is a non-atomic measure space and  μ ( X ) = c , {\displaystyle \mu (X)=c,} there exists a function  S : [ 0 , c ] -> Σ {\displaystyle S:[0,c]\to \Sigma } that is monotone with respect to inclusion, and a right-inverse to  μ : Σ -> [ 0 , c ] . {\displaystyle \mu :\Sigma \to [0,c].} That is, there exists a one-parameter family of measurable sets  S ( t ) {\displaystyle S(t)} such that for all  0 ≤ t ≤ t ′ ≤ c {\displaystyle 0\leq t\leq t'\leq c} S ( t ) ⊆ S ( t ′ ) , {\displaystyle S(t)\subseteq S(t'),} μ ( S ( t ) ) = t . {\displaystyle \mu \left(S(t)\right)=t.} The proof easily follows from Zorn's lemma applied to the set of all monotone partial sections to  μ {\displaystyle \mu } :  Γ := { S : D -> Σ : D ⊆ [ 0 , c ] , S m o n o t o n e , for all t ∈ D ( μ ( S ( t ) ) = t ) } , {\displaystyle \Gamma :=\\{S:D\to \Sigma \;:\;D\subseteq [0,c],\,S\;\mathrm {monotone} ,{\text{ for all }}t\in D\;(\mu (S(t))=t)\\},} ordered by inclusion of graphs,  g r a p h ( S ) ⊆ g r a p h ( S ′ ) . {\displaystyle \mathrm {graph} (S)\subseteq \mathrm {graph} (S').} It's then standard to show that every chain in  Γ {\displaystyle \Gamma } has an upper bound in  Γ , {\displaystyle \Gamma ,} and that any maximal element of  Γ {\displaystyle \Gamma } has domain  [ 0 , c ] , {\displaystyle [0,c],} proving the claim.

## See also

[edit]

* Atom (order theory) — an analogous concept in order theory
* Dirac delta function
* Elementary event, also known as an atomic event

## Notes

[edit]

1. ^ Dunford & Schwartz 1988, p. 308.
2. ^ Kadets 2018, pp. 43, 45–46.
3. ^ "Analysis - Countable partition in atoms".
4. ^ "Why must a discrete atomic measure admit a decomposition into Dirac measures? Moreover, what is "an atomic class"?".
5. ^ Kadets 2018, p. 45.
6. ^ Sierpinski, W. (1922). "Sur les fonctions d'ensemble additives et continues" (PDF). Fundamenta Mathematicae (in French). 3: 240–246\. doi:10.4064/fm-3-1-240-246.
7. ^ Fryszkowski, Andrzej (2005). Fixed Point Theory for Decomposable Sets (Topological Fixed Point Theory and Its Applications). New York: Springer. p. 39\. ISBN 1-4020-2498-3.

## References

[edit]

* Bruckner, Andrew M.; Bruckner, Judith B.; Thomson, Brian S. (1997). Real analysis. Upper Saddle River, N.J.: Prentice-Hall. p. 108. ISBN 0-13-458886-X.
* Butnariu, Dan; Klement, E. P. (1993). Triangular norm-based measures and games with fuzzy coalitions. Dordrecht: Kluwer Academic. p. 87\. ISBN 0-7923-2369-6.
* Dunford, Nelson; Schwartz, Jacob T. (1988). Linear Operators, Part 1. New York: John Wiley & Sons. ISBN 978-0-471-60848-6.
* Kadets, Vladimir (2018). A Course in Functional Analysis and Measure Theory. Universitext. doi:10.1007/978-3-319-92004-7. ISBN 978-3-319-92003-0. ISSN 0172-5939.

## External links

[edit]

* Atom at The Encyclopedia of Mathematics

* v
* t
* e

Measure theory

Basic concepts|

* Absolute continuity of measures
* Lebesgue integration
* Lp spaces
* Measure
* Measure space
* Probability space
* Measurable space/function

Sets|

* Almost everywhere
* Atom
* Baire set
* Borel set
* equivalence relation
* Borel space
* Carathéodory's criterion
* Cylindrical σ-algebra
* Cylinder set
* 𝜆-system
* Essential range
* infimum/supremum
* Locally measurable
* π-system
* σ-algebra
* Non-measurable set
* Vitali set
* Null set
* Support
* Transverse measure
* Universally measurable

Types of measures|

* Atomic
* Baire
* Banach
* Besov
* Borel
* Brown
* Complex
* Complete
* Content
* (Logarithmically) Convex
* Decomposable
* Discrete
* Equivalent
* Finite
* Inner
* (Quasi-) Invariant
* Locally finite
* Maximising
* Metric outer
* Outer
* Perfect
* Pre-measure
* (Sub-) Probability
* Projection-valued
* Radon
* Random
* Regular
* Borel regular
* Inner regular
* Outer regular
* Saturated
* Set function
* σ-finite
* s-finite
* Signed
* Singular
* Spectral
* Strictly positive
* Tight
* Vector

Particular measures|

* Counting
* Dirac
* Euler
* Gaussian
* Haar
* Harmonic
* Hausdorff
* Intensity
* Lebesgue
* Infinite-dimensional
* Logarithmic
* Product
* Projections
* Pushforward
* Spherical measure
* Tangent
* Trivial
* Young

Maps|

* Measurable function
* Bochner
* Strongly
* Weakly
* Convergence: almost everywhere
* of measures
* in measure
* of random variables
* in distribution
* in probability
* Cylinder set measure
* Random: compact set
* element
* measure
* process
* variable
* vector
* Projection-valued measure

Main results|

* Carathéodory's extension theorem
* Convergence theorems
* Dominated
* Monotone
* Vitali
* Decomposition theorems
* Hahn
* Jordan
* Maharam's
* Egorov's
* Fatou's lemma
* Fubini's
* Fubini–Tonelli
* Hölder's inequality
* Minkowski inequality
* Radon–Nikodym
* Riesz–Markov–Kakutani representation theorem

Other results|

* Disintegration theorem
* Lifting theory
* Lebesgue's density theorem
* Lebesgue differentiation theorem
* Sard's theorem
* Vitali–Hahn–Saks theorem

For Lebesgue measure|

* Isoperimetric inequality
* Brunn–Minkowski theorem
* Milman's reverse
* Minkowski–Steiner formula
* Prékopa–Leindler inequality
* Vitale's random Brunn–Minkowski inequality

Applications & related|

* Convex analysis
* Descriptive set theory
* Probability theory
* Real analysis
* Spectral theory

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template