Pre-measure/Properties in common with measure
From Maths
- 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