实数由哪几个部分组成(实数到底有多少个)

关注微信: DuoDaaMath 每天获得更多数学趣文

新浪微博: http://weibo.com/duodaa

原文作者:Keith Devlin, 英国数学家和科普作家,斯坦福大学数学教授

翻译: Math001

实数有多少个呢?一种回答是:“无穷多个”。由于康托证明了实数轴——即连续统-——不能和自然数有一一对应,于是能得到更好一些的回答是,“不可数多个”。但我们能更精确一些吗?康托引进了一种度量无穷集合个数的方法:使用阿列夫数。阿列夫是一个希伯来字母,康托用它来表示无限集合的个数(阿列夫“ℵ”这个号很多时候在网页上都打不出来)。他把所有的无限集合的个数都用这样的无限数量(基数)进行了分层,ℵ0(第一个无穷基数,自然数集的数量),ℵ1(第一个不可数基数),ℵ2,等等。

无穷基数和有限的自然数一样,可以做加法和乘法,只是比自然数的加法和乘法容易得多。两个无穷基数相乘或者相加,都等于这两个中最大的那个。

我们也能把任何一个有限或无限的基数来计算它的幂。这样问题瞬间变得不那么容易了。我们来看一个相对最简单的情况,如果κ(西腊字母,Kappa)是一个无穷基数,那么2^κ(2的κ次幂,即κ基数集合的幂集的基数)的值是多少?康托证明了这个幂一定比κ本身大,但这也就是他得到的最深的结果了。特别的,他无法表明2^ℵ0是否等于ℵ1。

当然,一个很自然的想法。我们想在ZF公理体系下增加一些公理,让连续统假设变得可以判定是真是假。的确有很多数学家做了这样的工作,但都没有成功。问题在于,我们试图为所有的数学分支提供一个统一的集合论的基础框架(这个框架包含算术系统),框架中的公理要被大家接受,还必须看上去是“显然的”。没人能找到这样的公理。有一种我个人觉得很吸引人的公理叫做构造性公理(我博士期间是研究集合论和无穷基数算术的,我研究生涯的前15年都在搞那个)。

这个公理是哥德尔发现的。哥德尔用它来证明了连续统假设在ZF公理体系下不是假命题。虽然哥德尔不建议让它成为一个集合论的公理,但我觉得它还是比较“自然”,能成为一条公理。不是因为我相信那个是“真”的。当我们在无限集合上讨论数学时,我认为不应该较真公理的对错。甚至,我觉得科恩的结果(以及很多之后的结果)向我们表明的原始信息应该是:我们在选择集合论的公理时,应该务实一点。由于集合论的终极目的是为数学提供一个普遍的根基,我可以提出(事实上在1977年我已经提出过)一个非常好的支持将构造公理纳入公理体系的论点。(我把这个观点写进了我的专著《The Axiom of Constructibity: A Guide for the Mathematician》,于1977年在Springer-Verlag出版。) 如果构造性公理被假定成立(作为一条新的公理,加到ZF公理体系里),就可以证明连续统假设是真命题。由于各种原因,很多数学家不支持我以及其他支持构造公理体系的人的观点。但没有一个人提出一个我认为令人信服的反对理由。至少,在那个时候没有。

实数由哪几个部分组成(实数到底有多少个)(1)

1986年,情况发生了改变。Freiling在《符号逻辑杂志》(Journal of Symbolic Logic)上发表了一个有趣的文章,题目叫《公理的对称性:往实直线上投飞标》。在文章中,Freiling提出了下面这个假想实验。你我两人向一个飞标靶子投掷飞标。我们之间隔了一个屏风,所以我们之间互不影响。当我们收到一个来自第三方的信号的时候,我们一起向靶子投掷飞镖。我们投掷的结果完全是随机的。(形式上,由于靶子上的点可和实数产生一一对应,所以我们两个人可以简单的看成两个独立的随机数发生器。)那谁是赢家呢?恩,实验的组织者把所有实数排成一个良序(即把靶子上的点排成良序),记为“<<”。我们的目标是在这个良序下,击中的目标比对手大。如果你击中的实数是Y,而我击中的M,若Y<<M,就我赢,否则,你赢。

实数由哪几个部分组成(实数到底有多少个)(2)

好的,再多说几句。假如连续统假设成立。实验的组织者可以把这个良序排成这样:对任意实数x,集合{r|r<<x}是可数的。同意吗?(哆嗒小编温馨提示:Stein实分析的习题,数学专业大二难度)好,由于我们是独立投掷的,我可以假设我第一个投,我击中了M。现你轮到你投了,由于{r|r << M}是可数的,所以如果你击中的是Y,那么Y<<M的概率是1,即你赢的概率是1。但,我们的条件是完全对称的,所以相似讨论,我赢的概率也应该是1.但这是不可能的。结论:我们不到找到这样的良序,所以连续统假设是假命题。

是吧?别急,别太武断。要让上面的推理成立,我们假设了良序“<<”是可测的(哆嗒数学网小编注:就是说集合{(x,y) : x<<y}是可测的)。但没有任何理由支持这个假设。所以,我们并没有证明连续统假设是一个假命题。但我们(或者Freiling)也不是要证明他是假命题。相反,我们是在找一些似是而非的理由,来找一个公理集合论体系来解决连续统假设。如果,你们公理集合集结看成一个构造集合的框架,这个框架为数学其它所有分支都提供一个构造集合的保守方法,那么,你可以用构造性公理。这时,连续统假设成立。但是,如果你认为数学是现实经验的抽象,且你认为Freiling的投标假想实验是直观、自然且“应该是对的”,那么你能承认的集合论中的公理就得让连续统假设是一个假命题。(或者,退一万步来讲,你的公理体系不能让连续统假设是真命题。)那我现在是观点是什么呢?恩,我还是在考虑一个支持构造性公理的论点。但我也发现Freiling的假想实难是宁人信服的。

所以,我的观点是,从直观的层面上考虑,肯定要让连续统假设是一个假命题。当一个数学家发现他在支持两个互相矛盾的命题的时候,他显然是当系主任或者院长太长时间了。是时候放弃职位而继续前进了。你知道吗?我这样做了。请注意我的联系地址已经变了。

关注微信: DuoDaaMath 每天获得更多数学趣文

新浪微博: http://weibo.com/duodaa

,

免责声明:本文仅代表文章作者的个人观点,与本站无关。其原创性、真实性以及文中陈述文字和内容未经本站证实,对本文以及其中全部或者部分内容文字的真实性、完整性和原创性本站不作任何保证或承诺,请读者仅作参考,并自行核实相关内容。文章投诉邮箱:anhduc.ph@yahoo.com

    分享
    投诉
    首页