Terence Tao :什么是好数学？ (上)(中)(下)[转]

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

什么是好数学？ (上)

                                       - 作者：Terence Tao    译者：卢昌海

   译者序： 本文译自澳大利亚数学家 Terence Tao 的近作 “What is Good Mathematics?” (arXiv:math/0702396v1 [math.HO])。 Tao 是调和分析、 微分方程、 组合数学、 解析数论等领域的大师级的年轻高手。 2006 年， 31 岁的 Tao 获得了数学界的最高奖 Fields 奖， 成为该奖项七十年来最年轻的获奖者之一。 美国数学学会 (AMS) 对 Tao 的评价是： “他将精纯的技巧、 超凡入圣的独创及令人惊讶的自然观点融为一体”。 著名数学家 Charles Fefferman (1978 年的 Fields 奖得主) 的评价则是： “如果你有解决不了的问题， 那么找到出路的办法之一就是引起 Terence Tao 的兴趣”。 Tao 虽然已经具有了世界性的声誉， 但由于他的年轻， 多数人 (尤其是数学界以外的人) 对他的了解仍很有限。

   Tao 的这篇短文在一定程度上阐述了他的数学观，在这点上类似于英国数学家 Hardy 的名著《A Mathematician's Apology》， 相信会让许多读者感兴趣 (如果哪位读者想接受 Fefferman 的忠告， 让自己的问题有朝一日引起 Tao 的兴趣，那么读一读这篇文章可能会有所助益:-)。 不过 Tao 的这篇文章远比《A Mathematician's Apology》难读得多。从表面上看， 它不带任何数学公式， 这点甚至比《A Mathematician's Apology》做得更为彻底 (后者还带有一些诸如 12+12=2 之类的公式)， 但实际上， 文章的主要部分 - 即第二节 (对应于译文 中篇 的全部及 下篇 的大部分) - 所涉及的数学概念相当密集， 足以给非数学专业的读者造成很大的困难，因此译文对译者知识所及且能用简短方式加以说明的若干概念进行了注释。 本译文略去了原文的摘要、 文献及正文中单纯与文献有关的个别文句 (即诸如 “感兴趣的读者请参阅某某文献” 之类的文句)。

   本译文末尾附有 Alain Connes (1982 年的 Fields 奖得主) 在一篇 blog 文字中对 Tao 这篇文章的 负面评论。

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏7 回帖

关键词：Terence erence NCE mathematics Mathematic 数学

1. 数学品质的诸多方面

   我们都认为数学家应该努力创造好数学。 但 “好数学” 该如何定义？ 甚至是否该斗胆试图加以定义呢？ 让我们先考虑前一个问题。 我们几乎立刻能够意识到有许多不同种类的数学都可以被称为是 “好” 的。 比方说， “好数学” 可以指 (不分先后顺序)：

好的数学题解 (比如在一个重要数学问题上的重大突破)；
好的数学技巧 (比如对现有方法的精湛运用， 或发展新的工具)；
好的数学理论 (比如系统性地统一或推广一系列现有结果的概念框架或符号选择)；
好的数学洞察 (比如一个重要的概念简化， 或对一个统一的原理、 启示、 类比或主题的实现)；
好的数学发现 (比如对一个出人意料、 引人入胜的新的数学现象、 关联或反例的揭示)；
好的数学应用 (比如应用于物理、 工程、 计算机科学、 统计等领域的重要问题，或将一个数学领域的结果应用于另一个数学领域)；
好的数学展示 (比如对新近数学课题的详尽而广博的概览， 或一个清晰而动机合理的论证)；
好的数学教学 (比如能让他人更有效地学习及研究数学的讲义或写作风格， 或对数学教育的贡献)；
好的数学远见 (比如富有成效的长远计划或猜想)；
好的数学品味 (比如自身有趣且对重要课题、 主题或问题有影响的研究目标)；
好的数学公关 (比如向非数学家或另一个领域的数学家有效地展示数学成就)；
好的元数学 (比如数学基础、 哲学、 历史、 学识或实践方面的进展)； [译者注： 此处 “元数学” 译自 “meta-mathematics”， 不过这里所举的有些内容， 如历史、 实践等，通常并不属于元数学的范畴。]
严密的数学 (所有细节都正确、 细致而完整地给出)；

