Inmeasure theory,Carathéodory's extension theorem (named after themathematicianConstantin Carathéodory) states that anypre-measure defined on a givenring of subsetsR of a given setΩ can be extended to ameasure on theσ-ring generated byR, and this extension is unique if the pre-measure isσ-finite. Consequently, any pre-measure on a ring containing allintervals ofreal numbers can be extended to theBorel algebra of the set of real numbers. This is an extremely powerful result of measure theory, and leads, for example, to theLebesgue measure.

The theorem is also sometimes known as the Carathéodory–Fréchet extension theorem, the Carathéodory–Hopf extension theorem, the Hopf extension theorem and theHahn–Kolmogorov extension theorem.^[1]

Several very similar statements of the theorem can be given. A slightly more involved one, based onsemi-rings of sets, is given further down below. A shorter, simpler statement is as follows. In this form, it is often called theHahn–Kolmogorov theorem.

Let${\displaystyle {\mathrm{\Sigma }}_0}$ be analgebra of subsets of aset${\displaystyle X.}$ Consider aset function$${\displaystyle {\mu }_0:{\mathrm{\Sigma }}_0\to [0,\mathrm{\infty }]}$$ which issigma additive, meaning that$${\displaystyle {\mu }_0\left(\bigcup _{n=1}^{\mathrm{\infty }}{A}_n\right)=\sum _{n=1}^{\mathrm{\infty }}{\mu }_0(A_n)}$$for any disjoint family${\displaystyle \{A_n:n\in \mathbb{N}\}}$ of elements of${\displaystyle {\mathrm{\Sigma }}_0}$ such that${\displaystyle {\cup }_{n=1}^{\mathrm{\infty }}{A}_n\in {\mathrm{\Sigma }}_0.}$ (Functions${\displaystyle {\mu }_0}$ obeying these two properties are known aspre-measures.) Then,${\displaystyle {\mu }_0}$ extends to a measure defined on the${\displaystyle \sigma }$-algebra${\displaystyle \mathrm{\Sigma }}$ generated by${\displaystyle {\mathrm{\Sigma }}_0}$; that is, there exists a measure$${\displaystyle \mu :\mathrm{\Sigma }\to [0,\mathrm{\infty }]}$$ such that itsrestriction to${\displaystyle {\mathrm{\Sigma }}_0}$ coincides with${\displaystyle {\mu }_0.}$

If${\displaystyle {\mu }_0}$ is${\displaystyle \sigma }$-finite, then the extension is unique.

This theorem is remarkable for it allows one to construct a measure by first defining it on a small algebra of sets, where its sigma additivity could be easy to verify, and then this theorem guarantees its extension to a sigma-algebra. The proof of this theorem is not trivial, since it requires extending${\displaystyle {\mu }_0}$ from an algebra of sets to a potentially much bigger sigma-algebra, guaranteeing that the extension is unique (if${\displaystyle {\mu }_0}$ is${\displaystyle \sigma }$-finite), and moreover that it does not fail to satisfy the sigma-additivity of the original function.

For a given set${\displaystyle \mathrm{\Omega },}$ we call a family${\displaystyle \mathcal{S}}$ of subsets of${\displaystyle \mathrm{\Omega }}$ asemi-ring of sets if it has the following properties:

• ${\displaystyle \varnothing \in \mathcal{S}}$
• For all${\displaystyle A,B\in \mathcal{S},}$ we have${\displaystyle A\cap B\in \mathcal{S}}$ (closed under pairwise intersections)
• For all${\displaystyle A,B\in \mathcal{S},}$ there exists a finite number of disjoint sets${\displaystyle K_i\in \mathcal{S},i=1,2,\dots ,n,}$ such that${\displaystyle A\setminus B=\coprod _{i=1}^n{K}_i}$ (relative complements can be written as finitedisjoint unions).

The first property can be replaced with${\displaystyle \mathcal{S}\ne \varnothing }$ since${\displaystyle A\in \mathcal{S}⟹A\setminus A=\varnothing \in \mathcal{S}.}$

