Difference between revisions of "Outer-measure"
From Maths
(Created page with " ==Definition== <math>\mu^*=\text{Inf}\left\{\sum^\infty_{n=1}\mu(E_n)|E_n\in R\ \forall n,\ E\subset\bigcup^\infty_{n=1}E_n\right\}</math> {{Definition|Measure Theory}}") |
m |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | {{Stub page|Saving work, not even a stub yet!|grade=A}} | |
| − | ==Definition== | + | ==[[Outer-measure/Definition|Definition]]== |
| − | <math>\mu^*=\text{Inf}\left\{\sum^\infty_{n=1}\mu(E_n) | + | {{:Outer-measure/Definition}} |
| − | + | ==For every [[pre-measure]]== | |
| + | <math>\mu^*=\text{Inf}\left.\left\{\sum^\infty_{n=1}\bar{\mu(E_n)}\right\vert E_n\in R\ \forall n,\ E\subset\bigcup^\infty_{n=1}E_n\right\}</math> is an outer measure. | ||
| + | ==References== | ||
| + | <references/> | ||
| + | {{Measure theory navbox|plain}} | ||
{{Definition|Measure Theory}} | {{Definition|Measure Theory}} | ||
Latest revision as of 21:23, 19 April 2016
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:
Saving work, not even a stub yet!
Definition
An outer-measure, μ∗ is a set function from a hereditary σ-ring, H, to the (positive) extended real values, ˉR≥0, that is[1]:
- ∀A∈H[μ∗(A)≥0] - non-negative
- ∀A,B∈H[A⊆B⟹μ∗(A)≤μ∗(B)] - monotonic
- ∀(An)∞n=1⊆H[μ∗(⋃∞n=1An)≤∑∞n=1μ∗(An)] - countably subadditive
In words, μ∗ is:
- an extended real valued countably subadditive set function that is monotonic and non-negative with the property: μ∗(∅)=0 defined on a hereditary σ-ring
For every pre-measure
μ∗=Inf{∞∑n=1¯μ(En)|En∈R ∀n, E⊂∞⋃n=1En} is an outer measure.
References
| ||||||||||||||||||||
