Complete Measure - Construction of A Complete Measure

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:

    “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)

    “There’s no art
    To find the mind’s construction in the face.”
    —William Shakespeare (1564–1616)

    “Let’s holler and ask him if he won’t prescribe
    For all humanity a complete rest
    From all this wagery. But what’s the use
    Of asking any sympathy of him?
    That class of people don’t know what work is....”
    —Robert Frost (1874–1963)

    “Chide me then no more; be to me what you have been; and give me without measure the comfort of your friendship.”
    —Thomas Jefferson (1743–1826)