美丽的数学 (比如 Ramanujan 的令人惊奇的恒等式； 陈述简单漂亮， 证明却很困难的结果)；
优美的数学 (比如 Paul Erdős 的 “来自天书的证明” 观念； 通过最少的努力得到困难的结果)； [译者注： “来自天书的证明” 译自 “proofs from the Book”。 Paul Erdős 喜欢将最优美的数学证明说成是来自 “The Book” (我将之译为 “天书”)， 他有这样一句名言： 你不一定要相信上帝，但应该相信 “The Book”。 Erdős 去世后的第三年， 即 1998 年， Martin Aigner 和 Günter M. Ziegler 以《来自天书的证明》为书名出版了一本书，收录了几十个优美的数学证明， 以纪念 Erdős。]
创造性的数学 (比如本质上新颖的原创技巧、 观点或各类结果)；
有用的数学 (比如会在某个领域的未来工作中被反复用到的引理或方法)；
强有力的数学 (比如与一个已知反例相匹配的敏锐的结果， 或从一个看起来很弱的假设推出一个强得出乎意料的结论)；
深刻的数学 (比如一个明显非平凡的结果， 比如理解一个无法用更初等的方法接近的微妙现象)；
直观的数学 (比如一个自然的、 容易形象化的论证)；
明确的数学 (比如对某一类型的所有客体的分类； 对一个数学课题的结论)；
其它[注一]。

本帖隐藏的内容

如上所述， 数学品质这一概念是一个高维的 (high-dimensional) 概念， 并且不存在显而易见的标准排序[注二]。我相信这是由于数学本身就是复杂和高维的， 并且会以一种自我调整及难以预料的方式而演化；上述每种品质都代表了我们作为一个群体增进对数学的理解及运用的不同方式。 至于上述品质的相对重要性或权重， 看来并无普遍的共识。这部分地是由于技术上的考虑： 一个特定时期的某个数学领域的发展也许更易于接纳一种特殊的方法； 部分地也是由于文化上的考虑：任何一个特定的数学领域或学派都倾向于吸引具有相似思维、 喜爱相似方法的数学家。 它同时也反映了数学能力的多样性：不同的数学家往往擅长不同的风格， 因而适应不同类型的数学挑战。

   我相信 “好数学” 的这种多样性和差异性对于整个数学来说是非常健康的，因为它允许我们在追求更多的数学进展及更好的理解数学这一共同目标上采取许多不同的方法， 并开发许多不同的数学天赋。虽然上述每种品质都被普遍接受为是数学所需要的品质， 但牺牲其它所有品质为代价来单独追求其中一两种却有可能变成对一个领域的危害。考虑下列假想的 (有点夸张的) 情形：

一个领域变得越来越华丽怪异， 在其中各种单独的结果为推广而推广， 为精致而精致，而整个领域却在毫无明确目标和前进感地随意漂流。
一个领域变得被令人惊骇的猜想所充斥， 却毫无希望在其中任何一个猜想上取得严格进展。
一个领域变得主要通过特殊方法来解决一群互不关联的问题， 却没有统一的主题、 联系或目的。
一个领域变得过于枯燥和理论化， 不断用技术上越来越形式化的框架来重铸和统一以前的结果，后果却是不产生任何令人激动的新突破。
一个领域崇尚经典结果， 不断给出这些结果的更短、 更简单及更优美的证明，但却不产生任何经典著作以外的真正原创的新结果。
   在上述每种情形下，有关领域会在短期内出现大量的工作和进展， 但从长远看却有边缘化和无法吸引更年轻的数学家的危险。 幸运的是， 当一个领域不断接受挑战，并因其与其它数学领域 (或相关学科) 的关联而获得新生， 或受到并尊重多种 “好数学” 的文化熏陶时， 它不太可能会以这种方式而衰落。这些自我纠错机制有助于使数学保持平衡、 统一、 多产和活跃。

