几何基础与非欧几何简介.pptVIP

几何基础是研究几何学的理论基础，以及相关问题的一门学科。 ——题 记 提 纲 一、希尔伯特公理体系 二、非欧几何 在人类认识的长河中，无论怎样高明的前辈和名家，都不可能把问题全部解决。欧几里得的“几何公理体系”也并不另外。有人就曾经列举过《几何原本》至少存在的以下五个方面的不足： 第一，定义含糊不清，有时无法理解，所用的都是一些日常用语，而不是精准的数学语言，如“点是没有部分的”，“线是有长度但是没有宽度的”等等。 第二，证明过程常常依赖直观，这样可能由于作图的不精准或直观错觉，导致得出不正确的结论。 第三，公理系不完备，缺少顺序公理、合同公理和连续公理（事实上欧几里得在逻辑推理中曾经使用了“连续”的概念，但是在《几何原本》中从未提到过这个概念）。 第四，有些公理不独立，例如第四公设“所有直角都相等”，很容易从其它公理推导出来。 第五，利用图形移动不变性，用重合来证明全等，此法至少有两点不足： 一是移动、重合概念没有逻辑依据， 二是为什么会有图形的移动不变性？ 哪些几何性质在图形移动中不变都没有交代清楚，也不可能交代清楚等。 为了克服以上缺陷，后来者，从多方面展开了研究。从公元三世纪的帕善朗到后来的法国数学家达朗贝尔于1757年首次对《几何原本》提出批判意见、勒让德于1794年编写新几何教材对《几何原本》也提出了的批判。最后，集大成者应该是德国数学家希尔伯特。 希尔伯特于1899年出版了《几何基础》这一世界公认的公理化方法的经典不朽之作，在前人研究成果的基础上建立起了一个相对更加和谐、独立和完备的新的几何公理体系——希尔伯特公理体系。它是欧几里得“公理体系”的继承发展和升华。 希尔伯特公理体系包括三个原始概念：点、线、面；三个不定义关系：在……之间、在……之上、合同于；五个基本关系：两个结合关系（点与直线结合、点与平面结合）；一个顺序关系（一点在另两点之间）；一个合同关系（线段与线段合同、角与角合同）；以及以下五类（结合公理、顺序公理、合同公理、平行公理、连续公理）共二十条公理的公理体系。 第一类公理 结合公理（也称为关联公理或从属公理） Ⅰ1 对于两个不同的点，必有一条直线通过这两点。 Ⅰ2 对于两个不同的点，至多有一条直线通过这两个点。 Ⅰ3 每条直线上至少有两个不同的点，至少有三个点不在同一直线上。 Ⅰ4 对于不在一条直线上的三个点，恒有一个平面通过其中每一个点，每个平面上至少有一个点。 Ⅰ5 对于不在同一直线上的三个点，至多有一个平面通过其中每一个点。 Ⅰ6 如果一直线有不同两点在某一平面上，那么直线全在平面上。 Ⅰ7 如果两个平面有一个公共点，那么至少还有另一个公共点。 Ⅰ8 至少有四个点不在同一平面上。 显然，由Ⅰ1 、Ⅰ2 可以得到我们熟悉的两个推理： 推论1：任意不同的两个点确定唯一通过它们的直线。（“不同两点确定唯一直线”） 推论2：不同两条直线至多有一公共点。 由Ⅰ4 、Ⅰ5 也可得到如下我们熟悉的一个推论： 推论3：任意不在同一直线上的三个点确定唯一的通过它们的平面。（“不在同一直线的三点确定唯一平面”） 另外，如果只是建立平面几何学体系，可以去掉后五个公理。当然，在《标准》意义下，我们主张作为教师还是要全面理解整个体系并能与现行中小学教材中所采用的“局部公理化体系”意义下的几何发生关联。 第二类公理 顺序公理（也称为介于公理） 设有同在一直线上的三点，则我们由经验上知道有一个点介于两点之间。“介于……之间”或“在……之间”这个概念乃表示三点的“顺序关系”，希尔伯特采用它作为原始概念或称元谊。 本组公理有四条： Ⅱ1 如果点B在点A和点C之间，那么A，B，C是同一直线上的不同的三个点，而且点B也在点A和点C之间。 Ⅱ2 对于任意不同的两个点A和点B，至少有一点C，使得点B在点A与点C之间。 Ⅱ3 在同一条直线上任意三个不同的点中，至多有一个点在其它两个点之间。 Ⅱ4 （帕须公理）设A，B，C三点不在同一条直线上，而直线在平面ABC上，但不通过A，B，C中任何一点，如果上有一点在A和B之间，则必还有一点在A和C或B和C之间。 最后一个公理是德国数学家帕须（Pasch,1843-1930年）首先提出来的，也叫截割公理。 同样，如果只是建立平面几何学体系，可以去掉最后一个公理。 第三类公理 合同公理 有了“在……之间”的概念和顺序公理，就可以得出以下定义： 线段：介于A、B两点之间，有无限多个点。这些点的全体叫做线段。 射线：设O和A是直线上两点。则除这两点外，在直线上还有无限个点X，使得O不介于A和X之间，又有无限个点Y，使得O不介于A和Y之间。所有一切X点连同A点组成