双曲几何

✍ dations ◷ 2025-09-06 18:28:33 #双曲几何
双曲几何又名罗氏几何(罗巴切夫斯基几何),是非欧几里德几何的一种特例。与欧几里德几何的差别在于第五条公理(公设)-平行公设。在欧几里德几何中,若平面上有一条直线R和线外的一点P,则存在唯一的一条线满足通过P点且不与R相交(即R的平行线)。但在双曲几何中,至少可以找到两条相异的直线,且都通过P点,并不与R相交,因此它违反了平行公设。然而,取代欧几里德几何中的平行公设的双曲几何本身并无矛盾之处,仍可以推得一系列属于它的定理,这也说明了平行公设独立于前四条公设,换句话说,无法由前四条公设推得平行公设。到目前为止,数学家对双曲几何中平行线的定义尚未有共识,不同的作者会给予不同的定义。这里定义两条逐渐靠近的线为渐近线,它们互相渐进;两条有共同垂直线的线为超平行线,它们互相超平行,并且两条线为平行线代表它们互相渐进或互相超平行。双曲几何还有一项性质,就是三角形的内角和小于一个平角(180°)。在极端的情况,三角形的三边长趋近于无限,而三内角趋近于0°,此时该三角形称作理想三角形。双曲几何专门研究当平面变成鞍马型之后,平面几何到底还有几多可以适用,以及会有什么特别的现象产生。在双曲几何的环境里,平面的曲率是负数。已知在双曲几何上,至少有两条直线满足过P点平行直线R。接着在R上取一点B使得PB垂直R于B点,设在所有满足过P点且不与R相交的直线中,存在一条直线x与PB的逆时针方向夹角比其他直线都来的小,即任何一条直线若与PB的逆时针夹角小于x与PB的逆时针夹角,则必与R相交,并定义x为R的渐近线。同理,若存在另一条直线y与PB的顺时针方向夹角比其他直线都来的小,则y为R的另一条渐近线。并且,在所有满足过P点且不与R相交的直线中,唯有x与y是R的渐近线,其余的则称之为R的超平行线。由于满足小于90°且大于x与PB的夹角θ的角度有无线多个,每个角度皆可引出两条R的超平行线,因此R有无线多条超平行线。因此,对于平面上一条直线R以及线外的一点P,恰能引出两条直线过P且渐近于R,以及无限多条直线过P超平行于R。此外,渐近线和超平行线的差别还有:不论往线的哪端延伸,两条超平行线之间的距离皆会趋近于无限;但两条渐近线之间的距离则会在一端趋近于零,在另一端趋近无限。从而,在双曲几何中有一定理超平行线定理:对于任两条超平行线存在唯一一条线同时垂直于这两条线。对双曲平面上的一条直线R,作线段BP垂直R于B点,且线段BP的长度等于一个给定的值p,则定义两条R的过P点的渐近线与线段BP的夹角θ为p的渐近角(Angle of parallelism),通常记为Π(p)。因此有于是,随着线段长度的缩小,双曲几何的性质会越来越像欧几里得几何。事实上,对任一个双曲几何定义一个定值K=高斯曲率,借由线段长度与 1 − K {displaystyle {frac {1}{sqrt {-K}}}} 的比值,由此可知该平面的性质与欧几里得几何的相似度。在双曲几何中,线段长度的定义为两点的最短距离除以 R = 1 − K {displaystyle R={frac {1}{sqrt {-K}}}} ,K=高斯曲率,正如同在球面几何中的长度为其圆心角弧度(最短距离除以曲率),有了长度的定义后,便可给出双曲几何中的勾股定理:若一直角三角形的两股长分别为a和b,斜边为c,则在此,cosh指的是双曲余弦函数。在双曲几何中,许多双曲三角学公式与欧几里得几何十分相像,大抵上双曲几何中的长度需带入双曲函数。例如双曲几何中的正弦定律为:不同于欧几里得几何,双曲几何中三角形的内角和必小于π(180°),故称其内角和与π的差为该三角形的角亏,则该三角形的面积等于该三角形的角亏乘以 R²,而 R = 1 − K {displaystyle R={frac {1}{sqrt {-K}}}} 。故所有三角形的面积均小于等于πR²,且等号成立当且仅当该三角形为理想三角形。以下的圆或球半径皆为 r ,并且 K 代表高斯曲率, R 代表 1 − K {displaystyle {frac {1}{sqrt {-K}}}}双曲几何中圆的周长为 2 π R sinh ⁡ r R {displaystyle 2pi Rsinh {frac {r}{R}},}因为sinh x的泰勒展开式为于是,对所有正实数 x>0, s i n h x > x {displaystyle sinhx>x} ,推得 sinh ⁡ r R > r R {displaystyle sinh {frac {r}{R}}>{frac {r}{R}}}故圆的周长必大于 2 π r {displaystyle 2pi r} 。圆的面积则是 2 π R 2 ( cosh ⁡ r R − 1 ) {displaystyle 2pi R^{2}(cosh {frac {r}{R}}-1)} 。球的表面积为 4 π R 2 sinh 2 ⁡ r R {displaystyle 4pi R^{2}sinh ^{2}{frac {r}{R}}} ,必大于欧几里得几何的 4 π r 2 {displaystyle 4pi r^{2}}球的体积为 π R 3 sinh ⁡ 2 r R − 2 π R 2 r {displaystyle pi R^{3}sinh {frac {2r}{R}}-2pi R^{2}r}在n度空间中,定义 Ω_n 是n维立体角,满足 Ω n = 2 π n / 2 Γ ( n 2 ) {displaystyle Omega _{n}={frac {2pi ^{n/2}}{Gamma left({frac {n}{2}}right)}}}在此,Γ(n)是Γ函数。则n-1维球面(在n度空间中)的测度是 Ω n R n − 1 sinh n − 1 ⁡ r R {displaystyle Omega _{n}R^{n-1}sinh ^{n-1}{frac {r}{R}}}n维球(在n度空间中)的测度则是 Ω n R n − 1 ∫ 0 r sinh n − 1 ⁡ s R d s {displaystyle Omega _{n}R^{n-1}int _{0}^{r}sinh ^{n-1}{frac {s}{R}}ds}罗式几何学的公理系统和欧式几何学不同的地方仅仅是把欧式一对分散直线在其唯一公垂线两侧无限远离几何平行公理用“从直线外一点,至少可以做两条直线和这条直线平行”来代替,其他公理基本相同。由于平行公理不同,经过演绎推理却引出了一连串和欧式几何内容不同的新的几何命题。凡是不涉及到平行公理的几何命题,在欧式几何中如果是正确的,在罗式几何中也同样是正确的。在欧式几何中,凡涉及到平行公理的命题,在罗式几何中都不成立,他们都相应地含有新的意义。下面举几个例子加以说明:从上面所列举得罗式几何的一些命题可以看到,这些命题和大众所习惯的直观形象有矛盾。所以罗式几何中的一些几何事实没有像欧式几何那样容易被接受。但是,数学家们经过研究,提出可以用大众习惯的欧式几何中的事实作一个直观“模型”来解释罗式几何,便是正确的。1868年,意大利数学家贝尔特拉米发表了一篇著名论文《非欧几何解释的尝试》,证明非欧几何可以在欧几里得空间的曲面(例如拟球曲面)上实现。这就是说,非欧几何命题可以“翻译”成相应的欧几里得几何命题,如果欧几里得几何没有矛盾,非欧几何也就自然没有矛盾。直到这时,长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究,罗巴切夫斯基的独创性研究也就由此得到学术界的高度评价和一致赞美,他本人则被人们赞誉为“几何学中的哥白尼”。

