高尔斯：数学家如何看透函数的本质

數學家2026年08月21日约 11 分钟

威廉·蒂莫西·高尔斯爵士（Sir William Timothy Gowers），1963年生，英国数学家，1998年菲尔兹奖得主，英国皇家学会院士，剑桥大学Rouse Ball数学教授。

高尔斯的主要贡献横跨泛函分析与组合数学。他解决了巴拿赫空间理论中多个长期悬而未决的问题，更在加性组合学领域引入了革命性的工具——戈尔斯一致性范数（Gowers uniformity norms），为区分数学对象中的随机性与隐藏结构提供了精确的度量。他利用这一工具给出了塞迈雷迪定理的新证明，并获得了首个具有可表述上界的定量版本。近年来，他与合作者格林、曼纳斯、陶哲轩等共同证明了马尔顿猜想在有限挠阿贝尔群中的情形。

高尔斯于1996年获欧洲数学会奖，1999年当选英国皇家学会院士，2012年获授骑士爵位。他还获得过伦敦数学会德摩根奖章及皇家学会西尔维斯特奖章。

在学术研究之外，高尔斯是杰出的数学传播者。他的著作《数学：一个非常简短的介绍》畅销全球，其个人博客在数学界具有广泛影响力，他发起的"Polymath Project"开创了数学家在线协作解决难题的新模式。他主编的《普林斯顿数学指南》（The Princeton Companion to Mathematics）被誉为“21世纪数学的《大英百科全书》”，联合了133位顶尖数学家共同撰写，其中包括阿蒂亚、陶哲轩等多位菲尔兹奖得主。

来源｜Bull LMS及网络公开报道

撰文｜数学家编写小组

引言：三类核心定理与一个统一框架

在数学研究中，人们经常遇到极其复杂的函数或集合。比如素数，那些只能被1和自身整除的数，它们在数轴上分布得时密时疏，看似毫无规律。数学家想要回答一个古老的问题：在素数中，能找到任意长度的等差数列吗？也就是说，对任意给定的长度，是否存在个素数，它们之间的间隔完全相同？

这个问题困扰了数学家上百年。素数太稀疏了，在到之间大约只有个，密度趋近于零。而当时已知的所有定理，几乎都只适用于那些具有"正密度"的集合，也就是在整数中占据一定比例的集合。素数显然不满足这个条件。

这就需要一种全新的思维方式：把复杂的东西拆开来看。

过去二十年间，加性组合学发展出三个具有深远影响的方法论方向，它们分别被称为分解定理、近似结构定理和转移原理。

分解定理是最基础的一类结果。它告诉我们：任何满足基本有界性条件（例如范数不超过）的函数，都可以写成三个部分的和，一个具有明确代数描述的结构化部分、一个在随机性度量下任意小的拟随机部分，以及一个可以忽略的微小误差。这种分解把难以直接分析的复杂函数，转化为一个可显式描述的结构核心、一个可忽略的随机背景和一个小误差的组合。

近似结构定理是分解定理的强化版本。它不仅要求分解存在，还要求结构化部分本身以及它与误差部分的和，都保持在原函数的取值区间内。例如，当原函数是某个集合的指示函数（取值仅为或）时，我们希望结构化部分仍然非负且有上界。这一要求在实际应用中至关重要，因为在计算等差数列数量时，负值会与正值相互抵消，从而破坏所有的下界估计。

转移原理则是从稠密结构向稀疏结构跨越的桥梁。它使得原本无法直接应用稠密集合定理的稀疏函数，能够被"提升"为稠密函数，从而继承稠密情形下的所有计数结论。

本文的核心论点是：上述三类定理的证明都可以归结为同一个凸分离论证。这个论证的核心工具，就是泛函分析中一个著名的定理——哈恩-巴拿赫定理。它将为我们提供一种"非构造性"的存在证明，让我们在不需要具体算出分解结果的情况下，就能断言分解一定存在。

现在，让我们从头开始，一步步理解这个框架是如何搭建的。

三个基本概念：结构、随机与误差

如果让你分析一个函数，你最希望它有什么性质？你希望它“有规律”，这样你就能预测它的行为。但现实中的函数往往不这么友好。

于是数学家提出了一个大胆的想法：把任何函数都看成三部分的叠加。

第一部分叫结构化部分。这部分具有精确的规律，可以用简单的数学公式完全描述。例如，正弦波就是典型的“结构化”函数，它周期性振荡，你知道了开头就能预测结尾。

