QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 8283|回复: 4
打印 上一主题 下一主题

不可思议的几何——非欧几何

[复制链接]
字体大小: 正常 放大

1253

主题

442

听众

-586

积分

复兴中华数学头子

  • TA的每日心情
    开心
    2011-9-26 17:31
  • 签到天数: 3 天

    [LV.2]偶尔看看I

    自我介绍
    数学中国网站(www.madio.cn)是目前中国最大的数学建模交流社区

    邮箱绑定达人 优秀斑竹奖 发帖功臣 元老勋章 新人进步奖 原创写作奖 最具活力勋章 风雨历程奖

    群组越狱吧

    群组湖南工业大学数学建模同盟会

    群组四川农业大学数学建模协会

    群组重庆交通大学数学建模协会

    群组中国矿业大学数学建模协会

    跳转到指定楼层
    1#
    发表于 2004-9-26 14:25 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta |邮箱已经成功绑定

    非欧几何的来源 $ S) R8 ?! I) s, w; O

    非欧几何学是一门大的数学分支,一般来讲 ,他有广义、狭义、通常意义这三个方面的不同含义。所谓广义式泛指一切和欧几里的几何学不同的几何学,狭义的非欧几何只是指罗式几何来说的,至于通常意义的非欧几何,就是指罗式几何和黎曼几何这两种几何。 8 Z$ w- q2 X# X/ d: R+ A/ Y+ [* d

    欧几里得《几何原本》提出了五条公设,长期以来,数学家们发现第五公设和前四个公设比较起来,显得文字叙述冗长,而且也不那么显而易见。

    " o n0 k. ~3 S

    有些数学家还注意到欧几里得在《几何原本》一书中直到第二十九个命题中才用到,而且以后再也没有使用。也就是说,在《几何原本》中可以不依靠第五公设而推出前二十八个命题。

    5 K/ U- U( b, t. P

    因此,一些数学家提出,第五公设能不能不作为公设,而作为定理?能不能依靠前四个公设来证明第五公设?这就是几何发展史上最著名的,争论了长达两千多年的关于“平行线理论”的讨论。

    3 Z: w- x( `0 B1 g' |9 ]

    由于证明第五公设的问题始终得不到解决,人们逐渐怀疑证明的路子走的对不对?第五公设到底能不能证明?

    $ J/ R9 _' } x# ~! R% n

    到了十九世纪二十年代,俄国喀山大学教授罗巴切夫斯基在证明第五公设的过程中,他走了另一条路子。他提出了一个和欧式平行公理相矛盾的命题,用它来代替第五公设,然后与欧式几何的前四个公设结合成一个公理系统,展开一系列的推理。他认为如果这个系统为基础的推理中出现矛盾,就等于证明了第五公设。我们知道,这其实就是数学中的反证法。

    ) ?) N( `) w8 q% C- M3 b

    但是,在他极为细致深入的推理过程中,得出了一个又一个在直觉上匪夷所思,但在逻辑上毫无矛盾的命题。最后,罗巴切夫斯基得出两个重要的结论:

    & E+ H! q) o" q& g# M- V' F( X

    第一,第五公设不能被证明。

    9 R' r- G$ P7 w) l c# R) o% o" G, v

    第二,在新的公理体系中展开的一连串推理,得到了一系列在逻辑上无矛盾的新的定理,并形成了新的理论。这个理论像欧式几何一样是完善的、严密的几何学。

    % j" {& S" S" y( R& H+ n* m

    这种几何学被称为罗巴切夫斯基几何,简称罗氏几何。这是第一个被提出的非欧几何学。

    % c k. Y/ `- M8 R: v0 E

    从罗巴切夫斯基创立的非欧几何学中,可以得出一个极为重要的、具有普遍意义的结论:逻辑上互不矛盾的一组假设都有可能提供一种几何学。

    ; l9 Y0 D; e4 {$ m. A. E4 A

    几乎在罗巴切夫斯基创立非欧几何学的同时,匈牙利数学家鲍耶·雅诺什也发现了第五公设不可证明和非欧几何学的存在。鲍耶在研究非欧几何学的过程中也遭到了家庭、社会的冷漠对待。他的父亲——数学家鲍耶·法尔卡什认为研究第五公设是耗费精力劳而无功的蠢事,劝他放弃这种研究。但鲍耶·雅诺什坚持为发展新的几何学而辛勤工作。终于在1832年,在他的父亲的一本著作里,以附录的形式发表了研究结果。

    R: l: Q* _/ x3 B

    那个时代被誉为“数学王子”的高斯也发现第五公设不能证明,并且研究了非欧几何。但是高斯害怕这种理论会遭到当时教会力量的打击和迫害,不敢公开发表自己的研究成果,只是在书信中向自己的朋友表示了自己的看法,也不敢站出来公开支持罗巴切夫斯基、鲍耶他们的新理论。

    + q+ \8 A6 e% E. m# \) O! q

    罗式几何

    " M( b- E( F5 ~) O ~ i

    罗式几何学的公理系统和欧式几何学不同的地方仅仅是把欧式几何平行公理用“从直线外一点,至少可以做两条直线和这条直线平行”来代替,其他公理基本相同。由于平行公理不同,经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。

    5 H4 Z# Z9 U. X0 D3 X

    我们知道,罗式几何除了一个平行公理之外采用了欧式几何的一切公理。因此,凡是不涉及到平行公理的几何命题,在欧式几何中如果是正确的,在罗式几何中也同样是正确的。在欧式几何中,凡涉及到平行公理的命题,再罗式几何中都不成立,他们都相应地含有新的意义。下面举几个例子加以说明:

    . S& Z x* E/ G+ P& K0 K* j, W$ V9 G h
    $ x7 h/ w6 \3 T: M6 }. U/ c* b4 d n+ B* H% y! H: \0 \, f2 Z8 N6 C Z# q! S- @: { q6 y) j0 k+ C# l3 S$ B/ |3 |: Z% F, B' D
    & a5 g7 J7 d; Y

    欧式几何

    3 O. b/ @3 E) |' o

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

    9 z& G$ N8 N5 U \

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

    6 G$ s1 P& b% ` `

     

    8 Q# C9 U- j) D6 U& c, c

    存在相似的多边形。

    4 B$ U% m- G0 x# [! t8 {

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

    1 v. O$ l9 {, P7 ^+ V! ^/ g" w/ [2 C2 [

     

    ) S& }' @* a- k' E$ [( r

    罗式几何

    / [, c3 N! \, M& n% Y1 n" K1 p

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

    2 ~' [5 X! @& s4 M! f5 t E* W

    垂直于同一直线的两条直线,当两端延长的时候,离散到无穷。

    / H; }+ P2 @* P7 x$ |% a# _: l

    不存在相似的多边形。

    " o3 E6 Y. T3 a t

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

    7 L7 |! l/ Z, g7 m a* A

    从上面所列举得罗式几何的一些命题可以看到,这些命题和我们所习惯的直观形象有矛盾。所以罗式几何中的一些几何事实没有象欧式几何那样容易被接受。但是,数学家们经过研究,提出可以用我们习惯的欧式几何中的事实作一个直观“模型”来解释罗式几何是正确的。

    2 G; t# d9 e; g5 z) a r4 H

    1868年,意大利数学家贝特拉米发表了一篇著名论文《非欧几何解释的尝试》,证明非欧几何可以在欧几里得空间的曲面(例如拟球曲面)上实现。这就是说,非欧几何命题可以“翻译”成相应的欧几里得几何命题,如果欧几里得几何没有矛盾,非欧几何也就自然没有矛盾。

    q) r) h5 J" Y. O0 R {' x

    人们既然承认欧几里是没有矛盾的,所以也就自然承认非欧几何没有矛盾了。直到这时,长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究,罗巴切夫斯基的独创性研究也就由此得到学术界的高度评价和一致赞美,他本人则被人们赞誉为“几何学中的哥白尼”。

    , q. e' Q- E' m: \. X

    黎曼几何

    " R1 r! `/ C1 r' w" E

    欧氏几何与罗氏几何中关于结合公理、顺序公理、连续公理及合同公理都是相同的,只是平行公理不一样。欧式几何讲“过直线外一点有且只有一条直线与已知直线平行”。罗氏几何讲“过直线外一点至少存在两条直线和已知直线平行”。那么是否存在这样的几何“过直线外一点,不能做直线和已知直线平行”?黎曼几何就回答了这个问题。

    / v2 N- r5 w6 V A8 l

    黎曼几何是德国数学家黎曼创立的。他在1851年所作的一篇论文《论几何学作为基础的假设》中明确的提出另一种几何学的存在,开创了几何学的一片新的广阔领域。

    4 G/ {; y) T+ u0 m; U4 \

    黎曼几何中的一条基本规定是:在同一平面内任何两条直线都有公共点(交点)。在黎曼几何学中不承认平行线的存在,它的另一条公设讲:直线可以无限演唱,但总的长度是有限的。黎曼几何的模型是一个经过适当“改进”的球面。

    ( C1 {. r" A* I

    近代黎曼几何在广义相对论里得到了重要的应用。在物理学家爱因斯坦的广义相对论中的空间几何就是黎曼几何。在广义相对论里,爱因斯坦放弃了关于时空均匀性的观念,他认为时空只是在充分小的空间里以一种近似性而均匀的,但是整个时空却是不均匀的。在物理学中的这种解释,恰恰是和黎曼几何的观念是相似的。

    , i' y& U" S. ?" K/ V" @

    此外,黎曼几何在数学中也是一个重要的工具。它不仅是微分几何的基础,也应用在微分方程、变分法和复变函数论等方面。

    $ G) \0 Y5 }7 W; _' l C0 E/ n

    三种几何的关系

    9 x u" C9 t3 V Y0 |

    欧氏几何、罗氏几何、黎曼几何是三种各有区别的几何。这三中几何各自所有的命题都构成了一个严密的公理体系,各公理之间满足和谐性、完备性和独立性。因此这三种几何都是正确的。

    % [; m) E! |* @) \; K) g1 U0 l( X

    在我们这个不大不小、不远不近的空间里,也就是在我们的日常生活中,欧式几何是适用的;在宇宙空间中或原子核世界,罗氏几何更符合客观实际;在地球表面研究航海、航空等实际问题中,黎曼几何更准确一些。

    * x+ y) S# O# C1 { Y- m- B

     

    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    数学中国网站是以数学中国社区为主体的综合性学术社区,下分建模、编程、学术理论、工程应用等版块。从2003年11月建站以来一直致力于数学建模的普及和推广工作,目前已经发展成国内会员最多,资源最丰富,流量最大的数学建模网络平台。我们始终秉承服务大众的理念,坚持资源共享、共同进步的原则,努力营造出严肃、认真、务实、合作的学术氛围,为中国数学的发展做出应有的贡献。
    kuang17 实名认证       

    1

    主题

    3

    听众

    49

    积分

    升级  46.32%

    该用户从未签到

    自我介绍
    我很狂···从来都不缺乏自信。很乐观啊,又事没事总想吼两嗓子。就这些了
    回复

    使用道具 举报

    gssdzc 实名认证       

    0

    主题

    2

    听众

    941

    积分

    升级  85.25%

    该用户从未签到

    群组兰州大学数学建模协会

    回复

    使用道具 举报

    树儿 实名认证       

    0

    主题

    6

    听众

    760

    积分

    升级  40%

  • TA的每日心情
    奋斗
    2022-12-4 17:17
  • 签到天数: 104 天

    [LV.6]常住居民II

    数学就是这么神奇,你运用逻辑,另辟溪径,就能走出一条新路子,但难度很大,其正确性有待检验.
    回复

    使用道具 举报

    hongzh225        

    2

    主题

    3

    听众

    47

    积分

    升级  44.21%

  • TA的每日心情
    开心
    2013-1-8 15:32
  • 签到天数: 1 天

    [LV.1]初来乍到

    群组C 语言讨论组

    群组Matlab讨论组

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-4-17 23:48 , Processed in 1.269997 second(s), 76 queries .

    回顶部