===== Measure ===== ==== Set ==== | @#55CCEE: context | @#55CCEE: $\Sigma \in \mathrm{SigmaAlgebra}(X) $ | | @#FFBB00: definiendum | @#FFBB00: $ \mu\in \mathrm{measure}(\Sigma)$ | | @#55CCEE: context | @#55CCEE: $E\in \Sigma$ | | @#55CCEE: context | @#55CCEE: $S\in \mathrm{Sequence}(\Sigma)$ | | @#AAFFAA: inclusion | @#AAFFAA: $\mu:\Sigma\to \overline{\mathbb R} $ | | @#55EE55: postulate | @#55EE55: $ \mu(E)\ge 0$ | | @#55EE55: postulate | @#55EE55: $ \mu(\emptyset)=0 $ | | @#55EE55: postulate | @#55EE55: $ \mu\left(\bigcup_{j=1}^\infty S_j\right)=\sum_{j=1}^\infty \mu(S_j) $ | ----- === Reference === Wikipedia: [[http://en.wikipedia.org/wiki/Measure_%28mathematics%29|Measure]] ----- === Context === [[σ-algebra]], [[Extended real number line]], [[Infinite series]] === Equivalent to === [[Measure space]]