欢迎来到天天文库
浏览记录
ID:6443493
大小:37.50 KB
页数:2页
时间:2018-01-14
《hilbert的23个问题之连续统假设》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、Hilbert的23个问题之连续统假设 希尔伯特(HilbertD.,1862.1.23~1943.2.14)是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中,几乎走遍了现代数学所有前沿阵地,从而把他的思想深深地渗透进了整个现代数学。希尔伯特去世时,德国《自然》杂志发表过这样的观点:现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大,在整个数学版图上,留下了他那显赫的名字。1900年,希尔伯特在巴黎数学家大会上提出
2、了23个最重要的问题供二十世纪的数学家们去研究,这就是著名的"希尔伯特23个问题"。 1975年,在美国伊利诺斯大学召开的一次国际数学会议上,数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计,约有一半问题已经解决了,其余一半的大多数也都有重大进展。 1976年,在美国数学家评选的自1940年以来美国数学的十大成就中,有三项就是希尔伯特第1、第5、第10问题的解决。由此可见,能解决希尔伯特问题,是当代数学家的无上光荣。接下来,让我们了解下希尔伯特第一问题,也就是连续性
3、假设问题。那么,什么是连续性假设?连续统假设(continuumhypothesis),数学上关于连续统势的假设。常记作CH。通常称实数集即直线上点的集合为连续统,而把连续统的势(大小)记作C1。2000多年来,人们一直认为任意两个无穷集都一样大。直到1847年,G.康托尔证明:任何一个集合的幂集(即它的一切子集构成的集合)的势都大于这个集合的势,人们才认识到无穷集合也可以比较大小。自然数集是最小的无穷集合,自然数集的势记作阿列夫零。康托尔证明连续统势等于自然数集的幂集的势。是否存在一个无穷集合
4、,它的势比自然数集的势大,比连续统势小?这个问题被称为连续统问题。康托尔猜想这个问题的解答是否定的,即连续统势是比自然数集的势大的势中最小的一个无穷势,记作C1;自然数集的势记作C0。康托尔证明连续统的基数等于自然数集幂集的基数,并把它记作2^ℵ0(其中ℵ0读作阿列夫零)。康托尔还把无穷基数按照从小到大的次序排列为ℵ0,ℵ1,…ℵa……其中a为任意序数,康托尔猜想,2^ℵ0=ℵ1。这就是著名的连续统假设(简记CH)。一般来说,对任意序数a,断定2^ℵa=ℵ(a+1)成立,就称为广义连续统假设(简
5、记GCH)。在ZF中,CH和选择公理(简记AC)是互相独立的,但是由GCH可以推出AC。ZF加上可构造性公理(简记V=L)就可以推出GCH,当然也能推出CH和AC。1938年,K.哥德尔证明了CH对ZFC公理系统(见公理集合论)是协调的,1963年,P.J.科恩证明CH对ZFC公理系统是独立的,是不可能判定真假的。这样,在ZFC公理系统中,CH是不可能判定真假的。这是60年代集合论的最大进展之一。1874年格奥尔格·康托尔猜测在可列集基数和实数基数之间没有别的基数,这就是著名的连续统假设。它又被
6、称为希尔伯特第一问题,在1900年第二届国际数学家大会上,大卫·希尔伯特把康托尔的连续统假设列入20世纪有待解决的23个重要数学问题之首。1938年哥德尔证明了连续统假设和世界公认的ZFC公理系统不矛盾。1963年,美国数学家科亨证明连续假设和策梅洛--伦克尔集合论公理是彼此独立的。因此,连续统假设不能在策梅洛--弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决
此文档下载收益归作者所有