数学建模社区-数学中国

标题: 希尔伯特的23个世纪问题 [打印本页]
作者: clanswer    时间: 2010-1-10 13:34
标题: 希尔伯特的23个世纪问题
在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到**解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。
: {$ ?% p2 Z$ L0 {) B; @4 }% I% {# o& N
　　希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。
8 H5 J7 h/ q# h$ ?* u5 u% S* @8 q
- p; d* l2 g6 P4 V- a4 c　　（1）康托的连续统基数问题。
. Z' r+ C2 H1 S3 f5 A
% F9 k8 y+ |3 ^$ {0 [# J; N　　1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合**理系统的无矛盾性。1963年，美国数学家科思（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。   f. g/ d( {9 a* Y3 _0 K# M
3 g. \# {9 I0 k$ F  M, Y
　　孙嘉林是一位数学家，一直致力于基础数学的研究。孙嘉林首创了世界全新命题逻辑零分析数学体系，1992年《零分析》的中、英文版由青岛出版社出版。“零分析”数学体系一举攻克了举世公认的希尔伯特第一、第二问题，即连续统假设问题和算术公理的相容性问题。, h# o3 }( ?5 Z7 L; U2 d

2 `" a3 T! i. T/ t7 n& A　　（2）算术公理系统的无矛盾性。 1 m& |- `' L& y! ~

! k, ^) l5 q% ]: g  T( D- ?1 d! C% Q　　欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的无矛盾性。
" @6 O. a5 [4 |! D5 }- l, L  v/ U7 i
7 [+ D6 H+ ?  ?; u: y　　（3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。
# ^5 q. z! H! o) C% C7 ^, d3 [# @* e& x
　　问题的意思是：存在两个等高等底的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全等德思（M.Dehn）1900年已解决。
/ Q( e% M, _7 Z/ W& B
8 G0 m, _3 ]( ?1 o" F, ?9 W　　（4）两点间以直线为距离最短线问题。 ! Y) _' d& }, Y

+ P# j7 k+ B! _4 ~. d　　此问题提的一般。满足此性质的几何很多，因而需要加以某些**条件。1973年，苏联数学家波格列洛夫（Pogleov）宣布，在对称距离情况下，问题获解决。 0 ]  x1 m9 T8 ^/ f( f9 \- j) Q

* M& n5 J# R5 F; i* r　　（5）拓扑学成为李群的条件（拓扑群）。
( _3 j, J4 l0 ^
/ m, e5 E' R* \1 A　　这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是李群。1952年，由格里森（Gleason）、蒙哥马利（Montgomery）、齐宾（Zippin）共同解决。1953年，日本的山迈英彦已得到完全肯定的结果。 & [1 I7 `* ^9 Y* v% q5 K2 \
3 O5 y0 L2 G7 F: \. P- Q- P
　　（6）对数学起重要作用的物理学的公理化。 7 Z' Q- A+ @5 R8 V. `5 `, f3 ~
# k! l+ u. w& q1 J% }6 I1 D% h( H
　　1933年，苏联数学家柯尔莫哥洛夫将概率**理化。后来，在量子力学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化，很多人有怀疑。
+ l) v- T+ ~1 H  H/ z1 b: U
' w$ {: x# H! G* G8 y+ K9 [　　（7）某些数的超越性的证明。
6 r+ b$ G% C/ |* L6 @5 A: T! h4 ^9 P: K; |( l3 o. h
　　需证：如果α是代数数，β是无理数的代数数，那么αβ一定是超越数或至少是无理数（例如，2√2和eπ）。苏联的盖尔封特（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。 , T7 Z  w- ?- a# @% f
6 Q0 ?- D. I) n. Q
　　（8）素数分布问题，尤其对黎曼猜想、哥德**猜想和孪生素共问题。
0 Q2 E1 U) Q& n* s7 h0 n9 V! b  b$ C$ U$ S; h6 o% e
　　素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德**（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德**猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。
. J* i3 [9 s0 Y+ M  c/ ?( a/ L1 t* U6 o0 _. w
　　（9）一般互反律在任意数域中的证明。 # y: t" i) C# D, r

: I( y- }9 w9 C2 E　　1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。
+ T+ W5 H- {( O4 y
( ~. `) m  |& _6 f3 ^　　（10）能否通过有限步骤来判定不定方程是否存在有理整数解？
! {+ V9 [! y- ~4 @# I2 }# ]7 r. R! C, R5 Y3 r$ d( c
　　求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。
) O5 w! p: `5 ~# x4 l1 z' [0 p$ j1 y8 N
　　（11）一般代数数域内的二次型论。 % Z' u9 A- d4 V/ j/ A) U1 `% i6 A/ e! X
* N1 j2 f, O3 q) x0 r: n' Q3 T/ e
　　德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。 ' L% M( @: u+ Q. c
$ l. r7 g7 G4 I" J4 b
　　（12）类域的构成问题。 , X5 O7 Z4 I& K6 Y, K9 e

. b5 G* e1 \1 f. `% R# S　　即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。 / B( m; ~# `4 y) N
. f3 n7 z* W% {) n6 K9 w
　　（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。
& }5 O( W! o5 X+ ~
) j* q/ l4 t! f/ V: w" M　　七次方程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）推广到连续可微情形，对解析函数情形则未解决。
( S" P& V7 f4 S1 C3 T/ Q) u, G. `" M$ l
　　（14）某些完备函数系的有限的证明。
  L  H1 h7 w. @7 W6 `8 h" k2 {# C" ?, W* c, C* C
　　即域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年用漂亮的反例给出了否定的解决。
( P0 d* o- i3 o' g& z' y
6 g4 u+ z1 p) c% [　　（15）建立代数几何学的基础。 2 L" y+ ]. i9 K7 Z0 \; I; K, Q
% i$ L* d& p2 }; ?$ }
　　荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。
$ b& U  e5 }+ M6 X) z" P; \1 f8 [+ e6 Z- ~1 n8 l
　　注一舒伯特（Schubert）计数演算的严格基础。 , d) N0 N9 w: }8 ~9 P& }
  R3 z& g2 a5 I
　　一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。 / i' R& k9 g; R2 @2 V8 B

! m  V5 j6 M8 C( s7 H; q0 `* M　　（16）代数曲线和曲面的拓扑研究。
4 ~: D% b( s- p7 _5 g% ~  N6 w$ [* p8 m* c. w
　　此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备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）问题提供了新的途径。 ( \, p$ G; K- R* j) a

7 r3 z3 I" X$ S2 G" m. T. j% s( W　　（17）半正定形式的平方和表示。
& h0 K! \# X5 M2 h, g1 Y
; O0 B2 n( D  P0 H) e. c! H　　实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。
/ U6 i: _# ?% j. K# g, a" o# }
$ p# C# t$ X) |6 E* y# U　　（18）用全等多面体构造空间。 , {* {2 t& _  U* N  u
( }4 _$ G9 C$ {
　　德国数学家比贝尔**（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。
* ~0 n6 N" X7 h2 p6 `1 O
/ x, B, \$ ]7 m( R" ], H, ]0 Z　　（19）正则变分问题的解是否总是解析函数？
& q" `2 u) {) z8 y% O, P
3 V9 B4 z; ^( J5 ]) e5 }' Y# g　　德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。
7 Q$ U% B& X# n$ w
1 c+ M* h, Z* c　　（20）研究一般边值问题。 7 t/ r  a/ F$ s  x0 G( d/ d. [% W

7 W7 ~+ @3 Z7 Q& ]3 @　　此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。 ) |+ Z" D6 b) e/ Q: K: A0 [' o

# t4 b# v& _& o1 i　　（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 - S4 Z+ ^) v" [
. |- Y4 A" Y' G1 U& s, n7 S& D, s7 l  |
　　此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。 " M" X& r+ i- w1 b! v4 \/ P% J; x
) a+ i* O3 y+ g4 B3 A% f
　　（22）用自守函数将解析函数单值化。
; L, d- S9 C$ F8 Z3 O- c8 l! y  k+ O; t8 ?: `) i
　　此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。
* j: E- {) _% `8 n' P) N; J5 y, N( s1 m3 ]
　　（23）发展变分学方法的研究。 * m. j/ D3 ?8 ]+ O
  g! V; H* e8 e. g' g6 E8 M  C
　　这不是一个明确的数学问题。20世纪变分法有了很大发展。
作者: clanswer    时间: 2010-1-14 13:38
自己顶一个，这都是很经典的问题，呵呵
作者: ly195348    时间: 2010-1-19 17:30
严格意义上说第一问题未解决.因为未解决问题本身
作者: Tingmei    时间: 2010-1-19 23:23
学习了！！！！！！！！！！！！！！！！
作者: clanswer    时间: 2010-1-20 19:29
回复 3# ly195348 % {9 z! F6 k. P( b6 b# V

" o% M# C, l! }0 E8 |' T$ Y2 s0 a, x) Q) k6 o5 K
    呵呵，值得好好研究
作者: clanswer    时间: 2010-1-20 19:29
回复 4# Tingmei 8 l6 N- a& b! p9 Z
) P% M2 C4 u* H9 h7 Q* ~- _' P
+ B7 Y# ?2 {+ M7 d, v  y: Y" N
    呵呵，欢迎回帖
作者: 蓝以父之名    时间: 2010-4-15 23:56
好贴。。。。。。。。。。。。。。。顶一个。。。
作者: clanswer    时间: 2010-4-16 00:01
回复 7# 蓝以父之名 $ d' T6 _; H% I

7 ?! q! x8 N9 |" U
4 ~0 M; W! x: a    呵呵，谢谢支持哦
作者: renxiaoguang09    时间: 2010-4-26 13:34
学习学习~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~·
作者: clanswer    时间: 2010-4-26 14:12
回复 9# renxiaoguang09
' ~- Y% }- S) r- q7 }8 X4 J8 W; m0 Q4 p2 s, [1 Z
$ p, s/ U" w3 h0 s" b% |6 [% M0 s) `' T
    呵呵，有兴趣可以多多研究呢，嘿嘿
作者: 数学者    时间: 2010-4-26 14:48
好贴，支持！要好好学习，呵呵·
作者: clanswer    时间: 2010-4-26 14:55
回复 11# 数学者 + H0 H" {5 u# T+ v7 H

! s3 c. h' R) I- k6 M' K, u& h- V/ |4 b
    呵呵，欢迎支持，嘿嘿
作者: mathjiang    时间: 2010-5-2 20:22
数学为什么如此惹人着迷？又为什么如此惹人讨厌？
作者: clanswer    时间: 2010-5-2 20:46
回复 13# mathjiang , d+ j3 o2 N3 c; P; e7 ^
0 A2 `# ?" z0 G6 T
3 Z. _6 }9 w* v% n: w- u
    哦？怎么讲？呵呵
作者: springhe    时间: 2010-5-9 00:37
见识了！伟大的希尔伯特！- Y0 M& O5 [, u" t( O! U# W
~~~~~~~~~~~~~~~~~~~~~~
作者: clanswer    时间: 2010-5-9 00:51
回复 15# springhe
; u8 v3 H* c  ~0 E8 i8 u2 x
: B" B: d& _! k2 k' G% j
6 L& [1 E& u) q/ t" r0 G! q    恩，很厉害的人，呵呵
作者: mightyrock    时间: 2010-5-11 00:44
顶一个，虽然对这些问题不是很懂，但是还是很佩服像希尔伯特那样的牛人的。。。
作者: yihao    时间: 2010-5-11 07:04
呵呵呵。有待研究。。。。。。。。。。。。。。。。。。。。。。。
作者: clanswer    时间: 2010-5-11 10:16
回复 18# yihao
# V+ Q4 K1 E4 `" W5 o% R6 F3 b+ l) B

9 k6 v. r5 C1 D6 i) W    恩，很值得研究，呵呵
作者: clanswer    时间: 2010-5-11 10:16
回复 17# mightyrock
7 X1 j+ r+ e$ s* e; q! U  k8 N4 A6 q5 E8 Q; N

, w( @/ h5 _/ B5 N" S" h8 ]8 X4 i    恩那，很牛的人，呵呵
作者: 东方明珠-WDZYQ    时间: 2010-5-11 11:48
挺有意思的，扩展了哈知识面了哈！！
作者: clanswer    时间: 2010-5-11 12:04
回复 21# 东方明珠-WDZYQ
5 ~, I  Y3 V) @; }) x7 Z9 q7 l4 \% C

6 m' w1 P4 M" O! N: n, z) r' {! [    恩，呵呵
作者: 李杰静    时间: 2010-5-12 13:14
进步。。。。。。。。。。。。。。。。。。。。
作者: 风痕    时间: 2010-5-20 13:23
顶一下……………………………………………………………
作者: clanswer    时间: 2010-5-20 13:41
回复 24# 风痕 ! z9 n9 U( u5 b$ T! r
. E& q5 i& b3 a' ^1 L3 k0 U

3 c7 C% T* t: A    多谢帮顶，呵呵
作者: zjqylcy    时间: 2010-6-1 20:34
为什么有的字被和谐掉了。。。
作者: 君华轩    时间: 2010-6-15 18:09
嗯嗯，数学真是奇妙与美妙啊
作者: gaoxian    时间: 2010-6-15 21:28
刚刚看到！真是不服不行！厉害！
作者: ylw346799252    时间: 2010-6-22 23:36
好深奥 看不懂啊 好像从来没见过这些问题哦# |( G4 O5 ~- H. {
作者: 赤子心    时间: 2010-7-13 14:15
…………………………………………………………………………
作者: randy2009    时间: 2010-7-13 22:52
呵呵。以前学过第13个，，。。
作者: clanswer    时间: 2010-7-27 00:52
回复 randy2009 的帖子
# Q6 m& |& `3 ]6 J/ w6 \3 H4 ^  W6 F3 r2 u& A

: v- C4 H) \: f# `# O5 y    哦？学过哦，不知道研究的怎么样？呵呵
作者: randy2009    时间: 2010-7-30 22:06
回复 clanswer 的帖子- Z6 H6 }; v( U1 x' E
* \0 a0 ]& k1 z  {0 l

$ t6 c& T8 E$ o5 A- Q0 _    呵呵，没有，就是装在脑子里整天在想
作者: clanswer    时间: 2010-7-30 23:38
回复 randy2009 的帖子  p. r# Y3 ?8 ~

" I" ]  l* j, x$ t( y- h' y! f" C  `: T7 A: l* O
    那也不错的嘛，呵呵
作者: randy2009    时间: 2010-7-31 12:11
回复 clanswer 的帖子
: G  \$ g+ `" f7 D6 ~! z) U% Z& \) T0 g& z
- q, S# p+ T; A# X% B% I
    哎，还是比较菜，慢慢学吧
作者: clanswer    时间: 2010-7-31 13:06
回复 randy2009 的帖子/ L# b$ V* h, ?8 l: \2 \

/ ?3 \8 |  w' k! j7 J
% T# u& S) f9 P7 r    大家都差不多，呵呵
作者: 54321x    时间: 2010-7-31 18:28
签到………祝大家健康快乐到永远！
作者: sunyongfirst    时间: 2010-8-1 11:06
学习，顶，
作者: wajm_011    时间: 2010-8-4 14:42
有待成长
作者: wydssh    时间: 2010-8-17 00:22
犀利.....................
作者: dugumen    时间: 2011-1-29 20:55
作者: cauerin    时间: 2011-2-5 00:06
数学问题复杂多变，堪为我师
作者: 巧云225    时间: 2011-6-14 09:36
呵呵呵，谢谢。。。。。。。
作者: weixinmaths    时间: 2011-6-15 11:54
作者: 冬明    时间: 2011-7-28 16:21
学习了、、、、、
% {5 |. ]2 _2 P6 B
作者: 师长    时间: 2011-7-29 09:30
研究。。。。。。。。。
作者: okdjl    时间: 2011-12-17 10:39
好贴就是好贴
作者: 切尔西    时间: 2013-1-27 18:18
老师曾讲过希尔伯特是一个集大成的数学家，在数学中很多方面都有很深的研究和成果，很好奇数学家的思维和思考问题的方式
作者: 月乐跃    时间: 2013-8-17 20:43
作者: sleepstealer    时间: 2013-11-20 16:13
长见识中  谢谢楼主
+ {2 V4 y' E( i
作者: XIAOFENG2013    时间: 2014-3-27 20:17
看不懂啊，呵呵。没事慢慢来
作者: 【徒步登月】    时间: 2015-10-1 10:16
科学求是，真心英雄！！: m# j$ u, U2 b# G3 S* M/ n- P
作者: 韩康健    时间: 2015-10-4 21:30
棒棒的数学家3 C) R# R( f% B5 ~/ _




欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5