# Complete measure

A measure $\mu$ on a $\sigma$- algebra $\Sigma$ for which $A \in \Sigma$ and $| \mu | ( A) = 0$ imply $E \in \Sigma$ for every $E \subset A$. Here $| \mu |$ is the total variation of $\mu$( $| \mu | = \mu$ for a positive measure).

Complete measures arise as follows (cf. [a1]). Let $X$ be a set, $\Sigma$ a $\sigma$- algebra of subsets of it and $\mu$ a positive measure on $\Sigma$. It may happen that some set $E \in \Sigma$ with $\mu ( E) = 0$ has a subset $N$ not belonging to $\Sigma$. It is natural, then, to define the measure $\mu$ on such a set $N$ as $\mu ( N) = 0$.

In general, let $\Sigma ^ {*}$ be the collection of all sets $N$ for which there exists sets $E , F \in \Sigma$ such that $E \subset N \subset F$, $\mu ( F - E ) = 0$. In this situation, define $\mu ( N) = 0$. Then $\Sigma ^ {*}$ is a $\sigma$- algebra and $\mu$ becomes a complete measure on it (this process is called completion). $( X , \Sigma ^ {*} , \mu )$ is then called a complete measure space.

#### References

 [a1] W. Rudin, "Real and complex analysis" , McGraw-Hill (1974) pp. 24 [a2] E. Hewitt, K.R. Stromberg, "Real and abstract analysis" , Springer (1965)
How to Cite This Entry:
Complete measure. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Complete_measure&oldid=46419
This article was adapted from an original article by A.P. Terekhin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article