，我们可以做出这样的定义。一个直线，就是一个巨大的点集。”
“这个点集的每一个子集，包括它自身，都存在‘势’。这个势就是一个测度。”
“两个彼此本身不相交的子集的并集——也就是这个大点集的另一个子集，也有测度并且这个测度应该等于两者之和。简单来说，两个不相交不重叠的线段的总长度，就可以视作是它们各自长度的总和。”
“更进一步，三个不相交子集的测度之和也应该等于这三个子集并起来的集合的测度，四个也好，u看书( . 五个也好，依此类推，无穷个不相交子集的测度之和也应该等于把它们并起来得到的集合的测度。”
说到这里，王崎郑重的说道：“接下来，我们就可以做出最终的定义了。”
“一，空集对应的测度是零。二，若干个彼此不相交的子集，它们并在一起得到的子集的测度，刚好等于这些子集各自测度之和。三，如果把直线看作实数轴，那么从数轴上子点到丑点的线段对应的测度应当等于丑减去子。”
接着，王崎闭上眼睛，表情肃穆。
“就是人们通常所说的‘长度’的严密定义，而且是唯一正确的定义。”
当然，这句话略有些夸张。王崎刚才讲述的勒贝格测度【在这个世界，它被唤作‘歌庭测度’】，只是测度当中的一种。事实上，这个世界也会存在其他测度体系。数学上也承认不同于这种测度的其他测度。
比如，地球物理学当中会涉及的另一种测度，狄拉克测度【本世界也唤作“无量测度”】
这就让很多数学家相信，实际上还有更加具有普遍
第24章 测度论(5/6)