第二部分叫拟随机部分。这部分虽然不规律，但它的不规律性是“可控的”。就像抛硬币的结果，虽然每次正反不确定，但长期来看正反面各占一半。如果函数的这一部分很小，那么它对整体行为的影响就可以忽略不计。

第三部分叫小误差部分。这就像是测量时的微小噪音，在范数（即平方平均）的意义下可以任意小。

这种"结构+随机+误差"的分解模式，就是整个理论的核心思想。

如何测量“随机性”？

要实现这种分解，首先需要一把“尺子”，能量化一个函数到底有多“随机”。

戈尔斯（W.T. Gowers）在2001年提出了一系列称为“一致性范数”的工具，记作（）。这本质上是统计函数值之间各种关联程度的指标。

最简单的“随机性检测”是这样的：在一个完全随机的集合中，任意四个点之间的关系应该相互抵消，总和接近于零。如果你计算出的数值很大，就说明这个集合内部存在某种隐藏的结构，比如它可能偏向于某种算术模式。

这套检测工具分为不同"阶数"。检测能发现最简单的偏差，检测能发现线性结构（比如等差数列），检测能发现二次结构（比如抛物线模式），依此类推。阶数越高，能发现的规律就越复杂。

更重要的是，戈尔斯证明了所谓的逆定理：如果一个有界函数被检测出有结构（即某个范数较大），那么它必然与某种已知的简单函数相关联。对于检测，这种简单函数就是纯频率的振荡波；对于检测，则是频率按二次方式变化的波。这种对应关系，让数学家能够具体地"抓出"函数中的结构成分。

哈恩-巴拿赫定理：一把万能钥匙

现在我们有了检测随机性的工具，也有了描述结构的对象，但还缺少一个关键的“拆解工具”。

这个工具来自泛函分析中一个著名的定理——哈恩-巴拿赫定理。它听起来很抽象，但核心思想却非常直观：

如果一个点不在某个凸区域内部，那么你就可以画一条直线，把点和这个区域完全分开。

让我们把这个思想翻译到函数拆解的场景中。假设我们已经规定了“什么样的函数是结构化的”、“什么样的函数是拟随机的”以及“多大的误差是可以接受的”。由这三类函数组成的所有可能和，构成了一个“凸区域”。

现在给你一个任意函数。如果在这个凸区域里面，那太好了，它本身就满足分解要求。如果不在里面，那么哈恩-巴拿赫定理保证：存在一个"判决函数"，它能区分和所有可以分解的函数。

接下来是关键步骤：我们证明这个"判决函数"不可能存在。因为如果它能区分，它必然具有某种矛盾的性质，一方面它必须与有很强的关联（才能分开它们），另一方面它又受到"结构化"和"拟随机"条件的双重限制，不可能太强。这种矛盾说明必须在凸区域里面，也就是说，分解一定存在。

这个论证不需要任何具体的计算，纯粹依靠逻辑结构就证明了分解的普遍存在性。这正是哈恩-巴拿赫定理的强大之处，它提供了一种"非构造性"的存在证明。

保持正性：多项式逼近的技巧

上述分解虽然存在，但有一个严重的问题：即使原函数本身取值在到之间（比如它是某个集合的“指示函数”，在集合内取，集合外取），分解出的"结构化部分"却可能变成负数。

这看似是一个小细节，但在实际应用中却是致命的。因为在计算等差数列数量时，你需要在很多点上把这些值乘起来。如果结构化部分在某些点上为负，即使绝对值很小，大量累乘后可能完全抵消掉正面的贡献。

解决办法来自一个古老的数学工具：多项式逼近。魏尔斯特拉斯在19世纪证明了一个定理：任何连续函数都可以用多项式任意精确地逼近。

假设你的结构化部分在某个点上的值超过了允许的上界（比如大于）。你可以通过一个多项式把它“拉回来”，这个多项式在正常范围内几乎等于恒等映射，在超出范围时则平缓地将其截断到边界值。

关键是：多项式的复合不会破坏"结构化"的性质。因为结构化函数的集合在乘法下是封闭的，两个结构化函数的乘积仍然是结构化的。所以经过多项式修正后，新的函数不仅保持了有界性，而且仍然属于结构化类。

这个"钳制"技巧虽然简单，却是整个理论从抽象存在性走向具体可用的关键一步。