来看看

现在让我们转而考虑前面提出的另一个问题，即我们到底该不该试图对 “好数学” 下定义。 下定义有让我们变得傲慢自大的危险， 特别是，我们有可能因为一个真正数学进展的奇异个例不满足主流定义[注三]而忽视它。 另一方面， 相反的观点 - 即在任何数学研究领域中所有方法都同样适用并该得到同样资源[注四]， 或所有数学贡献都同样重要 - 也是有风险的。那样的观点就其理想主义而言也许是令人钦佩的， 但它侵蚀了数学的方向感和目的感，并且还可能导致数学资源的不合理分配[注五]。 真实的情形处于两者之间， 对于每个数学领域， 现存的结果、 传统、直觉和经验 (或它们的缺失) 预示着哪种方法可能会富有成效， 从而应当得到大多数的资源； 那种方法更具试探性，从而或许只要少数有独立头脑的数学家去进行探究以避免遗漏。 比方说， 在已经发展成熟的领域， 比较合理的做法也许是追求系统方案，以严格的方式发展普遍理论， 稳妥地延用卓有成效的方法及业已确立的直觉； 而在较新的、 不太稳定的领域，更应该强调的也许是提出和解决猜想， 尝试不同的方法， 以及在一定程度上依赖不严格的启示和类比。 因此， 从策略上讲比较合理的做法是，在每个领域内就数学进展中什么品质最应该受到鼓励做一个起码是部分的 (但与时俱进的) 调查，以便在该领域的每个发展阶段都能最有效地发展和推进该领域。 比方说， 某个领域也许急需解决一些紧迫的问题；另一个领域也许在翘首以待一个可以理顺大量已有成果的理论框架， 或一个宏大的方案或一系列猜想来激发新的结果；其它领域则也许会从对关键定理的新的、 更简单及更概念化的证明中获益匪浅； 而更多的领域也许需要更大的公开性，以及关于其课题的透彻介绍， 以吸引更多的兴趣和参与。 因此， 对什么是好数学的确定会并且也应当高度依赖一个领域自身的状况。这种确定还应当不断地更新与争论， 无论是在领域内还是从通过旁观者。 如前所述， 有关一个领域应当如何发展的调查， 若不及时检验和更正，很有可能会导致该领域内的不平衡。

上面的讨论似乎表明评价数学品质虽然重要，却是一件复杂得毫无希望的事情， 特别是由于许多好的数学成就在上述某些品质上或许得分很高， 在其它品质上却不然； 同时，这些品质中有许多是主观而难以精确度量的 (除非是事后诸葛)。 然而， 一个令人瞩目的现象是[注六]：上述一种意义上的好数学往往倾向于引致许多其它意义上的好数学， 由此产生了一个试探性的猜测，即有关高品质数学的普遍观念也许毕竟还是存在的， 上述所有特定衡量标准都代表了发现新数学的不同途径，或一个数学故事发展过程中的不同阶段或方面。



注释

上述列举无意以完备自居。 尤其是， 它主要着眼于研究性数学文献中的数学， 而非课堂、教材或自然科学等接近数学的学科中的数学。
特别值得指出的是数学严格性虽然非常重要， 却只是界定高品质数学的因素之一。
一个相关的困难是， 除了数学严格性这一引人注目的例外， 上述品质大都有点主观， 因而含有某种不精确性与不确定性。 我们感谢 Gil Kalai 强调了这一点。
稀缺资源的例子包括钱、 时间、 注意力、 才能及顶尖刊物的版面。
这一问题的另一个解决方法是利用数学资源也是多维这一事实。 比如人们可以为展示、 创造性等等设立奖项，或为不同类型的成果设立不同的杂志。 我感谢 Gil Kalai 对这一点的洞察。
这一现象与 Wigner 所发现的 “数学的不合理有效性” (unreasonable effectiveness of mathematics) 有一定的关联。 [译者注： Wigner 的这一说法见于他 1960 年发表的文章 The Unreasonable Effectiveness of Mathematics in the Natural Sciences。]

