1 Definition and basic statement

Sigma-additivity, also called countable additivity, is the rule that a measure assigns to a countable union of disjoint measurable sets the sum of their measures, as long as the union is measurable. It is one of the defining axioms of a measure and is central to modern measure theory.

1.1 Measure-theoretic formulation

Let \( \mu \) be a measure on a measurable space. If \(E_1, E_2, E_3, \dots\) are pairwise disjoint measurable sets and \( \bigcup_{n=1}^\infty E_n \) is measurable, then \[ \mu\!\left(\bigcup_{n=1}^\infty E_n\right)=\sum_{n=1}^\infty \mu(E_n). \] This relation extends the familiar idea of additivity from two sets to countably many sets. In practice, it provides the algebraic foundation for measuring complicated sets by decomposing them into simpler pieces.

1.2 Countable collections of disjoint sets

The disjointness condition is essential. If the sets overlap, the total measure cannot usually be recovered by a simple sum, because common parts would be counted more than once. Sigma-additivity applies when the pieces form a partition-like decomposition, so each point of the union belongs to at most one set in the family.

1.3 Comparison with finite additivity

Finite additivity requires additivity only for finitely many disjoint sets. Sigma-additivity is strictly stronger, because it covers infinite countable families. A set function may be finitely additive without being countably additive, but such functions often lack many of the limit properties needed in analysis and probability. Countable additivity is what makes measures compatible with limits of sequences of sets and functions.

2 Historical background

Sigma-additivity emerged as measure theory developed into a rigorous branch of analysis. It became especially important when mathematicians sought a precise notion of size that would behave well under limiting processes.

2.1 Development in measure theory

The modern theory of measure was shaped in the early twentieth century through work on length, area, and integration. As the theory expanded, it became clear that a satisfactory notion of measure must respect infinite decompositions, not just finite ones. Countable additivity helped unify geometric intuition with the needs of analysis.

2.2 Role in the axiomatization of probability

In probability theory, sigma-additivity was adopted to ensure that probabilities assigned to countably many mutually exclusive events behave consistently. This axiom allows probabilities of disjoint events to be combined by infinite sums and supports limit theorems that are fundamental in stochastic analysis. It also makes probability spaces suitable for random variables, expectations, and convergence results.

3 Mathematical properties

Sigma-additivity has several important consequences that distinguish measures from more elementary set functions. Many standard limit arguments in analysis rely on these properties.

3.1 Consequences of countable additivity

Countable additivity implies a strong compatibility between measures and countable set operations. It makes the measure of a large set accessible through sequences of smaller sets.

3.1.1 Preservation under countable unions

If a set is built as a countable union of disjoint measurable pieces, its measure is the sum of the piecewise measures. This permits the calculation of measures for sets that are naturally decomposed into intervals, cells, or atoms. It also supports construction arguments in which complex sets are assembled step by step.

3.1.2 Continuity from above

If \(E_1 \supseteq E_2 \supseteq E_3 \supseteq \cdots\) is a decreasing sequence of measurable sets with finite initial measure, then the measure of the intersection equals the limit of the measures: \[ \mu\!\left(\bigcap_{n=1}^\infty E_n\right)=\lim_{n\to\infty}\mu(E_n). \] This property is known as continuity from above. It is a direct consequence of sigma-additivity and is widely used in proofs involving nested sets.

3.1.3 Continuity from below

If \(E_1 \subseteq E_2 \subseteq E_3 \subseteq \cdots\) is an increasing sequence of measurable sets, then \[ \mu\!\left(\bigcup_{n=1}^\infty E_n\right)=\lim_{n\to\infty}\mu(E_n). \] This is continuity from below. It expresses the idea that the measure of an expanding union is the limit of the measures of the approximating sets.

3.2 Relation to null sets

A null set is a measurable set of measure zero. Sigma-additivity ensures that countable unions of null sets remain null, since the sum of countably many zeros is zero. This fact is important in defining properties that hold almost everywhere and in treating sets that are negligible for integration or probability.

3.3 Behavior on infinite sums

For disjoint measurable sets, the measure of the union can be viewed as an infinite series. When all terms are nonnegative, the series may converge to a finite value or diverge to infinity. Countable additivity permits this extended arithmetic, including the case where the total measure is infinite.

4 Examples

Many standard measures are sigma-additive, and this feature is one reason they are useful across mathematics.

4.1 Lebesgue measure

Lebesgue measure on the real line is countably additive. If a measurable set is decomposed into countably many disjoint measurable subsets, its length is the sum of the lengths of those subsets. This makes Lebesgue measure the natural extension of ordinary length to a broad class of sets.

4.2 Probability measures

In probability, a sample space is assigned total measure one, and mutually exclusive events have probabilities that add. Sigma-additivity ensures that the probability of a countable disjoint union of events equals the sum of their probabilities. This underlies many standard constructions, including events described by countable limits.

