这个方程是一个二阶非线性张量方程 。

张量

张量是一个定义在一些向量空间及其对偶空间的笛卡儿积上的多重线性映射，其分量个数是n维空间内n的阶数次方个数，其中每个分量都是坐标的函数， 而在坐标变换时，这些分量也依照某些规则作线性变换 。

张量之所以重要，在于它可以满足一切物理定律必须与坐标系的选择无关的特性。这也是为相对论研究时空下的不变性做了基础数学奠基。张量概念是矢量概念的推广，矢量是一阶张量。

零阶张量 （r = 0） 为标量 ，第一阶张量 （r = 1） 为矢量 ， 第二阶张量 （r = 2） 的分量可以排布成矩阵的形式 。

张量

从代数角度讲， 它是向量的推广。众所周知，向量可以看成一维的“表格”（即分量按照顺序排成一排），矩阵是二维的“表格”（分量按照纵横位置排列）， 那么n阶张量就是所谓的n维的“表格”。张量的严格定义是利用线性映射来描述的。与矢量相类似，定义由若干坐标系改变时满足一定坐标转化关系的有序数组成的集合为张量。

爱氏理论的建立也得益于张量分析的发展，广义相对论完全由张量语言表述，可以这样说，没有张量语言的发展，爱氏的弯曲时空理论，就缺乏描述工具，不能建立。

非欧几何

爱氏的场方程是一个非线性二阶张量方程，用黎曼几何来描述时空背景。

黎曼几何属于(广义)非欧几里得几何，一般认为存在两种黎曼几何:(1)黎曼1854年《论奠定几何学基础的假设》中所提出的几何学，其主要研究对象是通过在微分流形上引入黎曼度量所得到的黎曼流形。(2)修改欧几里得几何第五公设所得到的非欧几何的一种，其背景空间是正数常曲率空间，一个典型例子就是三维空间中的球面，例如地球表面。

实际上它是欧氏几何的发展。欧氏几何把认识停留在平面上，所研究的范围是绝对的平的问题，认为人生活在一个绝对平的世界里。因此在平面里画出的三角形三条边都是直的。两点之间的距离也是直的。

但是假如人们生活的空间是一个双曲面，这个双曲面，可以把它想象成一口平滑的锅或太阳罩，我们就在这个双曲面里画三角形，这个三角形的三边的任何点都绝对不能离开双曲面，我们将发现这个三角形的三边无论怎么画都不会是直线，那么这样的三角形就是罗氏三角形，经过论证发现，任何罗氏三角形的内角和都永远小于180度，无论怎么画都不能超出180度，但是当把这个双曲面渐渐展开时，一直舒展成绝对平的面，这时罗氏三角形就变成了欧氏三角形，也就是我们在初中学的平面几何，其内角和自然是180度。

黎曼几何作为非欧几何的一种,它与罗巴切夫斯基几何相比，有着实质性的不同。罗氏几何主要工作是建立了一整套区别于欧几里得的《几何原本》的逻辑体系； 而黎曼几何的核心问题是以微分几何为基础,建立曲线坐标系中的微分方法。

罗氏几何是第一个被提出的非欧几何学，它的基本观点是： 第一,第五公设不能被证明; 第二，可以在新的公理体系中展开一连串推理,得到一系列在逻辑上无矛盾的新的定理，形成新的理论。

罗氏几何学的公理系统区别于欧式几何学之处,仅仅是把欧式几何平行公理改为: 从直线外一点，至少可以做两条直线和这条直线平行。黎曼几何与罗氏几何的平行公理相反： 过直线外一点,不能做直线和已知直线平行。也就是说，黎曼几何规定: 在同一平面内任何两条直线都有公共点,黎曼几何学不承认存在平行线。

很自然就有另一条公设： 直线可以延长至任意长度，但长度是有限的,这可以类比为一个球面。黎曼几何是通过微分几何的途径建立起来的，因此与罗氏几何根本不同。

黎曼几何学的公理体系引进了一种弯曲的几何空间(它可以通过拉梅引进的曲线坐标系描述),黎曼在构想这种几何学的时候，就想设法建立起相应的代数结构。这个目标黎曼本人没有实现,但沿着他开辟的道路，克里斯托费尔和里奇完成了新几何学的构建。换句话说,张量分析构成了黎曼几何学的核心内容。

这表若干方面: