Links & References
听课笔记主要记在纸质本子上了，本网页放一些看书中觉得值得记下反复琢磨的点。
P9 不从物体之间的相互作用去寻找自然现象的原因，会忽略自然现象间存在着的因果联系。我们这位受过良好的哲学训练的观测者(Einstein)，最后终于不得不断言他所生存的空间内存在着一个引力场。
正是基于这样的考虑，得到了广义相对论的第一个基本原理（弱形式的等效原理）：
等效原理：惯性力场与引力场的动力学效应是局部不可分辨的
(局部：局部时空范围，即一个点的领域；等效：仅仅指动力学效应等效，更确切的，指局部加速效应等效)
局部：（惯性离心力和半径R成正比，引力和R2成反比）；再如匀加速场的力线均匀，而一切实际存在的引力场都是有心的。
等效：引力和惯性力有本质的不同，引力场对时空要产生一种内秉效应——使时空弯曲，而惯性力场无此效应。因为没有理由认为这两种场的一切物理效应都等价；通过一个从加速系回到惯性系的坐标变换，可以把整个空间的惯性力场全部消除，故惯性力场又叫非永久引力场，而一般物质所产生的引力场不能通过坐标变换全部消除。
等效原理的强形式：引力场中任一时空点，当采用局部惯性系时，除引力外的一切物理学规律应是洛伦兹协变的（暗含将时空当作平直的，等效原理并不严格成立）
强形式是广义相对论的理论基础，是从弱形式推广而来的。从力学现象推广到任何物理过程似乎是自然的，因为力学现象与其他现象不能完全隔绝，如物体的质量就同时包含电磁作用、强相互作用、弱相互作用。但这种推广值得商榷，因为所谓在局部惯性系下，除引力外的一切物理学规律应是洛伦兹协变的，已暗含把时空当作平直来处理，而实际上引力场要使时空弯曲。
等效原理保证了一切物体在引力场中有完全相同的运动方程，也即运动轨道仅决定于时空的几何性质，而与物质的属性无关，这表明引力理论是一种纯度规理论。如果 $m_I\neq\m_g$ 则以上理论不完全成立，引力场不是纯粹的度规场，不能完全几何化。
惯性力场的引力场源问题，引力起源于相互作用，有场源也有反作用力，那么如果承认等效原理，惯性力也应起源于相互作用？
狭义相对论中惯性系无法严格定义，以及万有引力定律不具有洛伦兹协变性的问题，正是当年促使Einstein发展广义相对论的原因。
事实上，宇宙间并不存在严格的惯性系，所以我们总是不可避免地要在非惯性系中研究物理规律。——广义相对性原理：一起参考系都是平权的，也即客观的真实的物理规律应该在任意坐标变换下形式不变——广义协变性
等效原理把非惯性系中出现的惯性力当作引力场考虑——一个正确的物理规律必须考虑引力场的影响。
作者：返朴
撰文 |曹则贤（中国科学院物理研究所研究员)
相对性首先是一个原则，一句话就可以说清楚。恰恰因为相对性是个原则，相对论涵盖的物理对象是笼统的、广泛的，进而它对数学的需求也是广泛的。虽然相对论和量子力学并称现代物理两大支柱，其实相对论的层面要高于量子力学，故有相对论量子力学而没有量子相对论。相对论的（relativistic）作为前缀可加于诸多特定物理主题上，比如相对论动力学，相对论量子场论，相对论热力学，等等。至于它所需要的数学，那更是种类繁多，广义相对论甚至会是数学的生长点。本节开列的相对论预备知识仅是笔者所知的一点浅薄，聊供参考。至于多少预备知识够用，这取决于欲学相对论者对自己的要求。当然，知识不是单连通的结构，我们永远不能指望拥有学习一个具体领域的全部预备知识。反复地、交叉地学，可能是我们智力一般的人所不得不采取的策略，而你需要的是学会乐在其中。
相对论的物理基础
爱因斯坦的狭义相对论始于1905年，广义相对论初成于1915年。那个时候，牛顿的引力理论、哈密立顿的动力学理论、光学、电磁学和电-动力学已趋成熟，而这些可看作是理解狭义相对论的物理基础。运动物体的电-动力学（包括光发射和光吸收）研究是狭义相对论的起源，也是爱因斯坦对奠立量子力学有贡献的地方。光（子）和电子一直是狭义相对论和量子力学的主角，到了广义相对论，引力也成为了主角。当外尔将电子和引力当成一对主角时，规范场论就孕育了。广延物体的动力学，包括（电磁）流体力学和固体力学，是相对论尤其是广义相对论的基础，质能关系、能量-动量张量、引力场方程在广延体系的动力学基础上才能充分理解。
相对论的数学基础
多种坐标系表示，坐标变换，线性代数，矢量分析，微分二次型，微分，变分法，洛伦兹变换，电磁场的张量表示等等，是狭义相对论常用到的数学内容。广义相对论相对要求高一些，建议读者熟悉如下一些数学分支或者概念：曲线坐标系，非欧几何，微分几何（关注曲线、曲面、度规张量、里奇张量、联络、测地线和平行位移等概念），方向导数，微分方程，群论 （洛伦兹群，庞加莱群，李群与李代数），张量分析 （关注度规张量、曲率张量与能量-动量张量；张量的仿射微分、协变微分与李微分），等等。
值得着重强调的是力学之与变分原理有关的拉格朗日表述（Lagrangian formulation）。由拉格朗日量（密度）出发构造作用量，由最小作用量原理通过变分法获得系统的动力学方程，即欧拉-拉格朗日方程。这是一个普适性的物理学研究方法。
数理从来是一家。学习相对论为数学-物理一起参详提供了绝佳的机会，值得我们珍惜。从物理背景出发，牢记其中的物理图像和物理思想，估计对学习数学和物理非常有用。笔者当年学数学物理方程，老师和教科书都只会简单地罗列方程的解，丝毫不谈问题的来处和解法的来处。等到有一天明白那些著名的微分方程大多不过是在不同坐标系下的不同维度的二阶微分算符的本征值问题时，笔者是欲哭无泪。早有人点拨一句，该少让我受多少年的难为啊。一个作者最不道德的地方是，抄录许多自己也不懂的（其实不懂不丢人）东西却予读者以他很懂的样子，这让读者产生很强的挫折感——读者会觉得连那个作者都不如，真的是没脸活了。各种量子力学教科书中对氢原子薛定谔方程解的介绍，就反映作者的道德水平。当我有一天知道其实薛定谔本人，科学家中为数不多的知识分子，维也纳大学的数学物理教授，也不会解时，我心里感到好受多了。薛定谔方程用于氢原子，那解应该是外尔帮忙才得到的。
参考文献
[1] Arthur S. Eddington, The Mathematical Theory of Relativity, Cambridge University Press （1930）.
[2] Anadijiban Das, The Special Theory of Relativity: a Mathematical Exposition, Springer （1993）.
[3] R. K. Sachs, H. Wu, General Relativity for Mathematicians, Springer （2012）.