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)
“When the leaders choose to make themselves bidders at an auction of popularity, their talents, in the construction of the state, will be of no service. They will become flatterers instead of legislators; the instruments, not the guides, of the people.”
—Edmund Burke (1729–1797)
“The main reason why men and women make different aesthetic judgments is the fact that the latter, generally incapable of abstraction, only admire what meets their complete approval.”
—Franz Grillparzer (1791–1872)
“Since we are assured that the all-wise Creator has observed the most exact proportions of number, weight and measure in the make of all things, the most likely way therefore to get any insight into the nature of those parts of the Creation which come within our observation must in all reason be to number, weigh and measure.”
—Stephen Hales (1677–1761)