##### 测度 - 测度 - **测度**是对[[集合]]大小的量化, 可以通过将[[外测度]]限制在[[可测集]]上获得, 例如[[勒贝格测度]], 带有测度的集合为[[测度空间]], 测度为零称为[[零测集]]. 测度是定义在[[σ-代数]] $\mathcal{A}$ 上的一个[[映射]] $\mu: \mathcal{A}\to [0,\infty ]$, 满足 - 非负性, 对于所有 $B\in \mathcal{A}$, 都有 $\mu(B)\geq0$ - 空集零测度, $\mu(\emptyset)=0$ - 可数可加性, 对于任何可数不相交[[集合族]] $\displaystyle\{B_i\}_{i=1}^{\infty}\in \mathcal{A}$, 都有 $\displaystyle\mu(\bigcup_{i=1}^{\infty}B_i)=\sum^{\infty}_{i=1}\mu(B_i)$ , 即并集的测度等于各集合测度的总和