希尔伯特公里体系简介.docx

1 / 5希尔伯特公理体系希尔伯特(Hilbert，公元 1862～1943)在历代数学家所积累的极其丰富的公理资料基础上，德国数学家希尔伯特(Hilbert，公元 1862～1943)完成了几何学的基础构造工作他于 1899 年出版名著《几何基础》 ，建立了几何学完善的公理体系——“希尔伯特公理体系” 希尔伯特的公理体系建立在基本概念和公理的基础上，基本概念由两部分组成：一部分是几何学研究对象(也称基本元素),如点、线、面等；另一部分是元素间的基本关系，如结合关系、合同关系等公理共有 5 组 20 条希尔伯特公理体系满足他自己提出的三个基本要求，即相容性（公理间互不矛盾） 、独立性（每条公理都不能从其余的公理推出） 、完备性（公理体系所有模型都是互相同构的） 基本元素：点，线，面 2 / 5基本关系：结合关系（如点在直线上，直线在面上等） ，顺序关系（如一点在两点之间，一射线在两射线之间等） ，合同关系（如两线段合同，两角合同等）基本公理：Ⅰ、结合公理 8 条几何基本元素“点” 、 “直线” 、 “平面”之间的结合关系就是：“点在直线上”可以说成“直线通过点或直线含有点或点属于直线” ；点和平面也有这种关系，结合公理要求满足 8 条公理：（1）通过不同两点必有一条直线。

2）通过不同两点的直线至多有一条3）每一条直线上至少有两点；至少有三点不在同一条直线上4）通过不共线的三点必有一个平面；每一个平面上至少有一点5）至多有一个平面通过不共线的三点6）若一直线有不同两点在某个平面上，则该直线上所有点都在这平面上7）若两个平面有一个公共点，则至少还有一个公共点8）至少有四个点不同在一个平面上Ⅱ、顺序公理 4 条直线上的点与点之间有一种“介于”关系，通常用“介于……之间”的语言来表示 “介于”关系表示点与点之间的“顺序关系” ， 3 / 5它们必须满足 4 条顺序公理1）若点 介于两点 、 之间，则 、 、 是同一直线上BACABC的三个不同点，并且 也介于 和 之间2）对于任意不同的两点 和 ，直线 上至少有一点 C 存在，使得 介于 和 C 之间BA（3）在共直线的不同三点中，至多有一点介于其余两点之间4）巴士公理设 、 、 是不在同一直线上的三个点，ABC是平面 上的一条直线，它不通过 、 、 中的任一点若aABCABC有一点介于 和 之间，则 必须还有一点介于 和 之间或 和a A之间Ⅲ、合同公理 5 条根据“介于……之间”的关系和顺序公理，可以定义“线段” 、“射线” 、 “角”等概念，线段与线段之间具有一种关系，这种关系用词语“合同”或“相等”来表示。

合同关系必须满足 5 条公理：（1）若 、 是直线 上两点， 是该直线或另一直线 上一ABa'A'a点，则在直线 上点 的任意指定的一侧，总存在一个而且只有一'a'个点 ，使得线段 合同于（或等于）线段 ' ' B（2）若线段 合同于 ， 合同于 ，则 合同于'AB'A'A即若 ， ,则 'AB''B''（3）若 点介于 和 之间， 介于 和 之间，且C'''C， ,则 ''CB'A（4）设平面 上给定由点 发出的射线 、 所成的角 ，Ohk(,)hk 4 / 5在平面 上给定直线 并指定其一侧，设 是 上从 点发出的射''a'h''O线，则 上 指定的一侧存在由 发出的唯一射线 ,使得'' 'O'k，又 )(',)hk(,)(,)hk（5）设 、 、 是不在同一直线上的三点， 、 、 也不ABC'A'B'C在同一直线上若线段 , ，且 ，则'A'C'', ''BC''Ⅳ、连续公理 2 条（1）阿基米德公理设 和 是任意两条线段， ，ABCDABCD则在直线 上必定存在着有限个点 使得 介于 和 之间，AB12nA…12介于 和 之间，……，线段之间有合同关系213，并且使得点 介于点 和 之间。

121nACD…BnA亦即存在自然数 ，使得 B（2）康托尔公理设在任意直线 上给了线段的无穷序列a，其中每一个后面的线段连同端点完全落在前一1,,nAB…个线段的内部，并设对于任何预先给定的无论多么短的线段 ，总CD可以找到一个自然数 ，使得 则在直线 上存在着一点 ，nABCDaX落在所有线段 的内部12,,AB…Ⅴ、平行公理 1 条同一平面上没有公共点的两条直线叫做平行线，或称该两条直线互相平行平行公理：设 是任意一条直线， 是 外的任意一点，那么在aAa和 所决定的平面上，至多只有一条直线通过 且与 平行aA a 5 / 5这条公里是英国数学家普雷菲尔(Playfair)首先用来代替欧几里得第 5 公设的，因而又称普雷菲尔公理，它与欧几里得第 5 公设等价，但形式上较为简单前四组公理Ⅰ、Ⅱ、Ⅲ、Ⅳ及其推论组成的几何学称为绝对几何学，由绝对几何学加上欧氏平行公理展开的几何学称为欧氏几何学，由绝对几何学加上罗巴切夫斯基平行公理展开的几何学称为罗氏几何学希尔伯特公理体系分类图 基 本 元 素 ： 点 、 线 、 面结 合 关 系基 本 概 念 基 本 关 系 顺 序 关 系合 同 关 系几 何 基 础 结 合 公 理 8条顺 序 公 理 4条基 本 公 理 20条 合 同 公 理 5条连 续 公 理 2条平 行 公 理 1条。