連續統之迷
來(lái)源:網(wǎng)絡(luò )來(lái)源 2009-08-30 13:19:05
注:文中將阿拉夫零記為alf(0),阿拉夫一記為alf(1),依次類(lèi)推…)
由于alf(0)是無(wú)窮基數,阿拉夫是有異于有限運算的神奇運算,因而,以下的結果也不足為怪:
alf(0)+1=alf(0)alf(0)+n=alf(0)alf(0)+alf(0)=alf(0)alf(0)Xn=alf(0)alf(0)Xalf(0)=alf(0)
alf(0)是自然數集的基數。一個(gè)無(wú)窮基數,只要是可數集,其基數必為alf(0)。由可排序性,可知如整數集、有理數集的基數為alf(0);或由它們的基數為alf(0),得它們?yōu)榭蓴导。而?shí)數集不可數(可由康托粉塵線(xiàn)反證不可數)推之存在比alf(0)更大的基數。乘法運算無(wú)法突破alf(0),但冪集可突破:2alf(0)=alf(1)可以證明實(shí)數集的基數card(R)=alf(1)。進(jìn)而,阿拉夫"家族"一發(fā)而不可收:2alf(1)=alf(2);2alf(2)=alf(3);……alf(2)究竟有何意義?人們冥思苦想,得出:空間所有曲線(xiàn)的數目。但而后的alf(3),人類(lèi)絞盡腦汁,至今為能道出眉目來(lái)。此外,還有一個(gè)令人困惑的連續統之迷:"alf(0)與alf(1)之間是否還存在另一個(gè)基數?"
公元1878年,康托提出了這樣的猜想:在alf(0)與alf(1)之間不存在其它的基數。但當時(shí)康托本人對此無(wú)法予以證實(shí)。
公元1900年,在巴黎召開(kāi)的第二次國際數學(xué)家會(huì )議上,德國哥庭根大學(xué)教授希爾伯特提出了舉世聞名的23個(gè)二十世紀須攻克的數學(xué)問(wèn)題中,連續統假設顯赫的排在第一個(gè)。然而這個(gè)問(wèn)題的最終結果卻是完全出人意料的。
公元1938年,奧地利數學(xué)家哥德?tīng)栕C明了"連續統假設決不會(huì )引出矛盾",意味著(zhù)人類(lèi)根本不可能找出連續統假設有什么錯誤。1963年,美國數學(xué)家柯亨居然證明了:"連續統假設是獨立的",也就是說(shuō)連續統假設根本不可能被證明。