欧氏几何 - 湖南大学.ppt

前言 几何学的起源 一、欧氏几何和欧氏空间 欧几里得（Euclid,公元前330—公元前275）是希腊亚历山大的数学教师。于十几岁的少年时，进入“柏拉图学园”学习。著名的古希腊学者阿基米德，是他“学生的学生”——卡农是阿基米德的老师，而欧几里得是卡农的老师。 欧几里得将公元前七世纪以来希腊几何积累起来的丰富成果，整理在严密的逻辑系统运算之中，使几何学成为一门独立的、演绎的科学。 欧几里得最著名的著作《几何原本》是欧洲数学的基础，总结了平面几何五大公设，被广泛的认为是历史上最成功的教科书。 1.《几何原本》介绍 《几何原本》共分十三卷，给出了467个命题，几乎涵盖了前人所有的数学成果。全书精心编排，把命题依照彼此的逻辑关系，从简单到复杂，将内容按照顺序排列起来是欧几里得最成功的创造。 1.《几何原本》介绍 第一卷是全书逻辑推理的基础，给出了什么是点、线、面等23个定义，5条公设，5个公理，由此讨论三角形全等、边角关系、垂线、平行线、平行四边形、多边形、勾股定理等。 五条公设： （1）从每个点到每个别的点必定可引直线； （2）直线可以无限延长； （3）以任一点为中心，任意长为半径可以作圆； （4）所有直角都相等； （5）若一直线与两条直线相交，且同侧内角和小于 两直角，则此两直线必在该侧相交。 五条公理： （1）等于同量的量相等； （2）等量加等量，和相等； （3）等量减等量，差相等； （4）彼此重合的东西是相等的； （5）整体大于部分。 欧氏空间 后人把欧几里得建立的几何理论称为“欧氏几何”；成立欧氏几何的平面称为“欧氏平面”；成立欧氏几何的空间称为“欧氏空间”。 公理法 欧几里得在《几何原本》使用的这种建立理论体系的方法称为“公理法（原始公理法）”。 第Ⅴ（五）公设 第Ⅴ公设等价于：过直线外一点只可作一直线平行于已知直线。在《几何原本》问世的两千年中，不少人试图去修正，尤其是第Ⅴ公设，被认为可由其余九条所证出，或用更简单或更直观的公理来代替。 罗氏几何 俄国数学家罗巴切夫斯基（Lobatchevsky，1793-1856）也希望能证明第Ⅴ公设，他企图通过否定第Ⅴ公设的等价命题来引出矛盾。但他推出了一个又一个新奇的结论后仍找不到逻辑上的矛盾，这些新的结论构成了一个不同的几何体系，后来被称为罗氏几何。 2.希尔伯特与《几何基础》 1899年德国数学家希尔伯特（Hilbert,1862-1943）发表了著作《几何基础》。希尔伯特在这书中对欧几里得几何及有关几何的公理系统进行了深入的研究。他不仅对欧几里得几何提供了完善的公理体系，还给出证明一个公理对别的公理的独立性以及一个公理体系确实为完备的普遍原则。 2.希尔伯特与《几何基础》 三个基本对象：点、直线、平面 三种基本关系： “在……之上”、 “在……中间”、 “合同于” 五组公理共20条： 第一组关联公理，共8条； 第二组顺序公理，共4条； 第三组合同公理，共5条； 第四组连续公理，共2条； 第五组平行公理，共1条。 现代公理法： 以五组公理为基础，陆续定义了一些新的概念和证明一些新的结论（定理），这样建立起了一个依照逻辑关系，排列顺序井然的体系，称为现代公理法。 3.公理系统的三个问题 构造一个公理体系并不容易，要求满足以下条件： （1）无矛盾性：即所有的公理彼此不产生矛盾，也称相容性； （2）独立性：即每一条公理都不能由其它公理推出，也就是公理组有最少个数，不能有多余的； （3）完备性：即已有的公理已足够了，不能再增加与公理组都相容的新公理。 3.公理系统的三个问题 在数学及其它领域，利用公理法思想的地方很多，但一般并未形成欧氏几何公理系统这样严格的理论体系。一般地，任何一个公理系统必须是相容的，但未必是独立的，完备性更不是必需的。 3.公理系统的三个问题 除了欧氏几何，罗氏几何与射影几何的公理系统也具备以上三个条件。 任何一个公理体系都不可能在本系统内证明它的无矛盾性，也就是说任何一个理论系统最终还是要靠实践来检验它的真伪与价值。 二、解析几何 自从欧几里得的《几何原本》问世以来，人们一直把代数限定在研究数及其关系的范畴内，把几何限定在研究位置和图形的范畴内。代数和几何截然分家持续了几千年，犹如两座高山被万丈深渊分割. 二、解析几何 二、解析几何 法国数学家笛卡尔（R.Descartes1596-1650）于1637年发表长篇著作《更好地指导推理和寻求科学真理的方法论》，该书三个附录