王朝百科
分享
 
 
 

希尔伯特公理

王朝百科·作者佚名  2010-02-26  
宽屏版  字体: |||超大  

希尔伯特公理

完整的欧几里得几何公理,是德国数学家希尔伯特(Hilbert,1862—1943)于公元1899年首先提出的.其内容是:

基本概念(原始概念):

(1)基本对象:点;直线;平面.

(2)基本关系:点在直线上,点在平面上(属于、通过、……均为在……上的同义语);一点在另两点之间;线段合同,角合同.

公理Ⅰ结合公理

Ⅰ1对于任意两个不同的点A、B,存在着直线a通过每个点A、B.

Ⅰ2对于任意两个不同的点A、B,至多存在着一条直线通过每个点A、B.

Ⅰ3在每条直线上至少有两个点;至少存在着三个点不在一条直线上.

Ⅰ4对于不在一条直线上的任意三个点A、B、C,存在着平面α通过每个点A、B、C.在每个平面上至少有一个点.

Ⅰ5对于不在一条直线上的任意三个点A、B、C,至多有一个平面通过每个点A、B、C.

Ⅰ6如果直线a上的两个点A、B在平面α上,那么直线a上的每个点都在平面α上.

Ⅰ7如果两个平面α、β有公共点A,那么至少还有另一公共点B.

Ⅰ8至少存在着四个点不在一个平面上.

公理Ⅱ顺序公理

Ⅱ1如果点B在点A和点C之间,那么A、B、C是一条直线上的不同的三点,且B也在C、A之间.

Ⅱ2对于任意两点A和B,直线AB上至少有一点C,使得B在A、C之间.

Ⅱ3在一条直线上的任意三点中,至多有一点在其余两点之间.

Ⅱ4设A、B、C是不在一条直线上的三个点;直线a在平面ABC上但不通过A、B、C中任一点;如果a通过线段AB的一个内点,(①线段AB的内点即A、B之间的点. )那么a也必通过AC或BC的一个内点(巴士(Pasch,1843—1930)公理).

公理Ⅲ合同公理(合同记作≡)

Ⅲ1如果A、B是直线a上两点,A′是直线a或另一条直线a′上的一点,那么在a或a′上点A′的某一侧必有且只有一点B′,使得A′B′≡AB.又,AB≡BA.

Ⅲ2如果两线段都合同于第三线段,这两线段也合同.

Ⅲ3设AB、BC是直线a上的两线段且无公共的内点;A′B′、B′C′是a或另一直线a′上的两线段,也无公共的内点.如果AB≡A′B′,BC≡B′C′,那么AC≡A′C′.

Ⅲ4设平面α上给定∠(h,k),在α或另一平面α′上给定直线a′和a′所确定的某一侧,如果h′是α′上以点O′为端点的射线,那么必有且只有一条以O′为端点的射线k′存在,使得∠(h′,k′)≡∠(h,k).

Ⅲ5设A、B、C是不在一条直线上的三点,A′、B′、C′也是不在一条直线上的三点,如果AB≡A′B′,AC≡A′C′,∠BAC≡∠B′A′C′,那么∠ABC≡∠A′B′C′,∠ACB≡∠A′C′B′.

公理Ⅳ平行公理

过定直线外一点,至多有一条直线与该直线平行.

公理Ⅴ连续公理

Ⅴ1如果AB和CD是任意两线段,那么以A为端点的射线AB上,必有这样的有限个点A1,A2,…,An,使得线段AA1,A1A2,…,An-1An都和线段CD合同,而且B在An-1和An之间(阿基米德公理).

Ⅴ2一直线上的点集在保持公理Ⅰ1,Ⅰ2,Ⅱ,Ⅲ1,Ⅴ1的条件下,不可能再行扩充.

注1.有些《几何基础》书中,常以康托(Cantor,1845—1918)

公理代替上述的Ⅴ2:

“一条直线上如果有线段的无穷序列A1B1,A2B2,A3B3,…,其中每一线段都在前一线段的内部,且对于任何线段PQ总有一个n存在,使得AnBn<PQ,那么在这直线上必有且只有一点X落在A1B1,A2B2,A3B3,…的内部.”

注2.也有的书中,用与V1,V2等价的戴德金(Dedekind,1831—1916)公理作为连续公理:

“如果线段AB及其内部的所有点能分为有下列性质的两类:

(1)每点恰属一类;A属于第一类,B属于第二类;

(2)第一类中异于A的每个点在A和第二类点之间.

那么,必有一点C,使A、C间的点都属于第一类,而C、B间的点都属于第二类.”

 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
如何用java替换看不见的字符比如零宽空格​十六进制U+200B
 干货   2023-09-10
网页字号不能单数吗,网页字体大小为什么一般都是偶数
 干货   2023-09-06
java.lang.ArrayIndexOutOfBoundsException: 4096
 干货   2023-09-06
Noto Sans CJK SC字体下载地址
 干货   2023-08-30
window.navigator和navigator的区别是什么?
 干货   2023-08-23
js获取referer、useragent、浏览器语言
 干货   2023-08-23
oscache遇到404时会不会缓存?
 干货   2023-08-23
linux下用rm -rf *删除大量文件太慢怎么解决?
 干货   2023-08-08
刀郎新歌破世界纪录!
 娱乐   2023-08-01
js实现放大缩小页面
 干货   2023-07-31
生成式人工智能服务管理暂行办法
 百态   2023-07-31
英语学习:过去完成时The Past Perfect Tense举例说明
 干货   2023-07-31
Mysql常用sql命令语句整理
 干货   2023-07-30
科学家复活了46000年前的虫子
 探索   2023-07-29
英语学习:过去进行时The Past Continuous Tense举例说明
 干货   2023-07-28
meta name="applicable-device"告知页面适合哪种终端设备:PC端、移动端还是自适应
 干货   2023-07-28
只用css如何实现打字机特效?
 百态   2023-07-15
css怎么实现上下滚动
 干货   2023-06-28
canvas怎么画一个三角形?
 干货   2023-06-28
canvas怎么画一个椭圆形?
 干货   2023-06-28
canvas怎么画一个圆形?
 干货   2023-06-28
canvas怎么画一个正方形?
 干货   2023-06-28
中国河南省郑州市金水区蜘蛛爬虫ip大全
 干货   2023-06-22
javascript简易动态时间代码
 干货   2023-06-20
感谢员工的付出和激励的话怎么说?
 干货   2023-06-18
 
>>返回首页<<
 
 
静静地坐在废墟上,四周的荒凉一望无际,忽然觉得,凄凉也很美
© 2005- 王朝网络 版权所有