Measure/Infobox

From Maths
< Measure
Revision as of 12:53, 28 March 2016 by Alec (Talk | contribs) (Creating infobox)

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

[math]\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}} }[/math][math]\newcommand{\udot}{\cup\mkern-12.5mu\cdot\mkern6.25mu\!}[/math][math]\require{AMScd}\newcommand{\d}[1][]{\mathrm{d}^{#1} }[/math]

(Positive) Measure
[ilmath]\mu:\mathcal{R}\rightarrow\bar{\mathbb{R} }_{\ge0} [/ilmath]
For a [ilmath]\sigma[/ilmath]-ring, [ilmath]\mathcal{R} [/ilmath]
Properties
[ilmath]\forall\overbrace{(A_n)_{n=1}^\infty }^{\begin{array}{c}\text{pairwise}\\\text{disjoint}\end{array} }\subseteq\mathcal{R}[\mu\left(\bigudot_{n=1}^\infty A_n\right)=\sum^\infty_{n=1}\mu(A_n)][/ilmath]



TODO: I can use subadditivity if I assume the measure is positive to define it and get rid of that pesky pairwise disjoint