什么是好数学？ (中)

                                        - 作者：Terence Tao    译者：卢昌海



2. 个例研究： Szemerédi 定理

   现在我们从一般转向特殊， 通过考察 Szemerédi 定理 - 那个声称任何具有正 (上) 密度的整数子集必定包含任意长度算术序列的漂亮而著名的结果 - 的内容及历史来说明上段所述的现象。这里我将避免所有的技术细节。 [译者注： 1. 整数子集 A 的 “上” 密度， 指的是 lim supN→∞ |A∩[-N,N]|/2N， 其中序列 aN 的上极限 lim supN→∞ aN 定义为 AN=supk≥N ak 的极限。 2. 算术序列 (在后文中有时被简称为序列) 指的是由整数组成的等差序列，序列中的整数个数称为算术序列的长度。]

   这个故事有许多个自然的切入点。 我将从 Ramsey 定理 - 任何有限着色的足够大的完全图必定包含大的单色完全子图 (比如任意六人中必有三人要么彼此相识， 要么彼此陌生， 假定 “相识” 是一个有良好定义的对称关系) - 开始。 这个很容易证明 (无需用到比迭代鸽笼原理更多的东西) 的结果代表了一种新现象的发现，并且开辟了一系列新的数学结果： Ramsey 型定理。 这些定理中的每一个都是数学上一个新近洞察的观点 “完全无序是不可能的” 的不同表述。 [译者注： 1. 完全图指的是任意两个顶点间都有边相连的图。 2. 鸽笼原理也叫 Dirichlet 抽屉原理， 它最简单的版本指的是将 n>k 件东西放入 k 个容器中， 其中至少有一个容器含有多于一件东西。]

最早的 Ramsey 型定理之一 (事实上比 Ramsey 定理还早了几年) 是 van der Waerden 定理： 给定整数集的一个有限着色，其中必有一个单色类包含任意长度算术序列。 van der Waerden 的高度递归的证明非常优美， 但有一个缺点，那就是它给出的出现第一个给定长度算术序列的定量下界弱得出奇。 事实上， 这个下界含有序列长度和着色种数的 Ackermann 函数。 Erdös 和 Turán 所具有的良好数学品位， 以及希望在 (当时还是猜想的) 素数是否包含任意长度算术序列这一问题上获取进展的企图， 使他们对这一定量问题做了进一步的探究[注七]。他们推进了一些很强的猜想， 其中一个成为了 Szemerédi 定理； 另一个则是一个漂亮 (但尚未证明) 的更强的命题，它声称任何一个倒数和非绝对可和的正整数集都包含任意长度算术序列。 [译者注： 1. 译文 “定量下界” 所对应的原文是比较笼统的 “quantitative bounds” (即未指明是上界还是下界)。 2. Ackermann 函数 A(m,n) (其中 m、 n 为非负整数) 的递归定义是： A(0,n)=n+1； A(m,0)=A(m-1,1)； A(m,n)=A(m-1,A(m,n-1))， 它的增长速度快于任何初等递归函数 (包括指数函数)。 3. Tao 对 Erdös 和 Turán 所提出的 “更强的命题” 的表述略显冗余， 其中 “非绝对可和” 可简化为 “非可和” 或 “发散” (因为他所讨论的是正整数集)。]

   在这些猜想上的第一个进展是一系列反例， 最终汇集为 Behrend 对不存在长度 3 算术序列的适度稀疏集 (对于任意给定的 ε， 这个集合在 {1, ..., N} 中的密度渐近地大于 N-ε) 的优美构造。 这一构造排除了 Erdös-Turán 猜想中最具野心的部分 (它猜测多项稀疏集包含大量的序列)， 而且还排除了很大一类解决这些问题的方法 (比如那些基于 Cauchy-Schwarz 或 Hölder 之类不等式的方法)。 这些例子虽不能完全解决问题， 但它们表明 Erdös-Turán 猜想若成立， 将需要一个非平凡的 (从而想必是有趣的) 证明。

