希尔伯特23个数学问题及其解决情况

希尔伯特23个数学问题及其解决情况

已有 95 次阅读2011-10-3 21:02|个人分类:Mathematics&Statistics|系统分类:科研笔记|关键词:数学世纪亚历山大希尔伯特全世界

希尔伯特（HilbertD.，1862.1.23～1943.2.14）是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中，几乎走遍了现代数学所有前沿阵地，从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心，他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者，使哥廷根的传统在世界产生影响。希尔伯特去世时，德国《自然》杂志发表过这样的观点：现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大，在整个数学版图上，留下了他那显赫的名字。

1900年，希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪的数学家们去研究，这就是著名的“希尔伯特23个问题”。

1975年，在美国伊利诺斯大学召开的一次国际数学会议上，数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计，约有一半问题已经解决了，其余一半的大多数也都有重大进展。

1976年，在美国数学家评选的自1940年以来美国数学的十大成就中，有三项就是希尔伯特第1、第5、第10问题的解决。由此可见，能解决希尔伯特问题，是当代数学家的无上光荣。

下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况：

（1）康托的连续统基数问题。

1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无矛盾性。1963年，美国数学家科恩（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。

（2）算术公理系统的无矛盾性。

欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。

根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的无矛盾性。

（3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。

问题的意思是：存在两个等高等底的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全等，德思（M.Dehn）1900年已解决了这一问题。（4）两点间以直线为距离最短线问题。

此问题提的一般。满足此性质的几何模型很多，因而需要加某些限制条件。

1973年，苏联数学家波格列洛夫（Pogleov）宣布，在对称距离情况下，问题获解决。

（5）拓扑学成为李群的条件（拓扑群）。

这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是李群。1952年，由格里森（Gleason）、蒙哥马利（Montgomery）、齐宾（Zippin）共同解决。1953年，日本的山迈英彦已得到完全肯定的结果。

（6）对数学起重要作用的物理学的公理化。

1933年，苏联数学家柯尔莫哥洛夫将概率论公理化。后来，在量子力学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化，很多人有怀疑。（7）某些数的超越性的证明。

需证：如果a是代数数，β是无理数的代数数，那么aβ一定是超越数或至少是无理数（例如，2√-2和exp(π)）。苏联的盖尔封特（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。

（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素数问题。

素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均由中国数学家陈景润得出。

（9）一般互反律在任意数域中的证明。

1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。

（10）能否通过有限步骤来判定不定方程是否存在有理整数解？

求出一个整数系数方程的整数根，称为丢番图（约公元前210-公元前290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年，苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。

（11）一般代数数域内的二次型论。

德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。

（12）类域的构成问题。

即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。

（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。

七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在［0，1］上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1,x2),x3)可写成形式

∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij 的选取可与

f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。

（14）某些完备函数系的有限的证明。

即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K［X1，…，Xm]上的有理函数F［X1，…，Xm]构成的环，并且F（f1，…，fm）∈K［X1，…，Xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。（15）建立代数几何学的基础。

荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。

（15）舒伯特（Schubert）计数演算的严格基础。

一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。

（16）代数曲线和曲面的拓扑研究。

此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n 次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了E（2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。

（17）半正定形式的平方和表示。

实系数有理函数f(x1,…，xn)对任意数组(x1,…，xn)都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。

（18）用全等多面体构造空间。

德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。

（19）正则变分问题的解是否总是解析函数？

德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。

（20）研究一般边值问题。

此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。

此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。

（22）用自守函数将解析函数单值化。

此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。

（23）发展变分学方法的研究。

这不是一个明确的数学问题。20世纪变分法有了很大发展。

可见，希尔伯特提出的问题是相当艰深的。正因为艰深，才吸引有志之士去作巨大的努力。

台湾淡江大学数学系教授胡守仁翻译的《希尔伯特的23个数学问题》，95元。比较贵

希尔伯特的23个问题-精选教学文档

希尔伯特的23个问题 希尔伯特（Hilbert D,1862.1.23~1943.2.14）是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中，几乎走遍了现代数学所有前沿阵地，从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心，他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者，使哥廷根的传统在世界产生影响。希尔伯特去世时，德国《自然》杂志发表过这样的观点：现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大，在整个数学版图上，留下了他那显赫的名字。1900年，希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪的数学家们去研究，这就是著名的希尔伯特23个问题。 1975年，在美国伊利诺斯大学召开的一次国际数学会议上，数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计，约有一半问题已经解决了，其余一半的大多数也都有重大进展。 1976年，在美国数学家评选的自1940年以来美国数学的十大成就中，有三项就是希尔伯特第1、第5、第10问题的解决。由此可见，能解决希尔伯特问题，是当代数学家的无上光荣。

