A pre-measure on a semi-ring may be extended uniquely to a pre-measure on a ring

From Maths
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:
Demote to grade A once fleshed out and grade C once (most of) a proof has been added
[ilmath]\newcommand{\srmu}{\tilde{\mu}}\newcommand{\rmu}{\bar{\mu}}[/ilmath][math]\newcommand{\bigudot}{ \mathchoice{\mathop{\bigcup\mkern-15mu\cdot\mkern8mu}}{\mathop{\bigcup\mkern-13mu\cdot\mkern5mu}}{\mathop{\bigcup\mkern-13mu\cdot\mkern5mu}}{\mathop{\bigcup\mkern-13mu\cdot\mkern5mu}} }[/math][math]\newcommand{\udot}{\cup\mkern-12.5mu\cdot\mkern6.25mu\!}[/math][math]\require{AMScd}\newcommand{\d}[1][]{\mathrm{d}^{#1} }[/math]

Statement

Given a pre-measure on a semi-ring, [ilmath]\tilde{\mu}:\mathcal{F}\rightarrow\overline{\mathbb{R}_{\ge 0} } [/ilmath] (that is a function whose domain is a semi-ring of sets that is countably additive with [ilmath]\tilde{\mu}(\emptyset)=0[/ilmath]) then we may extend [ilmath]\srmu[/ilmath] to a pre-measure, [ilmath]\rmu:R(\mathcal{F})\rightarrow\overline{\mathbb{R}_{\ge 0} } [/ilmath][Note 1]; furthermore this extension is unique[1]. The details follow:

  • The ring generated by a semi-ring is exactly the set of all finite disjoint unions of elements from that semiring.
    • That is to say, [ilmath]R(\mathcal{F})=\left\{\left.\bigudot_{i=1}^nA_i\ \right\vert\ (A_i)_{i=1}^n\subseteq\mathcal{F}\right\}[/ilmath]
    • so any [ilmath]A\in R(\mathcal{F}) [/ilmath] can be written as [ilmath]A=\bigudot_{i=1}^n A_i[/ilmath] for some finite sequence of pariwise disjoint sets, [ilmath] ({ A_i })_{ i = 1 }^{ n }\subseteq \mathcal{F} [/ilmath][Note 2]
  • We define the induced pre-measure, [ilmath]\rmu:R(\mathcal{F})\rightarrow\overline{\mathbb{R}_{\ge 0} } [/ilmath] as follows:
    • [ilmath]\rmu:\bigudot_{i=1}^nA_i\mapsto\sum_{i=1}^n\srmu(A_i)[/ilmath], and we claim this map is well-defined

Prerequisites

  1. the ring of sets generated by a semi-ring is the set containing the semi-ring and all finite disjoint unions

Proof

Grade: A
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:

See also

Notes

  1. Here [ilmath]R(X)[/ilmath] denotes the ring of sets generated by a collection of sets, [ilmath]X[/ilmath].
  2. I've mentioned it a few times but in case it isn't clear:
    • For [ilmath]A\in R(\mathcal{F})[/ilmath] we have [ilmath]A=\bigudot_{i=1}^nA_i[/ilmath] for some finite sequence, [ilmath] ({ A_i })_{ i = 1 }^{ n }\subseteq \mathcal{F} [/ilmath], note the elements of the sequence are in [ilmath]\mathcal{F} [/ilmath]

References

  1. 1.0 1.1 Measures, Integrals and Martingales - René L. Schilling