五条悟的“无限”背后，藏着哪些数学？

今天读到一篇很有意思的数学小论文，来自于牛津大学最近的一场数学竞赛，题目是 Mathematics Behind Jujutsu Kaisen: Gojo Satoru’s Infinity。它做了一件很有意思的事：把《咒术回战》里五条悟的“无下限术式”当成一个数学对象来分析。

这类文章很容易写成段子，但这篇不太一样。它没有停留在“动漫设定真有趣”这个层面，而是真的把五条悟的术式一路带入到数学理论中进行分析。它真正讨论的问题是：

如果“无下限术式”不是一句中二台词，而是一种空间机制，那么数学会怎么看它？本文中把他的无下限术式就称作“无限（Infinity）”。

从芝诺悖论开始：无限步骤不等于无法抵达

五条悟解释“无限”的方式，其实很像一个古老的哲学悖论：芝诺悖论。

芝诺说，阿喀琉斯要追上乌龟，必须先到达乌龟原来的位置；但在这段时间里，乌龟又往前走了一点。于是阿喀琉斯还要再到达乌龟新的旧位置，而乌龟又继续往前。这个过程可以无限拆分，所以阿喀琉斯似乎永远追不上乌龟。

五条悟的“无限”看起来也是同一个结构：攻击者和五条之间总有一段距离，这段距离可以不断减半。攻击先走过剩余距离的一半，再走过剩余的一半，再走过剩余的一半。于是，在攻击者真正碰到五条之前，好像永远隔着无穷多个步骤。

这里的关键是：“无限多个步骤”并不必然意味着“永远无法完成”。

原因在于，这些步骤的长度不是固定的，而是越来越小。最典型的例子就是：

$$ \frac12+\frac14+\frac18+\frac1{16}+\cdots=1 $$

这叫几何级数。简单说，如果每一项都按固定比例缩小，而且这个比例小于 1，那么无穷多项也可能收敛到一个有限值。

所以，从几何级数的角度看，五条悟的“无限”其实很脆弱。攻击者虽然要穿过无穷多个细分区间，但这些区间的总长度仍然可以是有限的。只要速度和时间允许，数学上并不存在“永远到不了”的障碍。

这也是这篇论文第一个很有意思的判断：如果只把“无限”理解成距离的无限细分，它并不能构成真正的防御。

勒贝格测度：无穷多个点，也可能没有长度

论文接着引入了一个更专业的概念：勒贝格测度。

这个词听起来有点吓人，但它讨论的问题其实很朴素：一个集合在实线上到底占据多长？

比如区间 $[0,1]$ 的长度是 1，区间 $[2,5]$ 的长度是 3。这都符合直觉。但如果一个集合不是连续区间，而是一堆点呢？比如：

$$ Z=\left{\frac12,\frac34,\frac78,\ldots\right} $$

这个集合有无穷多个点，而且这些点越来越靠近 1。直觉上它很“密”，但勒贝格测度告诉我们：它的长度仍然是 0。

为什么？因为每个点都可以用一个非常非常小的开区间盖住。第一个点用长度 $\varepsilon/2$ 的区间盖住，第二个点用长度 $\varepsilon/4$ 的区间盖住，第三个点用长度 $\varepsilon/8$ 的区间盖住。所有覆盖区间的总长度是：

$$ \frac{\varepsilon}{2}+\frac{\varepsilon}{4}+\frac{\varepsilon}{8}+\cdots=\varepsilon $$

而 $\varepsilon$ 可以任意小，所以这个集合的测度就是 0。

这件事对理解“无限”很重要。因为如果五条悟的屏障只是由这些细分点构成，那么它虽然包含无穷多个点，却在普通欧氏空间中不占任何长度。用测度论的话说，它是一个“零测集”。

这就把问题逼到了一个更深的位置：

如果这些点本身没有长度，那攻击为什么还是会停下来？

真正的防御不在“点”，而在“尺子”

论文后半部分转向黎曼几何。这里的解释开始变得更接近“术式”的味道。

我们平时说两点之间距离是多少，默认使用的是欧氏距离。比如在二维平面中：

$$ ds^2=dx^2+dy^2 $$

