Difference between revisions of "Pre-measure/Properties in common with measure"

From Maths
Jump to: navigation, search
(Moved from pre-measure page)
 
m
Line 1: Line 1:
{{Begin Inline Theorem}}
+
<noinclude>{{Extra Maths}}</noinclude>{{Begin Inline Theorem}}
 
* '''Finitely additive:''' if {{M|1=A\cap B=\emptyset}} then {{M|1=\mu_0(A\udot B)=\mu_0(A)+\mu_0(B)}}
 
* '''Finitely additive:''' if {{M|1=A\cap B=\emptyset}} then {{M|1=\mu_0(A\udot B)=\mu_0(A)+\mu_0(B)}}
 
{{Begin Inline Proof}}
 
{{Begin Inline Proof}}
Line 23: Line 23:
 
{{Begin Inline Proof}}
 
{{Begin Inline Proof}}
 
{{Todo|Again - be bothered}}
 
{{Todo|Again - be bothered}}
{{End Proof}}{{End Theorem}}
+
{{End Proof}}{{End Theorem}}<noinclude>
 +
==Notes==
 +
<references group="Note"/>
 +
==References==
 +
<references/>
 +
{{Theorem Of|Measure Theory}}
 +
</noinclude>

Revision as of 15:07, 29 July 2015

[Expand]

  • Finitely additive: if AB= then μ0(AB)=μ0(A)+μ0(B)

[Expand]

  • Monotonic: [Note 1] if AB then μ0(A)μ0(B)

[Expand]

  • If AB and μ0(A)< then

[Expand]

  • Strongly additive: μ0(AB)=μ0(A)+μ0(B)μ0(AB)

[Expand]

  • Subadditive: μ0(AB)μ0(A)+μ0(B)

Notes

  1. Jump up Sometimes stated as monotone (it is monotone in Measures, Integrals and Martingales in fact!)

References