Measures

This page is under construction.

Definition

Let $X$ be a set equipped with a $\sigma$-algebra ${\mathcal {M}}$. A measure on $(X,{\mathcal {M}})$ (also referred to simply as measure on $X$ if $M$ is understood) is a function $\mu :{\mathcal {M}}\rightarrow [0,\infty ]$ that satisfies the following criteria:

1. $\mu \left(\emptyset \right)=0$,
2. Let $\left\{E_{k}\right\}_{k=1}^{\infty }$ be a disjoint sequence of sets contained in ${\mathcal {M}}$. Then, $\mu \left(\cup _{k=1}^{\infty }E_{k}\right)=0$.