With the same notation, we call a family${\displaystyle \mathcal{R}}$ of subsets of${\displaystyle \mathrm{\Omega }}$ aring of sets if it has the following properties:

• ${\displaystyle \varnothing \in \mathcal{R}}$
• For all${\displaystyle A,B\in \mathcal{R},}$ we have${\displaystyle A\cup B\in \mathcal{R}}$ (closed under pairwise unions)
• For all${\displaystyle A,B\in \mathcal{R},}$ we have${\displaystyle A\setminus B\in \mathcal{R}}$ (closed under relative complements).

Thus, any ring on${\displaystyle \mathrm{\Omega }}$ is also a semi-ring.

Sometimes, the following constraint is added in the measure theory context:

• ${\displaystyle \mathrm{\Omega }}$ is the disjoint union of acountable family of sets in${\displaystyle \mathcal{S}.}$

Afield of sets (respectively, a semi-field) is a ring (respectively, a semi-ring) that also contains${\displaystyle \mathrm{\Omega }}$ as one of its elements.

• Arbitrary (possiblyuncountable) intersections of rings on${\displaystyle \mathrm{\Omega }}$ are still rings on${\displaystyle \mathrm{\Omega }.}$
• If${\displaystyle A}$ is a non-empty subset of thepowerset${\displaystyle \mathcal{P}(\mathrm{\Omega })}$ of${\displaystyle \mathrm{\Omega },}$ then we define the ring generated by${\displaystyle A}$ (noted${\displaystyle R(A)}$) as the intersection of all rings containing${\displaystyle A.}$ It is straightforward to see that the ring generated by${\displaystyle A}$ is the smallest ring containing${\displaystyle A.}$
• For a semi-ring${\displaystyle S,}$ the set of all finite unions of sets in${\displaystyle S}$ is the ring generated by${\displaystyle S:}$$${\displaystyle R(S)=\left\{A:A=\bigcup _{i=1}^n{A}_i,A_i\in S\right\}}$$ (One can show that${\displaystyle R(S)}$ is equal to the set of all finite disjoint unions of sets in${\displaystyle S}$).
• Acontent${\displaystyle \mu }$ defined on a semi-ring${\displaystyle S}$ can be extended on the ring generated by${\displaystyle S.}$ Such an extension is unique. The extended content can be written:$${\displaystyle \mu (A)=\sum _{i=1}^n\mu (A_i)}$$ for${\displaystyle A=\bigcup _{i=1}^n{A}_i,}$ with the${\displaystyle A_i\in S}$ disjoint.

In addition, it can be proved that${\displaystyle \mu }$ is apre-measure if and only if the extended content is also a pre-measure, and that any pre-measure on${\displaystyle R(S)}$ that extends the pre-measure on${\displaystyle S}$ is necessarily of this form.

In measure theory, we are not interested in semi-rings and rings themselves, but rather inσ-algebras generated by them. The idea is that it is possible to build a pre-measure on a semi-ring${\displaystyle S}$ (for exampleStieltjes measures), which can then be extended to a pre-measure on${\displaystyle R(S),}$ which can finally be extended to ameasure on a σ-algebra through Caratheodory's extension theorem. As σ-algebras generated by semi-rings and rings are the same, the difference does not really matter (in the measure theory context at least). Actually,Carathéodory's extension theorem can be slightly generalized by replacing ring by semi-field.^[2]

The definition of semi-ring may seem a bit convoluted, but the following example shows why it is useful (moreover it allows us to give an explicit representation of the smallest ring containing some semi-ring).

Think about the subset of${\displaystyle \mathcal{P}(\mathbb{R})}$ defined by the set of all half-open intervals${\displaystyle [a,b)}$ for a and b reals. This is a semi-ring, but not a ring.Stieltjes measures are defined on intervals; the countable additivity on the semi-ring is not too difficult to prove because we only consider countable unions of intervals which are intervals themselves. Proving it for arbitrary countable unions of intervals is accomplished using Caratheodory's theorem.

