1 我们的经验是长度公理: 对直线上的一些点集构成的集族, 指定其上的一个函数 $m$, 使得
(1) 非负性 (non-negativity): $mEgeq 0$;
(2) 有限可加性 (finitely additivity): 若 $sed{E_i}_{i=1}^j$ 互不相交, 则 $$ex m(E_1cup cdotscup E_j)==mE_1+cdots+mE_j; eex$$
(3) 正则性 (unity): $m([0,1])=1$.
2 Lebesgue (为了使更多的集合可求长度, 而使得更多的函数可积分) 将其推广为
(1) 非负性 (non-negativity): $mEgeq 0$;
(2) 可数可加性 (countably additivity): 若 $sed{E_i}_{i=1}^infty$ 互不相交, 则 $$ex msex{cup_{i=1}^infty E_i} =sum_{i=1}^infty mE_i; eex$$
(3) 正则性 (unity): $m([0,1])=1$.
这就是我们本章要学习的 ``测度''.