学霸的军工科研系统 第710节(1 / 7)
一连半个多月,除了偶尔出来吃个饭以外,连睡觉都是在里面解决的。
因为,之前一直通过超算寻找的里奇流截断方式,出结果了。
佩雷尔曼成功给出了两项可以直接通往典范领域假设和长时间存在假设的引理。
即,设m是三维紧致单连通的流形,容易知道它是可定向的,而任意给定m上的度量,通过缩放(scaling)都是是正规的,再以这个正规度量为初始值,就必定可得得到手术化的里奇流。
接下来,只要证明解可以在有限时间内消失,即可由m的单连通推导出m微分同胚于s^3。
也就是整个证明过程中的【定理1】。
庞加莱猜想——任何一个单连通的,闭的三维流形一定同胚于一个三维球面。
而“解可以在有限时间内消失”这件事,正是常浩南需要超算帮他找到的结果。
也就是说,这个证明,已经闭环了。
甚至于,相比于上一世佩雷尔曼在2002年到2003年之间给出的一系列证明,还要更进了一步。
因为,常浩南还顺便处理了证明过程中里奇流会出现“奇异点”的问题。
算是直接给庞加莱猜想这座数学领域的摩天大楼封了顶。
“呼……”
看着面前草稿纸上面的内容,常浩南长舒一口气。
他相信,6000公里外的佩雷尔曼,应该也在做着跟自己一样的事情。
↑返回顶部↑
因为,之前一直通过超算寻找的里奇流截断方式,出结果了。
佩雷尔曼成功给出了两项可以直接通往典范领域假设和长时间存在假设的引理。
即,设m是三维紧致单连通的流形,容易知道它是可定向的,而任意给定m上的度量,通过缩放(scaling)都是是正规的,再以这个正规度量为初始值,就必定可得得到手术化的里奇流。
接下来,只要证明解可以在有限时间内消失,即可由m的单连通推导出m微分同胚于s^3。
也就是整个证明过程中的【定理1】。
庞加莱猜想——任何一个单连通的,闭的三维流形一定同胚于一个三维球面。
而“解可以在有限时间内消失”这件事,正是常浩南需要超算帮他找到的结果。
也就是说,这个证明,已经闭环了。
甚至于,相比于上一世佩雷尔曼在2002年到2003年之间给出的一系列证明,还要更进了一步。
因为,常浩南还顺便处理了证明过程中里奇流会出现“奇异点”的问题。
算是直接给庞加莱猜想这座数学领域的摩天大楼封了顶。
“呼……”
看着面前草稿纸上面的内容,常浩南长舒一口气。
他相信,6000公里外的佩雷尔曼,应该也在做着跟自己一样的事情。
↑返回顶部↑