## Encyclopedia > Complete measure

Article Content

# Complete measure

In measure theory, a complete measure is a measure in which every subset of every null set is measurable (and therefore null).

Every measure has an extension that is complete. The smallest such extension is called the completion of the measure.

Suppose μ is a measure on some set X, with σ-algebra F. The completion of μ can be constructed as follows. Let N be the set of all subsets of null sets of μ, and let G be the σ-algebra generated by F and N. There is only one way to extend μ to this new σ-algebra: for every C in G, μ'(C) is defined to be the infimum of μ(D) over all D in F of which C is a subset. Then μ' is a complete measure, and is the completion of μ.

In the above construction it can be shown that every member of G is of the form A U B for some A in F and some B in N, and μ'(A U B) = μ(A).

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia
 Search over one million articles, find something about almost anything!

Featured Article
 Eurofighter ... production. Current orders for the participating nations are 232 for the United Kingdom, 180 for Germany, 121 for Italy, and 87 for Spain. An extensive over ...