发布日期:2026-08-30 09:08 点击次数:128
图片
广义相对论是物理学中一个相配高档和复杂的限制,要着实颐养它,需要相配深厚的数学布景。广义相对论触及的几何学相配复杂,需要掌抓大齐的数学学问和手段。
新葡京官网“障碍时空(Curved Spacetime)”是一个让东说念主们感到困惑的见地,但在一维和二维空间中,“曲率”和“障碍性”曲直常基本、直不雅的见地。它们致使可能深深地植入咱们的念念维中,因为对于像咱们这么的有视觉的生物来说,障碍和直线是界限识别的要津见地。在当代的全国里,钟、球、裙子和泡泡的障碍几何现象,对每个四岁以上的孩子来说齐是直不雅的。
当数学家怜惜开阔见地时,他们试图将这些见地推广到咱们所老到的范围以外。数学是一门接头规矩和概述见地之间关系的科学。当数学家对这些咱们认为理所虽然的见地进行深入的索要和概述,再尽可能地拓展它们时,最终取得的甩掉可能会与咱们原先的颐养大相径庭,显得相配生分和不同。
当咱们听到“曲率”这个词时,咱们会祈望它与咱们如故老到的、不错直不雅感受到的东西关系。但是,当咱们试图将这个见地应用到更高维度的空间中时,咱们的直不雅感受就会失效,因为咱们无法径直在心里瞎想出四维或更高维度空间的曲率。
图片
在开阔言语中,“障碍”频繁是指与“平坦”相对的景色。当咱们说一个物体或空间是“障碍”的时辰,咱们频繁是在说它不是平坦的。而在数学中,极度是在几何学中,“平坦几何”有一个更具体的含义。它指的是受命欧几里得公理体系的几何学,即欧几里得几何学。在这个体系中,平行线长久不会相交,两条线段的最短距离是一条直线,以过头他一些基本假定。因此,对于数学家来说,当他们说一个几何空间是“平坦”的时辰,他们的真谛是这个空间受命欧几里得几何学的规矩。
数学史上解脱欧几里得几何学的发展历程相配真谛真谛且富饶后果,尤其是在十九世纪。在阿谁时期,数学家运行探索欧几里得几何学以外的几何体系,如非欧几里得几何学(包括双曲几何和椭圆几何)。参预二十一生纪,当代几何学链接是一个充满活力的接头限制。数学家们束缚冷漠新的猜想,探索愈加概述的几何见地,举例拓扑几何、代数几何和微分几多么。
不要试图瞎想它
当咱们想要颐养二维曲面(如球面或圆柱面)的曲率时,一种直不雅的法子是不雅察这个曲面何如从一个平面(二维空间)障碍参预到第三维度空间。换句话说,咱们磋商曲面在垂直于原始平面方朝上的障碍进度。举例,球面的曲率在各个点齐是同样的,因为不管从哪个所在不雅察,它齐以同样的模样障碍;而圆柱面在沿着圆柱轴线的方朝上是班师的(莫得曲率),但在垂直于轴线的方朝上是障碍的。通过磋商这种从平面到第三维度的障碍进度,咱们不错更好地颐养二维曲面的曲率特色。
在三维及以上维数的流形中,我认为念念考曲率的模样是清除“障碍性”和“障碍”的见地。咱们根柢无法瞎想三维空间的障碍意味着什么,或者四维时空的障碍意味着什么,是以咱们必须转向更高大、更概述的见地。
乐鱼百家乐相悖,磋商那些偏离或不相宜欧几里得几何公理的几何结构,概况提供更多的无邪性和有用性。在当代微分几何学中,这种偏离欧几里得几何的性质不错通过两个数学器具来量化,这两个器具即是张量:黎曼曲率张量(Riemann Curvature Tensor)和曲解张量(Torsion)。
图片
皇冠澳门赌场皇冠足球球面上矢量绕闭环(从A到N再到B再回到A)的平行挪动。它旋转的角度与环内的面积成正比。
有哪些可靠的体育投注网站此外,咱们不错哄骗平行挪动(parallel transport)的见地的磨蹭性(比拟隔壁的切空间,以便咱们不错进行微积分)来简化问题:字据伪黎曼几何的基本定理,咱们不错通过选定摈弃曲解的界说来唯一地界说平行挪动,从而使曲率张量(黎曼张量)成为了态状几何空间偏离欧几里得公理的唯一和完整的器具。极度是,黎曼张量不错量化空间偏离欧几里得几何中的第五个公设——平行公设的进度。
在欧几里得几何中,平行公设指的是通过给定点有且唯唯独条直线平行于给定直线。在非欧几里得几何中,这个公设不再成立,黎曼张量即是用来态状这种偏离的量化器具。
曲率张量是一种数学器具,用于预计空间中协变导数(一种磋商了空间曲率的导数)的不可交换性。在平坦的欧几里得空间中,协变导数是可交换的,这意味着两个所在的导数的程序不错互换而不变调甩掉。但是,在障碍的空间中,这种交换性频繁不行立,曲率张量即是用来态状这种不可交换性的进度。
因此,曲率张量不错被看作是一个预计空间障碍进度的量化器具。淌若一个空间的曲率张量处处为零,那么这个空间即是平坦的,不错与欧几里得空间竖立等距映射(一种保持距离不变的映射)。淌若曲率张量不为零,那么就不存在这么的等距映射,曲率张量就成为了存在等距映射的一个虚浮,也即是说,它碎裂了空间与欧几里得空间之间的完整对应。这种可积性虚浮是指在障碍空间中,无法像在平坦空间中那样解放地进行积分和微分操作。
发祥:二维曲面几何
曲率张量的见地背后有一个真谛真谛的历史。它始于二维曲面的曲率,其中十九世纪的几何学家认为二维曲面镶嵌在三维和更高维度的空间中。曲率是字据密切曲面的圆的曲率来界说的。淌若你不知说念什么是密切圆(osculating circle),参考底下的动图
图片
皇冠客服飞机:@seo3687在曲面上的放纵给定点,领先找到单元法向量,然后构造一个与曲面垂直相交的平面。这个平面不错朝任何所在,皇冠新网址然后在这个平面上绘图一个与曲面相切的圆,即圆在斗殴点的曲率半径与曲面在该点的曲率半径同样。当这个切割平面围绕单元法向量旋转时,切圆的半径的倒数,即曲率,在最大值和最小值之间平滑变化——这两个极值是主曲率。
注释,在鞍点上方有切割平面,在这种情况下与主曲率平面呈45度角,这些是无限长的等高线,即曲率精准地为零。这些直线等高线是切平面与鞍面的交线,其他等高线是双弧线;
鞍点曲直面上的一个点,在这个点上,曲面在一个方朝上是隆起的(正曲率),而在另一个垂直方朝上是凹下的(负曲率)。这种现象雷同于马鞍,因此得名鞍点。
在鞍点上方,不错构造一个切割平面,使其与曲面的两个主曲率平面呈45度角。在这个特定的角度,切割平面与曲面的交线(等高线)是直线,而不是弧线。
这些直线等高线暗示曲面在这些方朝上的曲率为零,即曲面在这些方朝上是平坦的。这与鞍点的特色一致,即在某些方朝上曲率为正,在垂直方朝上曲率为负。
除了直线等高线以外,鞍点隔壁的其他等高线频繁是双弧线现象,这反馈了曲面在这些方朝上的曲率变化。
一名体育明星被曝在皇冠体育上下注,最终导致了他的事业和生活的翻天覆地的变化。底下的图应该使这少许更表现:
图片
对于这个鞍形,最大和最小曲率的大小同样但秀雅相悖。但在不合称的鞍形中,其他角度是可能的,具有不同大小的最小和最大曲率。
是以这是着手,十九世纪几何学家对曲率的见地——这一切齐与镶嵌和曲面与其所在的三维空间之间的关系关系,这种关系通过密切圆的见地体现。
因此,咱们不错看出为什么高斯在发现两个主曲率的乘积(咱们咫尺称之为高斯曲率)曲直面的内在属性时,他会惊呼“Theorema Egregium!”(“杰出的定理”)。这个曲率不错从一个叫作念度规张量的量上钩算出来,而不需要参考任何镶嵌。用技巧术语来说:高斯曲率对于曲面的任多么距变换是不变的,举例,两个外不雅相配不同的旋转面和螺旋面之间的知名等距变换。它十足落寞于任何镶嵌见地。底下的动图阐明了这种等价性,我以为这很迷东说念主:
据南都此前报道,13日上午,广铁集团长沙火车站官方微博发布通告称,12日21时许,一名路过长株潭城际开福寺站南进出站口的女性被脱落的卷闸门碰撞受伤,伤者被车站工作人员第一时间送医救治,生命体征平稳。
图片
欧几里得的教条过头最终的倒塌
"Theorema Egregium"在许多方面齐远远越过了它的时间,它颐养了对于曲面几何的一些着实出东说念主意象的东西。
与此同期,数学家雅诺什·博利亚伊和尼古拉·洛巴切夫斯基区分独赶紧施展了欧几里得的第五公设(平行公设)在逻辑上落寞于其他四个公设。他们通过构造欢叫欧几里得前四个公设但不欢叫第五个公设的几何模子来施展这少许。这些模子组成了双曲几何的基础,这是一种与欧几里得几何不同的几何体系。双曲几何的典型终了包括庞加莱圆盘和庞加莱双曲半平面。
图片
几个世纪以来,东说念主们一直推断欧几里得的第五公设不错推导出来,因此不落寞于其他四个。对于第五公设的“施展”有着悠久的历史,“从欧几里得的其他公理中推导出来”。博利亚伊和洛巴切夫斯基变调了一切。两千年的教条化念念想化为废地,因此他们的豪举既需要勇气也需要聪惠。
当代黎曼曲率见地
图片
咱们不错追念性地看到从高斯、洛巴切夫斯基和博利亚伊运行的历史到广义相对论之间的一条知阶梯径。
黎曼几何的接头通过里奇微积分和张量分析的发现(黎曼是高斯的学生,他发展了非欧几里得几何的念念想)取得了系统化,这同样咱们到了黎曼几何的基本定理和对曲率张量看成偏离欧几里得第五公设的量化的严格汲取。
其中一个见地是看成测地线偏差的度量。在几何学中,测地线是空间中两点之间最短旅途的履行。在曲面或曲率空间中,测地线可能不是直线。测地线偏差是一种度量,用来态状两条相邻测地线之间的分离进度跟着它们前进的变化。
图片
测地线偏差径直挑战了欧几里得第五公设,因为在非欧几里得几何中(如双曲几何),不错有多条通过给定点的测地线与给定的测地线不相交。
菠菜黑平台曝光终末,在爱因斯坦的广义相对论之后,Ambrose-Singer定理标明,曲率,因此欧几里得几何的十足量化不错通过Holonomy的见地来详情——即测试向量在绕环路“平行挪动”时的变化。这少许很迫切,因为黎曼几何和里奇微积分将曲率视为所在协变导数之间的换位子。
Holonomy即是测试向量在绕环路平行挪动并与挪动前的自己进行比拟时,与着手的偏离进度。我可爱将黎曼曲率张量看作是一个矩阵(变换)值函数R(X,Y),它是两个向量X和Y的函数,这两个向量界说了一个无尽小的平行四边形环路。变换将第三个向量Z映射到它在绕小环路平行挪动时所资历的变化,如下图所示。
图片
www.kingofbettingzone.com偏差与 X 和 Y 界说的平行四边形所围成的环路面积成正比。黎曼张量接管两个向量 X 和 Y,并输出一个变换 R(X,Y)。然后,将此变换施加到 Z 上,以计算 Z 由于绕环路平行挪动而引起的变化。用秀雅暗示,变换不错写成一阶现象
图片
一个空间是欧几里得空间当且仅当这个变换是恒等变换皇冠导航网,即当且仅当向量在绕任何可能的环路平行挪动时不发生变化。因此,变化的大小精准量化了空间的非欧几里得性。施展度量在开邻域 P 内界说了一个平坦空间当且仅当黎曼张量 R 在这个邻域内处处隐藏,这个施展相配浅近,提供了深切的瞻念察。