·给我留言
·加入收藏
·设为首页
首 页| 我的相册 | 数学教案 | 数学课件 | 数学论文 | 数学专题 | 数学说课 | 数学试卷 | 数学书籍 | 数学竞赛 | 数学软件 | 数学新课标 | 2011高考 | 自主招生 | 高2012级数 | 数学必修1与4 | 数学必修5与3 | 2015届高考
 
 

 

 
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
 
杜海东说很好
代建华说水哥,教学与测试(2012版)还有的章节呢?若有请发一份到我油箱 248310335
你好说真好,有没有语文教案呢?
曾玄永说
李学刚说资源丰富,不过900本大学数籍怎么看不到
在水一方说谢谢
小明说内容很全面,且很有价值,非常感谢,永远支持你!
王一凡说老师我很喜欢念这些独特的解题技巧 能不能在多告诉我一些解题方法啊 我的QQ 303794335 希望我能得到你的帮助----- 一高三学子
yangliwa说非常感谢!在及时更新附上答案就完美了!!!
王一凡说可不可以在告诉我一些关于这个方面解题的网站 我很喜欢你的这些特别的解题方法 我的数学老师看过后 都很佩服哦
上网网址
中学学科网
全品高考网
人教数学论坛
中山东升数学网
北京英才苑
谌业锋主
高中数学网
北教恒谦教育
3edu教育网
数学教师博客
奥数网
中国文书写作网
中小学教育资源站
数学中国
数学爱好者
数学新课程网
博士家园
数理报
大榕树数学资源网
中国数学教育网
中基网数学
万尔遐同窗
12999数学站
高考资源网
天利淘题
中小学教育网
千源网数学
零点花园
中小学资源网
中国小学名师网
PPT学习网
新思考
特级教师家园
教育博客精选
数学E网
恒谦教育网
中国思维
中小学教育网
为你服务教育网
高中数学辅导网
数学备课吧
中小学学科教学网站群
中学试卷网
第二教育网
中学数学信息网
试卷下载网
茆式教育
考研教育网
数学库
中学班主任
Strong数学教室
随风的博客
数学论坛
寒霜不冷 'S bLog
老撰的博客
大罕的博客
全国中小学教师继续教
具才教育苑
数学教育教学资料中心
嘉兴数学网
hnnylpzの初中数学
安徽高中数学
冰糕的初中数学博客
初中数学网
手心空间·杨章伟的BL
港中初中数学网
讲题网
360教育网
我能学科网
初高中试题网
翱翔高考网
数学探索
七彩教育网
园丁工作站
易下载
重庆数学资源网
数学资料站
黄华的魔法数学
余小兰教育研究
杭州中学数学网
天星教育网
张子健的博客
21世纪教育网
小学资料苏教版
小学数学西师版
大小数学学习网
高中理化教学实录
学科教学高中数学
新课程在线
状元源
徐州二中数学组
楚天数学网
江苏网上教师学校
小学数学教育
金星教学考试网
榆林教学资料网
数理化教学网
数学备课大师
51高考数学网
苏教版凤凰网
钟炜的博客
快乐函数
樊战胜的数学boke
骆老师高中数学
滟滪堆的博客
张云华名师工作室
xy123+数学解题探究
汤老师数学教育空间
菁优网
渔夫的博客
周老师高中数学
杨庆元高中数学
高中数学老师math900
高中数学教师群
高中数学博客
Sqing55奥赛博客
qinqingxiong
熊昌进数学博客
不等式名著
数学与数学高考
数贝偶拾
须知一尺水,日夜增高波
周口百思达数学
美丽背后的火热思考
xmyzxxp的博客
老刘不老也的博客
yellow1024的博客
立体几何高级画板几何图霸
马茂年的博客
毕里兵的博客
守望教育的麦田
科君的博客
开开的博客
关中狂人的博客
八面来风的博客
新课程数学网
广元仲元数学组
畅想未来(竞赛)
陈美葱博客
千教网
高考资源网
海量高中数学资料
精华学校苗
安振平数学
学优高考网
高考学习网
数贝偶拾
maths352
liwenmingboke
百度文库同步资源
王新敞
云溪教苑
qq高考真题及答案
那个荡的东西总关情
快乐函数肖斌
seemoon
作业宝
天天向上-数学解题
李鸿昌讲数学
广州数学邓军民的博客
壹片红树林
奥数金苹果
南极数学(高考数学)
张老师数学
连云港数学老师陈老师博客
方亚斌工作室
∑k我心飞扬的空间
郑良老师的博客
涂海数学
daybreak1964的博客
爱做题的人
李广学—七宝中学
智慧源于思考卓越出自平凡
当知网试题
作业宝
魔方格
李老师工作室(练习)
高考数学
数学解题交流
daybreak1964的博客
快乐汉的教育博客
备课吧
王金战教育博客
李国磊数学博客
陈永明名师工作室
holmes的数学工作室
高山仰之的博客
林广军
形数世界
周正文的博客
雨天的博客
建国的博客
daybreak1964的博客
四川省教育资源公共平台
人行人的博客
上海数学资料
2015拔高数学试题
2015年四川高考数学精练附答案
zhengli666
新东方高考数学
10-15年高三数学试题
2015届高考数学专题汇总
精英数学初中网
快乐学数学
教学资源网数学
一起作业网
猿题库
易题库
新浪微盘
老师来了网
博视网数学
pansou盘搜
好微课数学
福建数学网微课
中国微课网
微课网
浙江微课网
方圆微课
洋葱数学微课
解题研究
求解答
赵景生原创
高中数学辅导资料
得得的世界
2016届步步高大一轮
91淘课网-步步高+创新设计
人教社教师之家
高中同步解析与测
陈兆荣高中数学辅导
人教社教师之家
福建数学网百度云
中华资源库
赵权忠的文库
文库优课数学
nxy625
中学试卷网数学
智康教育
wangyuanzheng的博客
苏朝辉南极数学
搜百度盘高中数学
润禾培优的博客
百度云盘数学
掌门新锐数学题库
千教网
春天的菠菜
daybreak1964(上海)
问他网站
电子教材
LaTeX_Fun的博客
LaTex开源小屋
ChinaTex论坛
库问搜索

