http://yinlianqian.blog.163.com/blog/static/648875672008222113952182/
长度是怎样炼成的？
点没有长度和面积，为什么由点组成的线和面会具有长度和面积？
“长度”“面积”这些词汇究竟是在怎样的意义上被使用的？
有的时候我们把点的长度叫做零，有的时候叫做无穷小，这两个称呼是不是都有道理？
无穷个零相加是不是还得零？（其实和第一个问题是一个意思，无穷个点怎么加成线段
的？）
等等等等。
当然，小乐的问题是着眼于哲学，而我的回答将会着眼于数学，——我不是学哲学的，
但是大概也知道在哲学上这些词汇常常导致混乱的争论，比如芝诺悖论之类。幸运的是
，早在一百年前，通过一大批杰出的数学家的努力，以上这些问题已经被精确地给出了
解答，这就是在数学中被称为“测度论”的一套理论体系。这里“精确”的意思是说，
这套理论体系完全基于形式逻辑，而且只采用了非常少的公理（下面会陈述之），从而
，在这套理论中不存在任何模糊或者逻辑上模棱两可之处（除了几个需要加以特别说明
的地方=_=！）。换句话说，我们不仅可以认为数学家能够确定无疑的回答以上这些问题
，而且可以认为人类在今天能够确定无疑的回答以上这些问题（在承认那些公理的前提
下）。
不幸的是，这一断言几乎必然会遭到哲学家的反对。一方面是因为哲学家们倾向于每个
人自己创造一组定义，——从我在未名哲学版见过的一系列关于芝诺悖论的讨论来看，
这样的结果是所有的论述最终都流于自说自话。另一方面大概也因为学术壁垒的缘故，
哲学家们大概从来也没有了解过数学家们已经在此问题上做出过的卓越工作，（确实，
很多细节是过于数学化了一点……）。有鉴于此，我答应小乐以尽可能通俗的方式（在
不损害准确性的前提下）大致介绍一下测度论的内容。我想在这个版面上大概还会有不
少别的朋友对此感兴趣吧。
(more…)
yangjiera's field 