第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中，我证明了这种选取在等价意义下是唯一的。”
“但你的等价定义依赖於你自己引入的『弱宇宙际等价』概念，”法尔廷斯继续说，“而这个概念又依赖於之前定义的『局部联络形態』。这是一个循环定义。”
“不是循环，是归纳构造，”望月纠正，“我从简单情形开始定义，逐步推广。这在现代数学中很常见。” ↑返回顶部↑
他採用的是整体把握的策略，先理解理论的大框架，然后快速扫描关键步骤，寻找可能薄弱的地方。
这是一种需要极强数学直觉的能力。
普通人看证明是一步一步跟著走，而肖宿看证明是同时把握整体结构和局部细节，像一台並行处理的超级计算机。
望月写满了两块黑板。
“因此，对於任意互素的正整数a、b、c满足a+b=c，我们有不等式：c ＜ k(e)·rad(abc)^(1+e)，其中k(e)是只依赖於e的常数。这就是abc猜想。”
他放下粉笔，转身面对听眾。
“我的重新表述到此结束。现在，欢迎提问。”
报告厅里出现了短暂的沉默。
然后，法尔廷斯睁开了眼睛。
他没有举手，直接开口，声音低沉而清晰。
“望月教授，在你的定义3.7中，你引入了『宇宙际联络』的『挠率项』。我想知道，这个项的选取是否具有唯一性？如果不同选择会导致不同结果，那么整个理论的基础就不牢固。”
一针见血。
望月显然预料到了这个问题，他平静地回答。
“挠率项的选取由底空间的拓扑性质决定，具体来说，与伽罗瓦群的上同调类有关。在附录c的引理c.2中，我证明了这种选取在等价意义下是唯一的。”
“但你的等价定义依赖於你自己引入的『弱宇宙际等价』概念，”法尔廷斯继续说，“而这个概念又依赖於之前定义的『局部联络形態』。这是一个循环定义。”
“不是循环，是归纳构造，”望月纠正，“我从简单情形开始定义，逐步推广。这在现代数学中很常见。” ↑返回顶部↑