凡是不涉及到平行公理的几何命题,在欧氏几何中如果是正确的,在双曲几何中也同样是正确的。而依赖于平行公理的命题,在双曲几何中都不成立。下面举几个例子加以说明:

欧氏几何:

同一直线的垂线和斜线相交。

图1.罗巴切夫斯基几何相关图形

垂直于同一直线的两条直线平行。

存在相似而不全等的多边形。

过不在同一直线上的三点可以做且仅能做一个圆。

双曲几何:

同一直线的垂线和斜线不一定相交。

垂直于同一直线的两条直线,当两端延长的时候,离散到无穷。不存在相似而不全等的多边形。

过不在同一直线上的三点,不一定能做一个圆。

从上面所列举得罗巴切夫斯基几何的一些命题可以看到,这些命题和我们所习惯的直观有矛盾。所以罗巴切夫斯基几何中的一些几何事实没有象欧氏几何那样容易被接受。但是,我们可以用习惯的欧氏几何中的事实作一个直观“模型”来解释罗氏几何是正确的。

罗巴切夫斯基几何的公理系统有几种直观的模型。罗巴切夫斯基几何中的非定义概念(元名)在各种模型中被定义为具体的对象,使得双曲几何的公理被这种模型满足。

Poincare model:在双曲几何的庞加莱模型中,“点”是庞加莱圆盘 (即平面上单位圆盘的内部)上的点,“直线”是所有包含在庞加莱圆盘内,并于单位圆垂直相交的圆弧。在这个模型内,可以证明过两“点”有唯一的“直线”等双曲几何的公理。而且我们可以看到,过“直线”外的一点有不止一条“直线”和已知“直线”平行(即不相交)。

Klein model:在克莱因模型中,“点”仍然是庞加莱圆盘上的点,“直线”是单位圆的所有弦(chord)。这个模型仍然满足双曲几何的所有公理。但克莱因模型中两条直线的夹角并不等于欧氏几何意义下的夹角。

平行线是公理几何中非常重要的概念。如果两条直线没有交点,那么它们称为平行。在欧氏几何中,平行线的性质本质上由平行公理刻画。它等价于如下陈述:“过直线外一点有且只有一条直线和已知直线平行”。而在罗巴切夫斯基几何中,平行线变多了。从“过直线外一点至少有两条不同的直线和已知直线平行”,我们可以证明过这一点有无穷多条平行线。

欧氏几何中三角形的内角和是180度。这个命题依赖于欧氏几何的平行公理。而在双曲几何中,任何三角形的内角和一定是严格小于180度;内角和与180度的差称为这个三角形的“缺陷”(defect)。这个数值与三角形的面积成正比例。而因为缺陷最多是180度,所以在双曲几何中,三角形的面积不可能无限大。这又是与欧氏几何的直觉完全相反的现象。

刚刚查询:罗巴切夫斯基几何 骨搬移治疗骨缺损与骨不连 魔王与欢乐的伙伴们 经济侵略 宣传单 受精作用 福尔摩斯之父:柯南·道尔的传奇一生 vbci轮式步兵战车 致命十字星:狙击武器 审美感受 木管乐器 冻融荒漠化 互动式 你在厕所里都做些什么 地下城与勇士无敌版 南美洲栗鼠 清罗文俊行书七言对联 钟光祥 生物谱系树 张治民 Jurassic 偃伏梾木 惹尘 MORNING 李晓楠 员当湖 霍姆斯 琉克勒茜·波尔金 骨灰盒 没食子酸 模型试验 燕麦红枣花生枸杞豆浆 第四次宪法修正案 换算表 群众组织 满志敏 程序设计 记数法 为何我的猫咪会这样 广东省无障碍设施建设管理规定 功能型组织结构 钢板钢带及相关标准汇编(第4版) 敏捷数据 算术编码 花花世界的和尚们 弗立茨·克林根伯格 温瑞安群侠传 模型论 %e5%8c%97%e6%9e%81%e5%85%89%e4%bf%84%e8%af%ad%e8%af%8d%e9%9c%b8 计划书 数据管理 托普仕 连续作战 神经计算原理 混凝土结构(下)·混凝土公路桥设计 准确性 启动管理器 博来霉素 不愧是 孛儿只斤·图帖睦尔 一千个 华翔空港 天花乱坠 ��������ṹ 世界第一群交会 以越前龙马之名 dispersedsubstance ׸ֻרҵ 中性点 禳解习俗 上档次 中国秦汉时期室内空间营造研究 蜂皇浆 钻石估值 ũִѧѧ... Inhabited electromagnetics. 刚出生
友情链接: 知道 电影 百科 好搜 问答 微信 值得买 巨便宜 天天特价 洛阳汽车脚垫 女装 女鞋 母婴 内衣 零食 美妆 汽车 油价 郑州 北京 上海 广州 深圳 杭州 南京 苏州 武汉 天津 重庆 成都 大连 宁波 济南 西安 石家庄 沈阳 南阳 临沂 邯郸 保定 温州 东莞 洛阳 周口 青岛 徐州 赣州 菏泽 泉州 长春 唐山 商丘 南通 盐城 驻马店 佛山 衡阳 沧州 福州 昆明 无锡 南昌 黄冈 遵义
© 2025 haodianxin 百科 消耗时间:0.007秒 内存2.5MB