Extending pre-measures to measures

From Maths
Revision as of 17:27, 17 August 2016 by Alec (Talk | contribs) (Creating page with a skeleton of the lemmas leading up to this.)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Stub grade: A*
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Warning:This page is currently being written, the problem of extending a pre-measure on a ring of sets, [ilmath]\mathcal{R} [/ilmath] to a measure is not trivial. For example, to find the biggest class of sets we can extend a pre-measure to is different to what this page shows. This page is just starting to be put together.

Statement


TODO: Fill this in


Proof steps

  1. A pre-measure, [ilmath]\bar{\mu}:\mathcal{R}\rightarrow\overline{\mathbb{R}_{\ge 0} } [/ilmath], can be extended to an outer-measure, [ilmath]\mu^*:\mathcal{H}_{\sigma R}(\mathcal{R})\rightarrow\overline{\mathbb{R}_{\ge 0} } [/ilmath]
  2. the set of all [ilmath]\mu^*[/ilmath]-measurable sets forms a ring
  3. the set of all [ilmath]\mu^*[/ilmath]-measurable sets forms a [ilmath]\sigma[/ilmath]-ring
  4. An outer-measure is countably additive on the [ilmath]\sigma[/ilmath]-ring of all [ilmath]\mu^*[/ilmath]-measurable sets
  5. Every set of outer-measure 0 belongs to the set of all mu*-measurable sets
  6. The outer-measure is a complete measure on the set of all mu*-measurable sets (called the measure induced by an outer-measure)
  7. Every set in the sigma-ring generated by a ring of sets is mu*-measurable

Is a good path I think. I need to develop this page more after I've cleaned up some of the existing notes pages.

References