从稠密到稀疏：转移原理

现在我们有了分解稠密函数（即在整数中占正比例的函数）的工具。但素数太稀疏了，密度趋近于零，无法直接应用。

格林（Ben Green）和陶哲轩（Terence Tao）在2004年提出了一个绝妙的策略，这就是转移原理。

他们的想法是这样：虽然素数本身是稀疏的，但你可以在素数周围“铺”一层结构，把它变成一个“人工”的稠密集合。具体来说，他们构造了一个称为“伪随机测度”的函数。这个在大多数地方取值接近于（像均匀分布），但在素数附近取值特别大，使得素数的指示函数乘以一个常数后，被所控制。

更重要的是，这个在戈尔斯范数下与常数函数极其接近，也就是说，在统计意义上表现得像一个完全随机且稠密的集合。

然后，他们应用前述的"转移定理"：如果一个被控制的稀疏函数，而又接近于，那么就可以被一个真正的稠密函数（取值在到之间）所近似替代，而且这种替代不会改变等差数列的计数。

最后一步是标准结果：稠密集合一定包含大量的等差数列（这是塞迈雷迪定理及其定量版本的推论）。由于转移保持了等差数列的计数，原来的稀疏集合（素数）也必须包含任意长的等差数列。

这就是格林-陶定理的完整逻辑链条。

更深层的结构：从线性到二次

上面的故事讲的是“一阶”情况，即检测和分解线性结构。但当我们需要处理更复杂的模式时，就需要更高阶的理论。

对于（二阶）情况，结构化函数变成了“广义二次相位函数”，你可以把它想象成频率本身还在变化的波。这类函数有一个麻烦：两个二次相位函数的乘积不再是单纯的二次相位函数，而是变成了四次相位函数。

这破坏了“结构化集合在乘法下封闭”的性质，而这一性质对多项式逼近技巧至关重要。

格林和陶哲轩的解决办法是引入一类称为"基本反一致函数"的对象。这些函数虽然不严格封闭于乘法，但它们的乘积在"对偶范数"意义下仍然有界。这种弱化的封闭性足以支撑起整个转移论证。

对于更高阶的范数（），目前数学家们还缺乏像傅里叶分析那样显式的逆定理描述。但格林和陶哲轩通过引入QAP范数（拟代数预对偶范数）的公理化框架，将前述方法推广到了任意阶。这一框架的核心条件是：基本反一致函数的乘积，其对偶范数存在一个仅依赖于函数个数的上界。只要满足这个条件，所有的分解定理和转移原理依然成立。

结语：抽象工具的穿透力

回顾整个理论的发展，我们可以看到一条从具体问题到抽象框架、再回到具体结论的清晰路径。

最初的问题是素数中是否存在任意长的等差数列，而素数本身的稀疏性构成了最根本的障碍，所有关于稠密集合的定理都无法直接应用。为了跨越这一障碍，格林和陶哲轩提出了转移原理，将稠密集合的结论"搬运"到稀疏集合上。

但转移原理本身并非凭空而来，它依赖于一种普适的函数分解方法，能够把任意函数拆解为结构化部分、拟随机部分和可忽略误差部分的叠加。于是问题进一步回溯到：为什么这样的分解一定存在？

这时，哈恩-巴拿赫定理提供了最终的逻辑底座。它通过凸分离论证，以纯粹抽象的方式保证了分解的普遍存在性。而为了让分解后的函数在后续计算中真正可用，多项式逼近技巧被引入，用以保持结构化部分的有界性和正性。

最后，为了将整个框架推广到任意阶戈尔斯范数，QAP范数的公理化体系被建立起来，使得即使在没有显式逆定理的高阶情形下，分解和转移仍然能够进行。

这个故事的深刻之处在于，一个看似抽象的泛函分析定理，竟然成为解决数论中最前沿问题的核心工具。它告诉我们，在数学中，高层的抽象往往能带来意想不到的穿透力。你不需要直接处理素数本身的复杂分布，而是构造一个更一般的框架，在其中，素数只是满足某些范数条件的一个特例。一旦框架建立，结论就自动适用于框架内的所有对象，包括素数。

这就是现代数学的魅力：通过提升视角，让困难的问题在更高的层面上变得自然甚至平凡。

本文经授权转载自微信公众号“数学家”，校对｜慧玲；责编｜燕北平。