Pre-measure/Properties in common with measure

From Maths
< Pre-measure
Revision as of 01:48, 26 July 2015 by Alec (Talk | contribs) (Moved from pre-measure page)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

  • Finitely additive: if [ilmath]A\cap B=\emptyset[/ilmath] then [ilmath]\mu_0(A\udot B)=\mu_0(A)+\mu_0(B)[/ilmath]

Follows immediately from definition (property 2)

  • Monotonic: [Note 1] if [ilmath]A\subseteq B[/ilmath] then [ilmath]\mu_0(A)\le\mu_0(B)[/ilmath]


TODO: Be bothered to write out

  • If [ilmath]A\subseteq B[/ilmath] and [ilmath]\mu_0(A)<\infty[/ilmath] then


TODO: Be bothered, note the significance of the finite-ness of [ilmath]A[/ilmath] - see Extended real value

  • Strongly additive: [ilmath]\mu_0(A\cup B)=\mu_0(A)+\mu_0(B)-\mu_0(A\cap B)[/ilmath]


TODO: Be bothered

  • Subadditive: [ilmath]\mu_0(A\cup B)\le\mu_0(A)+\mu_0(B)[/ilmath]


TODO: Again - be bothered


Cite error: <ref> tags exist for a group named "Note", but no corresponding <references group="Note"/> tag was found, or a closing </ref> is missing

Retrieved from "https://wiki.unifiedmathematics.com/index.php?title=Pre-measure/Properties_in_common_with_measure&oldid=1110"