学霸的军工科研系统 第710节（1 / 4）
一连半个多月，除了偶尔出来吃个饭以外，连睡觉都是在里面解决的。
因为，之前一直通过超算寻找的里奇流截断方式，出结果了。
佩雷尔曼成功给出了两项可以直接通往典范领域假设和长时间存在假设的引理。
即，设m是三维紧致单连通的流形，容易知道它是可定向的，而任意给定m上的度量，通过缩放（scaling）都是是正规的，再以这个正规度量为初始值，就必定可得得到手术化的里奇流。
接下来，只要证明解可以在有限时间内消失，即可由m的单连通推导出m微分同胚于s^3。
也就是整个证明过程中的【定理1】。
庞加莱猜想——任何一个单连通的，闭的三维流形一定同胚于一个三维球面。
而“解可以在有限时间内消失”这件事，正是常浩南需要超算帮他找到的结果。
也就是说，这个证明，已经闭环了。
甚至于，相比于上一世佩雷尔曼在2002年到2003年之间给出的一系列证明，还要更进了一步。
因为，常浩南还顺便处理了证明过程中里奇流会出现“奇异点”的问题。
算是直接给庞加莱猜想这座数学领域的摩天大楼封了顶。
“呼……”
看着面前草稿纸上面的内容，常浩南长舒一口气。
他相信，6000公里外的佩雷尔曼，应该也在做着跟自己一样的事情。
而且，也几乎是一样的进度。
他从旁边端起一杯浓茶，狠狠灌了两口。
在过去，常浩南基本上是只喝白水的。
只不过最近几天，他发现茶叶确实能够带来提神醒脑的效果。
正好前些天才从唐林天那里薅了一些过来，所以就泡上了。
“也算是堵住了一条后来人的路啊……”
就常浩南和佩雷尔曼的证明过程，如果拆分开来，大概能水出十几二十篇《数学年刊》级别的论文。
不对……
都数学年刊了，也不能说是水。
总之，就是让后人在这个方向上无路可走了。
至少在眼下这会，常浩南可以非常自信地说一句：
没有人比我更懂拓扑学……
一直到新邮件的提示音响起，他才从自己的思绪中回过神来。
来自佩雷尔曼。
【你认为，我们应该以什么样的方式发布整个证明过程？】 ↑返回顶部↑
因为，之前一直通过超算寻找的里奇流截断方式，出结果了。
佩雷尔曼成功给出了两项可以直接通往典范领域假设和长时间存在假设的引理。
即，设m是三维紧致单连通的流形，容易知道它是可定向的，而任意给定m上的度量，通过缩放（scaling）都是是正规的，再以这个正规度量为初始值，就必定可得得到手术化的里奇流。
接下来，只要证明解可以在有限时间内消失，即可由m的单连通推导出m微分同胚于s^3。
也就是整个证明过程中的【定理1】。
庞加莱猜想——任何一个单连通的，闭的三维流形一定同胚于一个三维球面。
而“解可以在有限时间内消失”这件事，正是常浩南需要超算帮他找到的结果。
也就是说，这个证明，已经闭环了。
甚至于，相比于上一世佩雷尔曼在2002年到2003年之间给出的一系列证明，还要更进了一步。
因为，常浩南还顺便处理了证明过程中里奇流会出现“奇异点”的问题。
算是直接给庞加莱猜想这座数学领域的摩天大楼封了顶。
“呼……”
看着面前草稿纸上面的内容，常浩南长舒一口气。
他相信，6000公里外的佩雷尔曼，应该也在做着跟自己一样的事情。
而且，也几乎是一样的进度。
他从旁边端起一杯浓茶，狠狠灌了两口。
在过去，常浩南基本上是只喝白水的。
只不过最近几天，他发现茶叶确实能够带来提神醒脑的效果。
正好前些天才从唐林天那里薅了一些过来，所以就泡上了。
“也算是堵住了一条后来人的路啊……”
就常浩南和佩雷尔曼的证明过程，如果拆分开来，大概能水出十几二十篇《数学年刊》级别的论文。
不对……
都数学年刊了，也不能说是水。
总之，就是让后人在这个方向上无路可走了。
至少在眼下这会，常浩南可以非常自信地说一句：
没有人比我更懂拓扑学……
一直到新邮件的提示音响起，他才从自己的思绪中回过神来。
来自佩雷尔曼。
【你认为，我们应该以什么样的方式发布整个证明过程？】 ↑返回顶部↑