Let${\displaystyle R}$ be aring of sets on${\displaystyle X}$ and let${\displaystyle \mu :R\to [0,+\mathrm{\infty }]}$ be apre-measure on${\displaystyle R,}$ meaning that${\displaystyle \mu (\varnothing )=0}$ and for all sets${\displaystyle A\in R}$ for which there exists a countable decomposition${\displaystyle A=\coprod _{i=1}^{\mathrm{\infty }}{A}_i}$ as a union of disjoint sets${\displaystyle A_1,A_2,\dots \in R,}$ we have$${\displaystyle \mu (A)=\sum _{i=1}^{\mathrm{\infty }}\mu (A_i).}$$

Let${\displaystyle \sigma (R)}$ be the${\displaystyle \sigma }$-algebra generated by${\displaystyle R.}$ The pre-measure condition is a necessary condition for${\displaystyle \mu }$ to be the restriction to${\displaystyle R}$ of a measure on${\displaystyle \sigma (R).}$ The Carathéodory's extension theorem states that it is also sufficient,^[3] that is, there exists a measure${\displaystyle {\mu }^{\mathrm{\prime }}:\sigma (R)\to [0,+\mathrm{\infty }]}$ such that${\displaystyle {\mu }^{\mathrm{\prime }}}$ is an extension of${\displaystyle \mu ;}$ that is,${\displaystyle {\mu }^{\mathrm{\prime }}{|}_R=\mu .}$ Moreover, if${\displaystyle \mu }$ is${\displaystyle \sigma }$-finite then the extension${\displaystyle {\mu }^{\mathrm{\prime }}}$ is unique (and also${\displaystyle \sigma }$-finite).^[4]

First extend${\displaystyle \mu }$ to anouter measure${\displaystyle {\mu }^{\ast }}$ on thepower set${\displaystyle 2^X}$ of${\displaystyle X}$ by$${\displaystyle {\mu }^{\ast }(T)=inf\left\{\sum _n\mu \left(S_n\right):T\subseteq {\cup }_n{S}_n\text{ with }{S}_1,S_2,\dots \in R\right\}}$$ and then restrict it to the set${\displaystyle \mathcal{B}}$ of${\displaystyle {\mu }^{\ast }}$-measurable sets (that is,Carathéodory-measurable sets), which is the set of all${\displaystyle M\subseteq X}$ such that${\displaystyle {\mu }^{\ast }(S)={\mu }^{\ast }(S\cap M)+{\mu }^{\ast }(S\cap M^{\mathrm{c}})}$ for every${\displaystyle S\subseteq X.}$${\displaystyle \mathcal{B}}$ is a${\displaystyle \sigma }$-algebra, and${\displaystyle {\mu }^{\ast }}$ is${\displaystyle \sigma }$-additive on it, by theCaratheodory lemma.

It remains to check that${\displaystyle \mathcal{B}}$ contains${\displaystyle R.}$ That is, to verify that every set in${\displaystyle R}$ is${\displaystyle {\mu }^{\ast }}$-measurable. This is done by basic measure theory techniques of dividing and adding up sets.

For uniqueness, take any other extension${\displaystyle \nu }$ so it remains to show that${\displaystyle \nu ={\mu }^{\ast }.}$ By${\displaystyle \sigma }$-additivity, uniqueness can be reduced to the case where${\displaystyle \mu (X)}$ is finite, which will now be assumed.

Now we could concretely prove${\displaystyle \nu ={\mu }^{\ast }}$ on${\displaystyle \sigma (R)}$ by using theBorel hierarchy of${\displaystyle R,}$ and since${\displaystyle \nu ={\mu }^{\ast }}$ at the base level, we can use well-ordered induction to reach the level of${\displaystyle {\omega }_1,}$ the level of${\displaystyle \sigma (R).}$

There can be more than one extension of a pre-measure to the generated σ-algebra, if the pre-measure is not${\displaystyle \sigma }$-finite, even if the extensions themselves are${\displaystyle \sigma }$-finite (see example "Via rationals" below).

