Construction of A Complete Measure
Given a (possibly incomplete) measure space (X, Σ, μ), there is an extension (X, Σ0, μ0) of this measure space that is complete. The smallest such extension (i.e. the smallest σ-algebra Σ0) is called the completion of the measure space.
The completion can be constructed as follows:
- let Z be the set of all subsets of μ-measure zero subsets of X (intuitively, those elements of Z that are not already in Σ are the ones preventing completeness from holding true);
- let Σ0 be the σ-algebra generated by Σ and Z (i.e. the smallest σ-algebra that contains every element of Σ and of Z);
- there is a unique extension μ0 of μ to Σ0 given by the infimum
Then (X, Σ0, μ0) is a complete measure space, and is the completion of (X, Σ, μ).
In the above construction it can be shown that every member of Σ0 is of the form A ∪ B for some A ∈ Σ and some B ∈ Z, and
Read more about this topic: Complete Measure
Famous quotes containing the words construction of, construction, complete and/or measure:
“The construction of life is at present in the power of facts far more than convictions.”
—Walter Benjamin (1892–1940)
“No real “vital” character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the author’s personality, developing by internal necessity as much as by external addition.”
—T.S. (Thomas Stearns)
“For which of you, intending to build a tower, does not first sit down and estimate the cost, to see whether he has enough to complete it?”
—Bible: New Testament, Luke 14:28.
“I do seriously believe that if we can measure among the States the benefits resulting from the preservation of the Union, the rebellious States have the larger share. It destroyed an institution that was their destruction. It opened the way for a commercial life that, if they will only embrace it and face the light, means to them a development that shall rival the best attainments of the greatest of our States.”
—Benjamin Harrison (1833–1901)