策梅洛定理当年希尔伯特提出的那些数学问题 还有几个我们没证出来

求集合论中所有的公理与定义

这个取决于1，2的定义。

不过一般不会求所谓“元素集合”的广义并，在使用中总是有背景的，所以求广义并也是有意义的。

比如在集合论中自然数的一个常见定义是： 0 = 空集， 1 = 0 ∪ {0} = {空集}， 2 = 1 ∪ {1} = {空集, {空集}} …… 于是 ∪A = {空集, {空集}} = 2． 当然因为自然数也可以不按上述方法定义（自然数的形式化定义是Peano公理系统，上面的定义只是一种构造方式），所以∪A也可以是其他结果。

什么是atiyah-singer 指标定理

，海贼smSH， 学习的动力是培养兴趣，不是抄答案。

平时阅读一些科普书籍，可以提高自己的学习兴趣。

好，下面，科普一下《卡拉比猜想》: 卡拉比猜想源于代数几何，是由意大利著名几何学家卡拉比在1954年国际数学家大会上提出的：在封闭的空间，有无可能存在没有物质分布的引力场。

卡拉比认为是存在的，可是没有人能证实，包括卡拉比自己。

这个猜想的陈类为负和零的情况被美籍华裔数学家丘成桐证明，并因此在1982年获得数学界的“诺贝尔奖”——菲尔兹奖，是第一个获得该奖的华人数学家。

卡拉比（Calabi）猜想在数学界的期盼中，等待着它真正的王者到来，这一等就是21年。

? 1941年的霍奇（Hodge）理论刚刚由魏尔（Weyl）和小平邦彦（Kodaira）整理完成。

1945年陈省身引进的陈示性类由希策布鲁赫（Hirzebruch）发扬光大，证明了拓扑中的符号差定理与代数几何中的Hirzebruch-Riemann-Roch定理。

工程师出身的博特（Bott）证明了他不朽的同伦群周期性定理。

这些结果很快激发出了Atiyah-Singer指标定理。

塞尔（Serre）用勒雷（Leray）的谱序列计算了代数拓扑中球面的同伦群，用层论写下了代数几何名篇GAGA，将复分析系统地引入代数几何。

Kodaira证明了他著名的嵌入定理，发展了复流形的形变理论。

稍后，米尔诺（Milnor）发现了七维怪球，纳什（Nash）证明了黎曼（Riemann）流形的嵌入定理。

这些伟大的数学家与他们的定理，如繁星闪耀在天空，令人目不暇给。

? 1954年的国际数学家大会，菲尔兹（Fields）奖的获奖者是小平邦彦（Kodaira）和塞尔（Serre），他们的主要获奖工作都是将复分析、微分几何与代数几何完美地结合在一起。

正如魏尔（Weyl）在他的颁奖词中所说：“他们的成就远远超越了他年轻时的梦想，他们的成就代表着数学一个新时代的到来。

” ? 也是在这届数学家大会上，31岁的意大利裔数学家卡拉比，在会议的邀请报告中用一页纸写下了他著名的猜想：令M为紧致的卡勒（Kahler）流形，那么对其第一陈类中的任何一个（1，1）形式R，都存在唯一的一个卡勒度量，其i形式恰好是R。

卡拉比还粗略地描述了一个他的猜想的证明方案，并证明了，如果解存在，那必是唯一的。

希尔伯特的二十三个问题都是什麽

希尔伯特的二十三个数学问题 　　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)。

　　17 正定形式的平方表示式 已由E.阿廷于 1926年解决。

　　18 由全等多面体构造空间 部分解决。

　　19 正则变分问题的解是否一定解析 1904年,С.Н.伯恩斯坦证明了一个变元的解析非线性椭圆方程其解必定解析。

该结果后又被推广到多变元和椭圆组情形。

　　20 一般边值问题 偏微分方程边值问题的研究正在蓬勃发展。

　　21 具有给定单值群的线性微分方程的存在性 已由希尔伯特本人(1905)和H.罗尔(1957)的工作解决。