Take the algebra generated by all half-open intervals [a,b) on the real line, and give such intervals measure infinity if they are non-empty. The Carathéodory extension gives all non-empty sets measure infinity. Another extension is given by thecounting measure.

This example is a more detailed variation of the above. Therational closed-open interval is any subset of${\displaystyle \mathbb{Q}}$ of the form${\displaystyle [a,b)}$, where${\displaystyle a,b\in \mathbb{Q}}$.

Let${\displaystyle X}$ be${\displaystyle \mathbb{Q}\cap [0,1)}$ and let${\displaystyle {\mathrm{\Sigma }}_0}$ be the algebra of all finite unions of rational closed-open intervals contained in${\displaystyle \mathbb{Q}\cap [0,1)}$. It is easy to prove that${\displaystyle {\mathrm{\Sigma }}_0}$ is, in fact, an algebra. It is also easy to see that the cardinal of every non-empty set in${\displaystyle {\mathrm{\Sigma }}_0}$ is countably infinite (${\displaystyle {\mathrm{\aleph }}_0}$).

Let${\displaystyle {\mu }_0}$ be the counting set function (${\displaystyle \mathrm{\#}}$) defined in${\displaystyle {\mathrm{\Sigma }}_0}$. It is clear that${\displaystyle {\mu }_0}$ is finitely additive and${\displaystyle \sigma }$-additive in${\displaystyle {\mathrm{\Sigma }}_0}$. Since every non-empty set in${\displaystyle {\mathrm{\Sigma }}_0}$ is infinite, then, for every non-empty set${\displaystyle A\in {\mathrm{\Sigma }}_0}$,${\displaystyle {\mu }_0(A)=+\mathrm{\infty }}$

Now, let${\displaystyle \mathrm{\Sigma }}$ be the${\displaystyle \sigma }$-algebra generated by${\displaystyle {\mathrm{\Sigma }}_0}$. It is easy to see that${\displaystyle \mathrm{\Sigma }}$ is the${\displaystyle \sigma }$-algebra of all subsets of${\displaystyle X}$, and both${\displaystyle \mathrm{\#}}$ and${\displaystyle 2\mathrm{\#}}$ are measures defined on${\displaystyle \mathrm{\Sigma }}$ and both are extensions of${\displaystyle {\mu }_0}$. Note that, in this case, the two extensions are${\displaystyle \sigma }$-finite, because${\displaystyle X}$ is countable.

Another example is closely related to the failure of some forms ofFubini's theorem for spaces that are not σ-finite.Suppose that${\displaystyle X}$ is the unit interval with Lebesgue measure and${\displaystyle Y}$ is the unit interval with the discrete counting measure. Let the ring${\displaystyle R}$ be generated by products${\displaystyle A\times B}$ where${\displaystyle A}$ is Lebesgue measurable and${\displaystyle B}$ is any subset, and give this set the measure${\displaystyle \mu (A)\text{card}(B)}$. This has a very large number of different extensions to a measure; for example:

• The measure of a subset is the sum of the measures of its horizontal sections. This is the smallest possible extension. Here the diagonal has measure 0.
• The measure of a subset is${\displaystyle {\int }_0^{1}n(x)dx}$ where${\displaystyle n(x)}$ is the number of points of the subset with given${\displaystyle x}$-coordinate. The diagonal has measure 1.
• The Carathéodory extension, which is the largest possible extension. Any subset of finite measure is contained in some union of a countable number of horizontal lines. In particular the diagonal has measure infinity.

• Outer measure: the proof of Carathéodory's extension theorem is based upon the outer measure concept.
• Loeb measures, constructed using Carathéodory's extension theorem.

This article incorporates material from Hahn–Kolmogorov theorem onPlanetMath, which is licensed under theCreative Commons Attribution/Share-Alike License.

• Theorems in measure theory

• Articles with short description
• Short description matches Wikidata
• Wikipedia articles incorporating text from PlanetMath