微分几何与广义相对论参考概念.docVIP

微分几何简介 Def: 设M是一个Hausdorff空间，如果同胚于，则M被称为一个n维流形。 Def: 如果同胚是，那么是中的一个开集，我们称是M的一个图。因为，我们可以定义为M的局部坐标。 Def: 称光滑映射 为M上的光滑曲线。 当给出M的图后，定义映射： 给出了M上曲线的坐标表示： Def: 光滑映射称为M上的光滑函数。定义映射 给出了函数的坐标表示：。 M上p点处类记为，M上的全体类记为。 Def: 映射 . 称为M在p处的切向量，p处切向量的几何称为p处的切空间，记为。 Def: 称上的无穷维代数： 是M上的光滑向量场，如果他满足： M上向量场的集合记为或。 显然我们可以定义向量场的坐标表示为： 另外由于 因此向量场可以定义为上的左模。 Def: 我们称映射 为M上的余切向量场，记为，如果他满足： 显然我们如果定义 其中。 那么满足余切向量场的定义。 同理可知，余切向量场也是上的左模。 Def: M上的张量场被定义为一个线性的映射： 显然M上的张量场也是上的左模。 Def: M上的张量代数定义为 Def: 张量积： 定义张量场的分量为： 显然 Def: 缩并 Def: 反衬化算子 类似的可以定义对称化算子，容易证明： 注意： 千万别认为为0了！注意： Def: 微分形式 满足条件的张量的集合记为。 显然。 Def: Wedge Product 显然可以看出： 由此可以给出微分形式的等价定义： 容易证明： 因此给出微分形式的第三种等价定义： 因此有： Def: Cartan代数 Def: 是外微分算子，如果他满足： 可以看出： 等价的表示为： Def: 微分映射 拉回映射： 推前映射： 广义拉回映射 Def: 我们可以定义同一个流形上的微分映射，这只需定义流形上的流： Theorem: ? 通过流形上的流，我们可以给出一个流形上的坐标变换。 Def: 体积元 显然这样的定义是与坐标无关的。 Def: 流形上的积分 这个定义不依赖于坐标： Stokes Theorem: ? Lie导数 Def: Lie Derivative 性质： 推论： 特别的有： 另外， 而[X,Y]生成Lie代数，记为DerT(M) 因此Lie导数可以被定义为一个X(M)→DerT(M) 的Lie代数同态（Lie Algebra Homomorphism） Def: Killing Field Def: 活动标架 (好像体积元也可以推广到标架上，体积元不变) 由二次型定理，任何实二次型，都有非退化线性变换，使得二次型化为规范性，号差是唯一的。因此当我们选取正交标架，可以化简度规场： ? 联络 Def: 协变导数 令联络系数满足： 他们有性质： 一般情况下有： 以上这种形式的写法有不好的地方，当W是某坐标线的切向量场时，比如，则表达式的指标不平衡。 ?平移方程： 特别的，向量场的平行移动方程为： Def: 当时，我们称联络是与度规场相容的。 Def: 测地线方程： Def: 协变微分 Def: Torsion T : X(M)×X(M)→X(M) 的一个F(M)线性的映射，满足 则T被称为流形M的绕率。 ??在广义相对论中我们假设时空是无绕的，即T=0。此时联络若与度规场相容，定义系数： 则联络系数满足方程： ?: Curvature Def: Riemann Curvature R : X(M)×X(M)×X(M)→X(M) 显然R(U,V)f=0，f是一个光滑函数。 Riemann曲率的性质： 各种内曲率张量的定义与性质： First Bianchi Identity: Second Bianchi Identity: 等价的可以表述为： Def: 平直空间：对于流形上任何一点，如果在该点的任何邻域内的任何点处，Riemann曲率张量为零，那么这样的流行是平坦的。 Theorem: 任何Riemann流形都有性质：对流形上任何一点，存在一个邻域和一个局部坐标，使得度规场在该点处简化为平坦度规。 即： 注意，对于非平直的流形，一定不存在局部坐标，使得在某个邻域内度规场处处是平坦度规！！！ Theorem: 当存在某个邻域，以及一个co-tetrad，且这个co-tetrad是个恰当微分，则该流形一定是平坦的！ ?? 超曲面 Def: 流行嵌入与超曲面： 当M装备了度规后，我们可以给出超曲面上切向量的法向量。此时p点