　　22 解析关系的单值化 一个变数的情形已由P.克贝(1907)解决。

　　23 变分法的进一步发展。

　　这23个问题涉及现代数学大部分重要领域，推动了20世纪数学的发展，数学史上称之 　　为希尔伯特数学问题。

什么是ZF公理

在集合论创建的初期，Cantor是以所谓“朴素”的观点来看待集合的，他建立了广泛而深刻的集合理论，但是他没有明确对于已知集合，哪些操作是合法的。

为了填补Cantor在理论基础上的不足，1908年策梅洛(Zermelo)提出了比较完整的公理，这些公理指明了对集合的哪些操作是合法的。

后经过弗兰克尔（Fraenkel）的完善和补充，形成了ZF公理系统。

　　(1)外延公理（容积公理）：一个集合完全由它的元素所决定。

如果两个集合含有的元素相同，则它们是相等[1] 的。

　　(2)分离公理模式：“对任意集合x和任意对x的元素有定义的逻辑谓词P(z)，存在集合y，使z∈y当且仅当z∈x而且P(z)为真” 　　也就是说：若A是一个集合，那么可以断定，B={x∈A|P（x）}也是一个集合。

　　(3)无序对公理：对任意集合X,Y，存在集合Z，使得X,Y是它仅有的元素。

　　也就是说：我们可以用一个集合Z={X,Y}来表示任给的两个集合X,Y，称之为X与Y的无序对。

　　(4)并集公理：任给一族M，存在UM（称为M的并）它的元素恰好为M中所含元素的元素。

　　也就是说：我们可以把族M的元素的元素汇集到一起，组成一个新集合。

　　注：为了方便描述，定义族表示其元素全为集合的集合。

　　(5)幂集公理(子集之集公理)：对任意集合X，存在集合P（X），它的元素恰好就是X的一切子集。

　　也就是说：存在以已知集合的一切子集为元素的集合。

　　(6)无穷公理：存在归纳集。

（存在一个集合，空集是其元素，且对其任意元素x，x+=x∪{x}也是其元素） 　　也就是说，存在一集合x，它有无穷多元素。

　　(7)替换公理模式（置换公理）：也就是说，对于任意的函数F（x），对于任意的集合T，当x属于T时，F（x）都有定义（ZF中唯一的对象是集合，所以F（x）必然是集合）成立的前提下，就一定存在一集合S，使得对于所有的x属于T，在集合S中都有一元素y，使y=F（x）。

也就是说，由F（x）所定义的函数的定义域在T中的时候，那么它的值域可限定在S中。

　　(8)正则公理：也叫基础公理。

所有集都是良基集。

说明一个集合的元素都具有最小性质，例如，不允许出现x属于x的情况。

　　准确的定义：“对任意非空集合x，x至少有一元素y使x∩y为空集。

” 　　以上8条公理组成了ZF公理系统，再加上选择公理，则组成了ZFC公理系统

数学有哪些分支？哪些是属于难的？数学中都有哪些有名的猜想和难题（已得出结果的和还待解决的）？

希尔伯特的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.物理学的公理化 希尔伯特建议用数学的公理化方法推演出全部物理，首先是概率和力学。

1933年，苏联数学家柯尔莫哥洛夫实现了将概率论公理化。

后来在量子力学、量子场论方面取得了很大成功。

但是物理学是否能全盘公理化，很多人表示怀疑。

7.某些数的无理性与超越性 1934年，A.O.盖尔方德和T.施奈德各自独立地解决了问题的后半部分，即对于任意代数数α≠0 ，1，和任意代数无理数β证明了αβ 的超越性。

8.素数问题 包括黎曼猜想、哥德巴赫猜想及孪生素数问题等。

一般情况下的黎曼猜想仍待解决。

哥德巴赫猜想的最佳结果属于陈景润（1966），但离最解决尚有距离。

目前孪生素数问题的最佳结果也属于陈景润。

9．在任意数域中证明最一般的互反律 该问题已由日本数学家高木贞治（1921）和德国数学家E.阿廷（1927）解决。