相关

  • 卢·蒙特利卢·蒙特利(英语:Louis J. Montulli II)是一位以开发网页浏览器而闻名的程序员。在1991年和1992年,他与堪萨斯大学的迈克尔·格罗贝兹和查尔斯·雷扎克合作开发了一个名为Lynx的
  • 全球全球通常指的是“整个地球”,另可以指:
  • 老挝老挝王国(老挝语:ພຣະຣາຊອານາຈັກລາວ,罗马化:Phra Ratxa A-na-chak Lao)是于1946年在今老挝建立的一个君主制国家。1946年,法国保护国琅勃拉邦的君主西萨旺·冯在法
  • 和硕和硕联合科技股份有限公司(英语:Pegatron Corporation),简称和硕或和硕联合,是一家台湾的电子制造公司,主要业务为开发电脑周边、通信技术及消费性电子产品予品牌供应商, 并从事计
  • 软颚化软颚化是一种辅音的次发音(英语:Secondary articulation)方式,即在发音时将舌头背部抬升至软颚处。
  • N-乙酰谷氨酸N-乙酰谷氨酸(英语:N-Acetylglutamic acid,缩写为NAcGlu)自谷氨酸与乙酰辅酶A经N-乙酰谷氨酸合酶生物合成而成。精氨酸是此反应的激活剂。此反应的逆反应,即乙酰谷氨酸上的乙酰基
  • 查理三世(糊涂王)查理三世(法语:Charles III le Simple,879年9月17日-929年10月7日)西法兰克国王(898年-929年在位)。他属于已衰落的加洛林王朝,是国王路易二世的遗腹子。查理三世在其同父异母
  • 超胶子超胶子,也被叫做胶微子,是一种假想粒子,为胶子的超对称粒子,一共有八种色荷组合,对应胶子的八种组合。它的轻子数及重子数皆为0,而自旋为1/2。理论上,超胶子成对产生,即粒子与其反粒
  • 莫卡咖啡摩卡咖啡(英语:Café Mocha,意大利语:Mocaccino,又名莫加或者摩卡)是意式拿铁咖啡的变种。和经典的意式拿铁咖啡一样,它通常是由三分之一的意式浓缩咖啡和三分之二的奶沫配成,不过它
  • 王与仁王山立(?年-?年),原名王与仁。山东济南府新城县(今桓台县)人。清初武进士。王山立出身新城王氏望族,是王之猷之孙,王象春之子,王象乾、王象晋堂侄。清顺治十八年(1661年)辛丑科中式武进士