威廉·蒂莫西·高尔斯爵士（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
引言：三类核心定理与一个统一框架
在数学研究中，人们经常遇到极其复杂的函数或集合。比如素数，那些只能被1和自身整除的数，它们在数轴上分布得时密时疏，看似毫无规律。数学家想要回答一个古老的问题：
趋近于零。而当时已知的所有定理，几乎都只适用于那些具有\"正密度\"的集合，也就是在整数中占据一定比例的集合。素数显然不满足这个条件。
这就需要一种全新的思维方式：把复杂的东西拆开来看。
过去二十年间，加性组合学发展出三个具有深远影响的方法论方向，它们分别被称为分解定理、近似结构定理和转移原理。
机性度量下任意小的拟随机部分，以及一个可以忽略的微小误差。这种分解把难以直接分析的复杂函数，转化为一个可显式描述的结构核心、一个可忽略的随机背景和一个小误差的组合。
近似结构定理是分解定理的强化版本。它不仅要求分解存在，还要求结构化部分本身以及它与误差部分的和，都保持在原函数的取值区间内。例如，当原函数是某个集合的指示函数（取值仅为
0或1）时，我们希望结构化部分仍然非负且有上界。这一要求在实际应用中至关重要，因为在计算等差数列数量时，负值会与正值相互抵消，从而破坏所有的下界估计。
转移原理则是从稠密结构向稀疏结构跨越的桥梁。它使得原本无法直接应用稠密集合定理的稀疏函数，能够被\"提升\"为稠密函数，从而继承稠密情形下的所有计数结论。
本文的核心论点是：上述三类定理的证明都可以归结为同一个凸分离论证。这个论证的核心工具，就是泛函分析中一个著名的定理——哈恩-巴拿赫定理。它将为我们提供一种\"非构造性\"的存在证明，让我们在不需要具体算出分解结果的情况下，就能断言分解一定存在。
现在，让我们从头开始，一步步理解这个框架是如何搭建的。
2
三个基本概念：结构、随机与误差
如果让你分析一个函数，你最希望它有什么性质？你希望它“有规律”，这样你就能预测它的行为。但现实中的函数往往不这么友好。
于是数学家提出了一个大胆的想法：把任何函数都看成三部分的叠加。
第一部分叫结构化部分。这部分具有精确的规律，可以用简单的数学公式完全描述。例如，正弦波就是典型的“结构化”函数，它周期性振荡，你知道了开头就能预测结尾。
第二部分叫拟随机部分。这部分虽然不规律，但它的不规律性是“可控的”。就像抛硬币的结果，虽然每次正反不确定，但长期来看正反面各占一半。如果函数的这一部分很小，那么它对整体行为的影响就可以忽略不计。
这种\"结构+随机+误差\"的分解模式，就是整个理论的核心思想。
3
如何测量“随机性”？
要实现这种分解，首先需要一把“尺子”，能量化一个函数到底有多“随机”。
4
哈恩-巴拿赫定理：一把万能钥匙
现在我们有了检测随机性的工具，也有了描述结构的对象，但还缺少一个关键的“拆解工具”。
这个工具来自泛函分析中一个著名的定理——哈恩-巴拿赫定理。它听起来很抽象，但核心思想却非常直观：
如果一个点不在某个凸区域内部，那么你就可以画一条直线，把点和这个区域完全分开。
让我们把这个思想翻译到函数拆解的场景中。假设我们已经规定了“什么样的函数是结构化的”、“什么样的函数是拟随机的”以及“多大的误差是可以接受的”。由这三类函数组成的所有可能和，构成了一个“凸区域”。
这个论证不需要任何具体的计算，纯粹依靠逻辑结构就证明了分解的普遍存在性。这正是哈恩-巴拿赫定理的强大之处，它提供了一种\"非构造性\"的存在证明。
5
保持正性：多项式逼近的技巧
这看似是一个小细节，但在实际应用中却是致命的。因为在计算等差数列数量时，你需要在很多点上把这些值乘起来。如果结构化部分在某些点上为负，即使绝对值很小，大量累乘后可能完全抵消掉正面的贡献。
解决办法来自一个古老的数学工具：多项式逼近。魏尔斯特拉斯在19世纪证明了一个定理：任何连续函数都可以用多项式任意精确地逼近。
假设你的结构化部分在某个点上的值超过了允许的上界（比如大于1）。你可以通过一个多项式把它“拉回来”，这个多项式在正常范围内几乎等于恒等映射，在超出范围时则平缓地将其截断到边界值。
关键是：多项式的复合不会破坏\"结构化\"的性质。因为结构化函数的集合在乘法下是封闭的，两个结构化函数的乘积仍然是结构化的。所以经过多项式修正后，新的函数不仅保持了有界性，而且仍然属于结构化类。
这个\"钳制\"技巧虽然简单，却是整个理论从抽象存在性走向具体可用的关键一步。
6
从稠密到稀疏：转移原理
现在我们有了分解稠密函数（即在整数中占正比例的函数）的工具。但素数太稀疏了，密度趋近于零，无法直接应用。
格林（Ben Green）和陶哲轩（Terence Tao）在2004年提出了一个绝妙的策略，这就是转移原理。
他们的想法是这样：虽然素数本身是稀疏的，但你可以在素数周围“铺”一层结构，把它变成
最后一步是标准结果：稠密集合一定包含大量的等差数列（这是塞迈雷迪定理及其定量版本的推论）。由于转移保持了等差数列的计数，原来的稀疏集合（素数）也必须包含任意长的等差数列。
这就是格林-陶定理的完整逻辑链条。
7
更深层的结构：从线性到二次
上面的故事讲的是“一阶”情况，即检测和分解线性结构。但当我们需要处理更复杂的模式时，就需要更高阶的理论。
身还在变化的波。这类函数有一个麻烦：两个二次相位函数的乘积不再是单纯的二次相位函数，而是变成了四次相位函数。
这破坏了“结构化集合在乘法下封闭”的性质，而这一性质对多项式逼近技巧至关重要。
格林和陶哲轩的解决办法是引入一类称为\"基本反一致函数\"的对象。这些函数虽然不严格封闭于乘法，但它们的乘积在\"对偶范数\"意义下仍然有界。这种弱化的封闭性足以支撑起整个转移论证。
述。但格林和陶哲轩通过引入QAP范数（拟代数预对偶范数）的公理化框架，将前述方法推广到了任意阶。这一框架的核心条件是：基本反一致函数的乘积，其对偶范数存在一个仅依赖于函数个数的上界。只要满足这个条件，所有的分解定理和转移原理依然成立。
8
结语：抽象工具的穿透力
回顾整个理论的发展，我们可以看到一条从具体问题到抽象框架、再回到具体结论的清晰路径。
最初的问题是素数中是否存在任意长的等差数列，而素数本身的稀疏性构成了最根本的障碍，所有关于稠密集合的定理都无法直接应用。为了跨越这一障碍，格林和陶哲轩提出了转移原理，将稠密集合的结论\"搬运\"到稀疏集合上。
但转移原理本身并非凭空而来，它依赖于一种普适的函数分解方法，能够把任意函数拆解为结构化部分、拟随机部分和可忽略误差部分的叠加。于是问题进一步回溯到：为什么这样的分解一定存在？
这时，哈恩-巴拿赫定理提供了最终的逻辑底座。它通过凸分离论证，以纯粹抽象的方式保证了分解的普遍存在性。而为了让分解后的函数在后续计算中真正可用，多项式逼近技巧被引入，用以保持结构化部分的有界性和正性。
最后，为了将整个框架推广到任意阶戈尔斯范数，QAP范数的公理化体系被建立起来，使得即使在没有显式逆定理的高阶情形下，分解和转移仍然能够进行。
这个故事的深刻之处在于，一个看似抽象的泛函分析定理，竟然成为解决数论中最前沿问题的核心工具。它告诉我们，在数学中，高层的抽象往往能带来意想不到的穿透力。你不需要直接处理素数本身的复杂分布，而是构造一个更一般的框架，在其中，素数只是满足某些范数条件的一个特例。一旦框架建立，结论就自动适用于框架内的所有对象，包括素数。
这就是现代数学的魅力：通过提升视角，让困难的问题在更高的层面上变得自然甚至平凡。
本文经授权转载自微信公众号“数学家”，校对｜慧玲；责编｜燕北平。
特 别 提 示
『返朴』提供按月检索功能。关注公众号，回复四位数组成的年份+月份，如“1903”，可获取2019年3月的内容目录，以此类推。
通弘网配资提示：文章来自网络，不代表本站观点。
相关文章
热点资讯
