“能够将画天法称之为‘条件’，你们更新妖族也是有一些智慧的。可惜啊……”王崎摇摇头，也不知是可惜更新妖族没有更深入，还是在可惜某个后辈学艺不精。他道：“既然你们知晓这被我们人族称之为画天法的公设，那也应该知晓点线面的定义咯？”
奧流点点头。这种不言自明的问题，他们确实是知晓的。
“线是无数点的总和，对吧？”
奧流再次点点头。
王崎继续问道：“那么你们有没有想过，点是没有长度的。或者说，点的长度是零。线是由无数点构成的，那么，线又是从哪里来的长度呢？”
“唔……”这个问题，让所有的学生都愣了一下。
包括月落琉璃和白弦素铮这两个龙族在内，所有人都是一愣。
——这个……还真没有人想过！
王崎看着底下那群学生的表情，终于是满意的点了点头。
——小样儿，我还治不了你们了？
——我告诉你们，我这里看起来简单，但是难得要死的问题是要多少有多少。
王崎刚才问出的问题，其实就是“测度论”当中的重要部分。而它的解答，在地球被称作“勒贝格积分”。在这个世界，它作为离宗的经典，由歌庭派完成。
尽管这只是算主辉煌人生的一个小小注脚，但是大多数人都知晓，若是有万法门弟子吃透了这个，那么升到炼虚期都不会有什么障碍。
没有接触过主流数学的天才人物需要多久才能彻底想明白这个问题呢？
格罗滕迪克高中时期花了三年。
“想要解释这个问题，就得先从集合论谈起了。”王崎说着，开始讲解集合里面最初的内容。集合、淄即、元素、并集、交集、补集等等。
这些内容全部都是面向普通高中生的。大约三五节课，地球上的普通高中生就能够掌握这方面的内容。而王崎现在的这些学生起码都是化形期的高阶妖族，记忆力更加强大，他只花了一个小时，就保证让他们掌握了那些集合的基本概念。
当然，也真的只是基本概念而已。
“接下来，我们可以引入一些更加复杂的概念，比如说‘无穷大’。‘无穷大’这个概念也很复杂。我知道，在算学之外，这个概念也被一些人讨论。或许你们当中有一些人就思考过这样的问题——什么叫无穷大。而现在，丢掉你们脑子当中那些玄之又玄的定义。在算学里，无穷只有已知的两种。可数无穷和不可数无穷。所有整数的集合便被称为‘可数无穷’。不可数无穷比可数无穷更大，不存在比可数无穷更小的无穷……”
“所有实数的集合就是一个不可数无穷。而所有与‘所有实数的集合’等势的集合，就被称作‘连续统’。”讲话到这里，王崎笑了一下：“顺便一提，这个系统里面有相当一部分东西就是我证明的。换言之，这是我悟出来的东西。这一点必须强调一下。”
奧流脸色铁青。
“我本人和‘连续统假设’的故事，有空再讲给你们听。总而言之，你们知道这么个概念就行了。若要问‘可数无穷’和‘不可数无穷’之间的区别，那就简单说一下吧——这或许就是无大小的点到线与面之间的奥妙。”
“现在回到主题。我们通常所说的长度面积体积这些词，究竟是什么意思？”王崎双手撑在讲桌上：“为了更清楚的阐明这个主题，让我们把目光只集中在最简单的一维情形，也就是说，我们只考虑‘长度’这个词。我们希望，取出直线上的一部分，就有一个‘长度’存在。如果能做到这一点，那么类似的，面积和体积之类的字眼也可以类似的得以理解。”
“首先，我们可以做出这样的定义。一个直线，就是一个巨大的点集。”
“这个点集的每一个子集，包括它自身，都存在‘势’。这个势就是一个测度。”
“两个彼此本身不相交的子集的并集——也就是这个大点集的另一个子集，也有测度并且这个测度应该等于两者之和。简单来说，两个不相交不重叠的线段的总长度，就可以视作是它们各自长度的总和。”
“更进一步，三个不相交子集的测度之和也应该等于这三个子集并起来的集合的测度，四个也好，五个也好，依此类推，无穷个不相交子集的测度之和也应该等于把它们并起来得到的集合的测度。”
说到这里，王崎郑重地说道：“接下来，我们就可以做出最终的定义了。”
“一，空集对应的测度是零。二，若干个彼此不相交的子集，它们并在一起得到的子集的测度，刚好等于这些子集各自测度之和。三，如果把直线看作实数轴，那么从数轴上子点到丑点的线段对应的测度应当等于丑减去子。”
接着，王崎闭上眼睛，表情肃穆。
“就是人们通常所说的‘长度’的严密定义，而且是唯一正确的定义。”
当然，这句话略有些夸张。王崎刚才讲述的勒贝格测度【在这个世界，它被唤作“歌庭测度”】，只是测度当中的一种。事实上，这个世界也会存在其他测度体系。数学上也承认不同于这种测度的其他测度。
比如，地球物理学当中会涉及的另一种测度，狄拉克测度【本世界也唤作“无量测度”】
这就让很多数学家相信，实际上还有更加具有普遍性的测度，只是人类还没有理解到那一步。
但是，就现阶段来说，“长度”这个词得到了严格的定义，人类对算学的认知也到了更深的层次。
有那么一瞬间，奧流真的被震慑到了。他惊叹于这种严密的智慧。但是他依旧问道：“这有什么用呢？这不过是在玩文字游戏。这种游戏，我可以玩上一天……”
“是啊，有什么用呢。”身形一闪，王崎再一次出现在奧流的面前：“这个定义，恰好能让你意识到自身的渺小啊。”
第二十五章 教师
奧流站了起来：“自身如何渺小，我是没体会到的。我只体会到了你们人族的自大。”
“你绕来绕去的说了一大堆，也只是有意让人听不懂的话。这也就罢了。长度唯一正确的定义？”他站了起来，愤怒的呵斥：“这只是你们人族对这个词的理解而已，给我少用这种自以为掌握绝对真理的口气说话。”
“是么？”王崎挖挖耳朵：“难道长度还可能有别的理解不成？”
奧流愤愤不平：“所谓的‘长度’，本就是一个朦胧的概念。大家都能明白，也用不着你们这些大而无当的理论来解释……”
“哦，能够把说不明白的东西说明白，不是很厉害吗？”王崎这次干脆就不看奧流的脸了。
“那也只是你自己的说辞。”奧流强行不让自己发作：“每一个人都能对它产生自己的理解。”
“自己的理解啊。”王崎抬起眼皮：“你也有啊？”
奧流点点头：“在我看来，长度这个词是……”
“啊，我没问你你是怎么看的。你就回答我有或者没有就行了。”王崎道：“看来是有了……”
“那是自然。”奧流哼了一声。他素来以“灵机”而著名，颇有一些急智。刚才王崎讲解勒贝格测度的时候，他就已经明白这个“文字游戏”的游戏规则了——至少他自己是这么觉得的。
奧流点点头。这种不言自明的问题，他们确实是知晓的。
“线是无数点的总和，对吧？”
奧流再次点点头。
王崎继续问道：“那么你们有没有想过，点是没有长度的。或者说，点的长度是零。线是由无数点构成的，那么，线又是从哪里来的长度呢？”
“唔……”这个问题，让所有的学生都愣了一下。
包括月落琉璃和白弦素铮这两个龙族在内，所有人都是一愣。
——这个……还真没有人想过！
王崎看着底下那群学生的表情，终于是满意的点了点头。
——小样儿，我还治不了你们了？
——我告诉你们，我这里看起来简单，但是难得要死的问题是要多少有多少。
王崎刚才问出的问题，其实就是“测度论”当中的重要部分。而它的解答，在地球被称作“勒贝格积分”。在这个世界，它作为离宗的经典，由歌庭派完成。
尽管这只是算主辉煌人生的一个小小注脚，但是大多数人都知晓，若是有万法门弟子吃透了这个，那么升到炼虚期都不会有什么障碍。
没有接触过主流数学的天才人物需要多久才能彻底想明白这个问题呢？
格罗滕迪克高中时期花了三年。
“想要解释这个问题，就得先从集合论谈起了。”王崎说着，开始讲解集合里面最初的内容。集合、淄即、元素、并集、交集、补集等等。
这些内容全部都是面向普通高中生的。大约三五节课，地球上的普通高中生就能够掌握这方面的内容。而王崎现在的这些学生起码都是化形期的高阶妖族，记忆力更加强大，他只花了一个小时，就保证让他们掌握了那些集合的基本概念。
当然，也真的只是基本概念而已。
“接下来，我们可以引入一些更加复杂的概念，比如说‘无穷大’。‘无穷大’这个概念也很复杂。我知道，在算学之外，这个概念也被一些人讨论。或许你们当中有一些人就思考过这样的问题——什么叫无穷大。而现在，丢掉你们脑子当中那些玄之又玄的定义。在算学里，无穷只有已知的两种。可数无穷和不可数无穷。所有整数的集合便被称为‘可数无穷’。不可数无穷比可数无穷更大，不存在比可数无穷更小的无穷……”
“所有实数的集合就是一个不可数无穷。而所有与‘所有实数的集合’等势的集合，就被称作‘连续统’。”讲话到这里，王崎笑了一下：“顺便一提，这个系统里面有相当一部分东西就是我证明的。换言之，这是我悟出来的东西。这一点必须强调一下。”
奧流脸色铁青。
“我本人和‘连续统假设’的故事，有空再讲给你们听。总而言之，你们知道这么个概念就行了。若要问‘可数无穷’和‘不可数无穷’之间的区别，那就简单说一下吧——这或许就是无大小的点到线与面之间的奥妙。”
“现在回到主题。我们通常所说的长度面积体积这些词，究竟是什么意思？”王崎双手撑在讲桌上：“为了更清楚的阐明这个主题，让我们把目光只集中在最简单的一维情形，也就是说，我们只考虑‘长度’这个词。我们希望，取出直线上的一部分，就有一个‘长度’存在。如果能做到这一点，那么类似的，面积和体积之类的字眼也可以类似的得以理解。”
“首先，我们可以做出这样的定义。一个直线，就是一个巨大的点集。”
“这个点集的每一个子集，包括它自身，都存在‘势’。这个势就是一个测度。”
“两个彼此本身不相交的子集的并集——也就是这个大点集的另一个子集，也有测度并且这个测度应该等于两者之和。简单来说，两个不相交不重叠的线段的总长度，就可以视作是它们各自长度的总和。”
“更进一步，三个不相交子集的测度之和也应该等于这三个子集并起来的集合的测度，四个也好，五个也好，依此类推，无穷个不相交子集的测度之和也应该等于把它们并起来得到的集合的测度。”
说到这里，王崎郑重地说道：“接下来，我们就可以做出最终的定义了。”
“一，空集对应的测度是零。二，若干个彼此不相交的子集，它们并在一起得到的子集的测度，刚好等于这些子集各自测度之和。三，如果把直线看作实数轴，那么从数轴上子点到丑点的线段对应的测度应当等于丑减去子。”
接着，王崎闭上眼睛，表情肃穆。
“就是人们通常所说的‘长度’的严密定义，而且是唯一正确的定义。”
当然，这句话略有些夸张。王崎刚才讲述的勒贝格测度【在这个世界，它被唤作“歌庭测度”】，只是测度当中的一种。事实上，这个世界也会存在其他测度体系。数学上也承认不同于这种测度的其他测度。
比如，地球物理学当中会涉及的另一种测度，狄拉克测度【本世界也唤作“无量测度”】
这就让很多数学家相信，实际上还有更加具有普遍性的测度，只是人类还没有理解到那一步。
但是，就现阶段来说，“长度”这个词得到了严格的定义，人类对算学的认知也到了更深的层次。
有那么一瞬间，奧流真的被震慑到了。他惊叹于这种严密的智慧。但是他依旧问道：“这有什么用呢？这不过是在玩文字游戏。这种游戏，我可以玩上一天……”
“是啊，有什么用呢。”身形一闪，王崎再一次出现在奧流的面前：“这个定义，恰好能让你意识到自身的渺小啊。”
第二十五章 教师
奧流站了起来：“自身如何渺小，我是没体会到的。我只体会到了你们人族的自大。”
“你绕来绕去的说了一大堆，也只是有意让人听不懂的话。这也就罢了。长度唯一正确的定义？”他站了起来，愤怒的呵斥：“这只是你们人族对这个词的理解而已，给我少用这种自以为掌握绝对真理的口气说话。”
“是么？”王崎挖挖耳朵：“难道长度还可能有别的理解不成？”
奧流愤愤不平：“所谓的‘长度’，本就是一个朦胧的概念。大家都能明白，也用不着你们这些大而无当的理论来解释……”
“哦，能够把说不明白的东西说明白，不是很厉害吗？”王崎这次干脆就不看奧流的脸了。
“那也只是你自己的说辞。”奧流强行不让自己发作：“每一个人都能对它产生自己的理解。”
“自己的理解啊。”王崎抬起眼皮：“你也有啊？”
奧流点点头：“在我看来，长度这个词是……”
“啊，我没问你你是怎么看的。你就回答我有或者没有就行了。”王崎道：“看来是有了……”
“那是自然。”奧流哼了一声。他素来以“灵机”而著名，颇有一些急智。刚才王崎讲解勒贝格测度的时候，他就已经明白这个“文字游戏”的游戏规则了——至少他自己是这么觉得的。