实变函数论3-测度论0-1：长度公理【实数点集构成集合族M，若∃E∈M都对应一实数m：①m(E)≥0非负性；②m(E₁∪…∪Eₙ)=m(E₁)+…+m(Eₙ)有限可加性；③m([0,1])=1正则性】

在日常生活经验中，我们已经有了长度、面积、体积等概念它们都是一些几何图形(点集)所具有的数量特征.例如，线段有长度，矩形有面积，长方体有体积.

• 线段有了长度，那么折线段可以有长度，有限个线段之并也有长度；
• 通过矩形面积的定义，我们又可以"求"许多其他几何图形（点集）的面积，如三角形、多边形面积等. 利用极限方法，又可以求出圆的面积、曲边梯形面积，等等. 也就是说，三角形、圆、曲边梯形等都是"可求面积"的图形；
• 体积的情形也类似；

从日常生活经验来看，其实我们已经使用了以下约定俗成的长度公理（面积公理、体积公理可以类似叙述)

长度公理：设有实数直线上的一些点集所构成的集合族 $\mathcal{M},$ 若对于每个 $E\in \mathcal{M},$都对应一个实数 $m,$ 使得

1. $m(E)⩾0$ (非负性)；
2. 如果