好，说完“直观常识”，下面开始颠覆了。很多人说相对论颠覆了牛顿力学。怎么颠覆的呢？核心就是“光速不变”这个事实和“光速不变”这个假设。你没看错，光速不变既是个事实，又是个假设。为什么会这样呢？这是因为日常语言是不够严谨的，“光速不变”这个表述包含了三个完全不同的含义。
2.1 光速不变的第一个含义
先看第一个含义，光的速度不随惯性系而改变。注意在这个语境下，光是必不可少、不可替代的，其他物体的速度都可以变化，只有光（电磁波）特立独行、与众不同。这个结论可以从麦克斯韦方程组推导出来，也已经被以迈克尔逊-莫雷实验为代表的一系列科学实测证明了，所以说这是个事实。洛伦茨通过对电磁波的研究已经得出了狭义相对论的核心公式：洛伦茨变换。但是，洛伦茨只是被物理学界认定为电磁学领域的杰出物理学家，并并不认为洛伦茨对相对论有重大贡献。为什么呢？因为洛伦茨认为洛伦茨变换仅仅为了解释电磁波传播机制所做的一种数学处理，不具有实际物理意义。
爱因斯坦创立相对论的关键一步就是：大胆提出洛伦茨变换并不仅仅是一种数学处理，而是具有实际物理意义的。具有什么物理意义呢？这正是“光速不变”这个表述的另外两个含义。
2.2 光速不变的第二个含义
任何物体，只要运动速度达到了光的速度，更严谨地说是达到真空中的光速，都不会再随惯性系的改变而变化。这一层意思说的是任何物体都具有这个特性，这就把洛伦茨变换推广到所有物体，而不再局限于电磁波（光）了。抛开第三个含义，只从这两个含义就已经能看出来，在当时，光速不变既是一个已经被物理学界公认的客观事实，又是爱因斯坦锐意创新提出的假设。
达到光速的物体的运动速度不随惯性系变化，那么，对没达到光速的物体的运动描述有变化呢？毕竟除了电磁波，已知其他物体的运动速度都比光速慢得多，要想推广到所有物体，必须把这些达不到光速的运动纳入进来才行。嗯，是有变化的，就是同一个物体，在不同惯性系的速度合成公式需要引入洛伦兹变换。这样引出了一个问题，在一个惯性系系中，不受外力而保持静止或匀速直线运动的物体，换一个惯性系，用洛伦兹变换进行速度合成后，它就既不静止又不做匀速直线运动了。也就是，违背惯性定律了？
仔细捋一捋这件事，在一个惯性系中保持静止或匀速直线运动的物体，换一个惯性系就做变速非直线运动了。能不能让它变回静止或者匀速直线运动呢？仔细想一想，运动速度是由运动距离与运动时间决定的，这就好办了，为了让这个变速非直线运动变回静止或匀速直线运动，可以试试修改运动距离，不行再改运动时间，再不行就两个都改。换句话说，对同一个物体，换一个惯性系，就要修改空间大小和时间长短。怎么改呢？洛伦茨变换啊，跟速度的变换同步。也就是说，洛伦兹变换不仅用于变换速度，还用来变换空间大小和时间长度。经过变换后，运动速度越快，空间越小，时间越慢，即“空间收缩，时间膨胀”的尺缩效应、钟慢效应。这么折腾下来，还真把变速非直线运动变回静止或匀速直线运动了，牛顿第一定律保住了！嗯，在光速不变假设的前提下，为了牛顿第一定律成立，只能让空间和时间变化了。
提一下双生子佯谬的前传：一对双胞胎，分别乘坐两艘宇宙飞船，相互间都在做近光速的匀速直线运动，也就是都是惯性系。以弟弟飞船做参考，哥哥的飞船上空间收缩、时间膨胀了。同理以哥哥的飞船做参考，弟弟的飞船上空间收缩时间膨胀了。究竟是谁的飞船上空间收缩、时间膨胀了呢？这里的回答是：都成立！这就是双生子佯谬吗？不，这对双胞胎分属不同参考系，相距十分遥远，且还越来越远，哪怕用光速通信，他们之间的信息交流时间也十分漫长。对于这样的两个参考系，时间、空间的比较无从谈起。没有比较，就没有谬论。真正的双生子佯谬，后面广义相对论再来讨论。
2.3 光速不变的第三个含义
前面讨论的是运动速度没有达到光速时的情形。现在看看“光速不变”的第三个含义，同样是爱因斯坦凭借天才直觉做出的大胆假设：光速是所有物体运动速度的极限，任何物体的运动速度不能超过光速。不能超过光速？怎么可能？根据牛顿第二定律，如果对一个物体持续加速，迟早会超过光速啊。嗯，仔细看一下牛顿第二定律：加速度与受力大小正比，与物体质量成反比。有办法了！参考上一段，为了让第一定律成立，我们对空间和时间做了手脚，现在为了让第二定律成立，那可以对受力和质量做手脚。爱因斯坦为了解决这个问题，实际做的是对质量动手，用了个质速关系公式，让质量随着运动速度增加而增加，速度达到光速时质量变成无穷大了，那就必须用无穷大的力才能继续加速。无穷大的力当然是不存在的，物体也就无法超光速了。这样，物体在静止时的质量称为静质量，运动时的质量称为动质量。为什么电磁波能达到光速呢？因为光子的静质量为零。好了，也就是说，在光速不变假设的前提下，为了牛顿第二定律成立，相对论牺牲了质量恒定性，让质量随着运动速度而变化。
2.4 闵可夫斯基的四维时空
简单总结一下：“光速不变”是客观事实，又是核心假设，必须坚持。而另一方面，相对论无意颠覆牛顿力学三定律，不仅不想颠覆，而且还在想方设法让牛顿力学三定律成立。为了这个目的，相对论让恒定不变的空间、时间、质量都变成了可以伸缩的。伸缩，就是等比例放大或缩小。为什么会等比例呢？这个问题后面再说。本来，狭义相对论到这里已经足够完整了，却有个数学家闵可夫斯基觉得这些结论不够本质，在这些结论基础上又用数学手法倒腾了一把，然后得出一个耸人听闻的结论：宇宙中的所有物体，时时刻刻都在做光速运动，而且永远都会保持光速运动！这是什么情况？明明除电磁波之外的物体都是低速运动啊。连爱因斯坦最初看到闵可夫斯基这个观点都觉得是在装神弄鬼，纯粹是数学手法。不过在向广义相对论推进时，爱因斯坦意识到了闵可夫斯基观点的深刻洞察力，也就很快接受了。
闵可夫斯基是怎么倒腾的呢？就是把时间间隔通过合适的量纲转换成空间距离。比如你待在草地上保持一秒钟静止不动，闵氏就说你跟草地一起以光速在时间中运动了一秒的距离，折合空间距离为1光秒。那如果在空间中运动了呢？还是刚才那个例子，如果你以光速的一半离开草地，那么草地在时间中运动了一秒后，你在时间中只运动了大约0.886秒，你比草地在时间中少运动的这大约0.114秒就转化为了大约0.057光秒距离的空间运动。换句话说，在空间中运动和在时间中运动是等价的，可以互相转移，这两种运动合成在一起称为在时空中的运动，速度永远是光速。当然，合成方法不是简单相加，而是根据洛伦兹变换来合成。如果一个物体在空间中的运动速度达到了光速，那么它的运动就全部转移到空间了，就无法在时间中运动了，电磁波正是这样的。
到这里，狭义相对论的全部内容就说完了。总结一下：狭义相对论颠覆了牛顿力学里面时间、空间、质量的恒定性，指出这三个物理量跟随运动状态变动，时间和空间之间可以互相转化。但是，狭义相对论却坚持了牛顿力学三定律。
我们前面留了一个问题：为什么时间空间质量会等比例放大或缩小呢？这是因为讨论的都是惯性系，也就是那些不同的参考系互相之间都是在做匀速直线运动。这情况太特殊了，现实中根本找不到，只能是理论上的理想场景，针对这种理想场景的理论就是狭义相对论。要扩展到现实中常见的一般情况，就要进入广义相对论了。
