整体的思路方向上,我觉得没什么问题的。对了,这段时间你的研究怎么样了?”
自从ac猜想被证明之后,望月新一就将研究方向转向了连续统势领域。
所谓的连续统势,表述起来很简单,指的是实数集合中到底含有多少个实数?或者说,实数集合的势到底是多大?
连续统势确定问题是集合论中最古老最基本最自然的一个问题。
对于无穷集合来讲,两个集合等势的充分必要条件是它们之间存在一个一一对应或者双射。
众所周知,自然数可以被用来作为有限集合所含元素个数的多少的一种度量两个有限集合等势的充分必要条件是它们含有相同个数的元素。
因此,每一个有限集合的势都唯一地由一个自然数来确定。
类似的,无限集合的势也都唯一地由一个基数63α来确定。
最小的无穷基数是630ansans,它代表着全体自然数所组成的集合的势。
630之后的第一个基数是631,再其后的第一个基数是632,然后是633,等等……
一般来说,紧接着基数63α之后的基数是63α+1两个基数63α和63β的大小之比较由它们的下标序数α和β的长短来唯一确定。
每一个自然数n都是一个比63ansans0ansans小的基数对于无限基数来说,630<631<63ansans2<633<……
nr于1873年12月证明了由全体实数所组成的集合即连续统的势至少是631。
现在问题出来了到底哪一个基数63α是连续统的势呢?
是631?还是632,633,还是别的一个什么63α?
nransans当年曾经猜想连续统的势是第一个不可数的基数631。
nr连续统猜想,也是希尔伯特hlrt1900年提出的23个问题中的第一问题。
望月新一摇了摇头,苦笑道“我现在只是有个头绪,想要真正搞明白这个问题,估计还要很长时间呢。”
接着,望月新一又和庞学林聊了一下近期庞氏几何研讨班的问题,这才告辞离去。