但在黎曼几何中，空间可以是弯曲的，距离的计算方式也可以随位置变化。更一般地，距离写作：

$$ ds^2=\sum_{ij}g_{ij}dx_i dx_j $$

这里的 $g_{ij}$ 叫做度量张量。可以把它理解成“空间里的尺子规则”。同样走出一步 $dx$，在不同位置可能对应不同的实际距离 $ds$。

这就是论文对五条悟“无限”的关键解释：它不只是把距离切成无穷多份，而是改变了空间本身的度量。

远离五条时，空间的尺子还是正常的，走 0.1 米就是 0.1 米。越靠近五条，度量因子越大，同样 0.1 米的物理位移，在攻击者体验中可能变成 1 米、10 米、100 米，甚至趋向无穷。

这比“无限减半”要强得多。

因为几何级数只能说明“无限细分不一定挡得住攻击”，勒贝格测度也只能说明“无穷多个点可能不占长度”。但如果空间的度量本身被改变，那么问题就不再是普通距离能不能走完，而是攻击者所处的空间规则已经被改写了。

用一句话概括就是：

五条悟真正强的地方，不是制造了很多点，而是换了一把不同刻度的尺子。

为什么宿傩的“解”能绕过无限？

论文最后把问题推进到拓扑。

拓扑学关心的不是长度、角度这些精细量，而是更基础的结构，比如连续性、连通性、边界是否被切断等。放在五条悟的“无限”里，关键对象就是那个描述空间拉伸程度的函数 $\Omega(x)$。

只要 $\Omega(x)$ 是连续的，攻击者就必须沿着空间一步步接近五条。越接近，度量越大，距离体验越被拉长。普通攻击无论多快，都要服从这个连续空间里的规则。

但魔虚罗和宿傩做的事情不是“穿过无限”，而是“切开承载无限的空间”。

这就是“解”斩世界的数学含义：它不再把五条悟本人作为目标，也不再试图跨越那些细分点，而是直接攻击空间的连续性。一旦空间被切开，原本定义在这个空间上的度量函数就失去了跨越切口的意义。

所以，宿傩不是用更大的力气突破了五条悟的无限。他是改变了问题本身。

这也是论文里最精彩的地方。一个看似战斗设定的问题，最后被翻译成了一个数学问题：

如果一个防御机制依赖“空间是连续的”，那当攻击直接切断空间连续性时，它还能不能继续生效？

答案显然是否定的。所以五条悟并不是被“穿过”了无限，而是他赖以成立的空间规则被直接切开了。可以说宿傩不是破解了一道防御题，而是把题目所在的纸本身裁开了。

这篇论文真正有意思的地方

我觉得这篇文章最值得分享的地方，不只是它把动漫和数学联系起来，而是它展示了一种很好的解释路径。

同一个“无限”，在不同数学语言中会呈现出完全不同的面貌：

数学语言	它看到的“无限”
几何级数	无穷步骤可以有有限总和，所以无限细分并不自动构成屏障
勒贝格测度	可数无穷多个点的长度可以为 0，所以点集本身不占空间
黎曼几何	改变度量后，同样的物理位移会产生不同的距离体验
拓扑学	如果空间连续性被切断，依赖连续性的防御也会失效

这其实是一个很好的数学教育案例。它让人看到，数学不是只有算题，也不是只有抽象符号。数学更像是一组“看世界的语言”。你换一种语言，问题的核心就会变。

在几何级数里，五条的“无限”不堪一击；在黎曼几何里，它突然变得非常强；在拓扑学里，它又暴露出致命弱点。

这不是矛盾，而是层次不同。

当然，别把数学解释当成官方设定

最后还是要补一句：把纯数学套到虚构世界上，肯定有边界。

《咒术回战》里的咒力、术式、作者意图，并不会真的服从实分析或黎曼几何公理。论文的价值不在于证明“五条悟到底能不能赢”，而在于用一个流行文化设定，把几个抽象数学概念讲得更直观。

这已经足够有价值了。

好的科普不一定要从教科书开头讲起，有时候，从一个动漫设定出发，很容易吸引人来阅读原本复杂难懂的数学知识。