Can you summarize the following document?
        
  

  其中  爱因斯坦场方程是一组含有若干4阶对称张量的张量方程。每一个张量都有10个独立的分量。由于4个比安基恒等式,我们可以将10个爱因斯坦场方程序减少至6个独立的方程组。这导致了度规张量"g"有4个自由度,与座标选取的4个自由度是对应的。  虽然爱因斯坦场方程一开始是一个应用在四维时空的理论,但是一些理论学家尝试将它应用在探索n维时空上。真空中的场方程(当方程序右边的T张量等于零)定义了爱因斯坦流形。  尽管爱因斯坦方程的形式看起来很简单,实际上他们是一组复杂的二阶非线性微分方程。只要给定一个质量与能量分布,亦即能量-动量张量,爱因斯坦场方程就变成一个度规张量"g"的微分方程。  一般我们借由定义爱因斯坦张量( 一个对称的与度规"g"有关的二阶张量) : formula_9 来将爱因斯坦场方程写成一个更加简单的形式:  formula_10。  若使用几何化单位制,则"G" = "c" = 1,场方程因此简化为: formula_11  如果是使用相对论中的几何化单位制(有理化的几何化单位制),则场方程为:  formula_12  此时,方程变得更简单,连formula_13都没有。

  经爱因斯坦方程组两边同乘以"g":  formula_14 其中D是时空维度。  两边再同除以formula_15:  formula_16  两边再同乘−"g":  formula_17  一般情况下,D=4:  formula_18

  

  场方程序的一个重要结果是遵守局域的(local)能量与动量守恒,透过应力-能量张量(代表能量密度、动量密度以及应力)可写出:  场方程序左边(弯曲几何部分)因为和场方程序右边(物质状态部分)仅成比例关系,物质状态部分所遵守的守恒律因而要求弯曲几何部分也有相似的数学结果。透过微分比安基恒等式,以描述时空曲率的里奇张量formula_20(以及张量缩并后的里奇纯量formula_21)之代数关系所设计出来的爱因斯坦张量formula_22可以满足这项要求:

  爱因斯坦场方程序的非线性特质使得广义相对论与其他物理学理论迥异。举例来说,电磁学的麦克斯韦方程组跟电场、磁场以及电荷、电流的分布是呈线性关系(亦即两个解的线性叠加仍然是一个解)。另个例子是量子力学中的薛定谔方程,对于几率波函数也是线性的。

  透过弱场近似以及慢速近似,可以从爱因斯坦场方程序退化为牛顿重力定律。事实上,场方程序中的比例常数是经过这两个近似,以跟牛顿重力理论做连结后所得出。

  爱因斯坦为了使宇宙能呈现为静态宇宙(不动态变化的宇宙,既不膨胀也不收缩),在后来又尝试加入了一个常数formula_24相关的项formula_25于场方程序中,使得场方程序形式变为:  可以注意到formula_25这一项正比于度规张量,而维持住守恒律:  此一常数formula_29被称为宇宙常数。  这个尝试后来因为两个原因而显得不正确且多此一举:  因此,formula_29项在之后被舍弃掉,且爱因斯坦称之为「一生中最大的错误」("biggest blunder [he] ever made")。之后许多年,学界普遍设宇宙常数为0。  尽管最初爱因斯坦引入宇宙常数项的动机有误,将这样的项放入场方程序中并不会导致任何的不一致性。事实上,近年来天文学研究技术上的进步发现,要是存在不为零的formula_29确实可以解释一些观测结果。 爱因斯坦当初将宇宙常数视为一个独立参数,不过宇宙常数项可以透过代数运算移动到场方程序的另一边,而将这一项写成应力-能量张量的一部分:  刚才提到的项即可定义为:  而另外又可以定义常数 为「真空能量」密度。宇宙常数的存在等同于非零真空能量的存在;这些名词前在广义相对论中常交替使用。也就是说可以将formula_35看成和formula_36是一样类型的量,只是formula_36的来源是物质与辐射,而formula_38的来源则是真空能量。物质、辐射与真空能量三者在物理宇宙学中扮演要角。

  

  若能量-动量张量formula_39在所关注的区域中为零,则场方程序被称作真空场方程序。在完整的场方程序中设定formula_40,则真空场方程序可写为:  对此式做张量缩并,亦即使指标μ跟ν相同:  由于formula_43,整理可得:  而克罗内克尔δ在四维空间(时空)下取迹数为4,所以式子可写作: 是故formula_46。  因此可以得到此一更常见、等价的迹数反转(trace-reversed)式:

  若宇宙常数不为零,则方程序为  若同上面宇宙常数为零的例子,其迹数反转(trace-reversed)形式为  真空场方程序的解顾名思义称作真空解。平直闵可夫斯基时空是最简单的真空解范例。不寻常的真空解范例包括了史瓦西解与克尔解。  附带一提的是:微分几何中,里奇张量为零(即:formula_50)的流形称作里奇平坦流形,另外里奇张量与度规成比例关系的流形,称为爱因斯坦流形(Einstein manifold)。

  如果方程组右边的能量-动量张量等于电磁学中的能量-动量张量,也就是  则此方程组称为「 爱因斯坦-麦克斯韦方程」:  其中formula_53称为电磁张量,定义如下:  其中formula_55是4-向量势,分号代表协变微分,逗号代表偏微分。
爱因斯坦重力场方程(英语:Einstein field equations)是一组含有10个方程序的方程组,由爱因斯坦于1915年在广义相对论中提出。此方程组描述了重力是由物质与能量所产生的时空弯曲所造成。也就是说,如同牛顿的万有引力理论中质量作为重力的来源,亦即有质量就可以产生重力,爱氏的相对论理论更进一步的指出,动量与能量皆可做为重力的来源,并且将「重力场」诠释成「时空弯曲」。所以当我们知道物质与能量在时空中是如何分布的,就可以计算出时空的曲率,而时空弯曲的结果即是重力。