第149章 现场证明（1 / 2）

“林宇，你确定不是在开玩笑？”

好片刻后，陈省身老爷子回过神来，神情不自然的看着一脸淡定的林宇，再度重复问道。

他想过林宇的这次报告题目可能会劲爆，但是没想到会劲爆到这种夸张的程度！

要知道，这可又是一道世界性的千禧难题，只要成功破解，那么它将足以改变整个世界！

甚至，从某些方面来说，NS方程解的难度，就算是比同为世界七大千禧难题的黎曼猜想还要困难。

因为它所需要用到的数学公式，以及各个方面的计算量，那简直不是人能够解决的。

所以，当林宇说出他今天的报告题目是NS方程解后，

对于两位老爷子而言，这已经不算是惊喜，而是惊吓了。

“真的是NS方程解？”

旁边，丘成同老爷子也是忍不住开口问道。

“嗯。”

看着两位老爷子这一脸不相信的模样，林宇轻应了一声，旋即神情认真的说道：“确实是NS方程解。”

当听到林宇这确定性的话语后，即便两位老爷子都已经做好了心理准备，但也还是被这个消息给震住了。

“难道说，你已经成功找到了NS方程的通解了？”半响，陈省身老爷子问出了最关键的问题。

听到这话，旁边的丘成同老爷子也是目光灼热的看向林宇。

“没有。”

见状，林宇不由得轻咳了一声，如实的说道：“现在我还没想到，不过等会上台后，应该就可以去试着现场推算了。”

“……”

在听完林宇的话后，两位老爷子顿时有些无语。

他们原本还以为林宇已经成功破解出NS方程的通解了，结果没想到他竟然连笔都没开始动！

“那你这些天干嘛去了？”

看着眼前一脸淡定的林宇，陈省身老爷子眼角抽了抽，问道。

“在房间里敲代码啊。”林宇理所当然的说道。

林宇不说这个还好，一说这个，旁边的丘成同老爷子顿时就没好气的说道：“我们两个老头子还以为你在房间里准备报告会的题目，所以特意帮你处理IMO大赛的事情，结果你现在和我们说，你竟然在房间里敲代码？”

话到最后，丘成同老爷子的脸色也是越来越黑，很是不爽的看着林宇。

“呃……”

见状，林宇讪讪的笑了笑，旋即连忙解释的说道：“我敲代码是为了另一件重要的事情，而且，这件事情可是比年终报告会还要重要。”

“再说了，我又不是完全没有任何准备，我这不是已经想到等会要证明什么题目了么，到时候现场证明也是一样的。”

话到最后，林宇的语气中也是充满了轻松，仿佛在他眼中，证明NS方程只不过是一件很容易的事情。

感受着林宇话语中的意思后，两位老爷子不由得互相对视一眼，一时间都是有些无言以对。

合着说半天，他们现在才发现，原来就连NS方程解都是林宇刚刚临时想出来的题目……

沉默片刻后，陈省身老爷子仿佛想到什么，突然开口问道：“你是怎么突然想起来要证明NS方程的。”

“嗯，主要原因是，我刚刚才想起来，我们华夏以后在制造航天母舰的时候，在某些方面上，可能会需要用到这个方程式。”

在两位老爷子那呆愣的目光中，林宇缓缓说出了自己的理由。

航天母舰？

华夏什么时候可以制造出这种只存在于科幻中的东西了？

现在不还都是航空母舰么！

两位老爷子互相对视一眼，皆是有些茫然。

恍惚间，他们突然有种自己可能和林宇不是在同一个次元的错觉。

随着时间的推移，报告厅中的人也是越来越多，没一会，整个报告厅就已经座无虚席。

而作为普林斯顿数学系的五大顶尖数学家，德利涅等五人也是相继落座。

在所有人都已经落座后，很快，此次报告会的主持人便是面带微笑的走了上来。

西装、领带、皮鞋，以及打理的一丝不苟的油头。

这是一个长得很帅气的金发男人，身上更是有一种绅士的优雅气质。

主持人在简单的介绍后，报告会便是正式开始。

林宇的报告会是在第二台，时间总共有两个小时。

而等林宇的报告会结束后，时间正好是在中午一点左右，剩下的一个多小时，足够他们所有人赶飞机了。

很快，在主持人简单的介绍下，第一台报告会正式开始。

一个有些秃顶的老教授缓缓站起身，冲着在座的各位点了点头后，这才不紧不慢的走向已经准备好白板的报告台。

“我的报告题目是，函数空间拓扑一致性问题。”老教授站在台上，淡淡的说道。

而在听到完老教授的话后，报告厅所有人的脑海中，都是想到了四个字。

拓扑函数！

拓扑函数覆盖面极其广泛，可以说，它包含了整个数学的绝大部分领域。

而且，因为其难度系数太大，它也一直被数学家们，称为数学界最难攻克的堡垒。

然而，眼前这位老教授却是将目光盯向了它。

这一刻，所有人都是来了精神，一个个目光如炬的看向报告台上的白板。

在众人的目光注视下，老教授神色淡定的拿起黑色记号笔，一边在白板上开始书写，一边缓缓开口说道：“x是一个拓扑空间，a(X)表示它的开集格，拓扑空间x是核紧的，当且仅当Ω(X)是连续格，通常我们认为一个拓扑是紧的是说它是wso紧的……”

“所以，对于连续depoL，我们有一些基本性质。

1.插入性质，xy∈L，x＜y，则存在z∈L，使得x＜z＜y

2{X∈L}是α(L)的基。

3.α(L)是连续格。

……

似乎是为了让人听的更清楚，所以老教授的语速并不快。

但是落在每个人的耳中，却犹如惊雷一般。

因为对于老教授的报告，他们找不出丝毫的漏洞。

大概过了一个多小时之后，当时针指向十点半左右的时候，老教授放下了手中的黑色记号笔，面带微笑的转过身，望着众人。

“我们由此得出结论，当L是带有性质M的具有最小元的连续domain，则函数空间(X-→L)scott拓扑与ISBELL拓扑所有核紧空间X一致。”