数学趣题新.ppt

* * ? 希尔伯特（Ｈｉｌｂｅｒｔ　Ｄ·，１８２．１．２３—１９４３．２．１４）是二十世纪上半叶德国乃至全世界最伟大的数学家之一.他在横跨两个世纪的六十年的研究生涯中，几乎走遍了现代数学所有前沿阵地，从而把他的思想深深地渗透进了整个现代数学.希尔伯特是哥廷根数学学派的核心，他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者，使哥廷根的传统在世界产生影响.希尔伯特去世时，德国《自然》杂志发表过这样的观点：现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作.他像是数学世界的亚历山大，在整个数学版图上，留下了他那显赫的名字. 1900年，希尔伯特在巴黎数学家大会上提出了２３个最重要的问题供二十世纪的数学家们去研究，这就是著名的“希尔伯特23个问题”. 　　1975年，在美国伊利诺斯大学召开的一次国际数学会议上，数学家们回顾了四分之三个世纪以来希尔伯特２３个问题的研究进展情况.当时统计，约有一半问题已经解决了，其余一半的大多数也都有重大进展. 　　1976年，在美国数学家评选的自1940年以来美国数学的十大成就中，有三项就是希尔伯特第１、第５、第１０问题的解决.由此可见，能解决希尔伯特问题，是当代数学家的无上光荣. 　　下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况： 　　１．连续统假设 　1874年，康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设.1938年，哥德尔证明了连续统假设和世界公认的策梅洛－－弗伦克尔集合论公理系统的无矛盾性.1963年，美国数学家科亨证明连续假设和策梅洛－－伦克尔集合论公理是彼此独立的.因此，连续统假设不能在策梅洛－－弗伦克尔公理体系内证明其正确性与否. 解决的情况  公理化集合论 1963年，Paul J.Cohen 在下述意义下证明了第一个问题是不可解的.即连续统假设的真伪不可能在Zermelo_Fraenkel公理系统内判定 ２．算术公理的相容性 欧几里得几何的相容性可归结为算术公理的相容性.希尔伯特曾提出用形式主义计划的证明论方法加以证明，1931年，哥德尔发表的不完备性定理否定了这种看法，1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性.　 　　1988年出版的《中国大百科全书》数学卷指出，数学相容性问题尚未解决. 解决的情况 算术公理的相容性 数学基础 希尔伯特证明算术公理的相容性的设想，后来发展为系统的Hilbert计划（“元数学”或“证明论”）但1931年歌德尔的“不完备定理”指出了用“元数学”证明算术公理的相容性之不可能.数学的相容性问题至今未解决. 　　３．两个等底等高四面体的体积相等问题 　　问题的意思是，存在两个等边等高的四面体，它们不可分解为有限个小四面体，使这两组四面体彼此全等.Ｍ·Ｗ·德恩1900年即对此问题给出了肯定解答. 解决的情况 两等高等底的四面体体积之相等 几何基础 这问题很快（1900）即由希尔伯特的学生M.Dehn给出了肯定的解答. ４．两点间以直线为距离最短线问题 　　此问题提得过于一般.满足此性质的几何学很多，因而需增加某些限制条件.1973年，苏联数学家波格列洛夫宣布，在对称距离情况下，问题获得解决. 　《中国大百科全书》说，在希尔伯特之后，在构造与探讨各种特殊度量几何方面有许多进展，但问题并未解决. 解决的情况 直线作为两点间最短距离问题 几何基础 这一问题提得过于一般.希尔伯特之后，许多数学家致力于构造和探索各种特殊的度量几何，在研究第四问题上取得很大进展，但问题并未完全解决.  ５．一个连续变换群的李氏概念，定义这个群的函数不假定是可微的 　　这个问题简称连续群的解析性，即：是否每一个局部欧氏群都有一定是李群？中间经冯·诺伊曼（1933，对紧群情形）、邦德里雅金（1939，对交换群情形）、谢瓦荚（1941，对可解群情形）的努力，1952年由格利森、蒙哥马利、齐宾共同解决，得到了完全肯定的结果. 解决的情况 不要定义群的函数的可微性假设的李群概念 拓扑群论 经过漫长的努力，这个问题于1952年由Gleason, Montqomery , Zipping等人最后解决，答案是肯定的.  　６．物理学的公理化 　　希尔伯特建议用数学的公理化方法推演出全部物理，首先是概率和力学.1933年，苏联数学家柯尔莫哥洛夫实现了将概率论公理化.后来在量子力学、量子场论方面取得了很大成功.但是物理学是否能全盘公理化，很多人表示怀疑.　 解决的情况 物理公理的数学处理 数学物理 在量子力学、热力学等领域，公理化方法