下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况： 1．连续统假设 1874年，康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。1938年，哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔 集合论公理系统的无矛盾性。1963年，美国数学家科亨证明连续假设和策梅洛--伦克尔集合论公理是彼此独立的。因此，连续统假设不能在策梅洛--弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。2．算术公理的相容性欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年，哥德尔发表的不完备性定理否定了这种看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。 1988年出版的《中国大百科全书》数学卷指出，数学相容性问题尚未解决。 3．两个等底等高四面体的体积相等问题 问题的意思是，存在两个等边等高的四面体，它们不可分解为有限个小四面体，使这两组四面体彼此全等。M.W.德恩1900年即对此问题给出了肯定解答。 4．两点间以直线为距离最短线问题此问题提得过于一般。满足此性质的几何学很多，因而需增加某些限制条件。1973

各科书的下载地址

[Word格式]《成本会计》习题及答案（自学推荐，23页） [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案（09年） [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学（微观经济学）》笔记与课后习题详解（第3版，宋承先）[Word格式]《宏观经济学》习题答案（第七版，多恩布什） [Word格式]《国际贸易》课后习题答案（海闻 P.林德特王新奎） [PDF格式]《西方经济学》习题答案（第三版，高鸿业）可直接打印 [Word格式]《金融工程》课后题答案（郑振龙版） [Word格式]《宏观经济学》课后答案（布兰查德版） [JPG格式]《投资学》课后习题答案（英文版，牛逼版） [PDF格式]《投资学》课后习题答案（博迪，第四版） [Word格式]《微观经济学》课后答案（高鸿业版） [Word格式]《公司理财》课后答案（英文版，第六版） [Word格式]《国际经济学》教师手册及课后习题答案（克鲁格曼，第六版） [Word格式]《金融市场学》课后习题答案（张亦春，郑振龙，第二版） [PDF格式]《金融市场学》电子书（张亦春，郑振龙，第二版） [Word格式]《微观经济学》课后答案（平狄克版） [Word格式]《中级财务会计》习题答案（第二版，刘永泽） [PDF格式]《国际经济学》习题答案（萨尔瓦多，英文版） [JPG格式]《宏观经济学》课后答案（曼昆，中文版） [PDF格式]《宏观经济学》答案（曼昆，第五版，英文版）pdf格式 [Word格式]《技术经济学概论》（第二版）习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学（高鸿业版）教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案（郑振龙版） 化学物理 [Word格式]《固体物理》习题解答（方俊鑫版） [Word格式]《简明结构化学》课后习题答案（第三版，夏少武） [Word格式]《生物化学》复习资料大全（3套试卷及答案+各章习题集） [PDF格式]《光学教程》习题答案（第四版，姚启钧原著） [Word格式]《流体力学》实验分析答案（浙工大版） [Word格式]《高分子化学》课后习题答案（第四版，潘祖仁主编） [PDF格式]《化工热力学》习题与习题答案（含各种版本） [Word格式]《材料力学》习题答案 [Word格式]《量子力学导论》习题答案（曾谨言版，北京大学） [PDF格式]《理论力学》习题答案（动力学和静力学）

希尔伯特23个数学问题7大数学难题

世界数学十大未解难题 （其中“一至七”为七大“千僖难题”；附录“希尔伯特23个问题里尚未解决 的问题”） 一：P（多项式算法）问题对NP（非多项式算法）问题 在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数 13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook）于1971年陈述的。 二：霍奇(Hodge)猜想 二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。 三：庞加莱(Poincare)猜想

数学专业参考书——学数学的必看

数学专业参考书——学数学的必看 学数学要多看书，但是初学者很难知道那些书好，我从网上收集并结合自己的经验进行了整理： 从《数学分析》开始讲起： 《数学分析》是数学系最重要的一门课，经常一个点就会引申出今后的一门课，并且是今后数学系大部分课程的基础。也是初学时比较难的一门课，这里的难主要是对数学分析思想和方法的不适应，其实随着课程的深入会一点点容易起来。当大四考研复习再看时会感觉轻松许多。数学系的数学分析讲三个学期共计15学分270学时。将《数学分析》中较难的一部分删去再加上常微分方程的一些最简单的内容就是中国非数学专业的《高等数学》，或者叫数学一的高数部分。 记住以下几点： 1.对于数学分析的学习，勤奋永远比天分重要。 2.学数学分析不难，难得是长期坚持做题和不遗余力的博览群书。 3.别指望第一遍就能记住和掌握什么，请看第二遍，第三遍，…,第阿列夫遍。 4.看得懂的仔细看，看不懂的硬着头皮看。 5.课本一个字一个字的看完，至少再看一本参考书，尽量做一本习题集。 6.开始前三遍，一本书看三遍效果好于三本书看一遍；第四遍开始相反。 7.经常回头看看自己走过的路 以上几点请在学其他课程时参考。 《数学分析》书： 初学从中选一本教材，一本参考书就基本够了。我强烈推荐11，推荐1，2，7，8。另外建议看一下当不了教材的16，20。 中国人自己写的： 1《数学分析》陈传璋，金福临，朱学炎，欧阳光中著（新版作者顺序颠倒） 应该是来自辛钦的《数学分析简明教程》，是数学系用的时间最长，用的最多的书，大部分学校考研分析的指定教材。我大一用第二版，现在出了第三版，但是里面仍有一些印刷错误，不过克可以一眼看出来。网络上可以找到课后习题的参考答案，不过建议自己做。不少经济类工科类学校也用这一本书。里面个别地方讲的比较难懂，而且比其他书少了一俩个知识点，比如好像没有讲斯托尔滋(stolz)定理，实数的定义也不清楚。不过仍然不失为一本好书。能广泛被使用一定有它自己的一些优势。 2《数学分析》华东师范大学数学系著 师范类使用最多的书，课后习题编排的不错，也是考研用的比较多的一本书。课本最后讲了一些流形上的微积分。虽然是师范类的书，难度比上一本有一些降低，不过还是值得一看的。 3《数学分析》陈纪修等著 以上三本是考研用的最多的三本书。 4《数学分析》李成章，黄玉民 是南开大学一个系列里的数学分析分册，这套教材里的各本都经常被用到，总体还是不错的，是为教学改革后课时数减少后的数学系各门课编写的教材。 5《数学分析讲义》刘玉链 我的数学分析老师推荐的一本书，不过我没有看，最近应该出了新版，貌似是第五？版，最初是一本函授教材，写的应该比较详细易懂。不要因为是函授教材就看不起，事实上最初的函授工作都是由最好的教授做的。细说就远了，总之可以看看。

初等函数及其连续性

初数研究期末专题论文 教师一班105012013066 邱燕华

初等函数及其连续性 【摘要】：本文主要分为三部分。第一部分利用初等函数的定义及Yanzu 引理重点讨论初等函数的判定方法；第二部分利用初等函数的连续性定义，详细讨论初等函数的连续性；第三部分简要提一下函数连续性在中学中的运用。 关键词：初等函数，连续性，Yanzu 引理 【正文】： 一、初等函数 1、初等函数的定义 定义1：由基本初等函数经过有限次的代数运算及有限次的函数复合所得到的函数叫做[1]初等函数。 注：基本初等函数包括常量函数、幂函数、指数函数、对数函数、三角函数、反三角函数。 2、初等函数的分类 如果一个函数是用基本初等函数f1(x)=x 和f2(x)=c 经过有限次加、减、乘、除、乘方、开方得到初等函数称为代数函数，否则称为超越函数；f1(x)=x 和f2(x)=c 经过有限次加减乘除得到的代数函数称为有理函数，否则称为无理函数；有理函数中，仅经过有限次加、减、乘得到的初等函数称为有理整函数，否则称为有理分函数 [2]。（如下图示） ?????????????????有理整函数有理函数有理分函数代数函数无理函数初等函数超越函数 3、初等函数的判定方法 （1）根据定义判定 例1、判断下列函数是否为初等函数 ①12 2sin (1)x e y g x ??=? ?+?? ，②y lg(1y = 解： ①122sin (1)x e y g x ??=??+?? 可以看成是122sin ,,,1()x v y u u v e w x g w ====+复合而成的复合函数，12 2sin (1)x e y g x ??∴=??+??是初等函数。 ②∵ -1≤cosx ≤1, ∴-2-cosx 无意义, ∴y=-2-cosx 不是初等函数。 ③2lg ,1,1, lg(1y u u v v x y ==+++=∴== 复合而成的复合函数是初等函数 例2、判断下列函数是否为初等函数

希尔伯特空间

一百年前的数学界有两位泰斗：庞加莱和希尔伯特，而尤以后者更加出名，我想主要原因是他曾经在1900 年的世界数学家大会上提出了二十三个著名的希尔伯特问题，指引了本世纪前五十年数学的主攻方向，不过还有一个原因呢，我想就是著名的希尔伯特空间了。 希尔伯特空间是希尔伯特在解决无穷维线性方程组时提出的概念，原来的线性代数理论都是基于有限维欧几里得空间的，无法适用，这迫使希尔伯特去思考无穷维欧几里得空间，也就是无穷序列空间的性质。 大家知道，在一个欧几里得空间R^n 上，所有的点可以写成为：X= （x1，x2，x3，...， xn ）。那么类似的，在一个无穷维欧几里得空间上点就是：X= （x1，x2，x3 ，xn，.................................................................... ），一个 点的序列。 欧氏空间上有两个重要的性质，一是每个点都有一个范数（绝对值，或者说是一个点到原点的距离），||X||^2= ∑xn^2，可是这一重要性质在无穷维时被破坏了：对于无穷多个xn，∑xn^2 可以不存在（为无穷大）。于是希尔伯特将所有∑ xn^2 为有限的点做成一个子空间，并赋以X*X'= ∑ xn*xn' 作为两点的内积。这个空间我们现在叫做l^2 ，平方和数列空间，这是最早 的希尔伯特空间了。 注意到我只提了内积没有提范数，这是因为范数可以由点与自身的内积推出，所以内积是一个更加强的条件，有内积必有范数，反之不然。只有范数的空间叫做Banach 空间，（以后有时间再慢慢讲:- ）。 如果光是用来解决无穷维线性方程组的话，泛函就不会被称为现代数学的支柱了。 Hilbert 空间中我只提到了一个很自然的泛函空间：在无穷维欧氏空间上∑ xn^2 为有限的点。这个最早的Hilbert space 叫做l^2 （小写的l 上标2，又叫小l2 空间），非常类似于有限维的欧氏空间。

希尔伯特的二十三个数学问题

希尔伯特的二十三个数学问题 1900年，德国数学家D.希尔伯特在巴黎第二届国际数学家大会上作了题为《数学问题 》的著名讲演，其中对各类数学问题的意义、源泉及研究方法发表了精辟的见解，而整个 讲演的核心部分则是希尔伯特根据19世纪数学研究的成果与发展趋势而提出的23个问题。 ①连续统假设1963年，P.J.科恩证明了：连续统假设的真伪不可能在策梅洛－弗伦克尔公理系统内判明。 ②算术公理的相容性1931年,K.哥德尔的“不完备定理”指出了用希尔伯特“元数学”证明算术公理相容性之不可能。数学相容性问题尚未解决。 ③两等高等底的四面体体积之相等M.W.德恩1900年即对此问题给出了肯定解答。 ④直线作为两点间最短距离问题希尔伯特之后，在构造与探讨各种特殊度量几何方面有许多进展，但问题并未解决。 ⑤不要定义群的函数的可微性假设的李群概念A.M.格利森、D.蒙哥马利和L.齐平等于1952年对此问题作出了最后的肯定解答。 ⑥物理公理的数学处理公理化物理学的一般意义仍需探讨。至于希尔伯特问题中提到的概率论公理化，已由А.Н.柯尔莫哥洛夫(1933)等人建立。 ⑦某些数的无理性与超越性1934年,A.O.盖尔丰德和T.施奈德各自独立地 解决了问题的后半部分，即对于任意代数数□≠0，1，和任意代数无理数□证明了□□的超越性。 ⑧素数问题包括黎曼猜想、哥德巴赫猜想及孪生素数问题等。一般情况下的黎曼猜想仍待解决。哥德巴赫猜想最佳结果属于陈景润(1966)，但离最终解决尚有距离。 ⑨任意数域中最一般的互反律之证明已由高木□治(1921)和E.阿廷(1927)解决。 ⑩丢番图方程可解性的判别1970年，□.В.马季亚谢维奇证明了希尔伯特所期望的一般算法不存在。 11 系数为任意代数数的二次型H.哈塞(1929)和C.L.西格尔(1936，1951)在这问题上获得重要结果。 12 阿贝尔域上的克罗内克定理推广到任意代数有理域尚未解决。 13 不可能用只有两个变数的函数解一般的七次方程连续函数情形于1957年由В.И.阿诺尔德解决。解析函数情形则尚未解决。 14 证明某类完全函数系的有限性1958年,永田雅宜给出了否定解决。 15 舒伯特计数演算的严格基础代数几何基础已由B.L.范·德·瓦尔登(1938～1940)与A.韦伊(1950)建立，但舒伯特演算的合理性仍待解决。 16 代数曲线与曲面的拓扑对该问题的后半部分，И.Г.彼得罗夫斯基曾声明证明了□=2时极限环个数不超过3，但这一结论是错误的，已由中国数学家举出反例(1979)。

大学几乎所有学科的课本答案

大学几乎所有学科的课本答案 ！ 任明嘉的日志 经济金融 [PDF格式]《会计学原理》同步练习题答案 [Word格式]《成本会计》习题及答案（自学推荐，23页） [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案（09年） [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学（微观经济学）》笔记与课后习题详解（第3版，宋承先）[Word格式]《宏观经济学》习题答案（第七版，多恩布什） [Word格式]《国际贸易》课后习题答案（海闻P.林德特王新奎） [PDF格式]《西方经济学》习题答案（第三版，高鸿业）可直接打印 [Word格式]《金融工程》课后题答案（郑振龙版） [Word格式]《宏观经济学》课后答案（布兰查德版） [JPG格式]《投资学》课后习题答案（英文版，牛逼版） [PDF格式]《投资学》课后习题答案（博迪，第四版） [Word格式]《微观经济学》课后答案（高鸿业版） [Word格式]《公司理财》课后答案（英文版，第六版）

[Word格式]《国际经济学》教师手册及课后习题答案（克鲁格曼，第六版） [Word格式]《金融市场学》课后习题答案（张亦春，郑振龙，第二版）[PDF格式]《金融市场学》电子书（张亦春，郑振龙，第二版） [Word格式]《微观经济学》课后答案（平狄克版） [Word格式]《中级财务会计》习题答案（第二版，刘永泽） [PDF格式]《国际经济学》习题答案（萨尔瓦多，英文版） [JPG格式]《宏观经济学》课后答案（曼昆，中文版） [PDF格式]《宏观经济学》答案（曼昆，第五版，英文版）pdf格式 [Word格式]《技术经济学概论》（第二版）习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学（高鸿业版）教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案（郑振龙版） 化学物理 [Word格式]《固体物理》习题解答（方俊鑫版） [Word格式]《简明结构化学》课后习题答案（第三版，夏少武） [Word格式]《生物化学》复习资料大全（3套试卷及答案+各章习题集）[PDF格式]《光学教程》习题答案（第四版，姚启钧原著） [Word格式]《流体力学》实验分析答案（浙工大版） [Word格式]《高分子化学》课后习题答案（第四版，潘祖仁主编）

黎曼ζ函数

黎曼ζ函数 最小值马克斯 再保险-15年15 即时通讯-15年15 黎曼ζ函数是非常重要的特殊函数出现的数学和物理的集成和与周围很深的结果密切相关素数定理。虽然许多这个函数的性质进行了调查,仍有重要的基本猜想(最明显黎曼假设),还有待证实。黎曼ζ函数是为一个复杂的变量定义在复平面,通常表示是哪一个(而不是通常的)考虑到所使用的符号黎曼在他1859年的论文,创立了这个函数的研究(黎曼1859)。它的实现Wolfram语言作为ζ[s]。 上面的图显示了“山脊”为和。山脊的事实似乎减少单调并不是一个巧合,因为它证明,单调减少意味着黎曼假设(Zvengrowski和Saidak 2003;Borwein贝利,2003年,页95 - 96)。 在实线与,黎曼ζ函数可以定义的积分 (1)在哪里是γ函数。如果是一个整数,那么我们的身份 (2) (3)

(4)所以 (5)评估,让这和代入上述身份获得 (6) (7) (8)集成的最后表达(8)给取消的因素并给出了最常见的黎曼ζ函数, (9)这是有时被称为p系列. 黎曼ζ函数也可以定义的多重积分通过 (10)作为一个梅林变换通过 (11)为,在那里是小数部分(Balazard和赛亚于2000)。 它出现在单位平方积分 (12)有效期为(Guillera和Sondow 2005)。为一个非负整数,这个公式是由于Hadjicostas(2002),和特殊的情况和是由于Beukers(1979)。 请注意,ζ函数有一个奇点中,它可以减少发散调和级数. 黎曼ζ函数满足反射函数方程 (13) (哈代1999年,p . 14;“将军”1999,p . 160),一个类似的形式由欧拉猜想(欧拉、读取1749年,1768年出版,Ayoub 1974;Havil 2003,p . 193)。这种函数方程的对称形式给出 (14) (1974年Ayoub),证明了黎曼复杂(黎曼1859)。 如上所述,ζ函数与一个复数被定义为。然而,有一个独特的解析延拓对整个复平面,不包括,对应于一个简单的极与复杂的残渣1(“将军”1999年,p . 1999)。特别是,作为 ,遵循 (15)

希尔伯特23个数学问题及其解决情况

希尔伯特23个数学问题及其解决情况 已有 95 次阅读2011-10-3 21:02|个人分类:Mathematics&Statistics|系统分类:科研笔记|关键词:数学世纪亚历山大希尔伯特全世界 希尔伯特（HilbertD.，1862.1.23～1943.2.14）是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中，几乎走遍了现代数学所有前沿阵地，从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心，他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者，使哥廷根的传统在世界产生影响。希尔伯特去世时，德国《自然》杂志发表过这样的观点：现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大，在整个数学版图上，留下了他那显赫的名字。 1900年，希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪 的数学家们去研究，这就是著名的“希尔伯特23个问题”。 1975年，在美国伊利诺斯大学召开的一次国际数学会议上，数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计，约有一半问题已经解决了，其余一半的大多数也都有重大进展。 1976年，在美国数学家评选的自1940年以来美国数学的十大成就中，有三项 就是希尔伯特第1、第5、第10问题的解决。由此可见，能解决希尔伯特问题，是当代数学家的无上光荣。 下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况： （1）康托的连续统基数问题。 1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF 集合论公理系统的无矛盾性。1963年，美国数学家科恩（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。 （2）算术公理系统的无矛盾性。 欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。 根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的

数学专业参考书整理推荐

学数学要多看书，但是初学者很难知道那些书好，我从网上收集并结合自己的经验进行了整理： 从数学分析开始讲起： 数学分析是数学系最重要的一门课，经常一个点就会引申出今后的一门课，并且是今后数学系大部分课程的基础。也是初学时比较难的一门课，这里的难主要是对数学分析思想和方法的不适应，其实随着课程的深入会一点点容易起来。当大四考研复习再看时会感觉轻松许多。数学系的数学分析讲三个学期共计15学分270学时。将《数学分析》中较难的一部分删去再加上常微分方程的一些最简单的内容就是中国非数学专业的《高等数学》，或者叫数学一的高数部分。 记住以下几点： 1，对于数学分析的学习，勤奋永远比天分重要。 2，学数学分析不难，难得是长期坚持做题和不遗余力的博览群书。 3，别指望第一遍就能记住和掌握什么，请看第二遍，第三遍，…,第阿列夫遍。 4，看得懂的仔细看，看不懂的硬着头皮看。 5，课本一个字一个字的看完，至少再看一本参考书，尽量做一本习题集。 6，开始前三遍，一本书看三遍效果好于三本书看一遍；第四遍开始相反。 7，经常回头看看自己走过的路 以上几点请在学其他课程时参考。 数学分析书： 初学从中选一本教材，一本参考书就基本够了。我强烈推荐11，推荐1，2，7，8。另外建议看一下当不了教材的16，20。 中国人自己写的： 1《数学分析》陈传璋，金福临，朱学炎，欧阳光中著（新版作者顺序颠倒） 应该是来自辛钦的《数学分析简明教程》，是数学系用的时间最长，用的最多的书，大部分学校考研分析的指定教材。我大一用第二版，现在出了第三版，但是里面仍有一些印刷错误，不过克可以一眼看出来。网络上可以找到课后习题的参考答案，不过建议自己做。不少经济类工科类学校也用这一本书。里面个别地方讲的比较难懂，而且比其他书少了一俩个知识点，比如好像没有讲斯托尔滋(stolz)定理，实数的定义也不清楚。不过仍然不失为一本好书。能广泛被使用一定有它自己的一些优势。 2《数学分析》华东师范大学数学系著

希尔伯特23个问题

连续统假设
提示：本条目的主题不是连续体假设。 在数学中，连续统假设（英语：Continuum hypothesis，简称 CH）是一个猜想， 也是希尔伯特的 23 个问题的第一题，由康托尔提出，关于无穷集的可能大小。 其为：
在一个基数绝对大于可列集而绝对小于实数集的集合。
康托尔引入了基数的概念以比较无穷集间的大小， 也证明了整数集的基数绝对小 于实集的基数。康托尔也就给了出连续统假设，就是说，在无限集中，比自然数 集{0，1，2，3，4......}基数大的集合中，基数最小的集合是实数集。而连续 统就是实数集的一个旧称。 更加形式地说，自然数集的基数为 为 。而连续统假设的观点认为实数集的基数
。由是，康托尔定义了绝对无限。
等价地，整数集的序数是 出不存在一个集合 使得
("艾礼富数")而实数的序数是
，连续续假设指
假设选择公理是对的， 那就会有一个最小的基数 连续统假设也就等价于以下的等式：
大于
， 而
连续统假设有个更广义的形式，叫作广义连续统假设（GCH），其命题为：
对于所有的序数 ,
库尔特·哥德尔在 1940 年用内模型法证明了连续统假设与 ZFC 的相对协调性， 保罗·柯恩在 1963 年用力迫法证明了连续统假设不能由 ZFC 推导。也就是说连 续统假设成立与否无法由 ZFC 确定。
作为希尔伯特第一问题
主条目：希尔伯特的 23 个问题

1900 年, 大卫· 希尔伯特以 “连续统假设是否成立” 作为 “希尔伯特第一问题” 。 Kurt Godel 和 Paul Cohen 确定了连续统假设在 ZFC 系统下，加上了选择公理， 也不能证明或证否。 Cohen 的结果并没有被广泛认同作为连续统假设问题的解决，而希尔伯特的问题 依然为当代研究的热门课题。(见 Woodin 2001a).
集合的大小
主条目：基数 要正式地列出这个猜想， 我们需要一些定义：假如两个集合 S 与 T 之间存在着一 个双射，我们会说这两个集合拥有相同的基数。直观的意思是在“T 的每个元素 只能配上仅仅一个 S 的元素，反之亦然”这个前提下，把 S 与 T 的元素拿出来配 对是可能的。因此，集合{蕉, 苹果, 橙}与集合{黄, 红, 绿}拥有相同基数。 当情况去到如整数集或有理数集等无穷集的情况时，事件就变得复杂得多。当考 虑所有有理数的集合时， 有些门外汉可能会天真地认为有理数理所当然地多于整 数，而有理数又显然少于实数，因此把连续统假设证否。但透过简单集合论的方 法， 我们能证明有理数集能与整数集形成一双射，因此有理集跟整数集有着一样 的大小， 而它们都被称为可列集。 对角论证法则证明了整数集跟连续统 （实数集） 的基数并不一样。 连续统假设亦指出，实数集中每一个子集，要么和整数集有相同的基数，要么和 实数集有相同的基数。
证明或证否的不可能性（在 ZFC 系统下）
康托尔相信连续统假设是对的，花了很多年尝试证明它，结果徒劳无功。它成为 了希尔伯特那重要难题名单中的第一条，并在 1900 年巴黎的国际数学家大会上 宣布此事。在那个时候，还没有公理化集合论的概念。 库尔特·哥德尔在 1940 年指出连续统假设不能在 ZFC 系统下证否，即使接受了 选择公理为前提。这个定理称为哥德尔定理。Paul Cohen 在 1963 年证明了连续 统假设同样不能在 ZFC 下被证明。因此，连续统假设“逻辑地独立于”ZFC。这 些结果都是以 ZFC 的公设系统本身并不存在自相矛盾（相容性）为假设大前提， 而这个大前提是被广泛接受为对的。 连续统假设并非被证明跟 ZFC 互相独立的第一个命题。 哥德尔不完备定理一个立 即的结论在 1931 年被发表，那是“‘存在着一个正式命题表达 ZFC 的相容性’ 乃独立于 ZFC”。有别于纯粹数学的，这个一致的命题乃是有着在数学之上的特 性。连续统假设和选择公理乃是最先被证明跟 ZF 集合论独立的命题。在 Paul Cohen 在 1960 年代发展出力迫法以前，这些独立性的证明并没有完成。

函数连续性

第四章 函数的连续性 §1 连续性概念 Ⅰ. 教学目的与要求 理解函数连续性的概念（含左连续与右连续），会判别函数间断点的类型. Ⅱ. 教学重点与难点: 重点: 函数连续性的概念. 难点: 函数连续性的概念. Ⅲ. 讲授内容 连续函数是数学分析中着重讨论的一类函数． 从几何形象上粗略地说，连续函数在坐标平面上的图象是一条连绵不断的曲线．当然我 们不能满足于这种直观的认识，而应给出函数连续性的精确定义，并由此出发研究连续函数 的性质．本节中先定义函数在一点的连续性和在区间上的连续性． 一 函数在一点的连续性 定义1 设函数f 在某U ()0x 内有定义．若()x f x x 0 lim →=()0x f ， 则称f 在点0x 连续． 例如，函数连续()x f 12+=x 在点2=x 连续，因为 2lim →x ()x f =2 lim →x ()()2512f x ==+ 又如，函数()x f ???=0 ,00,1sin =≠x x x x ,在点0=x 连续，因为 ()()001sin lim lim 00f x x x f x x ===→→ 为引入函数()x f y =在点0x 连续的另一种表述，记0x x x -=?，称为自变量x (在点 0x )的增量或改变量．设()00x f y =，相应的函数y (在点0x )的增量记为: ()()()()0000y y x f x x f x f x f y -=-?+=-=? 注 自变量的增量x ?或函数的增量y ?可以是正数，也可以是0或负数．引进了增 量的概念之后，易见“函数()x f y =在点0x 连续”等价于0lim 0 =?→?y x . 由于函数在一点的连续性是通过极限来定义的，因而也可直接用δε-方式来叙述， 即：若对任给的0>ε，存在0>δ，使得当δ<-0x x 时有 ()()ε<-0x f x f (2) 则称函数f 在点0x 连续．

希尔伯特的23个问题

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

物理学要学习专业课程

力学和热学 (1)与(2) Mechanics and Thermal Physics (1) and (2) 课程编号：22189936、22189937 总学时：28、72 学分：2、4 课程性质：专业必修课 课程内容：本课程由力学和热学两大部分组成。力学和热学都是大学物理的基础部分，是物理学各门课程的重要基础课程。力学的主要内容包括三方面：在牛顿力学方面， 主要学习牛顿定律、动量定理和动量守恒定律、动能原理及机械能守恒定律；在 刚体定轴转动方面，主要学习转动定律和角动量守恒；在振动和波方面，主要学 习简谐振动和平面简谐波。热学的主要内容包括分子物理学和热力学，主要学习 温度，热力学第一定律、第二定律，热机效率及熵增加；气体分子运动论的基本 方法，气体压强公式，分子平均动能，气体分子的麦克斯韦速率分布律，能量均 分定理。 先修课程：高等数学A(1) 参考书目：《力学》，漆安慎、杜婵英，高等教育出版社，1997年；《热学教程》（第二版），黄淑清、聂宜如、申先甲编，高等教育出版社，1994年 电磁学 Electromagnetism 课程编号：22189903 总学时：72 学分：4 课程性质：专业必修课 课程内容：本课程主要包括真空中的静电场，静电场中的导体和电介质，恒定电流，恒定磁场，磁介质，电磁感应，电磁场和电磁波，及电磁学与当代高新技术等内容。通 过学习本课程，使学生了解如何发现问题，分析和解决问题，建立理论及实验检 验这一过程，为学生在将来的技术创新和应用能力的培养上打下一定的基础。本 课程是后续课程比如量子力学和固体物理等的基础；电磁作用是一种基本的相互 作用，不仅对人类的生产生活影响极广，而且也与当代高科技密切相关，本课程 是学生将来发展高新技术的重要基础。 先修课程：高等数学，力学 参考书目：《电磁学》贾瑞皋，薛庆忠编高等教育出版社 2003年出版 《电磁学》《电磁学》贾起民，郑永令，陈暨耀编高等教育出版社2003年出版

希尔伯特23个问题

希尔伯特23问 希尔伯特（Hilbert D.,1862.1.23～1943.2.14）是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中，几乎走遍了现代数学所有前沿阵地，从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心，他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者，使哥廷根的传统在世界产生影响。希尔伯特去世时，德国《自然》杂志发表过这样的观点：现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大，在整个数学版图上，留下了他那显赫的名字。 1900年，希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪的数学家们去研究，这就是著名的"希尔伯特23个问题"。 1975年，在美国伊利诺斯大学召开的一次国际数学会议上，数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计，约有一半问题已经解决了，其余一半的大多数也都有重大进展。 1976年，在美国数学家评选的自1940年以来美国数学的十大成就中，有三项就是希尔伯特第1、第5、第10问题的解决。由此可见，能解决希尔伯特问题，是当代数学家的无上光荣。 下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况： 1．连续统假设1874年，康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。1938年，哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性。1963年，美国数学家科亨证明连续假设和策梅洛--伦克尔集合论公理是彼此独立的。因此，连续统假设不能在策梅洛--弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。 2．算术公理的相容性欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年，哥德尔发表的不完备性定理否定了这种看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。 1988年出版的《中国大百科全书》数学卷指出，数学相容性问题尚未解决。 3．两个等底等高四面体的体积相等问题 问题的意思是，存在两个等边等高的四面体，它们不可分解为有限个小四面体，使这两组四面体彼此全等。M.W.德恩1900年即对此问题给出了肯定解答。 4．两点间以直线为距离最短线问题此问题提得过于一般。满足此性质的几何学很多，因而需增加某些限制条件。1973年，苏联数学家波格列洛夫宣布，在对称距离情况下，问题获得解决。 《中国大百科全书》说，在希尔伯特之后，在构造与探讨各种特殊度量几何方面有许多进展，但问题并未解决。 5.一个连续变换群的李氏概念，定义这个群的函数不假定是可微的这个问题简称连续群的解析性，即：是否每一个局部欧氏群都有一定是李群？中间经冯·诺伊曼

数学物理方法

数学物理方法 Mathematical Methods in Physics 课程编号：22189906 总学时：72学分：4 课程性质：专业必修课 课程内容：数学是物理学的表述语言。复变函数论和数学物理方程是学习理论物理课程的重要的数学基础。该课程包括复变函数论和数学物理方程两部分。复变函数论部分 介绍复变函数的微积分，级数展开，留数及其应用以及积分变换等内容。数学物 理方程部分包括物理学中常用的几种数学物理方程的导入、解数学物理方程的分 离变量法、作为勒让德方程的解的勒让德多项式和作为贝塞尔方程的解的贝塞尔 函数及其性质以及格林函数的基本知识。该课程有着逻辑推理抽象严谨的特点， 同时与物理以及工程又有着紧密的联系，是理工科学生必备的数学基础知识。我 们将把抽象的数学知识和在物理学中的应用结合起来，使学生不但能学习数学本 身，同时还能提高学生运用所学数学知识解决实际问题的能力。 先修课程：高等数学 参考书目：《数学物理方法》（陆全康、赵蕙芬编），第二版高等教育出版社《数学物理方法》（吴崇试）第二版，北京大学出版社 力学和热学 (1)与(2) Mechanics and Thermal Physics (1) and (2) 课程编号：22189936、22189937 总学时：28、72 学分：2、4 课程性质：专业必修课 课程内容：本课程由力学和热学两大部分组成。力学和热学都是大学物理的基础部分，是物理学各门课程的重要基础课程。力学的主要内容包括三方面：在牛顿力学方面， 主要学习牛顿定律、动量定理和动量守恒定律、动能原理及机械能守恒定律；在 刚体定轴转动方面，主要学习转动定律和角动量守恒；在振动和波方面，主要学 习简谐振动和平面简谐波。热学的主要内容包括分子物理学和热力学，主要学习 温度，热力学第一定律、第二定律，热机效率及熵增加；气体分子运动论的基本 方法，气体压强公式，分子平均动能，气体分子的麦克斯韦速率分布律，能量均 分定理。 先修课程：高等数学A(1) 参考书目：《力学》，漆安慎、杜婵英，高等教育出版社，1997年；《热学教程》（第二版），黄淑清、聂宜如、申先甲编，高等教育出版社，1994年

黎曼函数

它亦可以用积分定义： 对于所有实部>1的复数s。这和上面ζ（2）的表达式一起可以用来证明两 个随机整数互质的概率是6/π2。 \frac{}{}== 函数值==

黎曼函数在s > 1的情况 ζ函数满足如下函数方程： 对于所有C\{0,1}中的s成立。这里，Γ表示Γ函数。这个公式原来用 来构造解析连续性。在s = 1，ζ函数有一个简单极点其留数为1。上 述方程中有sin函数，的零点为偶数s = 2n，这些位置是 可能的零点，但s为正偶数时，为不为零的规 则函数（Regular function），只有s为负偶数时，ζ函数才有零点， 称为平凡零点。 当s为正整数 其中B2k是伯努利数。从这个，我们可以看到ζ(2)= π2/6, ζ(4) = π4/90, ζ(6) = π6/945等等。（序列A046988/A002432列在OEIS）。 这些给出了著名的π的无穷级数。奇整数的情况没有这么简单。 拉马努金在这上面做了很多了不起的工作。为正偶数时的函数值 公式已经由欧拉计算出。但当为正奇数时，尚未找到封闭式。 这是调和级数。 （OEIS中的数列A078434）

自旋波物理。 （OEIS中的数列 A013661） 是多少？ （OEIS中的数列A002117） 称为阿培里常数。 （OEIS中的数列 A0013662） 负整数[编辑] 同样由欧拉发现，ζ函数在负整数点的值是有 理数，这在模形式中发挥着重要作用，而且ζ 函数在负偶整数点的值为零。 复数值[编辑] ，x＞1。 幅角[编辑] ， 函数值表[编辑] ， ， ， ， ，

， ， ， ， ， ， ， ，