The set of all mu*-measurable sets is a sigma-ring
From Maths
(Redirected from The set of all mu*-measurable sets forms a sigma-ring)
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:
Currently in the notes stage, see Notes:The set of all mu*-measurable sets is a ring
Statement
Recall that given an outer-measure, [ilmath]\mu^*:\mathcal{H}\rightarrow\bar{\mathbb{R} }_{\ge 0} [/ilmath] (where [ilmath]\mathcal{H} [/ilmath] is a hereditary sigma-ring) that the set of all mu*-measurable sets is a ring. It is in fact not only a ring of sets but a [ilmath]\sigma[/ilmath]-ring[1].
References
| ||||||||||||||||||||
