http://www.global-sci.org/mc/issues/4/no1/freepdf/48s.pdf
不过场论中通常就不含场量的二阶以上导数， 因此这一限定虽有可能来自爱因斯坦， 但即便没有爱因斯坦， 估计希尔伯特也会做出同样的限定
广义相对论的学习总结
2013-09-26 16:36:54 来自: 忘川 (失去的乐园，才是真正的乐园)
广义相对论引论(第二版)的评论
5
广义相对论的学习总结
1.引言
1.1前言
经过过去一年对广义相对论的学习，基本对广义相对论的基本原理和运用有了比较完整的认识。这篇文章是为了总结自己学习的体会，尽量用自己的语言谈谈对广义相对论的理解。由于作者水平有限，也为了文章的简洁，所以省去数学推导，仅保留基本的数学公式和方法说明。
广义相对论是爱因斯坦一大理论成果，可以解释宏观世界一切物体的运动，可以在一切坐标系下运用，本身又保持了相当完美的对称性和简洁性。随着空间探测技术的发展，广义相对论的许多结论都得到了证明，而广义相对论和量子力学构成了现代物理的两大支柱。
1.2导语
在具体介绍广义相对论的内容之前，我想用自己的语言，对广义相对论的思想和研究问题步骤做一个小的总结和介绍。总的来说，广义相对论是建立在四个假设之上，通过这四个假设，爱因斯坦认为惯性场和引力场等效，以及所有参考系的平权性。然后爱因斯坦把引力场认为是一种几何效应。是由于质量在空间上的分布不均匀，导致空间的空间扭曲。
在数学上，用张量来代表物理量，以满足物理规律在所有参考系下都成立。用黎曼几何来刻画弯曲空间，联络来描述引力强度，曲率张量来描述空间弯曲，度规张量来描述引力势。
接下来便是构建场运动方程。我们可以用惠曼的名言总结道：“物质告诉时空如何弯曲，时空告诉物质如何运动。”按照爱因斯坦的想法，引力是由于质量空间分布不均匀造成的几何效应。所以爱因斯坦场方程左边应该是反映时空的几何性质的张量，右边是能动张量。再继续利用能量守恒定律，便可以推出爱因斯坦场方程。
应用爱因斯坦的场方程，得到了很多新奇的结论和实验预言，并且以“水星进动”和“引力红移”为代表的实验验证了广义相对论的正确性。
广义相对论还预言了引力弯曲效应极大情况下黑洞的存在。
而广义相对论作为宇宙学的理论基础，特别是近几十年观测技术的进步，使得宇宙学建立起了相对完整的理论系统。
2.基本假设
广义相对论建立在以下假设下。
2.1等效原理
广义相对论用的是强等效原理。
引力场与惯性场的的一切物理效应都是局域不可分辨的。
2.2马赫原理
惯性力起源于物质间的相互作用，起源于受力物体相对于遥远星系的加速运动，而且与引力有着相同或相近的物理根源。
2.3广义相对性原理
一切参考系都是平权的，物理定律在任何坐标系下形式都不变，即具有广义协变性。
2.4.光速不变原理
任意观测者测量的光速都是c。
a和b假设了惯性场和引力场以及惯性力和引力的局域等同性，在后来引入黎曼几何后，惯性力场可以运用空间的几何性质联络来描述，由于惯性力场和引力场的局域等同性，所以引力场也可以运用联络来描述，于是完成了引力的几何化，把引力看做空间的弯曲造成的几何效应。从而解决了狭义相对论无法描述引力的困难。C假设否决了过去一直寻找的惯性系的存在，解决了狭义相对论中寻找惯性系的困难。D假设是从狭义相对论开始就有的，也是最有实验依据的。从光速不变原理出发，可以得到狭义相对论的很多结果。不过在广义相对论中，把规则者从惯性系扩大到任意参考系，和c一起假设了参考系的平权性。
3.数学基础
广义相对性原理和光速不变原理说明了一切参考系都是平等的，这就要求了物理规律要在一切参考系下成立，从而要涉及到物理量在坐标系之间的变换关系，特别是任意弯曲坐标系下的变换。从而需要张量分析来描述这种变换。而马赫原理和等效原理又把引力解释为空间的几何弯曲效应，于是也需要一种新的几何学来描述物体在弯曲空间的运动。从而传统的运用在平直空间的欧式几何已经不再适用，所以我们要继续介绍黎曼几何。
3.1张量分析
借助张量分析，广义相对论把物理规律表达为张量方程。
3.1.1定义：
一个数组，在坐标变换下，如果每一个指标都按坐标微分的变换规律进行变换，则为逆变张量。如果都按坐标微分的逆变换，则为协变张量。
因为在定义张量的同时，给出了在坐标变换时张量的变换规律，所以在任意坐标下，该张量都被唯一的确定下来了，所以张量是在坐标变换时不变的量。
运用张量的定义，因为张量是在坐标变换下不变的量，所以可以把物理量用张量表示。
3.1.2平移：
张量是逐点定义的，所以两个不同点上的张量相减后将失去张量的性质。而广义相对论要把物理规律用微分方程的形式来表达，微分计算需要运动不同点的相减。所以引入了张量的平移，在相减前，先将张量移到同一个点上。
不同点的坐标系不一样，所以同样的张量，平移移动会产生坐标差。
坐标改变量与张量本身以及距离的比例，称为联络。
联络的求法为：
联络代表了两点之间坐标系的改变的剧烈程度，而每点的坐标系又是沿着空间表面建立的，所以联络可以代表空间的弯曲程度，可是联络与空间坐标系有关，不同的坐标系下联络不同，不能代表空间的属性。所以我们定义一个专门的由联络组成的量来描述空间的弯曲程度。
称为曲率张量，可以用来描述空间的弯曲程度。
3.1.3运动：
在欧式空间中，直线被定义为线上任意相邻两点的切矢量都相互平行的曲线，我们把它推广到任何空间中，并把推广后的直线成为测地线。
由于对于推广的任何空间，我们尚未清楚它的度量关系。所以先不考虑空间距离之类的度量关系，我们把这种没有度量的任意弯曲程度的空间称为仿射空间。
运用测地线上任意相邻两点的切矢量都相互平行的我们可以很快求出测地线的微分方程。即把A点的切矢量移动到B点后，和B点的切矢量成比例关系。
把比例系数按dλ的进行展开，保留到一级小量：
联立平移公式和切矢量的微分公式，并保留到一级小量，便可得出：
便为测地线的微分方程。
在欧式空间中，物体沿直线运动，在推广的仿射空间中，物体沿测地线运动，沿测地线运动距离最短。这便是著名的爱因斯坦最短程原理。
3.1.4度量和运算：
为了在空间中引入长度等物理量，我们引进度规张量，来确定两点之间的距离。
在经典的欧式空间中：
狭义相对论运用的闵柯夫斯基空间：
有了以上的基础，便能建立起一个新的空间——黎曼空间。黎曼空间有其特殊的联络和度规张量，广义相对论便建立在黎曼空间的框架下。在广义相对论中，将会把引力几何化，联络便可以看做是引力强度，而度规张量则会是引力势。研究曲率张量，度规张量和能动张量的关系，便能导出爱因斯坦场方程。我们将在后面介绍黎曼几何。
3.2黎曼几何
3.2.1黎曼空间和度规张量
在仿射空间中引入度规场和不变距离，就构成了黎曼空间。
对一个黎曼空间，如能适当选取坐标，使它的度规张量具有形式
则叫它平坦的黎曼空间。
在线性代数中有这样一条定理：
对常系数二次型 ，若det︱ ︱不为零，则必能找到一个坐标变换，把这个二次型化为坐标微分的平方和或平方差。在黎曼空间中度规一般不是常数，这时上述定理告诉我们，总可以用坐标变换把任一P点的度规化成上式的形式，此外还可以有推论：如果区域V内的度规张量是常数，那么V内的空间是平坦的。
3.2.2联络
仿射空间中借助联络定义了矢量的平移，黎曼空间中进一步要求平移操作保持矢量的长度不变，可以证明，如采用对称联络，那满足这附加要求的联络完全由度规场决定，这种联络叫做Christoffel联络。
我们可以通过计算得到
上面的公式说明了，若在黎曼空间内确定了度规，并采用对称联络，那么这联络完全由度规和它的普通微商决定。
可以证明如下定理：在坐标 下P点的联络为 。我们总可以找到坐标变换 ，使得
那么这条定理有何含义呢？若在坐标 下P点的联络为0，易得
即在P点附近的 的二级小量可忽略的小区域内 近似为常数，我们已经知道， 为常数的区域是平坦的。这样导致了一个结论：对采用对称联络的黎曼空间中的任一点P，总可以找到一组适当的坐标，使得从这组坐标看来P点的领域是近似平坦的。这个结论正是广义相对论中等效原理的数学基础。
3.2.3黎曼空间中的测地线
我们知道，当采用仿射参量时，测地线方程将有简单的形式，我们可以利用黎曼空间中的度规张量来引入这个仿射参量。
对任意一条曲线可以引入一个标量积分
其中ds是曲线上相邻两点的不变距离，P0是曲线上的固定点，P是曲线上的任意点，则s叫做P0到P的固有长度。它是标志曲线上的点的一个自然地标量性参量。
以s为参量，切矢量 定义为
易知，这切矢量总是单位矢量，即
对上式求协变微商，注意到 ，则有
式中左边两项相等，于是得到
若把测地线方程写成
解出f（s）
注意到
则有
这就证明了s是仿射参量，相应的测地线方程是
4.爱因斯坦场方程
在以上数学基础上，我们可以逐步推出新的运动方程。该运动方程将满足基本假设，即引力场和惯性场的等效性，从而可以用空间的几何性质来描述引力场。根据马赫原理，惯性力被认为是起源于加速物体与遥远星系的相互作用，即惯性力与物质的运动有关，从而引力也与物质运动有关。而狭义相对论中，质量和能量等效，所以运动可以看做是物质质量分布的变化。所以引力的效果，是来源于物质质量分布的几何效应。
4.1爱因斯坦场方程的建立
等效原理推广了引力的概念，并暗示了有引力场的时空是弯曲的黎曼空间，引力场的物理效果可以通过黎曼空间的度规张量来体现。为了完成新的引力理论，需要找到度规场分布的物理规律，即度规场（或叫推广的引力势）所满足的微分方程，但是这方面没有直接可依据的观测知识，所以能采取的途径是作猜测性的推理。
参照牛顿引力理论，我们可以得到这些设想，首先，牛顿引力势的分布取决于静态物质的密度分布，所以度规场应取决于物质的动量能量张量，因为在张量性的物理理论中物质密度是动量能量张量的一个分量。这样我们把度规场方程的数学形式确立为
其中 是物质的动量能量张量， 是由度规 及其微商构成的张量。其次，牛顿引力方程
是一个引力势的二阶线性偏微分方程，因此要求 最高只含有 的二阶微商，且对二阶微商是连续的。
据上述推测和数学知识， 最一般只能是
为里奇张量，是曲率张量的缩并：
其中角标是任意常参量，注意到能量动量的守恒，它表现为 的四维协变散度等于零，即
因此 应满足
我们把 和R组合成爱因斯坦张量 ，这样度规场方程就取得了具体形式
其中 叫做相对论引力常数， 是唯一剩下的任意参量，最简单的可能是令 =0，相应的方程
叫爱因斯坦引力场方程。
4.2宇宙项
场方程加入任何一个散度为零的项，不会影响 的成立，所以爱因斯坦场方程又可以写成：
其中λ称为宇宙项。
虽然宇宙项对爱因斯坦场方程的建立没有影响，然而宇宙项大体会引起“斥力”效应。在爱因斯坦早期尝试建立静态宇宙模型时，曾经加入加入了宇宙项，当观测事实证明宇宙在膨胀时，爱因斯坦又放弃了宇宙项，并称之为他一生最大的错误。
不过近年来关于暗能量的探讨，猜测暗能量是宇宙项引起的效应。
4.3牛顿近似
由于牛顿引力方程在观测和应用领域都取得了极大成功，所以爱因斯坦场方程不能否定牛顿引力方程。应该把牛顿引力方程看做是爱因斯坦场方程在特殊情况下的近似。
所以当满足以下条件下，爱因斯坦场方程可以化成牛顿引力方程。
引力场为弱场，所以令：
为闵柯夫斯基联络。
引力场是静态的：
引力场是空间缓变的：
粒子的运动是低速的：
为了简化问题，我们考虑一片非相对论性理想流体组成的介质，它在某参考系中为静止介质。由狭义相对论知，它的动量能量张量为：
为物体的四维速度。
为固有时，表示四维空间中，两个事件的距离。
所以
采用相对介质静止的坐标系，
所以只有一个不为零的分量：
再计算里奇张量
利用克里斯托夫联络，保留至一级小量，联络可以表示为：
它的分量可以写为：
因为联络为一级小量，所以忽略里奇张量关于联络的二次项：
如此得到，里奇张量的简化形式：
写为逆变形式为：
以上一切都准备好之后，我们可以写出00分量的场方程：
代入具体的有关量，得到：
所以我们要求 。
利用测地线方程在牛顿近似条件下，将会化为牛顿第二定律：
利用条件四：
所以测地线方程可以写成：
利用牛顿第二定律：
所以
又因为无穷远处，引力场为零，即 时， ，所以：
代回
得到：
与牛顿引力方程形式完全一样。
所以：
至此我们已经证明牛顿引力方程为爱因斯坦场方程特殊情况下的近似，牛顿第二定律为测地线方程的近似，并且我们得到了 的数值。
5.广义相对论的若干推论和实验验证
5.1引力红移
当从远离引力场的地方观测时，处在引力场中的辐射源发射出来的谱线，其波长会变长一些，也就是红移。
理论证明详见6.2.3
二十世纪六十年代，庞德、雷布卡和斯奈德采用穆斯堡尔效应的实验方法，测量由地面上高度相差22.6米的两点之间引力势的微小差别所造成的谱线频率的移动，定量地验证了引力红移。结果表明实验值与理论值完全符合。
5.2引力时间延迟效应
时间延迟效应是指当雷达信号途径一个大质量天体时，在观测者看来这个信号发射到指定目标以及返回的时间都要比没有大质量天体存在时所需的时间略长。
理论证明：
从狭义相对论可知，时钟在高速运动时会变慢，广义相对论中，引力场和惯性场等效，所以引力场中的时钟也可以看做在做加速运动，所以也会变慢，具体数学推导参见《广义相对论基础》。
第一次实验观测是借助麻省理工学院的“草堆”雷达天线（Haystack radar antenna）完成的，其结果和理论预测符合得很好，误差小于5%。其后这种实验被不断重复，并且不断取得更高的精度。1976年的海盗号火星探测器将精度提高到了0.1%；而2003年的卡西尼号土星探测器的实验则达到了小于0.002%，是迄今为止精度最高的广义相对论实验验证。
5.3水星近日点的进动
详见6.2.2
5.4光线在太阳引力场中的偏折
详见6.2.4
6.广义相对论的应用
6.1动力学：球对称引力场
在建立起广义相对论的基本框架后，接下来便要运用广义相对论来做出理论预言，以及用实验来证明理论。
而最为简单的情况，则是球对称的引力场。
首先在球对称的引力场中引入度规张量，在这个过程中，由于球对称保证了绕对称轴做无穷小转动都保持了度规场不变，所以可以引入凯林矢量场，运用凯林方程组，再进行化简，得到一般球对称的引力场的度规张量形式如下：
6.1.1席瓦西尔外部解
为了进一步简化问题，我们令空间的曲率为零，引力源静止，求得了静止球对称引力源外部的引力场。
运用克里斯多夫联络：
曲率张量的定义：
毕安基恒等式：
并利用牛顿近似：
联立上述式子，并化简得到结果
这便是球对称外引力场的席瓦西尔解。而牛顿万有引力公式描述的也是静止球对称引力源外部的引力场，所以席瓦西尔解正是牛顿万有引力定律的相对论对应。
从结论我们可以看出，该引力场和牛顿引力场有很重要的共同点，球外引力场只取决于引力源的总质量，而与引力源的大小和物质分布无关。通过观测这种引力场，我们只能得到引力源的总质量，而不能得到其它信息。
之后再运用伯克霍夫定理，可以证明席瓦西尔解也可以运用在运用的球对称源的外引力场。
6.1.2席瓦西尔内部解
我们得到了球对称源外部引力场，接下来我们看下内部引力场的分布问题。
设引力源为静止的理想流体，则其能量动量张量有如下形式：
其中，对于静止流体来说：
所以混合形式的能动张量为
而混合形式的爱因斯坦方程为：
又因为能量守恒：
则：
再利用衔接条件，恒星表面r=R处的边条件是 , 与 与席瓦西尔外部解相衔接，即：
联立上述几式，并进行化简得：
当恒星由均匀介质组成时，即：
积分可得：
该解便是静止引力源中的内部引力场，又称为席瓦西尔内部解。
6.2运动学
6.2.1席瓦西尔场中的运动方程
有了动力学之后，我们便可以进一步讨论运动学问题。
由上面给出的黎曼几何几何可知，物体在黎曼空间的运动满足测地线方程。将席瓦西尔场的测地线方程进行初积分，可以得到以下四个方程：
经整理可得：
这便是席瓦西尔场中的运动方程。通过这组方程，我们可以得到一些很有趣的结论。通过方程我们可以得到质点的能量方程：
其中 = 。在前面的介绍中，我们说联络相当于引力场强，而度规张量相当于引力势，所以我们相当于得到了质点的能量与该点的引力势成反比。这就是所谓的质点能量的引力红移。
6.2.2行星的轨道问题：水星的进动角
在牛顿引力理论中，一直有一个难题难以解决，那就是水星的进动角问题，理论预测的水星进动角比实测的要大很多。而广义相对论很精确的求解了水星的进动角。
把席瓦西尔场的运动方程进行化简可得到：
利用数学物理方法的知识，利用线性叠加，可以求得方程的通解：
利用此方程，求得水星的进动角：
与观测相符，也成为了证明广义相对论的重要实验依据。
6.2.3光的引力偏折
按照狭义相对论的质能等效方程： E=mc^2，和普朗克公式E=hν，可以得到光子应具有引力质量，那么光子也必然会受到其他物体的引力场的作用。利用席瓦西尔场的运动方程，再利用光速不变原理：
得到光子的轨道方程
令
方程可以化为：
利用逐级逼近，求得偏折光线的一级近似角
利用该式，可以求得光线的偏折角：
对于太阳来说，
在1919年5月放生日全食的时候，两个 观测队第一次实测了经过太阳表面的星光的偏折所得的结果和相对论结果相符。
6.2.4光的引力红移
光子的频率同样会受引力场的影响，光子的能量为
所以：
又因为
所以
代入席瓦西尔场的度规：
结果说明离引力中心越远的地方测到的频率越小，因此称为引力红移。
6.3黑洞
黑洞是广义相对论预测的，引力场强度极强时的一种特殊的天体。以下只做简单的介绍，不做推理和证明。
6.3.1黑洞的生成：
人们一般认为今天尚能存在的黑洞有三种现实的形成机制：
早期宇宙高密介质中由于密度涨落而造成的小黑洞，质量大约只有 千克。
正常恒星演化到晚期的一种可能的终局，这种黑洞应该是几个至几十个太阳质量的大小。
超重星、星团或星系核塌缩形成的巨型黑洞，它的质量是10^4~10^5太阳质量的量级。
6.3.2黑洞动力学：
黑洞的动力学规律是博肯斯坦和霍金等人在1972至1973年间得出来的，其中最重要的是关于黑洞过程不可逆性的黑洞动力学第二定律：
黑洞动力学过程中视界的总面积不能减少。
即：
也叫面积不减定律。
按面积不减定律，黑洞过程保持视界总面积不变是可能的，这种动力学过程被称作可逆的黑洞过程，视界面积增加的过程则是不可逆的黑洞过程，这一切在形式上与热力学第二定律非常相似。
6.3.3黑洞辐射：
博肯斯坦进一步证明了黑洞的视界面积A正是热力学意义下的熵，黑洞的熵S与视界面积A的关系为：
黑洞表面附近的真空涨落产生虚粒子对，当其中负能虚粒子通过隧道效应而进入黑洞，黑洞的能量将减少，同时其中的正能粒子可能向外穿出黑洞的引力区，这相当于黑洞辐射了一个粒子，这种机制称为霍金辐射。
广义相对论引论(第二版)的评论
5 广义相对论的学习总结
1.引言
1.1前言
经过过去一年对广义相对论的学习，基本对广义相对论的基本原理和运用有了比较完整的认识。这篇文章是为了总结自己学习的体会，尽量用自己的语言谈谈对广义相对论的理解。由于作者水平有限，也为了文章的简洁，所以省去数学推导，仅保留基本的数学公式和方法说明。
广义相对论是爱因斯坦一大理论成果，可以解释宏观世界一切物体的运动，可以在一切坐标系下运用，本身又保持了相当完美的对称性和简洁性。随着空间探测技术的发展，广义相对论的许多结论都得到了证明，而广义相对论和量子力学构成了现代物理的两大支柱。
1.2导语
在具体介绍广义相对论的内容之前，我想用自己的语言，对广义相对论的思想和研究问题步骤做一个小的总结和介绍。总的来说，广义相对论是建立在四个假设之上，通过这四个假设，爱因斯坦认为惯性场和引力场等效，以及所有参考系的平权性。然后爱因斯坦把引力场认为是一种几何效应。是由于质量在空间上的分布不均匀，导致空间的空间扭曲。
在数学上，用张量来代表物理量，以满足物理规律在所有参考系下都成立。用黎曼几何来刻画弯曲空间，联络来描述引力强度，曲率张量来描述空间弯曲，度规张量来描述引力势。
接下来便是构建场运动方程。我们可以用惠曼的名言总结道：“物质告诉时空如何弯曲，时空告诉物质如何运动。”按照爱因斯坦的想法，引力是由于质量空间分布不均匀造成的几何效应。所以爱因斯坦场方程左边应该是反映时空的几何性质的张量，右边是能动张量。再继续利用能量守恒定律，便可以推出爱因斯坦场方程。
应用爱因斯坦的场方程，得到了很多新奇的结论和实验预言，并且以“水星进动”和“引力红移”为代表的实验验证了广义相对论的正确性。
广义相对论还预言了引力弯曲效应极大情况下黑洞的存在。
而广义相对论作为宇宙学的理论基础，特别是近几十年观测技术的进步，使得宇宙学建立起了相对完整的理论系统。
2.基本假设
广义相对论建立在以下假设下。
2.1等效原理
广义相对论用的是强等效原理。
引力场与惯性场的的一切物理效应都是局域不可分辨的。
2.2马赫原理
惯性力起源于物质间的相互作用，起源于受力物体相对于遥远星系的加速运动，而且与引力有着相同或相近的物理根源。
2.3广义相对性原理
一切参考系都是平权的，物理定律在任何坐标系下形式都不变，即具有广义协变性。
2.4.光速不变原理
任意观测者测量的光速都是c。
a和b假设了惯性场和引力场以及惯性力和引力的局域等同性，在后来引入黎曼几何后，惯性力场可以运用空间的几何性质联络来描述，由于惯性力场和引力场的局域等同性，所以引力场也可以运用联络来描述，于是完成了引力的几何化，把引力看做空间的弯曲造成的几何效应。从而解决了狭义相对论无法描述引力的困难。C假设否决了过去一直寻找的惯性系的存在，解决了狭义相对论中寻找惯性系的困难。D假设是从狭义相对论开始就有的，也是最有实验依据的。从光速不变原理出发，可以得到狭义相对论的很多结果。不过在广义相对论中，把规则者从惯性系扩大到任意参考系，和c一起假设了参考系的平权性。
3.数学基础
广义相对性原理和光速不变原理说明了一切参考系都是平等的，这就要求了物理规律要在一切参考系下成立，从而要涉及到物理量在坐标系之间的变换关系，特别是任意弯曲坐标系下的变换。从而需要张量分析来描述这种变换。而马赫原理和等效原理又把引力解释为空间的几何弯曲效应，于是也需要一种新的几何学来描述物体在弯曲空间的运动。从而传统的运用在平直空间的欧式几何已经不再适用，所以我们要继续介绍黎曼几何。
3.1张量分析
借助张量分析，广义相对论把物理规律表达为张量方程。
3.1.1定义：
一个数组，在坐标变换下，如果每一个指标都按坐标微分的变换规律进行变换，则为逆变张量。如果都按坐标微分的逆变换，则为协变张量。
因为在定义张量的同时，给出了在坐标变换时张量的变换规律，所以在任意坐标下，该张量都被唯一的确定下来了，所以张量是在坐标变换时不变的量。
运用张量的定义，因为张量是在坐标变换下不变的量，所以可以把物理量用张量表示。
3.1.2平移：
张量是逐点定义的，所以两个不同点上的张量相减后将失去张量的性质。而广义相对论要把物理规律用微分方程的形式来表达，微分计算需要运动不同点的相减。所以引入了张量的平移，在相减前，先将张量移到同一个点上。
不同点的坐标系不一样，所以同样的张量，平移移动会产生坐标差。
坐标改变量与张量本身以及距离的比例，称为联络。
联络的求法为：
联络代表了两点之间坐标系的改变的剧烈程度，而每点的坐标系又是沿着空间表面建立的，所以联络可以代表空间的弯曲程度，可是联络与空间坐标系有关，不同的坐标系下联络不同，不能代表空间的属性。所以我们定义一个专门的由联络组成的量来描述空间的弯曲程度。
称为曲率张量，可以用来描述空间的弯曲程度。
3.1.3运动：
在欧式空间中，直线被定义为线上任意相邻两点的切矢量都相互平行的曲线，我们把它推广到任何空间中，并把推广后的直线成为测地线。
由于对于推广的任何空间，我们尚未清楚它的度量关系。所以先不考虑空间距离之类的度量关系，我们把这种没有度量的任意弯曲程度的空间称为仿射空间。
运用测地线上任意相邻两点的切矢量都相互平行的我们可以很快求出测地线的微分方程。即把A点的切矢量移动到B点后，和B点的切矢量成比例关系。
把比例系数按dλ的进行展开，保留到一级小量：
联立平移公式和切矢量的微分公式，并保留到一级小量，便可得出：
便为测地线的微分方程。
在欧式空间中，物体沿直线运动，在推广的仿射空间中，物体沿测地线运动，沿测地线运动距离最短。这便是著名的爱因斯坦最短程原理。
3.1.4度量和运算：
为了在空间中引入长度等物理量，我们引进度规张量，来确定两点之间的距离。
在经典的欧式空间中：
狭义相对论运用的闵柯夫斯基空间：
有了以上的基础，便能建立起一个新的空间——黎曼空间。黎曼空间有其特殊的联络和度规张量，广义相对论便建立在黎曼空间的框架下。在广义相对论中，将会把引力几何化，联络便可以看做是引力强度，而度规张量则会是引力势。研究曲率张量，度规张量和能动张量的关系，便能导出爱因斯坦场方程。我们将在后面介绍黎曼几何。
3.2黎曼几何
3.2.1黎曼空间和度规张量
在仿射空间中引入度规场和不变距离，就构成了黎曼空间。
对一个黎曼空间，如能适当选取坐标，使它的度规张量具有形式
则叫它平坦的黎曼空间。
在线性代数中有这样一条定理：
对常系数二次型 ，若det︱ ︱不为零，则必能找到一个坐标变换，把这个二次型化为坐标微分的平方和或平方差。在黎曼空间中度规一般不是常数，这时上述定理告诉我们，总可以用坐标变换把任一P点的度规化成上式的形式，此外还可以有推论：如果区域V内的度规张量是常数，那么V内的空间是平坦的。
3.2.2联络
仿射空间中借助联络定义了矢量的平移，黎曼空间中进一步要求平移操作保持矢量的长度不变，可以证明，如采用对称联络，那满足这附加要求的联络完全由度规场决定，这种联络叫做Christoffel联络。
我们可以通过计算得到
上面的公式说明了，若在黎曼空间内确定了度规，并采用对称联络，那么这联络完全由度规和它的普通微商决定。
可以证明如下定理：在坐标 下P点的联络为 。我们总可以找到坐标变换 ，使得
那么这条定理有何含义呢？若在坐标 下P点的联络为0，易得
即在P点附近的 的二级小量可忽略的小区域内 近似为常数，我们已经知道， 为常数的区域是平坦的。这样导致了一个结论：对采用对称联络的黎曼空间中的任一点P，总可以找到一组适当的坐标，使得从这组坐标看来P点的领域是近似平坦的。这个结论正是广义相对论中等效原理的数学基础。
3.2.3黎曼空间中的测地线
我们知道，当采用仿射参量时，测地线方程将有简单的形式，我们可以利用黎曼空间中的度规张量来引入这个仿射参量。
对任意一条曲线可以引入一个标量积分
其中ds是曲线上相邻两点的不变距离，P0是曲线上的固定点，P是曲线上的任意点，则s叫做P0到P的固有长度。它是标志曲线上的点的一个自然地标量性参量。
以s为参量，切矢量 定义为
易知，这切矢量总是单位矢量，即
对上式求协变微商，注意到 ，则有
式中左边两项相等，于是得到
若把测地线方程写成
解出f（s）
注意到
则有
这就证明了s是仿射参量，相应的测地线方程是
4.爱因斯坦场方程
在以上数学基础上，我们可以逐步推出新的运动方程。该运动方程将满足基本假设，即引力场和惯性场的等效性，从而可以用空间的几何性质来描述引力场。根据马赫原理，惯性力被认为是起源于加速物体与遥远星系的相互作用，即惯性力与物质的运动有关，从而引力也与物质运动有关。而狭义相对论中，质量和能量等效，所以运动可以看做是物质质量分布的变化。所以引力的效果，是来源于物质质量分布的几何效应。
4.1爱因斯坦场方程的建立
等效原理推广了引力的概念，并暗示了有引力场的时空是弯曲的黎曼空间，引力场的物理效果可以通过黎曼空间的度规张量来体现。为了完成新的引力理论，需要找到度规场分布的物理规律，即度规场（或叫推广的引力势）所满足的微分方程，但是这方面没有直接可依据的观测知识，所以能采取的途径是作猜测性的推理。
参照牛顿引力理论，我们可以得到这些设想，首先，牛顿引力势的分布取决于静态物质的密度分布，所以度规场应取决于物质的动量能量张量，因为在张量性的物理理论中物质密度是动量能量张量的一个分量。这样我们把度规场方程的数学形式确立为
其中 是物质的动量能量张量， 是由度规 及其微商构成的张量。其次，牛顿引力方程
是一个引力势的二阶线性偏微分方程，因此要求 最高只含有 的二阶微商，且对二阶微商是连续的。
据上述推测和数学知识， 最一般只能是
为里奇张量，是曲率张量的缩并：
其中角标是任意常参量，注意到能量动量的守恒，它表现为 的四维协变散度等于零，即
因此 应满足
我们把 和R组合成爱因斯坦张量 ，这样度规场方程就取得了具体形式
其中 叫做相对论引力常数， 是唯一剩下的任意参量，最简单的可能是令 =0，相应的方程
叫爱因斯坦引力场方程。
4.2宇宙项
场方程加入任何一个散度为零的项，不会影响 的成立，所以爱因斯坦场方程又可以写成：
其中λ称为宇宙项。
虽然宇宙项对爱因斯坦场方程的建立没有影响，然而宇宙项大体会引起“斥力”效应。在爱因斯坦早期尝试建立静态宇宙模型时，曾经加入加入了宇宙项，当观测事实证明宇宙在膨胀时，爱因斯坦又放弃了宇宙项，并称之为他一生最大的错误。
不过近年来关于暗能量的探讨，猜测暗能量是宇宙项引起的效应。
4.3牛顿近似
由于牛顿引力方程在观测和应用领域都取得了极大成功，所以爱因斯坦场方程不能否定牛顿引力方程。应该把牛顿引力方程看做是爱因斯坦场方程在特殊情况下的近似。
所以当满足以下条件下，爱因斯坦场方程可以化成牛顿引力方程。
引力场为弱场，所以令：
为闵柯夫斯基联络。
引力场是静态的：
引力场是空间缓变的：
粒子的运动是低速的：
为了简化问题，我们考虑一片非相对论性理想流体组成的介质，它在某参考系中为静止介质。由狭义相对论知，它的动量能量张量为：
为物体的四维速度。
为固有时，表示四维空间中，两个事件的距离。
所以
采用相对介质静止的坐标系，
所以只有一个不为零的分量：
再计算里奇张量
利用克里斯托夫联络，保留至一级小量，联络可以表示为：
它的分量可以写为：
因为联络为一级小量，所以忽略里奇张量关于联络的二次项：
如此得到，里奇张量的简化形式：
写为逆变形式为：
以上一切都准备好之后，我们可以写出00分量的场方程：
代入具体的有关量，得到：
所以我们要求 。
利用测地线方程在牛顿近似条件下，将会化为牛顿第二定律：
利用条件四：
所以测地线方程可以写成：
利用牛顿第二定律：
所以
又因为无穷远处，引力场为零，即 时， ，所以：
代回
得到：
与牛顿引力方程形式完全一样。
所以：
至此我们已经证明牛顿引力方程为爱因斯坦场方程特殊情况下的近似，牛顿第二定律为测地线方程的近似，并且我们得到了 的数值。
5.广义相对论的若干推论和实验验证
5.1引力红移
当从远离引力场的地方观测时，处在引力场中的辐射源发射出来的谱线，其波长会变长一些，也就是红移。
理论证明详见6.2.3
二十世纪六十年代，庞德、雷布卡和斯奈德采用穆斯堡尔效应的实验方法，测量由地面上高度相差22.6米的两点之间引力势的微小差别所造成的谱线频率的移动，定量地验证了引力红移。结果表明实验值与理论值完全符合。
5.2引力时间延迟效应
时间延迟效应是指当雷达信号途径一个大质量天体时，在观测者看来这个信号发射到指定目标以及返回的时间都要比没有大质量天体存在时所需的时间略长。
理论证明：
从狭义相对论可知，时钟在高速运动时会变慢，广义相对论中，引力场和惯性场等效，所以引力场中的时钟也可以看做在做加速运动，所以也会变慢，具体数学推导参见《广义相对论基础》。
第一次实验观测是借助麻省理工学院的“草堆”雷达天线（Haystack radar antenna）完成的，其结果和理论预测符合得很好，误差小于5%。其后这种实验被不断重复，并且不断取得更高的精度。1976年的海盗号火星探测器将精度提高到了0.1%；而2003年的卡西尼号土星探测器的实验则达到了小于0.002%，是迄今为止精度最高的广义相对论实验验证。
5.3水星近日点的进动
详见6.2.2
5.4光线在太阳引力场中的偏折
详见6.2.4
6.广义相对论的应用
6.1动力学：球对称引力场
在建立起广义相对论的基本框架后，接下来便要运用广义相对论来做出理论预言，以及用实验来证明理论。
而最为简单的情况，则是球对称的引力场。
首先在球对称的引力场中引入度规张量，在这个过程中，由于球对称保证了绕对称轴做无穷小转动都保持了度规场不变，所以可以引入凯林矢量场，运用凯林方程组，再进行化简，得到一般球对称的引力场的度规张量形式如下：
6.1.1席瓦西尔外部解
为了进一步简化问题，我们令空间的曲率为零，引力源静止，求得了静止球对称引力源外部的引力场。
运用克里斯多夫联络：
曲率张量的定义：
毕安基恒等式：
并利用牛顿近似：
联立上述式子，并化简得到结果
这便是球对称外引力场的席瓦西尔解。而牛顿万有引力公式描述的也是静止球对称引力源外部的引力场，所以席瓦西尔解正是牛顿万有引力定律的相对论对应。
从结论我们可以看出，该引力场和牛顿引力场有很重要的共同点，球外引力场只取决于引力源的总质量，而与引力源的大小和物质分布无关。通过观测这种引力场，我们只能得到引力源的总质量，而不能得到其它信息。
之后再运用伯克霍夫定理，可以证明席瓦西尔解也可以运用在运用的球对称源的外引力场。
6.1.2席瓦西尔内部解
我们得到了球对称源外部引力场，接下来我们看下内部引力场的分布问题。
设引力源为静止的理想流体，则其能量动量张量有如下形式：
其中，对于静止流体来说：
所以混合形式的能动张量为
而混合形式的爱因斯坦方程为：
又因为能量守恒：
则：
再利用衔接条件，恒星表面r=R处的边条件是 , 与 与席瓦西尔外部解相衔接，即：
联立上述几式，并进行化简得：
当恒星由均匀介质组成时，即：
积分可得：
该解便是静止引力源中的内部引力场，又称为席瓦西尔内部解。
6.2运动学
6.2.1席瓦西尔场中的运动方程
有了动力学之后，我们便可以进一步讨论运动学问题。
由上面给出的黎曼几何几何可知，物体在黎曼空间的运动满足测地线方程。将席瓦西尔场的测地线方程进行初积分，可以得到以下四个方程：
经整理可得：
这便是席瓦西尔场中的运动方程。通过这组方程，我们可以得到一些很有趣的结论。通过方程我们可以得到质点的能量方程：
其中 = 。在前面的介绍中，我们说联络相当于引力场强，而度规张量相当于引力势，所以我们相当于得到了质点的能量与该点的引力势成反比。这就是所谓的质点能量的引力红移。
6.2.2行星的轨道问题：水星的进动角
在牛顿引力理论中，一直有一个难题难以解决，那就是水星的进动角问题，理论预测的水星进动角比实测的要大很多。而广义相对论很精确的求解了水星的进动角。
把席瓦西尔场的运动方程进行化简可得到：
利用数学物理方法的知识，利用线性叠加，可以求得方程的通解：
利用此方程，求得水星的进动角：
与观测相符，也成为了证明广义相对论的重要实验依据。
6.2.3光的引力偏折
按照狭义相对论的质能等效方程： E=mc^2，和普朗克公式E=hν，可以得到光子应具有引力质量，那么光子也必然会受到其他物体的引力场的作用。利用席瓦西尔场的运动方程，再利用光速不变原理：
得到光子的轨道方程
令
方程可以化为：
利用逐级逼近，求得偏折光线的一级近似角
利用该式，可以求得光线的偏折角：
对于太阳来说，
在1919年5月放生日全食的时候，两个 观测队第一次实测了经过太阳表面的星光的偏折所得的结果和相对论结果相符。
6.2.4光的引力红移
光子的频率同样会受引力场的影响，光子的能量为
所以：
又因为
所以
代入席瓦西尔场的度规：
结果说明离引力中心越远的地方测到的频率越小，因此称为引力红移。
6.3黑洞
黑洞是广义相对论预测的，引力场强度极强时的一种特殊的天体。以下只做简单的介绍，不做推理和证明。
6.3.1黑洞的生成：
人们一般认为今天尚能存在的黑洞有三种现实的形成机制：
早期宇宙高密介质中由于密度涨落而造成的小黑洞，质量大约只有 千克。
正常恒星演化到晚期的一种可能的终局，这种黑洞应该是几个至几十个太阳质量的大小。
超重星、星团或星系核塌缩形成的巨型黑洞，它的质量是10^4~10^5太阳质量的量级。
6.3.2黑洞动力学：
黑洞的动力学规律是博肯斯坦和霍金等人在1972至1973年间得出来的，其中最重要的是关于黑洞过程不可逆性的黑洞动力学第二定律：
黑洞动力学过程中视界的总面积不能减少。
即：
也叫面积不减定律。
按面积不减定律，黑洞过程保持视界总面积不变是可能的，这种动力学过程被称作可逆的黑洞过程，视界面积增加的过程则是不可逆的黑洞过程，这一切在形式上与热力学第二定律非常相似。
6.3.3黑洞辐射：
博肯斯坦进一步证明了黑洞的视界面积A正是热力学意义下的熵，黑洞的熵S与视界面积A的关系为：
黑洞表面附近的真空涨落产生虚粒子对，当其中负能虚粒子通过隧道效应而进入黑洞，黑洞的能量将减少，同时其中的正能粒子可能向外穿出黑洞的引力区，这相当于黑洞辐射了一个粒子，这种机制称为霍金辐射。
粒子的哲学讨论
2013-12-10 22:55:17 来自: 忘川 (失去的乐园，才是真正的乐园)
物理学和哲学的评论 5
物理学和哲学的评论
5
粒子的哲学讨论：
原理一：
物理理论不以人类任何先入为主的概念转移，唯有实验才是真理的唯一证据。
定理一：
语言系统的逻辑性差于数学语言。数学语言在一般情况下，逻辑性是足以满足科学的需要的。
定义一：
概念破缺：
由于语言系统的逻辑性差于数学语言，导致描述物理问题时，当量值发生变化时，语言系统的概念发生突变，旧有的概念已经无法在新的量值条件下使用，称为发生概念破缺。
定理二：
我们可以做粒子物理的实验，得到一系列粒子不同状态的分立谱线，可以集合成为谱线图。而粒子物理是这样一种理论，它是可以准确推导出上述所有谱线的数学化的逻辑系统。
定理三：
我们对某种物质的性质判断来自于观测。观测分为自然观测和仪器观测。
例一：一个梨子是黄色的。因为我们通过眼睛观测到了它的颜色，为自然观测。
例二：一个梨子重10克。因为我们通过天平观测到它的质量，为仪器观测。
粒子物理中，只有仪器观测。
定理四：
物质具有的性质，只有能对外界产生影响，才是有意义的。但这种意义不局限于实验观测。同样的，物质对外界的影响，都可以归结为一种性质。
例三：假设某梨子具有神秘性质，是上帝的梨子，但是它与外界作用时，比如被吃，被摸，与一切梨子无异，显然这个性质是没有意义的。但是普通的梨子不因为人不观测它时，便不是黄的。
推论一：
粒子的所有性质通过观测表现出来。
证明：根据定理四，粒子的所有性质只有能对外界产生影响，才是有意义的。根据定理三，在粒子条件下，它对外界的影响只能通过实验仪器的观测才能被人类认识，所以粒子的所有性质通过观测表现出来，得证。
定理五：
计算波函数的解可以替代实验测量。
证明：
粒子理论给出，粒子可以用波函数描述，波函数通过分离变量法，可以分为不同特征函数的乘积。而我们做实验观测时，实验仪器观测到的只能是常数，所以只能得到特征函数的不同特征值。既是量子坍缩。而波函数理论可以合理解释实验得到的谱线。所以可以通过计算波函数的解，代替实验测量，实验则作为检验。
定理六：
人类在理解一个陌生概念时，倾向于通过他自身熟悉的概念比对理解。
定理七：
非科学工作者熟悉的概念一般仅在一米左右的尺度适用。
问题一：
人们无法理解粒子的真正含义。
而科学工作者根据理论的数学语言，是清晰可以理解的。
分析一：
根据定理五，人们会倾向于拿熟悉的概念来比对，比如很多人把粒子想像成实心的铁球。而根据定理六，实心铁球的概念仅在一米左右的量级适用。再根据定义一，于是得到此时发生了概念破缺。
所以一般人们无法借用熟悉的概念比对理解，所以无法理解。
分析二：
根据定理一，数学语言的逻辑性是足够的。而对于科学工作者来说，粒子的概念已为他熟悉，所以他可以理解。
定理八：
所有物质都具有至少一个性质。
推论二：
物质的真正含义在于能对外界产生影响。
证明：
根据定理四和定理八即可得证。
问题二：
人们对物质的传统理解的重点在于占据一定空间，在粒子物理中适用吗？
分析一：
这个是不完备的。因为物质的定义中包含另外一个概念空间，而空间的定义是指物质的广延属性，也包含了概念，所以从逻辑上逻辑循环，不完备。
而定义概念上，不可避免会引入别的概念，所以这种逻辑循环是不可避免的，所以要对物质下一个准确的定义是不可能的，即所有概念系统都存在不完备性。
因为不完备不可避免，所以在定义上我们不强求完备。但是这个定义还是存在别的问题。
分析二：
在粒子物理中，这个定义是没有意义的。物质占据一定空间，在人的生活尺度下，是易懂的。但是在粒子物理领域中，指向不明。假如该定义是正确的，因为粒子是物质，所以粒子应该占据一定空间，但是如何检验它呢？利用电子显微镜，或者扫描隧道显微镜，我们观察到粒子的图像，看到它确实占据到一定空间。但是，其实这个图像不过是通过粒子碰撞后合成的图像，所以最有意义的，不是图像，而是一般的粒子物理实验下观测到的性质。
而根据定理四和推论一，也可得出推论二。
问题三：
那么粒子的真正意义是？
分析：
根据定理一和定义一，得出
推论三：
宏观条件下的轨迹，形状之类的概念都发生了概念破缺，所以没有讨论的意义。
根据推论二，推论一，定理四，定理三，得出
推论四：
粒子物理中，粒子的真正意义在于实验观测到的现象。
再根据定理五，定理二，得出
推论五：
粒子物理中，粒子的真正意义在于其波函数。
总结：
物质的真正意义在于对外界产生影响。
粒子物理中，粒子的真正意义便在于其波函数。
原理一：
物理理论不以人类任何先入为主的概念转移，唯有实验才是真理的唯一证据。
定理一：
语言系统的逻辑性差于数学语言。数学语言在一般情况下，逻辑性是足以满足科学的需要的。
定义一：
概念破缺：
由于语言系统的逻辑性差于数学语言，导致描述物理问题时，当量值发生变化时，语言系统的概念发生突变，旧有的概念已经无法在新的量值条件下使用，称为发生概念破缺。
定理二：
我们可以做粒子物理的实验，得到一系列粒子不同状态的分立谱线，可以集合成为谱线图。而粒子物理是这样一种理论，它是可以准确推导出上述所有谱线的数学化的逻辑系统。
定理三：
我们对某种物质的性质判断来自于观测。观测分为自然观测和仪器观测。
例一：一个梨子是黄色的。因为我们通过眼睛观测到了它的颜色，为自然观测。
例二：一个梨子重10克。因为我们通过天平观测到它的质量，为仪器观测。
粒子物理中，只有仪器观测。
定理四：
物质具有的性质，只有能对外界产生影响，才是有意义的。但这种意义不局限于实验观测。同样的，物质对外界的影响，都可以归结为一种性质。
例三：假设某梨子具有神秘性质，是上帝的梨子，但是它与外界作用时，比如被吃，被摸，与一切梨子无异，显然这个性质是没有意义的。但是普通的梨子不因为人不观测它时，便不是黄的。
推论一：
粒子的所有性质通过观测表现出来。
证明：根据定理四，粒子的所有性质只有能对外界产生影响，才是有意义的。根据定理三，在粒子条件下，它对外界的影响只能通过实验仪器的观测才能被人类认识，所以粒子的所有性质通过观测表现出来，得证。
定理五：
计算波函数的解可以替代实验测量。
证明：
粒子理论给出，粒子可以用波函数描述，波函数通过分离变量法，可以分为不同特征函数的乘积。而我们做实验观测时，实验仪器观测到的只能是常数，所以只能得到特征函数的不同特征值。既是量子坍缩。而波函数理论可以合理解释实验得到的谱线。所以可以通过计算波函数的解，代替实验测量，实验则作为检验。
定理六：
人类在理解一个陌生概念时，倾向于通过他自身熟悉的概念比对理解。
定理七：
非科学工作者熟悉的概念一般仅在一米左右的尺度适用。
问题一：
人们无法理解粒子的真正含义。
而科学工作者根据理论的数学语言，是清晰可以理解的。
分析一：
根据定理五，人们会倾向于拿熟悉的概念来比对，比如很多人把粒子想像成实心的铁球。而根据定理六，实心铁球的概念仅在一米左右的量级适用。再根据定义一，于是得到此时发生了概念破缺。
所以一般人们无法借用熟悉的概念比对理解，所以无法理解。
分析二：
根据定理一，数学语言的逻辑性是足够的。而对于科学工作者来说，粒子的概念已为他熟悉，所以他可以理解。
定理八：
所有物质都具有至少一个性质。
推论二：
物质的真正含义在于能对外界产生影响。
证明：
根据定理四和定理八即可得证。
问题二：
人们对物质的传统理解的重点在于占据一定空间，在粒子物理中适用吗？
分析一：
这个是不完备的。因为物质的定义中包含另外一个概念空间，而空间的定义是指物质的广延属性，也包含了概念，所以从逻辑上逻辑循环，不完备。
而定义概念上，不可避免会引入别的概念，所以这种逻辑循环是不可避免的，所以要对物质下一个准确的定义是不可能的，即所有概念系统都存在不完备性。
因为不完备不可避免，所以在定义上我们不强求完备。但是这个定义还是存在别的问题。
分析二：
在粒子物理中，这个定义是没有意义的。物质占据一定空间，在人的生活尺度下，是易懂的。但是在粒子物理领域中，指向不明。假如该定义是正确的，因为粒子是物质，所以粒子应该占据一定空间，但是如何检验它呢？利用电子显微镜，或者扫描隧道显微镜，我们观察到粒子的图像，看到它确实占据到一定空间。但是，其实这个图像不过是通过粒子碰撞后合成的图像，所以最有意义的，不是图像，而是一般的粒子物理实验下观测到的性质。
而根据定理四和推论一，也可得出推论二。
问题三：
那么粒子的真正意义是？
分析：
根据定理一和定义一，得出
推论三：
宏观条件下的轨迹，形状之类的概念都发生了概念破缺，所以没有讨论的意义。
根据推论二，推论一，定理四，定理三，得出
推论四：
粒子物理中，粒子的真正意义在于实验观测到的现象。
再根据定理五，定理二，得出
推论五：
粒子物理中，粒子的真正意义在于其波函数。
总结：
物质的真正意义在于对外界产生影响。
粒子物理中，粒子的真正意义便在于其波函数。
No comments:
Post a Comment