10． 丢番图方程的可解性 能求出一个整系数方程的整数根，称为丢番图方程可解。

希尔伯特问，能否用一种由有限步构成的一般算法判断一个丢番图方程的可解性？1970年，苏联的IO.B.马季亚谢维奇证明了希尔伯特所期望的算法不存在。

11． 系数为任意代数数的二次型 H.哈塞（1929）和C.L.西格尔（1936，1951）在这个问题上获得重要结果。

12． 将阿贝尔域上的克罗克定理推广到任意的代数有理域上去 这一问题只有一些零星的结果，离彻底解决还相差很远。

13． 不可能用只有两个变数的函数解一般的七次方程 七次方程 的根依赖于3个参数a、b、c，即x=x （a，b，c）。

这个函数能否用二元函数表示出来？苏联数学家阿诺尔德解决了连续函数的情形（1957），维士斯金又把它推广到了连续可微函数的情形（1964）。

但如果要求是解析函数，则问题尚未解决。

14． 证明某类完备函数系的有限性 这和代数不变量问题有关。

1958年，日本数学家永田雅宜给出了反例。

15． 舒伯特计数演算的严格基础 一个典型问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观解法。

希尔伯特要求将问题一般化，并给以严格基础。

现在已有了一些可计算的方法，它和代数几何学不密切联系。

但严格的基础迄今仍未确立。

16． 代数曲线和代数曲线面的拓扑问题 这个问题分为两部分。

前半部分涉及代数曲线含有闭的分枝曲线的最大数目。

后半部分要求讨论 的极限环的最大个数和相对位置，其中X、Y是x、y的n次多项式.苏联的彼得罗夫斯基曾宣称证明了n=2时极限环的个数不超过3，但这一结论是错误的，已由中国数学家举出反例（1979）。

17． 半正定形式的平方和表示 一个实系数n元多项式对一切数组(x1,x2,...,xn) 都恒大于或等于0，是否都能写成平方和的形式？1927年阿廷证明这是对的。

18． 用全等多面体构造空间 由德国数学家比勃马赫（1910）、荚因哈特（1928）作出部分解决。

19． 正则变分问题的解是否一定解析 对这一问题的研究很少。

C.H.伯恩斯坦和彼得罗夫斯基等得出了一些结果。

20． 一般边值问题 这一问题进展十分迅速，已成为一个很大的数学分支。

目前还在继续研究。

21． 具有给定单值群的线性微分方程解的存在性证明 已由希尔伯特本人（1905）和H.罗尔（1957）的工作解决。

22． 由自守函数构成的解析函数的单值化 它涉及艰辛的黎曼曲面论，1907年P.克伯获重要突破，其他方面尚未解决。

23． 变分法的进一步发展出 这并不是一个明确的数学问题，只是谈了对变分法的一般看法。

20世纪以来变分法有了很大的发展。

这23问题涉及现代数学大部分重要领域，推动了20世纪数学的发展。

当年希尔伯特提出的那些数学问题 还有几个我们没证出来

①连续统假设问题。

1963年，P.J.科恩证明此问题不可解，即连续统假设的真伪不可能在策梅洛-弗伦克尔公理系统内判明。

②算术公理的相容性。

1931年K.哥德尔“不完备定理”指出用元数学证明算术公理相容性是不可能的。

故相容性问题尚未解决。

直线作为两点间最短距离问题，尚未解决。

某些数的无理性和超越性，1934年A.O.盖尔丰德和T.施奈德解决了后半，1966年A.贝克推进。

⑧素数问题。

一般问题未解决，对哥德巴赫猜想中国数学家作出很大贡献，但仍未彻底解决。

系数为任意代数数的二次型。

H.哈塞和C.L.西格尔取得重要成果。

阿贝尔域上的克罗内克定理推广到任意代数有理域。

未解决。

无限多个立体排列问题尚未解决。

正则变分问题的解是否一定解析。

在一定意义上由C.H.伯恩斯坦等人解决。