第128章 数学需要严谨（3 / 3）

所有人都盯着那些公式，试图跟上望月的思路。

肖宿也在看，但他的方式不同。

他没有试图去理解每一个细节。

他采用的是整体把握的策略，先理解理论的大框架，然后快速扫描关键步骤，寻找可能薄弱的地方。

这是一种需要极强数学直觉的能力。

普通人看证明是一步一步跟着走，而肖宿看证明是同时把握整体结构和局部细节，像一台并行处理的超级计算机。

望月写满了两块黑板。

“因此，对于任意互素的正整数a、b、c满足a+b=c，我们有不等式：c ＜ k(e)·rad(abc)^(1+e)，其中k(e)是只依赖于e的常数。这就是abc猜想。”

他放下粉笔，转身面对听众。

“我的重新表述到此结束。现在，欢迎提问。”

报告厅里出现了短暂的沉默。

然后，法尔廷斯睁开了眼睛。

他没有举手，直接开口，声音低沉而清晰。

“望月教授，在你的定义3.7中，你引入了‘宇宙际联络’的‘挠率项’。我想知道，这个项的选取是否具有唯一性？如果不同选择会导致不同结果，那么整个理论的基础就不牢固。”

一针见血。

望月显然预料到了这个问题，他平静地回答。

“挠率项的选取由底空间的拓扑性质决定，具体来说，与伽罗瓦群的上同调类有关。在附录c的引理c.2中，我证明了这种选取在等价意义下是唯一的。”

“但你的等价定义依赖于你自己引入的‘弱宇宙际等价’概念，”法尔廷斯继续说，“而这个概念又依赖于之前定义的‘局部联络形态’。这是一个循环定义。”

“不是循环，是归纳构造，”望月纠正，“我从简单情形开始定义，逐步推广。这在现代数学中很常见。”