广义相对论ppt.ppt

03/12/09 广义相对论_数学基础 当 可定义逆变的度规张量 ，它满足 利用 ，就可以作张量指标上升的操作。如 总之，利用度规可把任一个张量形式的物理量或几何量表示成逆变的、协变的或混合的形式。这是黎曼空间中的张量的新性质。 例一，任一矢量可借助度规而构成一个标量 这个标量称为矢量长度的平方。 例二，不变距离可写作 中间一式表明度规的混合张量形式是克龙涅克张量， * 　　　　3.3　克里斯朵夫联络 * 广义相对论_数学基础 * 　　黎曼空间中要求平移操作保持矢量的长度不变。再加上采用对称联络，那么联络完全由度规场决定。这种联络称为克里斯朵夫联络。 　　把P点的逆变矢量平移至邻点Q点， 若平移不改变矢量长度，则有 由度规场的微分公式 把（2.3.1）和（3.3.2）代入（3.3.1），保留一级小量，得到 这就是保持长度的联络所必须满足的方程。 　　由于（3.3.3）式有三个独立指标，而对指标　和　是对称的，故上式只包含　　　　　　个独立方程。而联络　　有　　个独立分量。 （2.3.1） （3.3.1） （3.3.2） （3.3.3） * 广义相对论_数学基础 * 而规定了对称联络，即限于讨论挠率为零的空间，则联络的独立分量也是　　　　　　个。因此，联络将完全由度规场确定，并可由（3.3.3）式解出。 　　用指标的循环替换　　　　　　　　　，（3.3.3）式可写成 及 （3.3.3） 加（3.3.4），再减 （3.3.5），再利用对称联络和挠率为零，可得 利用　　　　　　，上式可化为 因此：在黎曼空间中确定了度规，并采用对称联络，那联络完全由度规和度规的普通微商决定。这样的联络称为克里斯朵夫联络，简写为 （3.3.4） （3.3.5） （3.3.6） （3.3.7） 联络对称，因此有： * 广义相对论_数学基础 * （3.3.3）式可利用协变微商的定义写成 再利用　　　　　　　和　　　　　可得到 推导：　　　　　　　　　　即： 注意：度规张量的普通微商一般不为零。 定理：设空间为无挠空间，在坐标　　下P点的联络为　　　　，在P点的邻域内引入变换 则有 定理的含义：若P点的联络为零，则P点的邻域度规张量近似为常数。 结论：对采用对称联络的黎曼空间中的任一点P，总可以找到一组适当的坐标，使得从这组坐标看来P点的邻域是近似平坦的。 　　这个结论正是广义相对论的等效原理的数学基础。在引力一节中，在引力场中引入局部惯性系来消除引力场的动力学效应。在引力场（黎曼空间）中任何一点可引入局部惯性系，即在小的时空范围内总是可以通过一定的坐标变换把引力场的动力学效应消除掉。 * 广义相对论_数学基础 * 作业 平直时空中，采用球坐标 ，相应的时空间隔的表示式为 证明：非零的 Christoffel（克里斯朵夫）符号是： 　　　 3.4　黎曼空间中的测地线 * 广义相对论_数学基础 * 测地线是欧氏空间中直线概念的推广。 在前面通过引入仿射参量　，得到测地线方程（1.5.10） 这里，通过黎曼空间中的度规张量引入这个仿射参量。 对任一条曲线可以引入一个标量积分 其中，　 是曲线上相邻两点的不变距离。这s叫曲线上P0至P的固有长度。它是曲线上的点的一个自然的标量性参量。 以s为参量，切矢量　　定义为 这个切矢量总是单位矢量，即 对上式求协变微商，则有　　　　　　　　　　　　　，即 * 广义相对论_数学基础 * 把测地线方程写成 解得 由仿射参量的性质，就证明了s是仿射参量。相应的测地线方程为 比较前面“引力”一节中，在纯粹引力作用下自由运动的一个粒子的运动方程 黎曼空间中的测地线的一个重要性质： 对空间任意两点A和B定义泛函 积分沿过A和B的任一曲线。L的几何意义是该曲线的固有长度。可证明，过A和B的测地线使L取极值。因此测地线是欧氏空间中直线概念的推广。 　　　3.5　黎曼空间的曲率张量 * 广义相对论_数学基础 * 曲率张量是由联络和联络的一阶微商构成的张量。 采用克里斯朵夫的黎曼空间的曲率张量，即黎曼张量具有一些新的性质： 曲率张量的定义 当联络对称，即挠率张量为零， 即对下标　 和　 是反称的，所以有 根据联络对称，则有 所以有里契（Ricci）恒等式 （2.6.3） （2.6.4） （3.5.1） * 广义相对论_数学基础 * 利用度规张量，可由混合曲率张量得到（0, 4）阶的协变曲率张