希尔伯特的23个数学问题的现状 
发表于:2007-10-02 07:59:17 阅读:3218  关键词:

    

希尔伯特的23个数学问题的现状

 
 
在1900年巴黎国际数学家代表大会上,希尔伯特发表了题为《数学问 题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势, 提出了23个最重要的数学问题。这23个问题通称“希尔伯特问题” ,后 来成为许多数学家力图攻克的难关,对现代数学的研究和发展产生了深刻 的影响,并起了积极的推动作用,希尔伯特问题中有些现已得到圆满解决, 有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的 信念,对于数学工作者是一种巨大的鼓舞。
希尔伯特的23个问题分属四大块:第1到第6问题是数学基础问题;第7 到第12问题是数论问题;第13到第18问题属于代数和几何问题;第19 到第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)某些数的超越性的证明。
需证:如果α是代数数,β是无理数的代数数,那么αβ一定是超越数或至少是无理数(例如,2√2和eπ)。苏联的盖尔封特(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年已解决。 注一舒伯特(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年证明了(E2)不 超过两串。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世纪变分法有了很大发展。
希尔伯特认为,数学科学是一个不可分割的整体,它的生命正是在于 各个部分之间的联系。尽管数学知识千差万别,但是在作为整体的数学中, 数学家们都在使用着相同的工具,存在着概念的亲缘关系,同时,在它的 不同部分之间,也有大量相似之处。并且希尔伯特相信,数学理论越是向 前发展,它的结构就变得越加的调和一致,并且,这门科学一向相互隔绝 的分支之间也会显露出原先意想不到的关系。因此,随着数学的发展,它 的有机的特性不会丧失,只会更清楚的呈现出来。 时至今日,希尔伯特的高度预见性已经得到了验证,他向人们指出的 数学方向和具体问题也被证明是极为正确的。

字体: [By[数学社区] in [数学故事] at 07:59:17]

[我来说几句]
评论人姓名:
验证码:
(*) 验证码效期15分钟,超过15分钟请按'重新显示验证码'看不清楚,重新显示验证码
个人网站:
评论内容:
(127字符以内)
尚能输入:
  个字符
 
    发表评论请自觉遵守和维护《全国人大常委会关于维护互联网安全的决定》,也请不要发表威胁本站生存和声誉(如政治敏感、非法传销)的言论,如发表不良言论,文责自负,谢谢合作。
  一、一旦违犯法律法规,您将承担一切因您的行为而直接或间接导致的民事或刑事法律责任,本站工作人员有义务配合相关部门,提供必要的技术资料(如IP地址等)。
  二、自觉遵守爱国、守法、自律、真实、文明的原则,严禁发表有人身攻击倾向、有造谣生事嫌疑的言论,严禁发表虚假广告、色情、网络传销性质的内容,管理人员有权删除违反规定的内容或取消违规网友的发文权限甚至删除其ID。
   
您是尊敬的第 51158 位浏览者
[ 数学社区 ] 网页维护: 数学社区 版权所有,并对网站内容负责。
网站管理登录