数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 5071|回复: 1

《几何基础》

[复制链接]
发表于 2006-11-13 10:11 | 显示全部楼层 |阅读模式
《几何基础》

数学教育网 www.shuxue.com.cn 文章来源:本站原创 发表时间:2006-9-30 19:49:18 阅读次数:32


《几何基础》

《几何基础》(Grundlagen der Geometrie)是德国著名数学家希尔伯特所著,1899年初版,此后不断再版,至1930年已出第七版。
我们知道,几何学本来的对象就是图形,因而研究它们时必然要用到我们的空间直观性。可是直观性也有缺乏客观性的情况,因此在明确地规定了定义和公理的基础上,排除直观,建立纯粹的合乎逻辑的几何学的思想,在古希腊时代就已经开始了。欧几里得的《几何原本》就是在这种思想的指导下完成的。虽然长期以来,《几何原本》被视为完善的逻辑体系的典范,但是事实上随着时代的进步,数学的批判精神有所发展,人们注意到《几何原本》中的逻辑性存在许多缺陷。请看下例:
《几何原本》第1卷命题16:
任意三角形的任意一个外角大于任何一个内对角。
证明如图1,设ABC是一个三角形,延长BC到D,则可证外角ACD大于内对角CBA、BAC的任何一个。
设AC被E点平分,连BE并延长至F,使EF等于BE,连FC,延长AC至G.
易证三角形ABE全等于三角形CFE,所以角BAE等于角ECF,因角ECD大于角ECF,故角ACD大于角BAE.
类似地,BC被平分,角BCG,即角ACD可证明大于角ABC【】这个证明貌似逻辑严密,其实它在很大程度上依赖了直观性,问题出在“角ECD大于角ECF”,理论依据何在?根据公理5,整体大于部分。何调整体?难道只许把ECD视为整体,就不准把ECF作整体吗?
这个例子说明了直观性缺乏客观性,更暴露出《几何原本》的公理体系本身的不完备。而且这样的例子在机何原本种可谓比比皆是。到19世纪后半叶,许多数学家提出了可用以代替《几何原本》公理体系的在逻辑上完善的公理体系。其中,希尔伯特提出的公理体系是考虑最周到的。
希尔伯特精确地提出公理体系应有相容性、独立性和完备性的要求,把空间内的点、直线、平面作为不定义的概念,规定它们之间存在着关联关系顺序关系、合同关系,这些关系由五组公理得以保障:
关联公理(Ⅰ1-Ⅰ8)8条;
顺序公理(Ⅱ1-Ⅱ4)4条;
合同公理(Ⅲ1一Ⅲ5)5条;
平行公理(Ⅳ)1条;
连续公理(V1~V2)2条。记述了希尔伯特为欧几里得几何学给出的上述公理体系的《几何基础》出版后,立即引起了整个数学界的关注,并视为一部经典的著作。因为,希尔伯特上述工作的意义远超出了几何基础的范围,而使他成为现代公理化方法的奠基人。


文章录入:戴刚锋    责任编辑:戴刚锋  
  会员登陆




新手上路
上传资料
招聘信息
管理团队


站内搜索
     

推荐图文
《周髀算经》﹝公元前100年﹞
《算数术》
《海岛算经》


最新文章
[推荐]数学教育网诚聘英才
中学数学常用的解题方法
[注意]新教材使用的几点体…
[组图]国内差生国外天才 “…
函 数 定 义 域 与 思 维 …
新课程下学生数学学习的六…
[图文]《周髀算经》﹝公元…
[图文]《孙子算经》
[图文]美国中小学数学课程…
考好数学的四大绝招


发表于 2010-6-17 13:58 | 显示全部楼层

《几何基础》

俞根强,与一般网友不同;骨子里有一股股蠢货往外透----------那是俞氏的传统和荣耀啊,,,,不让他发泄个够,,,,行吗?
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-6-28 00:14 , Processed in 0.092020 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表