第一百四十九章:现场证明(1 / 2)

“林宇,你确定不是在开玩笑?”

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

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

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

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

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

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

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

“真的是NS方程解?”

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

“嗯。”

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

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

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

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

“没有。”

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

“……”

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

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

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

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

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

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

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

“呃……”

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

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

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

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

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

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

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

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

航天母舰?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

拓扑函数!

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

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

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

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

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

“所以,对于连续dpo L,我们有一些基本性质。

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

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

3.αL是连续格。

……

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

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

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

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

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