广义相对论入门03-广义相对论的数学基础(中)20160507
广义相对论的简介.doc
广义相对论的简介广义相对论简介generaltheoryofrelativity,1,广义相对论简介generaltheoryofrelativity,爱因斯坦的思考1、非惯性系与惯性系平权?2、时空与物质有关?突破(对惯性和引力的思考),在引力场中，一个自由降落的参考系中，人们无法感觉引力的存在！,2,§1广义相对论的基本原理一、等效原理1、惯性质量与引力质量,,,实验表明,定义,称该场点的引力强度,,3,2、惯性力与引力,自由空间加速电梯,引力场中静止的电梯,,,考察相对观察者静止的物体的运动,,,但各自分析的原因不同,,惯性力,引力,,4,,引力场中某一时空点自由下降电梯,远离引力场的自由空间匀速运动的电梯,惯性力可以“抵消”引力,结论：,,,5,在引力场中的某一时空点自由下落的参考系和惯性系等效,在这样两个参考系中得到的力学规律相同局域等效等效并非等同,,6,3、广义相对论的等效原理局域内加速参考系与引力场的一切物理效应等效或说：在任何引力场中任一时空点，人们总可以建立一个自由下落的局域参考系，在这一参考系中狭义相对论所确立的物理规律全部有效。
4、广义相对论的局域惯性系狭义相对论成立的参考系或引力为0的参考系,5、广义相对论的惯性定律在局惯系内,物体不受力,则维持原状态。
牛力的惯性定律与广义的惯性定律表述相同但含义不同在引力场中每个时空点的邻域可以建立若干个局惯系同一点各局惯系作匀速运动(相互间可用洛仑兹变换)不同时空点的局惯系间有相对加速度牛力：惯性系是区域性的各惯性系间无相对加速度,8,,,引力场源,r,,以该点的引力场强自由降落可有多个相对匀速运动可用洛仑兹变换,图示局惯系,9,二、广义相对性原理principleofgeneralcovariance(广义协变性原理)物理规律在一切参考系中形式相同小结广义相对论基本原理1)等效原理2)相对性原理3)马赫原理Machprinciple时空性质由物质及其运动所决定,10,2)引力作用几何化,时空的几何结构,的启示,本课介绍：广义相对论的理论框架1)物理规律中引入引力作用等效原理加速度引力弱引力场,牛顿,11,§2引力场的时空弯曲,一、弯曲空间的概念,,平面是二维平直空间,测地线是弧线,由测量判定空间,测地线是直线,球面是二维弯曲空间,12,测地线,圆周率圆周率二、引力场的空间弯曲以爱因斯坦转盘为例说明,,,在此，我们涉及两个惯性系：,系：即实验室系,研究的问题：测量一段弧的长度及圆周长,14,根据等效原理转动参考系等效为引力场引力场强是,注意到,由洛仑兹变换可得,,,愈强弯曲愈烈,15,三、史瓦西场中固有时与真实距离Schwarcchildfield,1、场的特征,,相对静止的球对称分布的物质球外部的场,2、某处的固有时由静止在该处的标准钟测得的时间间隔某处真实距离由静止在该处的标准尺测得的空间间隔,刚性微分尺,16,在无引力的地方有一系列的走时完全一样的钟然后把它们分别放到引力场中的各个时空点称各地的标准钟,3、标准时间标准长度无引力影响的时间和长度,标准钟,在无引力的地方有一系列的完全一样的刚性微分尺然后把它们分别放到引力场中的各个时空点称各地的标准尺,17,远离引力场处,,,,,,,,18,4、引力场中的固有时与真实距离,S系--史瓦西场系--瞬时静止在S系中确定时空点的局惯系S0系--飞来局惯系由无限远处沿径向自由飞到史瓦西场确定的时空点系中的一只标准钟,S0系中先后与相遇的两只钟,系的确定时空点处的标准钟测得的是原时,设,同样在确定的时空点的标准尺测的是原长,轻？,引力场愈强钟愈慢,3)空间弯曲,引力场愈强尺缩愈烈,22,四、史瓦西场和黑洞如果引力源质量M 很大对应有关值,例,,视界半径,Blackhole,无限缓慢,,23,§3广义相对论的可观测效应一、光的引力频移,处发光频率为,处接收到的频率为,频移,设,24,若太阳发光,引力红移gravitationalredshift,,频移,25,二、光线的引力偏折引力的作用1)空间弯曲2)光线偏离测地线,1919年5月29日测,三、行星(水星)近日点的旋进雷达回波延迟效应,26,。
广义相对论简介ppt课件
3.(2011·大同高二检测)设想有一艘飞船以v=0.8c的速度在
地球上空飞行，如果这时从飞船上沿其运动方向抛出一物体，
该物体相对于飞船的速度为0.9c，从地面上的人看来，物体 的速度为( )
A.1.7c
B.0.1c
C.0.99c
D.无法确定
1 uv c2
【解析】选C.根据相对论速度变换公式：u u v ， 得 u 0.8c 0.9c 0.99c， 故选项C正确.
Ek m 1.6 1017 0.02% 2 31 8 2 m0 m0c 9.1 10 (3 10 )
17 加速后的速度为 v 2E k 2 1.6 10 m / s 5.9 106 m / s. 31
m0
9.110
上述计算表明，加速后的电子还属于低速的，可以使用经典 的动能公式. 答案：1.6×10-17 J 0.02% 5.9×106 m/s 可以使用经典
【解题指导】依据广义相对论中的引力场中的光线弯曲
考虑.
【标准解答】选C.根据爱因斯坦的广义相对论可知，光线在 太阳引力场作用下发生了弯曲，所以可以在适当的时候 (如日 全食时)通过仪器观察到太阳后面的恒星，故 C正确，A、B、D 均错.
【典例】(2011·临沂高二检测)地球上一观察者，看见一飞
船A以速度2.5×108 m/s从他身边飞过，另一飞船B以速度
3.水星近日点的进动 天文观测显示,行星的轨道并不是严格闭合的,它们的近日点 (或远日点)有进动(行星绕太阳一周后,椭圆轨道的长轴也随
之有一点转动,叫做“进动”),这个效应以离太阳最近的水星
最为显著，这与牛顿力学理论的计算结果有较大的偏差，而 爱因斯坦的广义相对论的计算结果与实验观察结果十分接近. 广义相对论所作出的以上预言全部被实验观测所证实.还有其 他一些事实也支持广义相对论.目前,广义相对论已经在宇宙 结构、宇宙演化等方面发挥了主要作用.
广义相对论入门02-广义相对论的数学基础(上)20160506
dx′µ
=
∂x′µ ∂xα
dxα
∂x′µ
若
∂xα
≠ 0或∞ ，则有逆变换
并且有
dxα
=
∂xα ∂x′µ
dx′µ
克罗内克尔符号为
∂x′µ ∂xα ∂xα ⋅ ∂x′ν
∂x′µ = ∂x′ν
= δνµ
δνµ
=
⎧1 ⎩⎨0
µ =ν µ ≠ν
2、广义相对论中的张量 （1）标量：在坐标变换下不变的量。， （2）矢量（一阶张量）：在坐标变换下，与坐标微元具有相同变换的量。
广义相对论的数学基础主要为张量分析和微分几何中的黎曼几何。 张量的重要性在于其和坐标变换相联系。张量方程与坐标系的选取无关。
一、狭义相对论中的张量
狭义相对论都是在仿射空间中进行讨论。仿射空间是数学中的几何结构，这种结构是欧
式空间的仿射特性的推广。在仿射空间中，点与点之间做差可以得到向量，点与向量做加法
dxµ′ ⋅ dx′µ = (dx1′)2 + (dx2′ (dx4′ )2
= aµα dxα ⋅ aµβ dxβ = aµα aµβ dxα dxβ
根据光速不变原理，以光信号联系的两个事件的四维时空间隔不变，即
dxµ′ ⋅ dxµ′ = dxα ⋅ dxα
则
aµα aµβ = δαβ
二阶张量： Tµ′ν = aµα aνβTαβ ；
n 阶张量： Tµ′νLλ = aµα aνβ Laλσ TαβLσ
n 阶张量的分量个数为维度的 n 次方。
二、广义相对论中的张量：即非线性、也非正交 1、广义坐标变换
( ) x′µ = x′µ xν
其中μ、ν=1、2、3、4 或μ、ν=0、1、2、3，一般 x0=ct，x4=ict。注意区分指标和指数。取 微分，得
广义相对论课件第三耞图
04
CATALOGUE
广义相对论的实验验证
光线弯曲实验
总结词
爱因斯坦预测光线在强引力场中会发生 弯曲，这是广义相对论的重要预言之一 。
VS
详细描述
1919年，英国天文学家亚瑟·爱丁顿带领 团队在日全食期间观测到太阳附近的星光 在太阳引力作用下发生弯曲，证实了爱因 斯坦的预测。这一实验结果被认为是广义 相对论的第一个重要验证。
颠覆了牛顿的绝对时空观 念
广义相对论提出了等效原理和广义协变原理 ，否定了牛顿的绝对时空观念，建立了相对 时空观。
揭示了宇宙的演化规律
广义相对论预言了宇宙的膨胀和黑洞的存在 ，对宇宙的起源、演化和终极命运提出了深
刻的见解。
对未来科技发展的启示
要点一
引领了现代天文学的发展
广义相对论对宇宙的预言和解释，为现代天文学的发展提 供了重要的理论支撑和指导。
02
CATALOGUE
广义相对论的推导过程
引力场的推导
引力场的推导基于等效原理和最小作 用量原理，通过引入度规张量来表示 引力场，并利用变分法得到爱因斯坦 引力场方程。
引力场的推导还涉及到对物质分布和 运动状态的考虑，通过将物质能量动 量张量代入场方程，可以得到描述物 质与引力场相互作用的方程。
CATALOGUE
广义相对论的意义与影响
对物理学的贡献
完善了经典力学体系
广义相对论将引力视为时空几何属性的体现，将引力和其他相互作用力统一起来，从而 完善了经典力学体系。
开创了理论物理学的新篇章
广义相对论突破了经典物理学的局限性，提出了新的时空观念和引力理论，为理论物理 学的发展开辟了新的篇章。
对宇宙观的影响
引力波探测实验
总结词
广义相对论 课件
通常物体的引力场都太弱，20世纪初只能观 测到太阳引力场引起的光线弯曲。由于太阳引 力作用，我们有可能看到太阳后面的恒星。但 是，平时的明亮天空使我们无法观星，所以最 佳的时机是发生日全食的时候。1919年5月29日 恰有一次日全食，两支英国考察队分赴几内亚 湾和巴西进行观测，其结果完全证实了爱因斯 坦的预言。这是广义相对论的最早的验证。
爱因斯坦在1907年开始认识到“在 狭义相对论的框架里，是不可能有 令人满意的引力理论的！！！
广义相对性原理和等效原理
在前述思考的基础上，爱因斯坦向前迈进了 一大步，把相对性原理推广到包括非惯性系 在内的任意参考系中，认为在任何参考系 中，物理规律都是相同的——广义相对性原 理
一个均匀的引力场与 一个做匀加速运动的 参考系等价——等效 原理 根据等效原理，航天 员也完全可以认为飞 船没有加速运动，而 是在船尾方向存在一 个巨大的物体，他的 引力场影响了飞船内 的物理过程。因此我 们得出结论：物质的 引力使光线弯曲。
Time, Please slow down!!
我们总是天真地希望时 间变得慢一些…
广义相对论让我们的 幻想可能成为现实 ~~ …
现在，广义相对论已经在宇宙结构， 宇宙演化等方面发挥重要作用。随着 视野的不断加大，更多的迷雾正等待 的我们去揭开！！
感谢观看~
广 义 相 对 论
超越狭义相对论的思考 ——狭义相对论的局限
一、狭义相对论不能解释惯性系的特殊、优越 性问题 二、“刚性”空间- 时间度规不能解决非惯性系 中的问题 三、狭义相对论不能解决引力现象问题
爱因期坦曾反复运用数学方法修改牛顿的引力 论，企图把引力现象归纳在狭义相对论的范畴之 但没有获得成功。爱因斯坦通过狭义相对论，把电 与磁场统一起来，把质量和能量统一起来, 把牛顿力 学方程作了相对论修正, 使之与麦克斯韦方程协调起 来了。接着，爱因斯坦想把引力现象也纳入狭义相 论的范畴。
第三章广义相对论
第三章 广义相对论简介我们已经看到, 无论牛顿力学还是狭义相对论都以惯性原理为基石. 而这块基石并不很牢靠, 因为人们不知道除了测量质点的加速度之外如何判断质点是否受到引力的作用. 从理论上讲, 惯性系不是一个自然的概念. 爱因斯坦通过把惯性（加速度）和引力统一起来, 取消了惯性系的特殊地位, 使惯性系问题和引力问题一举得以解决. 但在宇宙学层面, 关于是否存在优越参考系仍然有争论1.在爱因斯坦广义相对论中, 引力场体现为空间的几何性质. 参考系的变换伴随着引力场（即空间几何性质）的变换, 在这种广义的参考系变换下, 物理规律在所有参考系中都一样. 时间和空间的几何性质由物质的存在及其运动决定；而物质的运动方式则由时间和空间的几何性质（即引力）所决定. 尽管广义相对论并非无懈可击, 但一个世纪以来爱因斯坦这个美妙思想一直指引着人们探索相互作用和运动的和谐理论, 使人们对时空的理解达到前所没有的高度.爱因斯坦广义相对论提供了研究宇宙学的理论框架. 但随着理论和实验研究的深入, 很多有趣的疑难问题相继出现. 例如视界疑难、平直性疑难、暗能量和宇宙常数疑难等等. 由于近年实验的进步, 人们已经看到宇宙学成为精确实验科学的可能性. 例如1998年发现的宇宙加速膨胀和2003年WMAP 首次公布的微波背景辐射涨落. 本章将粗略地给出广义相对论主要思想和理论结构, 并简单地提及引力波、引力红移和宇宙演化方程.3.1 等效原理第一章1.7节曾经提到, 牛顿万有引力可以用引力场来描述. 位于x 的质点感受到的引力决定于x 处的引力场)(x ϕ,)(x xf ϕ∂∂−=g grav m （3.1） 参数g m 称为引力质量, 描写质点对引力场响应的强弱. 当质点只受到引力作用而加速运动时, 称质点作自由落体运动. 例如断了线的升降机, 围绕地球转动的月亮等. 根据牛顿第二定律, 自由落体的加速度为)(1x f x ϕ∇−==Ig grav I m m m && （3.2） 参数I m 描写质点被加速的难易程度, 称为惯性质量. 实验指出, 在同样的引力场中, 引力使物体产生的加速度与物体的质量无关. 这意味着对任意两个物体A 和B 有普适的比例常数B I B g A I A g m m m m = （3.3）不妨令它等于1, 即 m m m I g == （3.4） 1郭汉英, 广义相对论和引力理论的变革——相对论百年札记之二, 《科学》第5期, 2005在牛顿力学中, 引力质量和惯性质量是两个性质完全不同的参数. 他们严格相等在牛顿力学中没有解释.设想一些彼此相距遥远而且和其他物体相距遥远的质点, 因而这些质点不受任何力的作用, 他们相对惯性系Σ没有加速度. 考虑一个相对Σ作匀加速运动的参考系Σ′. 相对于Σ′, 上述所有质点具有相等而且平行的加速度. 静止在Σ′的观测者看来, 好像参考系Σ′没有加速运动, 而质点受到一个均匀引力场作用一样（因为惯性质量等于引力质量, 所有在均匀引力场中自由落体质点的加速度一样）. 且不管产生这种引力的原因, 从效果上没有任何理由阻止我们认为Σ′是一个惯性系但存在真实的引力场. 爱因斯坦认为参考系Σ和Σ′在物理上完全等价.这种等效性使惯性系和非惯性系完全平等起来, 是观念上的极大进步. 现在再不用把物理定律限制在一种称为惯性系的特殊参考系中. 质点在不同参考系的不同行为被归结为引力场在不同参考系中的不同表现. 我们仍然认为引力场是一种客观实在, 但它在不同的参考系中表现出不同的强度. 类似于客观实在的尺子在不同惯性系可以表现出不同的长度. 我们稍后再讨论引力场和空间几何的关系, 以及引力场如何产生.显然不是任意引力场都可以被加速参考系抵消. 例如没有一个加速参考系能看到完全为零的地球引力. 引力和加速度的等效性是局域的. 爱因斯坦假设, 在质点所在的无穷小空间邻域中, 引力场被质点的自由落体运动完全抵消掉, 固定在该质点上的参考系对该质点附近的无穷小邻域而言是一惯性系, 其中引力强度等于零, 而且狭义相对论成立.等效原理：（1）均匀引力场等效于一个加速参考系中的惯性力场；（2）固定在自由落体上的参考系是一个局域惯性系, 其中狭义相对论成立.等效原理的实质是：在宇宙中任何时刻、任何地点都可以建立局域洛伦兹参考系, 在这类局域洛伦兹参考系中, 除了引力之外的一切物理规律形式上和狭义相对论中的规律一样. 这是广义相对论中最重要的原理.更强的假说是相对论局域化原理：在宇宙中, 时时处处存在局域闵可夫斯基时空, 其中除引力之外的物理规律, 都具有局域庞加莱不变性；亦即狭义相对论在时空局域地成立.3.2 弯曲空间◆爱因斯坦转盘在惯性系中制备的一些相同的尺子, 作为标准长度单位, 称每把尺的长度为0l 米. 分别沿半径和圆周摆放尺子.设圆盘相对地面静止时需要用n 把尺子摆满半径, m 把尺子摆满圆周. 按照欧几里德几何, 周长和半径之比为π200==nm nl ml （3.5）图3-1. 爱因斯坦转盘.当圆盘以角速度ω转动时, 圆周处的线速度为r ωυ=. 因为转盘是一非惯性参考系, 我们暂时还不知道非惯性参考系的时空几何学和其他所有自然定律, 只能通过地面惯性系的测量来推断转盘上的规律. 根据狭义相对论（参见第二章例2-2）, 圆周上随圆盘转动的尺子相对地面惯性系的长度为020)/(1)(l c r l r l <−=ω （3.6） 而沿半径摆放的转动尺子相对地面惯性系的长度不变2, 仍为0l , 即圆盘半径不变. 根据地面惯性系的欧几里德几何, 圆盘转动时的边缘和不转动时的边缘应该是重合的. 摆满半径所需的转动尺子数目仍为n , 但是因为沿圆周边缘摆放的转动尺子变短了, 在转动圆盘上需要多一些尺子才能摆满圆周, 即需要尺子的数目变成m ′(m m >′).对于转动圆盘上的人, 有两种观点可选择：1）仍然采用地面惯性系的长度标准, 以不转动的尺子为长度标准单位；认为转盘上同样的尺子在不同的位置具有不同的长度)(0r l l =′, 而圆盘转动时圆周的长度和静止时一样, 即 00ml l m =′′；2）不管尺子作惯性运动抑或非惯性运动, 坚持同样的尺子在任何情况下都代表同样的长度（把它作为转盘参考系中的长度标准单位）；因而圆盘转动时圆周的长度0l m ′和静止时的0ml 不一样. 对于转盘参考系, 按第一种观点, 本质相同的尺子在不同位置具有不同的长度(因而不能作为长度单位), 转盘上的人做长度测量时需要用固定在另一个特定参考系的尺子作为长度单位. 而按第二种观点, 物理本质相同的尺子作为长度的标准单位, 与它所处的位置及运动状态无关, 长度的测量仅与单个参考系有关. 因为第二种观点避免了长度测量依赖于有优越性的特殊参考系, 所以显得自然一些.如果转盘上的人采用第二种观点, 即认为标准尺的长度是不变的, 就会得出周长和半径的比π200>′=′nm nl l m （3.7） 依这种观点, 转盘参考系的几何不是欧几里德几何. 在思考上述问题时, 要避免问这样的问题: “转动和不转动的圆盘, 他们的圆周长度到底相不相等?” 这是牛顿绝对空间概念导致的误区. 按照相对论, 长度没有绝对意义. 同样物理状态下物体的长度在两个参考系中可以是不同的. 而具有绝对意义的是摆放尺子的数目. 所以地面和转盘上的人记录的固定在转盘上沿圆周摆放的尺子数目都是m ′. 至于他们认为圆周的长度有多长, 则与他们选择的长度标准单位有关.再考虑两个相同的时钟, 一个放在圆心, 一个放在圆周. 按照狭义相对论（参见第二章例2-1）, 当圆盘转动时, 地面惯性系的观察者将看到圆周的时钟走得慢一些. 离圆心越远, 时钟越慢. 和前面关于尺子和长度测量的讨论相似, 转盘上的观察者可以自然地坚持时钟的一个运动周期为标准时间单位, 不管时钟放在那里都代表同样的时间间隔. 这样转盘上的观察者测量得圆周上的时间较之圆心的时间流逝得变慢了.■2假定尺子的长度只依赖于尺子方向的速度, 而与尺子的加速度和垂直尺子方向的速度无关.在转盘上引入非欧几何不是必须的, 因为转盘相对一个惯性系转动, 一切时间和尺度都可以用惯性系中的时钟和尺子来测量, 时空几何以惯性系的欧几里德几何为准, 即同上两章那样赋予惯性系特殊优越的地位. 假如物理上存在欧几里德几何成立的称为惯性系特殊参考系, 原则上也不妨坚持以惯性系中静止的时钟和尺子为时间和长度的标准, 以此量度任何参考系的时间和长度. 但是等效原理告诉我们, 圆盘的加速运动等效于引力场. 由于实际上存在不能通过参考系变换使之处处为零的引力场, 因此物理上不存在真正的欧几里德几何成立的惯性系, 因此非欧几里德几何是必须的.为了容易想象弯曲空间, 我们假设空间是二维的. 图3-2是弯曲空间的一个例子. 把曲面镶嵌在高维欧几里德空间, 用高维空间（三维空间）的笛卡儿坐标描写曲面是可以的. 但高斯提出一种更漂亮的描写方法, 即在曲面上直接建立曲线坐标. 高斯的方法只使用曲面的内禀性质描写曲面的几何, 不需要人为地增加内容, 类似于广义相对论只在一个参考系描写时空结构（和物理规律）, 优越性是明显的.我们所讨论的曲面假定是连续可微的, 每一点附近的小邻域可以用一平面（图3-2b 中的M ）近似. 在数学上这种曲面称为二维微分流形. 图3-2a 的苹果如果没有破皮, 而且把蒂去掉, 其表面就很接近一个2维微分流形.B普遍地, 可以把流形想象为一个局部光滑的空间, 空间任一点的邻近区域均近似为欧几里德空间. 这意味着可以在流形的任一小区域中建立局域的笛卡儿坐标()d X X X ,,,21L , d 为流形的维数. 对小区域中的两点可以根据欧几里德几何引入距离的概念, 无穷小距离平方定义为()()∑==++=d d dX dXdX dX ds 12222212)()(ααL （3.8）对笛卡儿坐标作任意连续可微变换 ),,,(21d x x x X X L αα= （3.9）代入（3.8）得d 维流形的间隔平方可写成∑=ddx dx x g ds νµνµµν,2)( （3.10） 其中函数µνg 由流形的几何性质和所选坐标架所决定, 称为度规矩阵, 或简称度规,∑=∂∂∂∂=dx X x X x g 1)(αναµαµν （3.11） 图3-2.（a ）弯曲的二维曲面. AB 是曲面上的一条路径. （b ）曲面上的切平面M 和路径AB 的的切线.有了µνg 之后, 流形便有确定的形状和距离的概念, 即µνg 确定流形的度量性质. 具有度规的流形称为黎曼流形.◆例3-1 求球面流形的度规.【解】采用球坐标),(ϕθ, 设球的半径为a . 易见222222)(sin)(ϕθθd a d a ds += （例3.1）所以 211a g =, 02112==g g , θ2222sin a g = （例3.2）■物理四维时空流形有类似黎曼流形的性质. 观察者在引力场中作自由落体运动, 他附近的小邻域里好象不存在引力场一样. 因此总能将时空流形的一个小邻域近似为欧几里德区域, 在那里建立惯性参考系（自由落体参考系）, 其中狭义相对论成立. 根据狭义相对论, 两个无限接近事件的间隔, 即（3.10）式定义的2ds , 是一个不变量, 与局域惯性系的选择无关. 实际上, 按照度规的定义, 2ds 在任意连续可微坐标变换下都是不变的（习题【31】）. 因为任意物理的参考系变换都可以用连续可微坐标变换给出, 所以2ds 在任意局域参考系变换中不变. 这些变换可以是非线性的、非均匀的. 局域欧几里德并不意味有限范围空间的几何也是欧几里德的, 不同的几何结构由不同的度规张量场)(x g µν表现出来（所谓张量场就是时空点的一个张量函数）. 度规场反映了参考系的不同选择, 也反映了时空的几何结构. 最简单的度规矩阵为单位矩阵,µνµνδ=g （3.12）当度规矩阵为单位矩阵时, 参考系为局域惯性系, 在其适用的局域范围内引力强度为零. 经非线性坐标变换后, 单位度规矩阵变成非单位矩阵, 它对单位矩阵的偏离代表非零的引力强度. 但是某点引力强度等于零并不一定等价于该点没有引力场. 因为即使在该点µνµνδ=g , )(x g µν在该点的导数可能不等于零, 这就有别于无引力场的情形. 事实上空间的曲率（张图3-3. 球面流形. 对给定的半径, 球面上每点可以用坐标),(ϕθ表示.量）如果有非零元素, 就有引力场存在. 因此, 整个空间函数)(x g µν与引力场相联系, 而给定点某个点0x 的)(0x g µν与引力强度联系, 后者依赖于参考系.空间的整体拓扑性质是很有趣的. 例如, 存在非平庸拓扑的曲面, 它不可能通过连续可微坐标变换把整个曲面变成平坦的. 球面就是一个非平庸拓扑的曲面. 相反, 圆柱面是可以通过坐标变换变成平坦的. 根据引力和几何的关系, 如果空间是二维的球面, 则空间必须存在引力场, 不能让处处的引力强度都等于零；如果空间拓扑和圆柱面一样, 则整个空间原则上（数学上）可以没有引力场.3.3 弯曲空间的矢量分析（1）张量的定义考虑一般的连续可微坐标变换)(νµµx x x ′=′ （3.13）无限小位移µdx 在一般坐标变换下如下式变换： ννµµdx x x x d ∂′∂=′ （3.14） 重复指标均隐含求和, 以后不再特别声明.按定义, 反变矢量A 由四个分量组成, 它的分量在坐标变换下如（3.14）式一样变换ννµµA x x A ∂′∂=′ （3.15） （3.14）式本身说明µdx 是一个反变矢量. 曲线的切线（例如图3-2b 曲线AB 的切线）, 选择适当参数就是四维速度矢量 τµµd dx u = （3.16） 易见它是一个反变矢量（τd 在坐标变换下不变）.由四个分量组成的对象B , 其分量µB 在坐标变换下如下式变换：νµνµB x x B ′∂∂=′ （3.17） 则称它为协变矢量. 注意我们总是用上标表示反变矢量, 下标表示协变矢量. 本章不再用黑体强调矢量和张量. 变量的几何性质由指标安排或具体说明给出.反变矢量和协变矢量可以合起来构成一个标量µµφB A = （3.18） 易证, φ在坐标变换下不变.所有张量都通过它的分量的变换方式来定义. 例如µν⋅A 的变换方式为 αβνβαµµν⋅⋅′∂∂∂′∂=′A x x x x A （3.19） 可证, νµdx dx 是一个二阶反变张量.如果µνA 和αβγB 是两个张量, 而且µναβνγµαβγA RB = （3.20） 则αβνγµR 是一个张量. 这是一个普遍数学定理的特例.【定理】如果两个张量成正比, 每一个张量的反变（协变）指标对应比例因子的一个协变（反变）指标, 则比例因子是一个张量的分量.由于2ds 和νµdx dx 是张量, 根据这个定理从（3.10）式容易看出µνg 是张量.（2）基本张量——度规张量下面直接证明度规矩阵µνg 是对称的协变张量.◆【证明】ληλνηµµννµµνx d x d x x x x g dx dx g ds ′′′∂∂′∂∂==2 （3.21） 在新坐标中,ληηλx d x d g s d ′′′=′2 （3.22）因为2ds 是不变间隔, 所以22s d ds ′=. 比较（3.21）和（3.22）式得µνλνηµηλg x x x x g ′∂∂′∂∂=′ （3.23） 故µνg 是一个协变张量, 称为协变度规张量.（3.23）式可以写成νµνµµνµνdx dx g dx dx g ds ==2 （3.24）最右边的式子由中间的式子同时改变求和指标的名称而得到. 因此 νµνµµνdx dx g g )(0−=上式对任意小量µdx 成立, 故νµµνg g =, 即度规张量是对称的.■度规矩阵µνg 的逆矩阵αβg 由下式定义,⎩⎨⎧≠===µβµβδβµλβµλ,0,1gg (3.25) 因为αβg 的两个指标都按（3.15）式变换, 故称αβg 为反变度规张量. 易见它也是对称的.有了协变和反变度规张量, 我们可以把反变矢量（指标）和协变矢量（指标）一一对应起来,νµνµA g A =, νµνµB gB = （3.26） ναµανµT g T =, αβνβµαµνT g g T = （3.27）因此, 一个矢量既可以用反变矢量表示也可以用协变矢量表示, 分别称为矢量的两个表象：反变表象和协变表象. 例如, 我们把（3.26）式中的µA 和µA 看作同一个矢量的两种表示.（3）不变体积微元度规矩阵的行列式记为||µνg g =. 可证,g J g 2−=′ （3.28） 其中J 是从坐标x 变到坐标x ′的雅戈比行列式,νµx x J ∂′∂= （3.29） 右边指标µ是矩阵元的行指标, ν为列指标.雅戈比行列式也出现在体积微元d d dx dx dx x d L 21≡的变换中,x Jd x d d d =′ （3.30） 因此, x d g d 在坐标变换下不变, 称为不变体积微元.x d g x d g d d =′′ (3.31) （4）矢量平行移动与仿射联络如何比较空间不同点的两个矢量呢？这件事在平直的欧几里德空间是容易办到的：把其中一个矢量平行移动到另一个矢量的位置, 再按平行四边形法则求他们的差. 因为一个笛卡儿坐标架可以描写整个平直空间, 故所谓矢量的平行移动, 可以理解为矢量各个分量保持不变的移动.但在弯曲空间, 不同点的矢量之间不存在内禀的平行概念. 为了确定不同点的矢量平行与否, 必须规定一种平行移动的法则. 图3-4直观地说明一种可能的平行移动法则——仿射联络. 图3-4（a ）中, 一个与球面切于北极（a ）点的矢量沿大弧abc 移动, 在移动过程中矢量保持它的长度和与弧线abc 相切的特征. 可以合理地认为矢量在这个过程中作平行移动. 再看图3-4（b ）, 北极上同样的矢量, 沿另一条大弧adc 移动, 在移动过程中保持与球面相切并和弧线adc 的切线正交的特征. 可以同样合理地认为这个过程是对矢量的平行移动. 但是我们看到两个过程在南极c 点产生的矢量是不同的. 可见没有办法在整个球面一致地定义矢量的平行. 但是沿一条给定曲线平行移动矢量是可以无歧义地定义的. 粗略地说, 仿射联络是一种平行移动的法则, 矢量按此法则沿一条曲线移动时被认为不改变.c在无限小的区域, 弯曲空间近似平直, 因此和欧几里德空间的情形相似, 矢量的无限小平行移动由初始矢量)(x A 和位移矢量dx 所确定. 示意于图3-5.) 1ˆe考虑x 处一反变矢量)(x A µ, 利用x 处坐标架的单位方向矢量)(ˆx eµ可把矢量可写成 )()(ˆ)(x A x e x A µµ= （3.32）矢量)(x A 被平行移动到dx x +处, 成为该处的一个反变矢量B . ))()()((ˆx A x A dx x e B µµµδ++= （3.33）把平行移动引起的矢量分量的变化)(x A µδ写成νλµλνµδdx x A x x A )()()(Γ−= （3.34） 则))()()()((ˆνλµλνµµdx x A x x A dx x e B Γ−+= （3.35） 图3-4. 球面上矢量的平行移动. （a ）矢量沿abc移动. （b ）矢量沿adc 移动.图3-5. 矢量场的协变微分. 1ˆe和2ˆe 是局域坐标架. )(x A 和)(dx x A +分别是矢量场在x 和dx x +两点的矢量. B 由x 点的矢量)(x A 平移到dx x +点而成的矢量. 协变微分DA 定义为)(dx x A +和B 的差.其中带有三个指标的函数)(x αµνΓ称为仿射联络（克里斯托菲（Christoffel ）符号）. 矢量B 必须象矢量一样变换, 这要求)(x αµνΓ具有下面的变换性质, ⎟⎟⎠⎞⎜⎜⎝⎛′∂′∂∂+Γ′∂∂′∂∂∂′∂=Γ′νµββηλνλµηβααµνx x x x x x x x x 2 （3.36） 可见, αµνΓ不是一个张量. 至此, αµνΓ除了（3.36）式的限制外, 没有其他限制. 易见, 如果原来的αµνΓ对两个下标是对称的, 经过任意变换后这种对称性仍然保持. 对平直的欧几里德空间, αµνΓ等于零, 所以对其下标一定是对称的. 我们假定物理时空每一局域都可以用欧几里德空间近似, 是所谓黎曼流形, 故只需考虑ανµαµνΓ=Γ的情形（数学上称为无挠性）. 物理时空是有距离概念的, 可以如（3.11）式那样引入度规张量场. 能够保证矢量的标积在平移时保持不变的αµνΓ唯一地被度规张量所确定3,⎟⎟⎠⎞⎜⎜⎝⎛∂∂−∂∂+∂∂=Γσµνµνσνµσασαµνx g x g x g g 21 （3.37） 上式的导出可以参见第四章(附4.23)式.（5）协变微分考虑反变矢量场)(x A µ. 普通导数νµx A ∂∂不是一个张量, 因为在坐标变换下, σλµνλσλσσµνλσσµλνλµλνλνµx x x x x A x A x x x x A x x x x x A x x x x A ∂∂′∂′∂∂+∂∂∂′∂′∂∂=⎟⎟⎠⎞⎜⎜⎝⎛∂′∂∂∂′∂∂=′∂∂′∂∂=′∂′∂2 （3.38） 第一项如张量一样变换, 但第二项不是.我们要在同一地点求矢量的差才能得到矢量. 为了反映矢量场局域空间变化, 用dx x +处的矢量)(dx x A +减B （由)(x A 从x 平移到dx x +所得的矢量, 见（3.35））,[]νλµλνµµνλµλννµµνλµλνµµµdx x A x x x A x e dx x A x x x A dx x e dx x A x x A dx x A dx x e Bdx x A DA ⎥⎦⎤⎢⎣⎡Γ+∂∂=⎥⎦⎤⎢⎣⎡Γ+∂∂+=Γ+−++=−+≡)()()()(ˆ)()()()(ˆ)()()()()(ˆ)( （3.39） 3 参见《相对论引论》, P.G .柏格曼著, 周奇、郝苹译, 人民教育出版社1961这是一个反变矢量, 称为反变矢量场)(x A 的协变微分. 在最后的等式中我们忽略了二阶以上的无限小量.（3.39）式最后一行的中括号定义为反变矢量的协变导数,λµλνµµνA x A A Γ+∂∂=⋅; （3.40） 右边两项分别都不是张量, 但合起来却是一个张量. 以后“分号”一般都表示协变导数. 如果空间是平坦的, 可以选取不随时空点变化的度规张量, 使得仿射联络等于零（见（3.37））, 此时协变导数和普通导数一样. 因为广义相对论中允许在不同时空点采用不同的参考系, 不同的坐标架, 而且在引力场下全空间原则上不存在一致的笛卡儿坐标, 所以需要（3.40）式右边的第二项才能保证（3.40）式具有张量的变换性质.协变微分可以表示为νµνµdx A e DA ;ˆ⋅= （3.41）如果0=DA , 则)(dx x A +是)(x A 平移得到的矢量.类似可以得到协变矢量的协变导数λλµννµνµA xA A Γ−∂∂=; （3.42） 注意（3.40）和（3.42）式第二项符号的差别.协变导数和普通导数一样有莱布尼兹求导公式νλµνµλλνµ;;;)(B A B A B A += （3.43）类似推理可以得到张量的协变导数,γνµγλµγγνλλµνµλνT T xT T Γ+Γ−∂∂=; （3.44） 对张量求协变导数的规律是：第一项是普通导数；然后张量的每一个指标都对应有一项, 由Γ和张量相乘得到, 下标为负, 上标为正. 注意上下指标的配合就可以写出正确的协变导数. 标量也服从这个规则, 因为标量没有指标, 故只有普通导数项.µϕϕx ∂∂=; （3.45） 一个重要的结果是, 度规张量的协变导数等于零（习题【3.2】）,0;=λµνg （3.46）（6）曲率张量如何知道空间在某一点附近是弯曲的呢？在平直空间, 把矢量沿一闭合回路平行移动一周, 矢量方向和大小都不变. 例如图3-6a 中的矢量沿路径ABCA 平行移动一周. 在弯曲空间, 如图3-6b, 矢量沿回路（图中的ABCA ）平行移动一周后, 和原来出发时的矢量不一样. 这是空间弯与不弯的根本差别.4321P P P 平行移动一周. 如图3-7. （3.47） 推广到任意回路 （3.48） 根据（3.20),(22113dx x dx x P ++即沿无限小回路平移一周后, 矢量的改变正比于原矢量以及回路所围的面积, 其比例系数µναβR 称为四阶黎曼曲率张量, 由仿射联络及其导数给出,γλαµγβγλβµγαβµλααµλβµλαβΓΓ−ΓΓ+∂Γ∂−∂Γ∂=xx R （3.49） 它关于下标α和β是反对称的, µλβαµλαβR R −=．空间平坦的充分必要条件是四阶黎曼曲率张量等于零.四阶黎曼曲率张量满足一个重要的数学恒等式, 称为毕安基（Bianchi ）恒等式,0;;;=++µβλγαµαλβγµγλαβR R R （3.50） 图3-7. 矢量沿回路4321P P P P 平行移动一周.对αµβνR 的指标α和β缩并, 得到一个二阶里兹（Ricci ）张量βµβνµνR R ≡ （3.51） 总曲率（标量）等于里兹张量的缩并（先用度规张量把里兹张量的一个指标提起来）µνµνR g R = （3.52） ◆例3-2 在半径为a 的球面上, 采用球坐标θ和ϕ. 度规张量已在例3.1中给出. 求仿射联络和曲率标量.【解】仿射联络的非零分量有：θθθϕϕcos sin −=Γ, θθϕϕθϕθϕsin cos =Γ=Γ （例3.3）四阶黎曼曲率张量的非零分量有：1=−=ϕθθϕϕθϕθR R , θθϕϕθθϕθϕ2sin=−=R R （例3.4） 二阶里兹张量的非零分量有：1=θθR , θϕϕ2sin=R （例3.5）曲率标量为22aR g R g R =+=ϕϕϕϕθθθθ （例3.6） ■3.4 短程线以上3.2和3.3节基本上是数学内容. 现在回到物理问题：在引力作用下质点的运动. 根据爱因斯坦的设想, 当空间的几何知道后, 自由质点（除了引力之外, 不受其它力作用的质点）的运动便由空间的几何完全确定了, 它的轨迹必然是由空间几何内禀性质确定的一条线. 下面先介绍通过空间内禀性质定义的一种特别曲线——短程线.图3-8. 根据初始位置和初始速度画出的短程线. 从A 点坐标和速度矢量推知无穷接近的B 点坐标和速度矢量, 由B 点坐标和速度矢量再推知无穷接近的C 点坐标和速度矢量, 等等, 就可以确定短程线上所有的点.给定一个初始位置µx 和一个初始速度τµµd dx u /=,可以按以下规则在弯曲空间中画出一条唯一的曲线. 如图3-8, （1）从A 点的坐标和速度矢量可以得到下一时刻的位置B ；（2）沿速度方向将A 点的速度矢量平行移动到B 点, 得到B 点的速度矢量；（3）从B 点的坐标和速度矢量可以得到下一时刻的位置C ；如此类推便可得到图3-8的整条曲线. 这样通过空间几何（由仿射联络给定）自然定义的曲线称为短程线.A ：µµ0)(x A x =, µµ0)(u A u =B ：τµµµd u x B x 00)(+=, βαµαβµµdx u u B u 00)(Γ−=C ：τµµµd B u B x C x )()()(+=, βαµαβµµdx B u B u C u )()()(Γ−=若质点沿短程线运动, 则四维速度矢量作平行移动. 可以认为短程线上各点的速度是同一个矢量U （同一个矢量U 放在时空不同的位置可以有不同的分量, 因为坐标架变了）. 这种运动相当于平坦空间的惯性运动. 作为伽利略惯性定律的自然推广, 爱因斯坦设想, 自由落体沿短程线运动. 严格地说, 只有对引力场影响足够弱的自由落体才沿短程线运动. 实际上这是爱因斯坦场方程的一个推论（见3.5节与（3.67-68）式相关的讨论）.按照上面给出的短程线的图象, 自由落体质点位移无限小距离νdx 之后, 速度分量的改变µdu 等于速度矢量平行移动同样距离νdx 的分量变化µδu . 在（3.34）式中取A 为四维速度U , 即取µµu A =, 便得到νλµλνµµδdx u u du Γ−== （3.53）换而言之, 四维速度的协变导数等于零, 即0;=µνu . 设质点平移νdx 所需原时（固有时）为τd , 上式可写为0=Γ+ττνµαµναd dx u d du （3.54） 或022=Γ+τττνµαµναd dx d dx d x d (3.55) 此即短程线方程, 是仅受引力作用的质点的运动方程. 对给定的引力场（αµνΓ）, 知道质点的初始位置和初速度即可从(3.55)式解出质点的轨迹. 如果知道质点的初始时刻的位置A 和末尾时刻的位置B, 也可以从 (3.55)式解出质点的轨迹（图3-9）. 短程线方程也可以通过要求自由落体从一点A 移动到另一点B 的路径所用原时（∫BA d τ）取极值（极小或极大）而得到4.4数学上, 使原时取极值的路径可以通过变分方法得到, 参见第二篇第四章附录4.3.。
广义相对论三个公式
广义相对论三个公式
广义相对论是爱因斯坦提出的一种描述引力的理论，其中包含了一些重要的公式。
以下是广义相对论中的三个公式：
1. 爱因斯坦场方程：这是广义相对论的核心方程，描述了引力场的曲率与物质分布之间的关系。
它的数学形式为：Rμν - (1/2)gμνR = (8πG/c^4)Tμν，其中Rμν是曲率张量，gμν是度规张量，R是标量曲率，Tμν是能量-动量张量，G是引力常数，c是光速。
2. 弯曲时空的度规：广义相对论认为，引力是由物质和能量引起的时空的弯曲。
弯曲时空的度规张量描述了时空的几何结构。
在弯曲时空中，度规张量的数学表达式与平直时空（即没有引力的时空）的度规张量有所不同。
3. 地面附近的时空弯曲：根据广义相对论，物体在引力场中运动时会受到时空弯曲的影响。
在地球附近的引力场中，我们可以使用牛顿引力定律和广义相对论的公式进行比较。
广义相对论预测出的效应包括时空弯曲导致的时钟走慢和光线偏折等现象。
这些公式是广义相对论的基础，它们描述了引力的性质和引力场与物质之间的关系。
广义相对论的公式和预测已经通过大量的实验证实，并且在理论物理学中具有重要的地位。
广义相对论入门03-广义相对论的数学基础(中)20160507
Q 点，再平移至 P 点，再平移至 Q'点，最后平移至 O 点，得到 A′µ 。那么， A′µ 与 Aµ 存在
一个夹角
δAµ
=
A′µ
−
Aµ
=
−
R
µ λνγ
Aλδxν dxγ
曲率的几何意义是：当时空存在曲率时，矢量平移一圈后回到原位，必须附加一个转 动，才能与原矢量重合。该附加转动为时空弯曲产生的几何效应。
3、协变微商满足莱布尼茨法则，即
( ) ( ) (AB);µ = A;µ B + A B;µ
据此可以定义 n 阶张量的协变微商。 4、逆变矢量场的协变微商
由于 Aµ Bµ 是一个标量，利用标量场的协变微商等于其普通微商以及莱布尼茨法则，得
到逆变矢量场的协变微商为
A;νµ = A,νµ + Γλµν Aλ
dλ
⎤ ⎥⎦
Aµ
(P
→
Q)
由于 dλ=0 时，P 与 Q 重合，故 F(λ)=1。令 dF = f (λ )，则
dλ
Aµ (Q) = [1+ f (λ )⋅ dλ]Aµ (P → Q)
将 Aµ (Q)在 P 点展开：
Aµ (Q) =
Aµ (P)+ dAµ (P) =
dx µ dλ
+
d dλ
⎛ ⎜⎜⎝
挠率张量不为零的空间是扭曲的。爱因斯坦广义相对论中时空挠率为零。
五、协变微商
1、标量场的协变微商
标量场的普通微商定义为
U,µ
≡
∂U (X
∂x µ
)
标量场的普通微商是一个矢量。该矢量的变换规律为
广义相对论入门04-广义相对论的数学基础(下)20160508
−1 2
∂gαβ ∂xν
x&α x& β
( ) ∂L
∂x&ν
1 =
2
gαβ x&α x& β
1 −
2
gαβ
⎜⎜⎛ ⎝
∂x&α ∂x&ν
x& β
+ x&α
∂x& β ∂x&ν
⎟⎟⎞ ⎠
( ) ( ) = 1 2
gαβ x&α x& β
g − 1 2 αβ
δνα x& β
+ δνβ x&α
( ) ( ) 1
= 2
gαβ x&α x& β
1 −
2
gνβ x& β + gαν x&α
将其带入拉格朗日方程，得
1 gαβ x&α x& β
∂gαβ ∂xν
x&α x&β
−
2
d dλ
⎛ ⎜ ⎜
⎝
gαν x&α gαβ x&α x& β
⎞
⎟ ⎟
=
0
⎠
选择参数λ为线长 s，则
gαβ x&α x& β
= gαβ
dxα ds
由于长度不变，因此 gµν Aµ Aν 与点无关。将右边展开式中第二项指标μ与α对换，第三项中
将ν与α对换、将ρ换作λ，则
( ) − gαν Γµαλ − gµα Γναλ + gµν ,λ Aµ Aν dxλ = 0
所以
gµν ,λ − gαν Γµαλ − gµα Γναλ = gµν ;λ = 0
第三章 广义相对论的基本原理 广义相对论基础课件
改进伽利略变换或麦克斯韦方程组。
Liaoning University
爱因斯坦从光速不变原理导出了一个新的时空
关系（Lorentz变换）：
x'
x vt
1
v2 c2
y' y
z' z
t'
t
xv c2
1
v2 c2
在v<<c时，它还原为伽利略变换。爱因斯坦证
§3.ity
1. 相对性原理 众所周知，牛顿力学仅限于惯性系中成立，
而两个相对作匀速直线运动的惯性系之间的时空 关系可有伽利略变换表示：
x' x vt
y' y
z' z
t' t
Liaoning University
容易验证，若牛顿力学规律对其中 任何一个参照系成立，那么对另一个参 照系也成立。这叫做牛顿力学规律对伽 利略时空变换的协变性，也称为力学的 相对论原理。它告诉我们，虽然惯性系 有无限多个，但不同的惯性系对力学问 题是完全等价的。
用类比，惯性质量为mi的电荷q，在电场中所
Liaoning University
上述原因使爱因斯坦突破了惯性系的局限性， 将狭义相对论原理推广为广义相对论原理：
一切参照系都是平权的。或者说，客观的物理 规律应在任意坐标变换下保持形式不变。
Liaoning University
在狭义相对论中，用四维正交矢量或张量 表示物理量或物理公式，从一个惯性系向另一 个惯性系变换时，经过洛仑兹变换，公式的形 式保持不变，这叫洛仑兹协变性。
太阳又在绕银河中心转动，其加速度约为 3.0×10－10m/s2，所以太阳也不是严格的惯性系， 尽管它比地面参照系更接近惯性系。
广义相对论的基础知识
广义相对论的基础知识广义相对论是爱因斯坦于1915年提出的一种描述引力的理论，是现代物理学中的基石之一。
它建立在狭义相对论的基础上，描述了引力是时空弯曲的结果，从而揭示了宇宙的结构和演化规律。
在广义相对论中，引力被解释为时空的弯曲，物质和能量决定了时空的几何结构，而物质和能量又受到时空结构的影响，形成了一个统一的动力学系统。
下面将介绍广义相对论的基础知识，包括引力场方程、时空弯曲、黑洞等内容。
引力场方程是广义相对论的核心方程之一，描述了引力场如何影响时空的几何结构。
在爱因斯坦场方程中，引力场由时空的度规张量表示，方程的左边描述了时空的几何性质，右边描述了物质和能量的分布。
具体形式为：\[G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu}\]其中，\(G_{\mu\nu}\)是爱因斯坦张量，描述了时空的曲率；\(\Lambda\)是宇宙学常数，描述了宇宙的膨胀；\(g_{\mu\nu}\)是度规张量，描述了时空的几何结构；\(T_{\mu\nu}\)是能动量张量，描述了物质和能量的分布；\(G\)是引力常数；\(c\)是光速。
时空弯曲是广义相对论的核心概念之一，描述了物质和能量如何影响时空的几何结构。
根据广义相对论，物质和能量会使时空产生弯曲，其他物体沿着弯曲的时空轨迹运动。
这种弯曲效应导致了引力的产生，即物体之间的相互吸引。
例如，地球围绕太阳运动是由于太阳在时空中产生了弯曲，地球沿着这个弯曲的轨迹运动。
黑洞是广义相对论的一个重要预言，是一种引力极强的天体，其引力场强大到连光都无法逃逸。
黑洞的形成是由于恒星在耗尽燃料后发生坍缩，形成极高密度的天体。
在黑洞的视界半径内，引力场非常强大，甚至连光都无法逃逸，因此黑洞是不可见的。
黑洞的质量和视界半径之间存在一个简单的关系，即视界半径正比于质量，这就是所谓的“事件视界”。
广义相对论还预言了引力波的存在，这是一种由引力场振荡产生的波动，类似于电磁波。
广义相对论简介
径，球面上每点可以用坐标
(, ) 表示。
■ 物理四维时空流形有类似黎曼流形的性质。观察者在引力场中作自由落体运动，他附近的小
邻域里不存在引力场。因此总能将时空流形的一个小邻域当作欧几里德区域，在那里建立惯性参 照系（自由落体参照系），其中狭义相对论成立。根据狭义相对论，两个无限接近事件的间隔，即
3.3 弯曲空间的矢量分析
（1）张量的定义 考虑一般坐标变换
x x (x )
（3.13）
无限小位移 dx 在一般坐标变换下如下式变换：
dx
x x
dx
（3.14）
重复指标均隐含求和，以后不再特别声明。
按定义，反变矢量 A 由四个分量组成，它的分量在坐标变换下如（3.14）式一样变换
假设是爱因斯坦提出来的，称为等效原理。 等效原理使惯性系和非惯性系（相对惯性系加速的参照系）完全平等起来 ，是观念上的极大
进步。在这个假设下，无所谓惯性系和非惯性系，参照系都是一样的。质点在不同参照系有不同 的行为，只是因为不同参照系引力场的强度不同。注意，我们这里说“引力场的强度不同”而不 说“引力场不同”，是希望避免与“引力场是一种客观存在，因此与参照系无关”相矛盾。我们仍
产生的加速度与物体的质量无关。这意味着对任意两个物体 A 和 B 有普适的比例常数
mgA mIA
m
B g
m
B I
（3.3）
不妨令它等于 1，即
mg mI m
（3.4）
在牛顿力学中，引力质量和惯性质量是两个性质完全不同的参数。他们严格相等在牛顿力学中没 有办法解释。
设想一些彼此相距遥远而且和其他物体相距遥远的质点，因而这些质点不受任何力的作用，
,
广义相对论简介优秀PPT
（general relativity）
广义相对论：研究空间、时间和引力的理论 狭义相对论：广义相对论在无引力存在时的特例
狭义相对论的缺陷： 承认惯性系的特殊地位。 不能建立令人满意的引力理论。
爱因斯坦的思考 1、非惯性系与惯性系 2、时空与物质
平权? 有关?
广义相对论 超越了 牛顿的引力论
F真
ma
ma0
ma
a
物体对惯性系
的加速度
因此在非惯性系中定义虚拟力：惯性力 f惯 ma非惯性系对惯性系
则非惯性系中的牛顿定律形式为： F相 互 作 用 力 f惯 性 力 ma物 体 对 非 惯 性 系
注意：上式表面上是非惯性系的，实质上是惯性
系的变形而已
F相互作用力 ma物体对非惯性系 f惯性力
0
引力 红移效应
红移z定义
z
0
0 0
1
2GM c2R
1
GM 1 c 2r
(1
1 2
2GM c2R
)
1
GM c2R
引力红移 gravitational redshift
若太阳发光 GM S 2.12 106
1
c2 RS
结论 引力时缓尺缩效应及引力红移
远离引力中心的地方观察引力场中发生在不 同地点的同一物理过程，引力场越强的地方，观 测时间越慢，空间距离越短，即引力的时缓尺缩 效应越显著。
广义相对性原理 :一切参考系（惯性系与非 惯性系）都是平权的,物理学定律在所有的参 考系中都具有相同的数学形式.
小结 广义相对论基本原理
1)等效原理 2)相对性原理
时空性质由物质及其运动所决定
? 非惯性系里的时空
广义相对论
广义相对论简介
（ General Relativity ）
1
*广义相对论（ General Relativity ）简介
一. 惯性质量和引力质量的等价 对地面附 近的物体：G
m引 M e
2 Re
m惯 g
2 m引 gRe 常量 m惯 GM e 实验表明
m引 m惯 （精度高于10 -11） m引 m惯 令 m =
对脉冲双星 PSR1913 +16 进行了上千次观测， 精度达到了百亿分之几。形成双星的这两颗中
子星以椭圆轨道相互绕转，平均距离仅有几倍
地 —月距离，绕转周期仅约8小时。因为距离小
且速度大， 所以加速度也大 大量的引力辐射 轨道半径变小 双星绕转的周期也变小。
观测发现，双星每转一周周期减少约3×10-12。 11
3. 光线的引力偏折
惯性系
由等价原理， 可以导致光线
的引力偏离。 光经过引力 中心附近时，
A
光线
光线
B
A
对引力 场中的 加速系
B
a
对于引 力源参 考系
会因时空弯曲
引力源
而偏向引力中心，其偏转程度比仅考虑光的动
质量受万有引力而偏转的程度大。
16
日全食时拍摄太阳附近的星空照片，可测出 星光的偏折角。
1964年夏皮罗（Shapiro）提出一个新的方法， 即由地球发射雷达脉冲，到达行星后再返回地球， 测量信号往返时间，比较雷达波远离太阳和靠近 太阳两种情况下，回波时间的差异。 太阳引力使回波时间加长，称为雷达回波延迟。 地球与水星间的雷达回波最大时间差可达240s。 这类测量是对广义相对论空间弯曲的最好检验。 到70年代末，测量值与理论值之间的差约为1%， 80年代利用火星表面的“海盗着陆舱”进行测量， 不确定度降到了0.1%，大大提高了检测精度。
广义相对论的数学和物理基础
广义相对论的数学和物理基础广义相对论被认为是现代物理学的基石，它提供了解释黑洞、宇宙加速膨胀等宇宙学现象的框架。
然而，广义相对论的理论基础是由一系列数学和物理知识构成的，下面将重点探讨这些知识。
首先，为了理解广义相对论，需要掌握爱因斯坦场方程。
这个方程描述了物质如何影响时空几何，以及时空几何如何反过来影响物质。
它的右侧是能量-动量张量，它描述了物质在给定的坐标系下的分布与运动；它的左侧是爱因斯坦张量，它描述了时空的曲率。
但是涉及到四维的曲率张量的计算并不容易，需要使用克氏符号和黎曼曲率张量等数学工具。
其次，广义相对论中使用的度规张量是时空的关键属性。
度规顾名思义可以理解为度量长度和角度的工具。
在广义相对论中，时空被视为一个四维的对象，度规张量则描述了其中每个点相邻点之间的距离和角度之间的关系。
度规张量本身又可以看作是一个矩阵，是物理测量和计算的重要工具，也是描述基于物质分布的引力作用的必要元素。
与度规张量相关的是测地线和黎曼联络。
测地线是与宇宙中物体运动相关的重要量，它是一种不能被引力控制的运动，例如行星运动中的椭圆轨道。
黎曼联络是度规上的一种附加结构，它提供了一种沿着测地线传播的方法。
因此，黎曼联络和测地线的计算是描述万有引力定律、曲率和物质分布关系的关键工具。
最后，广义相对论涉及到一些基础的物理量的定义和理解。
例如坐标系、动量、能量等。
广义相对论中的坐标系通常被选为任意的、连续可微的四维空间坐标系，符合洛伦兹群的变换。
在此基础上，能量和动量的定义与牛顿力学中的不同，它们由物质分布和时空的内禀属性（例如度规、曲率）共同决定。
总之，广义相对论的理论基础需要涵盖数学和物理的多个方面。
在此基础上，我们可以理解宇宙中的种种现象，例如时间延迟、黑洞、引力波等。
同时，广义相对论的研究推动了数学和物理学在较高层次上的交叉应用，成为一种具有重要物理学和数学学科背景的科学方法。
广义相对论
n 4
个 n 元函数： y i y i x1 , x 2 ,...x n y i x 。对其微分，我们自然得到关系：
dy
y dx T dx （这里已经采用了 Einstein 求和约定） x
这里 n 维方阵 T 就是坐标变换矩阵（关于上标与下标的含义稍后说明） 。 现在，假定存在一个标量函数 F，它只依赖于坐标： F xi 。显然，该函数值在坐标变 化下应该是不变的： y y xi F y i F xi 。 而坐标显然是矢量，坐标的微元自然也是矢量，因而矢量在坐标变换下满足关系：
或者，可以把上述关系写成：
R 'abcd ... ... T a a 'T bb 'T c c 'T d d ' ...T 'T 'T 'T ' ...R a 'b 'c ' d '... ' ' ' '...
如果一个张量共有 m 个上标，n 个下标，就称该张量为“m 阶逆变 n 阶协变张量” ，或 “(m,n)型张量” 。 有了矢量以后，我们自然要问：该矢量有多长？进而还要问：矢量 A 与矢量 B 之间的 夹角是多少？因而就需要引入微分流形上的度量， 也即要让微分流形同时也是一个度量空间。 这个度量就构成了一个度规张量——对矢量长度问题， 我们所用的度规是一个 (0,2)型张量， 但是度规本身可以是(2,0)或者(1,1)型张量。
将度规张量记为 g ，从而一个矢量的长度可以记为： lV V V g 。事实上，度
规的作用正是用来描述（邻近）两点之间的距离的： ds g dx dx 。含有度规的微分流
广义相对论_第3章
第三章仿射空间中的张量分析任何物理量通常都可以用一组数来表示，这组数的值一般与坐标的选择有关，研究这组数与坐标变换的关系导致了张量的概念。
我们对三维空间中矢量的概念已经十分熟悉，矢量可以表示力、速度、加速度、动量等等，它通常可以用一组数（3个代数值）表示，并且随着坐标的变化而变化。
然而即使这组数本身随坐标变化了，矢量本身却还是恒定的。
张量的概念可以看作是三维空间中矢量的概念在任意维空间中的推广，是比矢量还要复杂的一种客观存在的物理量的数学表示。
借助于张量，广义相对论可以把物理规律表达为看起来简单的张量方程，使它在任一种坐标下具有相同的形式。
本章我们将在仿射空间中建立张量的定义和运算，并利用它来讨论空间的几何性质。
狭义相对论的四维Minkowski时空中，最常用的一种坐标变换就是代表惯性系之间关系的洛仑兹变换。
从数学的角度来说，洛仑兹变换是一种最简单的线性正交变换，其变换矩阵不依赖于空间点而变化，矩阵元是常数。
然而，广义相对论中由于时空的弯曲，一般不再能够找到如此简单的覆盖全时空的坐标变换。
通常的坐标变换矩阵都是空间点的函数，当然一般也就不再满足线性、正交的条件。
本章从数学的角度讨论一般的坐标变换下，张量的定义和性质。
3.1 n 维仿射空间中的张量虽然相对论所借助的空间通常是四维的，但本章所讨论的数学对任意维数n 都适用，是更加宽泛的、一般性的张量理论。
n 维空间中的点，在某个已经给定的坐标系中可以用n 个数构成的数组来描述，这组数叫做该点的坐标).,,,(21n x x x x =μ (3-1-1)同一空间中坐标的选取方式是任意的和多种多样的，两组坐标μx 与μx ~（μ取1至n ）的联系叫坐标变换),(~~νμμx x x = (3-1-2)上式中的νx 和μx ~分别代表两套坐标下的两个数组。
从(3-1-2)式可导出任一点的坐标微分的变换公式,~~ααμμdx xx x d ∂∂= (3-1-3) 式中对重复指标α自动求和，这叫爱因斯坦求和约定，本书中将始终采用这约定。