欧氏几何与非欧几何学习笔记.doc

《欧氏几何与非欧几何学习笔记.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、欧氏几何与非欧几何（注：本资料抄于网络下载资料和课本）●欧氏几何欧几里得几何学简称欧氏几何，主要是以欧几里得平行公理为基础的几何学。欧几里得把当代希腊数学家积累的几何知识和逻辑推理的思想方法加以系统化，初步奠定了几何学逻辑结构的基础。19世纪末期，德国数学家希尔伯特于1899年发表了著名的著作《几何基础》，书中提出了一个欧几里得几何的完整的公理体系。从此人们把满足希尔伯特公理系统中的结合公理、顺序公理、合同公理、平行公理、连续公理等五组公理以及由其导出的一切推论组成的几何学叫欧几里得几何学。欧几里得著有《几何原本》一书，《几何原本》共有23个

2、定义，5条公设，5条公理，他力图把几何学建立在这些原始的定义、公理和公设的基础上，然后以这些显然的假设为依据推证出体系里的一切定理。23个定义：（1）点没有大小；（2）线有长度没有宽度;(3)线的界是点；(4)直线是它上面的点同样平放着的线；(5)面只有长度和宽度；(6)面的界是线；(7)平面是它上面的线一样的平放着的面；（8）平面角是在一平面内但不在一条直线上的两条相交线相互的倾斜度；（9）当包含角的两条线都是直线时，这个角叫做直线角；（10）当一条直线和另一条直线交成邻角彼此相等时，这些角每一个被叫做直角，而且称这一条直线垂直于另一条直线

3、；（11）大于直角的角称为钝角；（12）小于直角的角称为锐角；（13）边界是物体的边缘；（14）图形是一个边界或者几个边界所围成的；（15）圆：由一条线包围着的平面图形，其内有一点与这条线上任何一个点所连成的线段都相等；（16）这个点（定义15中的点）叫做圆心；（17）圆的直径是任意一条经过圆心的直线在两个方向被圆截得的线段，且把圆二等分；（18）半圆是直径与被它所切割的圆弧所围成的图形，半圆的圆心与原圆心相同；（19）直线形是由直线围成的，三边形是由三条直线围成的，四边形是由四条直线围成的，多边形是由四条以上直线围成的；（20）在三边形中，

4、三条边相等的叫做等边三角形，只有两条边相等的叫做等腰三角形，各边不等的叫做不等边三角形；（21）此外，在三边形中，有一个角是直角的叫做直角三角形，有一个角是钝角的角钝角三角形；（22）在四边形中，四条边相等且四个角都是直角的叫做正方形，角是直角但四边不全相等的叫做长方形，四边相等但角不是直角的叫做菱形，对角相等且对边相等但边不全相等且角不是直角的叫做斜方形，其余的四边形叫做不规则四边形；（23）平行直线是在同一个平面内向两端无限延长不能相交的直线。5个公设：①过两点能作且只能作一条直线；②有限直线可以无限延长；③以任意点为圆心，可用任意半径作

5、圆；④所有直角都相等；⑤如果两条直线与另一条直线相交，所成的同侧内角的和小于两直角，那么这两条直线在这一侧必相交。5个公理：①等于同量的量相等；②等量加等量其和相等；③等量减等量其差相等；④可重合的物体全等；⑤整体大于部分。意义：公正地说，欧几里得的这本著作是现代科学产生的一个主要因素。科学绝不仅仅是把经过细心观察的东西和小心概括出来的东西收集在一起而已，科学上的伟大成就，就其原因而言，一方面是将经验同试验进行结合；另一方面，需要细心的分析和演绎推理。●非欧几何如今，数学家们已经认识到，欧几里得的几何学并不是能够设计出来的惟一的一种内在统一的

6、几何体系。在过去的150年间，人们已经创立出许多非欧几里得几何体系。自从爱因斯坦的广义相对论被接受以来，人们的确已经认识到，在实际的宇宙之中，欧几里得的几何学并非总是正确的。便如，在黑洞和中子星的周围，引力场极为强烈，在这种情况下，欧几里得的几何学无法准确地描述宇宙的情况。但是，这些情况是相当特殊的。在大多数情况下，欧几里得的几何学可以给出十分近似于现实世界的结论，用现在的科学水平衡量，它的几何逻辑结构在严谨性上还存在很多缺点。首先，欧几里得的定义并不能成为一种数学定义，有的不过是几何对象点、线、面的一种直观描述，有的含混不清，这些定义在后面

7、的论证中，实际上是无用的。其次，欧几里得的公设和公理，是远不够用的，因而在《几何原本》的许多命题的论证中，不得不借助直观，或者或明或暗地引用了用他的公设和公理无法证明的事实。特别要指出的是研究《几何原本》的许多学者都注意到欧几里得的第五公设比较复杂，看来很象定理。欧几里得之后的两千年很多学者都试图用其他公设和公理加以证明，但都失败。直到19世纪，C.F.高斯、H.И.罗巴切夫斯基、J.波尔约、（G.F.）B.黎曼等发现了非欧几何，才了解到欧几里得第五公设不是其余公设和公理的推论，不能用那些公设和公理来证明，而是一个独立的命题。在欧几里得几何体

8、系中，第五公设和“在平面内过已知直线外一点，只有一条直线与已知直线平行”相等价，现在把后一命题称作欧几里得平行公理。它体现了“欧几里得几何”与“非欧几里得几何”的区