总之,欧式吸取毕氏学派失败的经验,重新「分析」与「整理」既有的几何知识,另辟路径,改几何本身来建立几何(不用毕式经验式的原子论,即使优多诸斯已补全了毕氏学派的漏洞)并且采用公理化的手法,逐本探源,最后终於找到五条几何公理与五条一般公理是欧氏的创造与发现过程。接著是「综合」,利用10条公理配合优多诸斯检定法则、反证法(归谬法)与尺规作图,推导出所有的几何定理,这是逻辑的证明过程。因此,欧氏几何的建立,采用了分析与综合的方法。这不止是单独一个命题的前提与结论之间的连结,而是所有几何命题的连结成逻辑网路,即整个几何领域的全面之分析与综合。欧氏视10条公理为「显明」的真理,从而所有几何定理也都是真理。换言之,由源头输入真值 (truth values),那麼沿著逻辑网路,真值就流布於整个欧氏演绎系统。欧氏以「朝生暮死」之躯,竟然能作出永恒之事!美国女诗人米雷(E.S.V. Millay, 1892~1950)说:只有欧氏见过赤裸之美 (Euclid alone has looked at beauty bare.)。
标志着欧氏几何学的建立。《几何原本》的意义却绝不限于其内容的重要,或者其对诸定理的出色证明。真正重要的是欧几里德在书中创造的公理化方法。
欧几里得几何是按照古希腊数学家欧几里得的《几何原本》构造的几何学。
它的问世是整个数学发展史上意义极其深远的大事,也是整个人类文明史上的里程碑。
两千多年来,这部著作在几何教学中一直占据着统治地位,至今其地位也没有被动摇,包括中国在内的许多国家仍以它为基础作为几何教材。
扩展资料:
欧几里德编著完《几何原本》、形成自己的理论体系之后,欧几里德也学习柏拉图。
自己成立学校,广收门徒,宣传自己的科学观点。在当时,几何学已经逐步成为一种时髦。
欧氏几何源于公元前3世纪。古希腊数学家欧几里德把人们公认的一些几何知识作为定义和公理,在此基础上研究图形的性质,推导出一系列定理,组成演绎体系。
公理:
任意两个点可以通过一条直线连接。
若两条直线都与第三条直线相交,并且在同一边的内角之和小于两个直角和,则这两条直线在这一边必定相交。
欧氏几何 一、欧氏几何的建立 欧氏几何是欧几里德几何学的简称, 其创始人是公元前三世纪的古希腊伟大数学家欧几里德。在他以前, 古希腊人已经积累了大量的几何知识, 并开始用逻辑推理的方法去证明一些几何命题的结论。 欧几里德这位伟大的几何建筑师在前人准备的“木石砖瓦” 材料的基础上,天才般地按照逻辑系统把几何命题整理起来, 建成了一座巍峨的几何大厦,完成了数学史上的光辉著作《 几何原本》。这本书的问世,标志着欧氏几何学的建立。 这部科学著作是发行最广而且使用时间最长的书。 后又被译成多种文字,共有二千多种版本。 它的问世是整个数学发展史上意义极其深远的大事, 也是整个人类文明史上的里程碑。两千多年来, 这部著作在几何教学中一直占据着统治地位, 至今其地位也没有被动摇, 包括我国在内的许多国家仍以它为基础作为几何教材。 二、一座不朽的丰碑 欧几里德将早期许多没有联系和未予严谨证明的定理加以整理, 写下《几何原本》一书, 使几何学变成为一座建立在逻辑推理基础上的不朽丰碑。 这部划时代的著作共分13卷,465个命题。 其中有八卷讲述几何学, 包含了现在中学所学的平面几何和立体几何的内容。但《几何原本》 的意义却绝不限于其内容的重要,或者其对定理出色的证明。 真正重要的是欧几里德在书中创造的一种被称为公理化的方法。 在证明几何命题时,每一个命题总是从再前一个命题推导出来的, 而前一个命题又是从再前一个命题推导出来的。 我们不能这样无限地推导下去,应有一些命题作为起点。 这些作为论证起点,具有自明性并被公认下来的命题称为公理, 如同学们所学的“两点确定一条直线”等即是。 同样对于概念来讲也有些不加定义的原始概念,如点、线等。 在一个数学理论系统中, 我们尽可能少地先取原始概念和不加证明的若干公理, 以此为出发点,利用纯逻辑推理的方法, 把该系统建立成一个演绎系统,这样的方法就是公理化方法。 欧几里德采用的正是这种方法。他先摆出公理、公设、定义, 然后有条不紊地由简单到复杂地证明一系列命题。他以公理、公设、 定义为要素,作为已知,先证明了第一个命题。然后又以此为基础, 来证明第二个命题,如此下去,证明了大量的命题。其论证之精彩, 逻辑之周密,结构之严谨,令人叹为观止。 零散的数学理论被他成功地编织为一个从基本假定到最复杂结论的系 统。因而在数学发展史上, 欧几里德被认为是成功而系统地应用公理化方法的第一人, 他的工作被公认为是最早用公理法建立起演绎的数学体系的典范。 正是从这层意义上,欧几里德的《几何原本》 对数学的发展起到了巨大而深远的影响, 在数学发展史上树立了一座不朽的丰碑。 三、欧氏几何的完善 公理化方法已经几乎渗透于数学的每一个领域, 对数学的发展产生了不可估量的影响, 公理化结构已成为现代数学的主要特征。 而作为完成公理化结构的最早典范的《几何原本》, 用现代的标准来衡量,在逻辑的严谨性上还存在着不少缺点。 如一个公理系统都有若干原始概念(或称不定义概念),如点、线、 面就属于这一类。欧几里德对这些都做了定义, 但定义本身含混不清。另外,其公理系统也不完备, 许多证明不得不借助于直观来完成。此外,个别公理不是独立的, 即可以由其他公理推出。 这些缺陷直到1899年德国数学家希尔伯特的在其《几何基础》 出版时得到了完善。在这部名著中, 希尔伯特成功地建立了欧几里德几何的完整、严谨的公理体系, 即所谓的希尔伯特公理体系。 这一体系的建立使欧氏几何成为一个逻辑结构非常完善而严谨的几何 体系。也标志着欧氏几何完善工作的终结。 ------------------------------ ------------------------------ -------- 黎曼几何 黎曼流形上的几何学。德国数学家G.F.B. 黎曼19世纪中期提出的几何学理论。 1854年黎曼在格丁根大学发表的题为《 论作为几何学基础的假设》的就职演说, 通常被认为是黎曼几何学的源头。在这篇演说中, 黎曼将曲面本身看成一个独立的几何实体, 而不是把它仅仅看作欧几里得空间中的一个几何实体。 他首先发展了空间的概念, 提出了几何学研究的对象应是一种多重广义量 ,空间中的点可用n个实数(x1,……,xn)作为坐标来描述。 这是现代n维微分流形的原始形式, 为用抽象空间描述自然现象奠定了基础。 这种空间上的几何学应基于无限邻近两点(x1,x2,……xn) 与(x1+dx1,……xn+dxn)之间的距离, 用微分弧长度平方所确定的正定二次型理解度量。亦即 , (gij)是由函数构成的正定对称矩阵。这便是黎曼度量。 赋予黎曼度量的微分流形,就是黎曼流形。 黎曼认识到度量只是加到流形上的一种结构, 并且在同一流形上可以有许多不同的度量。 黎曼以前的数学家仅知道三维欧几里得空间E3中的曲面S上存在诱 导度量ds2=Edu2+2Fdudv+Gdv2, 即第一基本形式, 而并未认识到S还可以有独立于三维欧几里得几何赋予的度量结构。 黎曼意识到区分诱导度量和独立的黎曼度量的重要性, 从而摆脱了经典微分几何曲面论中局限于诱导度量的束缚, 创立了黎曼几何学,为近代数学和物理学的发展作出了杰出贡献。 黎曼几何以欧几里得几何和种种非欧几何作为其特例。例如: 定义度量(a是常数),则当a=0时是普通的欧几里得几何, 当a>0时 ,就是椭圆几何 ,而当a<0时为双曲几何。 黎曼几何中的一个基本问题是微分形式的等价性问题。 该问题大约在1869年前后由E.B.克里斯托费尔和R. 李普希茨等人解决。 前者的解包含了以他的姓命名的两类克里斯托费尔记号和协变微分概 念。在此基础上G.里奇发展了张量分析方法, 这在广义相对论中起了基本数学工具的作用。 他们进一步发展了黎曼几何学。 但在黎曼所处的时代,李群以及拓扑学还没有发展起来, 因此黎曼几何只限于小范围的理论。大约在1925年H. 霍普夫才开始对黎曼空间的微分结构与拓扑结构的关系进行了研究。 随着微分流形精确概念的确立,特别是E. 嘉当在20世纪20年代开创并发展了外微分形式与活动标架法, 建立了李群与黎曼几何之间的联系, 从而为黎曼几何的发展奠定重要基础,并开辟了广阔的园地, 影响极其深远。并由此发展了线性联络及纤维丛的研究。 1915年,A. 爱因斯坦运用黎曼几何和张量分析工具创立了新的引力理论—— 广义相对论。使黎曼几何(严格地说洛伦茨几何)及其运算方法( 里奇算法)成为广义相对论研究的有效数学工具。 而相对论近年的发展则受到整体微分几何的强烈影响。 例如矢量丛和联络论构成规范场(杨-米尔斯场)的数学基础。 1944年陈省身给出n维黎曼流形高斯-博内公式的内蕴证明, 以及他关于埃尔米特流形的示性类的研究, 引进了后来通称的陈示性类, 为大范围微分几何提供了不可缺少的工具并为复流形的微分几何与拓 扑研究开创了先河。半个多世纪, 黎曼几何的研究从局部发展到整体,产生了许多深刻的结果。 黎曼几何与偏微分方程、多复变函数论、 代数拓扑学等学科互相渗透,相互影响, 在现代数学和理论物理学中有重大作用。 ------------------------------ ------------------------------ -------- 罗氏几何 罗式几何学的公理系统和欧式几何学不同的地方仅仅是把欧式一对分 散直线在其唯一公垂线两侧无限远离几何平行公理用“ 从直线外一点,至少可以做两条直线和这条直线平行”来代替, 其他公理基本相同。由于平行公理不同, 经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。 我们知道, 罗式几何除了一个平行公理之外采用了欧式几何的一切公理。因此, 凡是不涉及到平行公理的几何命题,在欧式几何中如果是正确的, 在罗式几何中也同样是正确的。在欧式几何中, 凡涉及到平行公理的命题,再罗式几何中都不成立, 他们都相应地含有新的意义。下面举几个例子加以说明: 欧式几何: 同一直线的垂线和斜线相交。 垂直于同一直线的两条直线或向平行。 存在相似的多边形。 过不在同一直线上的三点可以做且仅能做一个圆。 罗式几何 同一直线的垂线和斜线不一定相交。 垂直于同一直线的两条直线,当两端延长的时候,离散到无穷。 不存在相似的多边形。 过不在同一直线上的三点,不一定能做一个圆。 从上面所列举得罗式几何的一些命题可以看到, 这些命题和我们所习惯的直观形象有矛盾。 所以罗式几何中的一些几何事实没有象欧式几何那样容易被接受。 但是,数学家们经过研究, 提出可以用我们习惯的欧式几何中的事实作一个直观“模型” 来解释罗式几何是正确的。 1868年,意大利数学家贝特拉米发表了一篇著名论文《 非欧几何解释的尝试》,证明非欧几何可以在欧几里得空间的曲面( 例如拟球曲面)上实现。这就是说,非欧几何命题可以“翻译” 成相应的欧几里得几何命题,如果欧几里得几何没有矛盾, 非欧几何也就自然没有矛盾。 人们既然承认欧几里是没有矛盾的, 所以也就自然承认非欧几何没有矛盾了。直到这时, 长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究, 罗巴切夫斯基的独创性研究也就由此得到学术界的高度评价和一致赞 美,他本人则被人们赞誉为“几何学中的哥白尼”。
原因:同平面内一条直线和另外两条直线相交,若在直线同侧的两个内角之和小于180°,则这两条直线经无限延长后在这一侧一定相交。
第五公设又称为平行公设,可以导出下述命题:通过一个不在直线上的点,有且仅有一条不与该直线相交的直线。也就是:过直线外一点有且只有一条直线与已知直线平行。
欧氏几何是欧几里德几何学的简称,其创始人是公元前三世纪的古希腊伟大数学家欧几里德。在他以前,古希腊人已经积累了大量的几何知识,并开始用逻辑推理的方法去证明一些几何命题的结论。
罗氏几何
罗巴切夫斯基几何的公理系统和欧几里得几何不同的地方仅仅是把欧式几何平行公理用“在平面内,从直线外一点,至少可以做两条直线和这条直线平行”来代替,其他公理基本相同。由于平行公理不同,经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。
以上内容参考:百度百科-非欧几里得几何
几何学学过数学的人,都知道它有一门分科叫作“几何学”,然而却不一定知道“几何”这个名称是怎么来的。在我国古代,这门数学分科并不叫“几何”,而是叫作“形学”。“几何”二字,在中文里原先也不是一个数学专有名词,而是个虚词,意思是“多少”。比如三国时曹操那首著名的《龟虽寿》诗,有这么两句:“对酒当歌,人生几何?”这里的“几何”就是多少的意思。那么,是谁首先把“几何”一词作为数学的专业名词来使用的,用它来称呼这门数学分科的呢?这是明末杰出的科学家徐光启。==简史==几何学有悠久的历史。最古老的上是显著的方法。笛卡儿的创造,是否有东方数学的影响在里面,由于东西方数学交流史研究的欠缺,尚不得而知。欧几里得几何学的第五公设,由于并不自明,引起了历代数学家的关注。最终,由罗巴切夫斯基和黎曼建立起两种非欧几何。几何学的现代化则归功于等人。克莱因在普吕克的影响下,应用群论的观点将几何变换视为特定不变量约束下的变换群。而希尔比特为几何奠定了真正的科学的公理化基础。应该指出几何学的公理化,影响是极其深远的,它对整个数学的严密化具有极其重要的先导作用。它对数理逻辑学家的启发也是相当深刻的。==古代几何学==几何最早的有记录的开端可以追溯到古埃及(参看古埃及数学),古印度(参看古印度数学),和古巴比伦(参看古巴比伦数学),其年代大约始于公元前3000年。早期的几何学是关于长度,角度,面积和体积的经验原理,被用于满足在测绘,建筑,天文,和各种工艺制作中的实际需要。在它们中间,有令人惊讶的复杂的原理,以至于现代的数学家很难不用微积分来推导它们。例如,埃及和巴比伦人都在毕达哥拉斯之前1500年就知道了毕达哥拉斯定理(勾股定理);埃及人有方形棱锥的锥台(截头金字塔形)的体积的正确公式;而巴比伦有一个三角函数表。中国文明和其对应时期的文明发达程度相当,因此它可能也有同样发达的数学,但是没有那个时代的遗迹可以使我们确认这一点。也许这是部分由于中国早期对于原始的纸的使用,而不是用陶土或者石刻来记录他们的成就。==名称的来历==几何这个词最早来自于希腊语“γεωμετρία”,由“γέα”(土地)和“μετρεĭν”(测量)两个词合成而来,指土地的测量,即测地术。后来拉丁语化为“geometria”。中文中的“几何”一词,最早是在明代利玛窦、徐光启合译《几何原本》时,由徐光启所创。当时并未给出所依根据,后世多认为一方面几何可能是拉丁化的希腊语GEO的音译,另一方面由于《几何原本》中也有利用几何方式来阐述数论的内容,也可能是magnitude(多少)的意译,所以一般认为几何是geometria的音、意并译。1607年出版的《几何原本》中关于几何的译法在当时并未通行,同时代也存在着另一种译名——形学,如狄考文、邹立文、刘永锡编译的《形学备旨》,在当时也有一定的影响。在1857年李善兰、伟烈亚力续译的《几何原本》后9卷出版后,几何之名虽然得到了一定的重视,但是直到20世纪初的时候才有了较明显的取代形学一词的趋势,如1910年《形学备旨》第11次印刷成都翻刊本徐树勋就将其改名为《续几何》。直至20世纪中期,已鲜有“形学”一次的使用出现。
相传四千年前,埃及的尼罗河,每年洪水泛滥会淹没很多土地。
为了重新测量土地以便于征税收,埃及人对几何图形的面积、角度的计算和测量研究得越来越深入。
在古籍《莱因德纸草书》中就记载了各种平面图形、立体面积和体积的计算方法。
随着历史的发展,古希腊人整理了历年来积累的知识和经验,逐渐将知识抽象化,建立了几何的基本理论和定理。
扩展资料
几何学的发展史
1、欧氏几何的创始
公认的几何学的确立源自公元300多年前,希腊数学家欧几里得著作《原本》。欧几里得在《原本》中创造性地用公理法对当时所了解的数学知识作了总结。欧几里得的《原本》是数学史上的一座里程碑,在数学中确立了推理的范式。他的思想被称作“公理化思想”。
2、解析几何的诞生
解析几何是变量数学最重要的体现。解析几何的基本思想是在平面上引入“坐标”的概念,并借助这种坐标在平面上的点和有序实数对(x,y)建立一一对应的关系,于是几何问题就转化为代数问题。 解析几何的真正创立者应该是法国数学家迪卡儿和费马。
3、非欧几何的诞生与发展
非欧几何的诞生源于人们长久以来对欧几里得《原本》中第五公设即平行公设的探讨,直到数学家高斯、波约和俄国数学家罗巴切夫斯基进行推理而得出的新的一套几何学定理,并将它命名为非欧几何,一般称为“罗氏几何”。
1854年德国数学家黎曼发展了罗巴切夫斯基的几何思想,从而建立了一种更为一般化的几何,称为“黎曼几何”。直到19世纪后期,数学家贝尔特拉米、克莱因、庞加莱在欧氏空间建立了非欧几何的模型,非欧几何才得到理解和承认。
4、射影几何的发展
文艺复兴时期的几何发展源于对宗教绘画的更高追求。
5、几何学的统一
非欧几何的创立打破了长久以来人们认为只有欧氏几何的观念。希尔伯特为统一几何学的提出了实施方法,即公理化方法。这种公理系统透彻的阐述了几何学的逻辑关系和包含内容,完整的统一了几何学。