Difference between revisions of "Doctrine:Measure theory terminology/Proposals"
m (Opening noinclude for the references and notes section was in the wrong place!) |
m (Fixing link to wrong page) |
||
| Line 5: | Line 5: | ||
</noinclude> | </noinclude> | ||
===Splicing sets=== | ===Splicing sets=== | ||
| − | I propose that rather than | + | I propose that rather than {{plural|mu*-measurable set|s}} we instead use [[outer splicing sets]] or just [[splicing sets]]. Currently: |
* For an [[outer-measure]], {{M|\mu^*:\mathcal{H}\rightarrow\overline{\mathbb{R}_{\ge 0} } }} we call a set, {{M|X\in\mathcal{H} }}, {{M|\mu^*}}-measurable if: | * For an [[outer-measure]], {{M|\mu^*:\mathcal{H}\rightarrow\overline{\mathbb{R}_{\ge 0} } }} we call a set, {{M|X\in\mathcal{H} }}, {{M|\mu^*}}-measurable if: | ||
** {{M|1=\forall Y\in\mathcal{H}[\mu^*(Y)=\mu^*(Y-X)+\mu^*(Y\cap X)]}} | ** {{M|1=\forall Y\in\mathcal{H}[\mu^*(Y)=\mu^*(Y-X)+\mu^*(Y\cap X)]}} | ||
Revision as of 21:18, 20 August 2016
This is a sub page for making proposals to the measure theory terminology doctrine. New requests only must be placed here. Queries and suggestions must not be put here unless there is a consensus (and thus proposal) on how to deal with it.
- Be sure to sign any proposals.
Contents
Proposals
Splicing sets
I propose that rather than mu*-measurable sets we instead use outer splicing sets or just splicing sets. Currently:
- For an outer-measure, [ilmath]\mu^*:\mathcal{H}\rightarrow\overline{\mathbb{R}_{\ge 0} } [/ilmath] we call a set, [ilmath]X\in\mathcal{H} [/ilmath], [ilmath]\mu^*[/ilmath]-measurable if:
- [ilmath]\forall Y\in\mathcal{H}[\mu^*(Y)=\mu^*(Y-X)+\mu^*(Y\cap X)][/ilmath]
[ilmath]\mu^*[/ilmath]-measurable must be said with respect to an outer measure ([ilmath]\mu^*[/ilmath]) and is very close to "outer measurable set" which would just be an set the outer measure assigns a measure to[Note 1]. However if we call [ilmath]X[/ilmath] a splicing set then all ambiguity goes away and the name reflects what it does. In a sense:
- [ilmath]X[/ilmath] is a set that allows you to "splice" (the measures of) [ilmath]Y-X[/ilmath] and [ilmath]Y\cap X[/ilmath] together in a way which preserves the measure of [ilmath]Y[/ilmath]. That is, the sum of the measures of the spliced parts is the measure of [ilmath]Y[/ilmath].
If there is such a thing as [ilmath]\mu_*[/ilmath]-measurable sets for the inner-measure they can simply be called "inner splicing sets" although I doubt that'll be needed. Alec (talk) 21:14, 20 August 2016 (UTC)
Standard symbols
- [ilmath]\mathcal{S}^*[/ilmath] for the set of all (outer) splicing sets with respect to the outer-measure [ilmath]\mu^*[/ilmath] say, of the context.
- [ilmath]\mathcal{S}_*[/ilmath] for the set of all inner splicing sets with respect to the inner-measure [ilmath]\mu_*[/ilmath] say, of the context. Caution:Should such a definition make sense.
Points to address
- Is there such a thing as "inner splicing sets"?
- Does "splicing set" arise anywhere else?
Notes
- ↑ Not every set is outer-measurable unless [ilmath]\mathcal{H} [/ilmath] is the powerset of the "universal set" in question
References
