ltr /gt
但今天,庞学林的表现却完全超出了他的想象。ltr /gt
ltr /gt
这到底是哪来的怪物?ltr /gt
ltr /gt
佩雷尔曼也意识到了这一点,不过此时的他倒没想那么多。ltr /gt
ltr /gt
他从庞学林手中拿过论文的手稿,又从头到尾推演了一遍。ltr /gt
ltr /gt
最终的结果证明,庞学林是正确的。ltr /gt
ltr /gt
佩雷尔曼脸上难掩失落之色,毕竟费了这么大心机,最终却因为一个小漏洞,而前功尽弃,实在是让人有些难以接受。ltr /gt
ltr /gt
不过他还是很快就调整好了心态。ltr /gt
ltr /gt
在数学界,一项研究成果出来之后,被挑漏洞是很正常的事。ltr /gt
ltr /gt
就好比当年的安德鲁·怀尔斯,当年证明费马大定理的时候,也曾被学术界挑出过漏洞。ltr /gt
ltr /gt
只不过后来他又花了一年时间将这个漏洞补齐,才算证明了费马大定理。ltr /gt
ltr /gt
望月新一更是此中好手。ltr /gt
ltr /gt
当初为了证明a猜想,自己发明了一套宇宙泰西米勒理论,结果学术界谁也看不懂,扯皮了十多年。ltr /gt
ltr /gt
如果不是后来庞学林横空出世,证明这一猜想,说不定,望月新一到现在还在跟数学界的人扯皮。ltr /gt
ltr /gt
“庞,如果没有其他事的话我先回去了,我得好好想想,这个漏洞还有没有补救的办法。”ltr /gt
ltr /gt
三人又聊了会儿天,佩雷尔曼便主动告辞离去。ltr /gt
ltr /gt
看着佩雷尔曼的背影消失在门后,望月新一好奇道“庞,你觉得佩雷尔曼能证明霍奇猜想吗?”ltr /gt
ltr /gt
庞学林摇了摇头,说道“不知道,看佩雷尔曼自己能不能补齐那个漏洞了,至少在整体的思路方向上,我觉得没什么问题的。对了,这段时间你的研究怎么样了?”ltr /gt
ltr /gt
自从a猜想被证明之后,望月新一就将研究方向转向了连续统势领域。ltr /gt
ltr /gt
所谓的连续统势,表述起来很简单,指的是实数集合中到底含有多少个实数
ltr /gt
连续统势确定问题是集合论中最古老最基本最自然的一个问题。ltr /gt
ltr /gt
对于(无穷)集合来讲,两个集合等势的充分必要条件是它们之间存在一个一一对应或者双射。ltr /gt
ltr /gt
众所周知,自然数可以被用来作为有限集合所含元素个数的多少的一种度量两个有限集合等势的充分必要条件是它们含有相同个数的元素。ltr /gt
ltr /gt
因此,每一个有限集合的势都唯一地由一个自然数来确定。ltr /gt
ltr /gt
类似的,无限集合的势也都唯一地由一个基数63a来确定。ltr /gt
ltr /gt
最小的无穷基数是630tr /gt
ltr /gt
630之后的第一个基数是631,再其后的第一个基数是632,然后是633,等等……ltr /gt
ltr /gt
一般来说,紧接着基数63a之后的基数是63a+1两个基数63a和63β的大小之比较由它们的下标(序数a和β)的长短来唯一确定。ltr /gt
ltr /gt
每一个自然数n都是一个比63sp0sp小的基数对于无限基数来说,630<631<63
ltr /gt
antor于1873年12月证明了由全体实数所组成的集合(即连续统)的势至少是631。ltr /gt
ltr /gt
现在问题出来了到底哪一个基数63a是连续统的势呢?ltr /gt
ltr /gt
是631?ltr /gt
ltr /gt
pp当年曾经猜想连续统的势是第一个不可数的基数631。ltr /gt
ltr /gt
这or连续统猜想,也是希尔伯特1r /gt
ltr /gt
望月新一摇了摇头,苦笑道“我现在只是有个头绪,想要真正搞明白这个问题,估计还要很长时间呢。”ltr /gt
ltr /gt
接着,望月新一又和庞学林聊了一下近期庞氏几何研讨班的问题,这才告辞离去。ltr /gt
ltr /gt
ltr /gt