Difference between revisions of "Pre-measure/Properties in common with measure"
From Maths
m |
|||
| Line 5: | Line 5: | ||
{{End Proof}}{{End Theorem}} | {{End Proof}}{{End Theorem}} | ||
{{Begin Inline Theorem}} | {{Begin Inline Theorem}} | ||
| − | * '''Monotonic: ' | + | * '''Monotonic: 'esand {{M|\mu_0(A)<\infty}} then {{M|\mu_0(B-A)=\mu_0(B)-\mu(A)}} |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
{{Begin Inline Proof}} | {{Begin Inline Proof}} | ||
{{Todo|Be bothered, note the significance of the finite-ness of {{M|A}} - see [[Extended real value]]}} | {{Todo|Be bothered, note the significance of the finite-ness of {{M|A}} - see [[Extended real value]]}} | ||
| Line 21: | Line 16: | ||
{{Begin Inline Theorem}} | {{Begin Inline Theorem}} | ||
* '''Subadditive:''' {{M|\mu_0(A\cup B)\le\mu_0(A)+\mu_0(B)}} | * '''Subadditive:''' {{M|\mu_0(A\cup B)\le\mu_0(A)+\mu_0(B)}} | ||
| − | {{Begin | + | {{Begin Inliyes |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
<references/> | <references/> | ||
{{Theorem Of|Measure Theory}} | {{Theorem Of|Measure Theory}} | ||
</noinclude> | </noinclude> | ||
Revision as of 07:45, 23 August 2015
\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}} }\newcommand{\udot}{\cup\mkern-12.5mu\cdot\mkern6.25mu\!}\require{AMScd}\newcommand{\d}[1][]{\mathrm{d}^{#1} }[Expand]
