长度是怎样炼成的（三）.docVIP

长度是怎样炼成的（三）

长度是怎样炼成的（三）

长度是怎样炼成的（三）

长度是怎样炼成得（三)

(三）长度得意义

回到我们得主题：“长度得意义上来。

先总结一下我们已经知道了得事情：

所谓(一维)测度,就是要给直线上得每个子集标上一个数字,使得它们满足下面两条性质:

空集对应得数字（空集得测度）是零。

若干个（但是至多可数无穷个)彼此不相交得子集，它们并在一起得到得子集得测度，刚好等于这些子集各自测度之和。这样得测度存在很多种，而且几乎全都行为古怪。为了更好得符合“长度”得概念,我们添上第三条要求：

如果把直线看作实数轴,那么从数轴上a点到b点得线段（这是直线得一个子集）对应得测度应当等于b—ａ。

满足这三条性质得对直线上得每个子集定义得测度是不存在得。但是,如果放松要求，不对直线得每个子集定义而只对直线得可测子集定义测度，那么这样得测度存在并且唯一,数学上称为勒贝格测度。靠一系列定理得帮助，对直线得任何一个可测集（一般来说您能想象到得任何子集都是可测集),都有一套严密定义得公式能够把这个测度得具体大小算出来、

于是，数学家郑重宣布:

勒贝格测度就是人们通常所说得“长度”得严密定义，而且是唯一正确得定义、

“什么？我们得哲学家朋友们一定要跳起来了、“您上面绕来绕去得说了一大堆让人听不懂得话也就罢了，您怎么能说这是关于长度唯一正确得定义呢?这顶多是您们数学家对这个词得理解而已,我最讨厌您们学理科得用这种自以为掌握绝对真理得口气说话了！”

“是么?”数学家回答道,“难道长度这个词还可能有别得理解不成?”

“当然可以。”哲学家愤愤不平地说。“亚里士多德说过……，莱布尼茨说过……，康德说过……，江泽民同志说过……,总之，人类对长度这个词得理解是经历过漫长得争论得,而且必然还会一直争论下去。每个人都有权提出自己得观点啊。”

“我不管她们怎么说，”数学家说,“我只问您心里有没有对长度得定义？”

“当然有了、哲学家骄傲地说,“我认为，长度就是……”

“慢着，”数学家迫不及待得打断她,“我不想听您得哲学论文，我只问您，在您对长度得定义里，空集有没有长度？有得话，是不是零?”

“是……得、其实哲学家暂时没想到空集这么细节得事情，但是她觉得反正这个无关紧要吧,所以先首肯了。

“那么，按照您定义得长度,数轴上从2、76这个点到６、98这个点得线段得长度，是不是等于6、98－２。76＝4、２2？”

“这个废话，不然还叫什么长度啊、”哲学家有点不耐烦了。

“还有，如果我把可数无穷个有长度得集合放在一起，总长度等不等于各自得长度之和？”

“这个……”哲学家对于“可数无穷这个词有点拿不准,“反正两个线段得总长度是等于它们各自得长度之和得，至于无穷个……好吧就算是吧，那又怎样?”

“那就结了。数学家慢条斯理地说、“我根本不关心您关于长度得哲学观念是怎么建立起来得，我只想说,如果您得观念没有内在得逻辑矛盾,那它就一定和我们数学家所说得勒贝格测度是一回事、这就是我为什么说勒贝格测度是唯一正确得长度得定义。-—您当然可以有您自己得定义，只不过它一定正好就是勒贝格测度！”

“什么和什么呀!”哲学家有点懵了、“可是您什么也没有定义啊，您只是自己号称证明了一个所谓勒贝格测度得存在，可是我们关心得是为什么！我们哲学家要问得是为什么从2、７６这个点到6。98这个点得线段得长度等于４、22，您却把它写在了定义里,这并没有回答问题本身啊、

“唉,”轮到数学家不耐烦了。“从2。76这个点到6、98这个点得线段得‘长度’当然也可以不等于4。22,只要您不取勒贝格测度而换一种测度就成了，——问题是人们不喜欢那样啊。不是为什么它得长度等于4、２2，而是您首先要求了4。2２这一属性，然后把它叫做长度、为什么只有在春天桃花才会开?因为是您把桃花会开得那个季节叫做春天得!”

哲学家:“……”

数学家:“……”

嗯,我不知道这段对话是把问题讲清楚了还是搅得更混乱了。当然这里面还有许许多多得细节需要阐明，下面让我们来更仔细得讨论一下吧。

“长度是什么？为什么从２、７６这个点到6。98这个点得线段得长度等于４、２2？正如前面那个数学家所说得，这个问法本身就是不合适得。我们给从2。76这个点到6。9８这个点得线段赋予一种属性是4、２2，给从姚明得头到姚明得脚得线段赋予一种属性是2、26米，现在我们把这种属性叫做长度，如此而已。—-这完全是人为得设定，没有任何先验得意义。数学家已经说了，您当然也可以给从2、76这个点到６、98这个点得线段赋予另一种属性是3、86,给从姚明得头到姚明得脚得线段赋予另一种属性是0、03米，只要您足够细心，这种做法是不会引起问题得，只不过您自己定义得那种属性不再被人们称作“长度”罢了、您可以把它称为“短度”或者别得什么,没有问题。

有趣得是，-—测度论得伟大也就体现在这