下一个主要进展来自于 Roth，他以一种优美的方式运用 Hardy-Littlewood 的圆法[注八]及一种新的方法 (密度增量论证)，确立了 Roth 定理： 每一个密度为正的整数集都包含无穷多个长度 3 序列。 接下去很自然的就是试图将 Roth 的方法推广到更长的序列。 Roth 和许多其他人在这方面花费了好几年的时间， 却没能取得完全的成功。 困难的起因直到很久之后才由于 Gowers 的工作而得到显现。 问题的解决则依靠了 Endré Szemerédi 的惊人才华， 他重新回到了纯粹的组合方法上 (特别是， 把密度增量论证推进到了一个令人瞩目的技术复杂度上)， 将 Roth 的结果首先推广到长度 4[注九]， 然后到任意长度， 从而确立了他的著名定理。 Szemerédi 的证明是一项技术绝活，它引进了许多新想法和新技巧， 其中最重要的一个是引进了看待极端复杂图的新方法， 即通过有界复杂模型来取近似。 这一结果， 即著名的 Szemerédi 正规性引理 (Szemerédi regularity lemma)， 在很多方面都引人注目。 如上所述，它给出了有关复杂图结构的全新洞察 (在现代术语中， 这被视为那些图的结构定理和紧致定理)；它提供了一种将在本故事后面部分变得至关重要的新的证明方法 [能量增量方法 (energy increment method)]；它还导致了从图论到性质检验到加性组合学的数量多得难以置信的意外应用。 可惜的是， 正规性引理的完整故事太过冗长， 无法在这里加以叙述。 [译者注： 1. 密度增量论证 (density increment argument) 的含义在 下篇 中将有所提及。 2. 性质检验 (property testing) 是图论及组合学中一类相当困难的判定问题。 3. 加性组合学 (additive combinatorics) 是一个旨在研究集合中加性结构的数学分支。]

   Szemerédi 的成就无疑是本故事的一个重点，但它绝不是故事的终结。 Szemerédi 对其定理的证明虽然初等， 却极为复杂、 不易理解。 并且它也没能完全解决启发 Erdös 和 Turán 进行研究的原始问题， 因为这一证明本身在两个关键地方用到了 van der Waerden 定理，从而无法改进该定理中的定量下界。 接下来是 Furstenberg， 他的数学品位使他试图寻找一种本质上不同的 (高度非初等的[注十]) 证明， 他所依据的是组合数论与各态历经理论之间富有远见的类比，这一类比很快被他表述为很有用的 Furstenberg 对应原理。从这个原理[注十一]人们可以很容易地得出结论： Szemerédi 定理等价于保测体系中的多重回归定理，由此可以很自然地直接运用各态历经理论中的方法， 特别是通过考察这种体系中各种可能的分类及结构分解 (比如各态历经分解)，来证明这一定理 (现在被称为 Furstenberg 回归定理)。 事实上， Furstenberg 很快建立了 Furstenberg 结构定理， 这一定理把所有保测体系都描述为一个平凡体系的一系列紧致拓展 (compact extension) 的弱混合拓展 (weakly mixing extension)。 在这一定理及几个附加论证 (包括 van der Waerden 论证的一个变种) 的基础上可以确立多重回归定理， 从而给出 Szemerédi 定理的一个新的证明。 同样值得一提的是 Furstenberg 还撰写了有关这一领域及相关课题的优秀著作，在对这一领域的成长及发展做出重大贡献的同时对基础理论作了系统的形式化。