Measure/Infobox
From Maths
[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