初等数论20欧氏几何的公理体系.pptVIP

* 初等数学专题研究 第二十讲 欧式几何的公理体系与非欧几何 20.1 欧氏几何的公理体系 20.2 非欧几何简介 20.1 欧氏几何的公理体系 一、欧氏公理体系中的原始概念 1、不加定义的基本元素：点，直线，平面 2、不加定义的基本关系：“在········之上”（同义语为属于、通过）；“在·······之间”；“合同”； 二、欧氏公理体系中的结合公理Ⅰ（一共8条） Ⅰ1：过两点恒有一线 Ⅰ2：过两点至多有一线 Ⅰ3：一线上至少含两点；至少有三点不共线。 Ⅰ4：过不共线三点恒有一平面；每个平面至少含一点。 Ⅰ5：过不共线三点至多有一平面。 Ⅰ6：有一线有两点在一个平面上，整条直线都在平面上。 Ⅰ7：两平面有一个公共点，则至少还有另一个公共点。 Ⅰ8：至少有四点不共面。 20.1 欧氏几何的公理体系 三、欧氏公理体系中的顺序公理Ⅱ（四条） Ⅱ1：在同一直线上，B在A、C之间，那么B也在C、A之间。 Ⅱ2：过A、B的直线上至少有一点C，使得B在A、C之间。 Ⅱ3：在同一直线上三点，至多有一点在其余两点之间。 Ⅱ4：A,B,C是不共线三点，直线a在平面ABC上但不过这三点，如果直线过线段AB的内点，则a也必过AC或BC的内点。 四、欧氏公理体系中的合同公理Ⅱ（五条，合同记作≡） III1：A,B是直线a上两点，C是直线b上点，给定b上C的一侧，那么在b上的这一侧，恒有一点D，使得AB≡CD,因线段端点未分先后，所以也有AB≡DC. 这条公理又叫巴士公理 III3：A1B1和B1C1是直线a1上没有公共内点的线段， A2B2和B2C2是直线a2上没有公共内点的线段，若A1B1≡A2B2且 B1C1≡B2C2，那么A1C1≡A2C2（线段的叠加） 20.1 欧氏几何的公理体系 四、欧氏公理体系中的合同公理Ⅱ（五条，合同记作≡） III4：给定平面α上的角∠XOY，O1X1是平面β上的直线，给定β上O1X1的一侧，则在这一侧，必有一条以O1为端点的射线O1Y1, 使∠X1O1Y1= ∠XOY。 III2：若AB≡CD且EF≡CD，那么AB≡EF（传递性） 20.1 欧氏几何的公理体系 四、欧氏公理体系中的合同公理III（五条，合同记作≡） III5：A,B,C是不共线三点,A1,B1,C1也不共线,若AB =A1B1且AC = A1C1,并且∠BAC = ∠B1A1C1,那么∠ABC = ∠A1B1C1. 20.1 欧氏几何的公理体系 五、欧氏公理体系中的平行公理与连续公理 Ⅳ.平行公理：过给定直线外一点，至多有一条直线与该直线平行。 Ⅴ.连续公理（两条） Ⅴ1 (阿基米德公理)：如果AB，CD是任意两条线段，那么以A为端点的射线AB上，必有这样有限个点A1,A2,······, An，使得AA1≡A1A2≡······≡An-1An≡CD, 并且B在An-1与An之间。 20.1 欧氏几何的公理体系 五、欧氏公理体系中的平行公理与连续公理 Ⅴ.连续公理（两条） Ⅴ2 (康托公理)：在一条直线上有一个无穷线段的序列：A1B1，A2B2，······，AnBn，······，在这个序列中，如果每一条线段的端点都是前面一条线段的内点，并且对于任意线段PQ，总存在一条线段AkBk，使AkBkPQ，那么在这条直线上必有唯一的点C，使C点属于这个线段序列的所有的线段。 这个公理实际上就是数学分析中的闭区间套定理的几何形式。 希尔伯特公理体系 原始概念 原始元素：点、直线、平面 原始关系 结合关系 点在直线上 点在平面上 顺序关系： 一点介于两点之间 合同关系 两线段相等 两角相等 用以定义所有的几何概念 公理 结合公理I1—I8 顺序公理Ⅱ1—Ⅱ4 合同公理III1——III5 平行公理Ⅴ 连续公理Ⅴ1—Ⅴ2 用以推导所有的几何定理和操作方法 20.1 欧氏几何的公理体系 20.2 非欧几何简介 一、关于平行公理的公案 在数学的基础领域，人们希望所有的科学体系都能用数学作为基础和工具，因此，数学就不能受到可科学体系的具体的对象所制约，就需要形成一个形式化的体系。这样他就需要一些不加定义的原始概念和不加证明的原始公理为基础来搭建整个数学科学的体系。为使整个体系完备齐全，而又不臃肿累赘，那么在基础的公理体系上就需要满足三个要求或三条原则： 纯粹性：所有的公理彼此之间应该是互不关联的（或彼此独立的），也就是说，公理之间没有依存关系。 无矛盾性：公理与公理之间应该是相容的。也就是说，由这些公理不能推导出互相矛盾的结论。 完备性：整个体系的所有结论都可以有这些公理推导出来。 简单说来就是不多（纯粹）、不矛盾、够用（完备）。 20.2 非欧几何简介 一、关于平行公理的公案 在两千多年以前，平行公理叫平行公设，欧几里得对