几何中的公理化方法

几何中的公理化方法

ID:6168860

大小:21.00 KB

页数:1页

时间:2018-01-05

几何中的公理化方法_第1页
资源描述:

《几何中的公理化方法》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库

1、几何中的公理化方法定义:所谓公理化方法,就是指从尽可能少的原始概念和不加证明的原始命题(即公理、公设)出发,按照逻辑规则推导出其他命题,建立起一个演绎系统的方法。  公理化方法的意义:公理化方法能系统的总结数学知识、清楚地揭示数学的理论基础,有利于比较各个数学分支的本质异同,促进新数学理论的建立和发展。公理是对诸基本概念相互关系的规定,这些规定必须是必要的而且是合理的.因此,一个严格完善的公理系统,对于公理的选取和设置,必须具备如下三个基本要求:相容性:这一要求是指在一个公理系统中,不允许同时能证明某一定理及其否定理.反之,如果能从该公理系统中导出命题A和否命题非A

2、(记作-A),从A与-A并存就说明出现了矛盾,而矛盾的出现归根到底是由于公理系统本身存在着矛盾的认识,这是思维规律所不容许的.因此,公理系统的无矛盾性要求是一个基本要求,任何学科,理论体系都必须满足这个要求.独立性;这一要求是指在一个公理系统中的每一条公理都独立存在,不允许有一条公理能用其它公理把它推导出来,同时使公理的数目减少到最低限度.完备性:这就是要求确保从公理系统中能推出所研究的数学分支的全部命题,也就是说,必要的公理不能减少,否则这个数学分支的许多真实命题将得不到理论的证明或者造成一些命题的证明没有充足的理由.从理论上讲,一个公理系统的上述三条要求是必要的

3、,同时也是合理的.至于某个所讨论的公理系统是否满足或能否满足上述要求,甚至能否在理论上证明满足上述要求的公理系统确实存在等,则是另外一回事了.应该指出的是,对于一个较复杂的公理体系来说,要逐一验证这三条要求相当困难,甚至至今不能彻底实现。

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。