4.3 Counting measure

Counting measure assigns to each set the number of elements it contains, or infinity if the set is infinite. It is countably additive because the size of a disjoint union of sets equals the sum of their sizes, with the appropriate interpretation of infinite values. It is a basic example that is often used to illustrate the abstract definition of measure.

4.4 Atomic and non-atomic measures

An atomic measure concentrates positive mass on certain points or indivisible pieces, called atoms. In a non-atomic measure, no single point carries positive mass. Both types can be sigma-additive, but they behave differently in decomposition arguments. Atomic measures often reduce problems to summing weights, while non-atomic measures support finer geometric constructions.

5 Equivalent formulations

Sigma-additivity can be expressed in several equivalent ways. These formulations are useful in different branches of analysis and often simplify proofs.

5.1 Disjoint union formulation

The standard version states that a measure of a disjoint countable union equals the sum of the measures of the parts. This is the most direct formulation and is the one used in the axioms of measure theory.

5.2 Monotone sequence formulation

Countable additivity is equivalent to the continuity properties for increasing and decreasing sequences of measurable sets, together with basic finite additivity. In many arguments, it is easier to verify behavior along monotone sequences than to work directly with arbitrary disjoint families.

5.3 Series-based formulation

For disjoint measurable sets \(E_n\), one may write \[ \mu\!\left(\bigcup_{n=1}^\infty E_n\right)=\sum_{n=1}^\infty \mu(E_n). \] This identifies measure with a nonnegative series on disjoint decompositions. The formulation highlights the link between measure theory and infinite sums, especially when estimating or approximating measures.

6 Applications

Sigma-additivity is used throughout analysis and probability because it ensures that measures interact properly with limits, decomposition, and integration.

6.1 Measure theory

In measure theory, sigma-additivity supports the construction of measures on complicated sets from simpler generating classes. It also underlies results about measurable functions, convergence of sets, and decomposition of measures. Without countable additivity, many standard theorems would fail or require substantial modification.

6.2 Probability and random variables

Probability spaces rely on countable additivity to define events, distributions, and expectations consistently. It allows the probability of limit events to be computed from approximating sequences, which is essential in the study of random variables and stochastic processes. Many convergence results in probability are formulated using this property.

6.3 Integration theory

The Lebesgue integral is built on sigma-additive measures. Additivity over disjoint sets makes it possible to integrate simple functions by summing contributions from measurable pieces, then extend the integral to broader classes of functions by limiting arguments. This framework is robust enough to handle discontinuities and complex domains.

6.4 Functional analysis

In functional analysis, sigma-additive measures appear in the study of \(L^p\) spaces, duality, and operator theory. They provide the underlying notion of “size” needed to define norms based on integration. Measure-theoretic convergence theorems also support many functional-analytic proofs.

Several nearby notions help clarify what sigma-additivity does and does not require.

7.1 Finite additivity

Finite additivity concerns only finitely many disjoint sets. It is weaker than countable additivity and may fail to control behavior under limits. Many pathological set functions are finitely additive but not measures in the standard sense.

7.2 Subadditivity

Subadditivity requires that the value of a union be at most the sum of the values of the sets. This is weaker than additivity and is often used for outer measures or estimates. Sigma-additivity implies subadditivity for measurable sets, but not conversely.

7.3 Sigma-algebras

A sigma-algebra is a collection of sets closed under complements and countable unions. It provides the domain on which a measure is defined. The closure properties of sigma-algebras match the countable nature of sigma-additivity.

7.4 Measures and outer measures

An outer measure is defined on all subsets and satisfies monotonicity and countable subadditivity. A measure is usually obtained by restricting an outer measure to a suitable sigma-algebra of measurable sets. Sigma-additivity is then the stronger property that holds on the measurable part of the domain.

8 Extensions and generalizations

The idea of countable additivity extends beyond ordinary nonnegative measures. Related structures preserve the same infinite-additivity principle in broader algebraic settings.

8.1 Signed measures

A signed measure may take positive or negative values, while still being countably additive. Because cancellation can occur, signed measures require additional care in defining total variation and decomposition into positive and negative parts. The additivity rule remains a central organizing principle.

8.2 Vector measures

Vector measures take values in a vector space rather than the real numbers. Countable additivity is formulated in terms of convergence in the target space. These objects appear in advanced integration theory and in the study of Banach space valued functions.

8.3 Complete and semi-finite measures

A complete measure assigns measure zero to every subset of a null set. A semi-finite measure is one for which sets of infinite measure contain subsets of finite positive measure. These properties are independent of sigma-additivity but are often studied alongside it in modern measure theory.

8.4 Sigma-additive set functions

More generally, any set function that is defined on a sigma-algebra and satisfies countable additivity can be studied as a measure-like object. Such functions may include nonnegative measures, signed measures, and vector measures. The common thread is the preservation of countable disjoint unions under summation.