盘点你们一定想不到的事实
17.广义相对论中孤立体系能量守恒
有人根据诺特定理认为广相中能量不守恒，他们说时间平移对称性导致能量守恒，广相中存在没有类时killing场的时空，这种失控时间平移不对称，因而能量不守恒
这是错误的认识，原因在于，诺特定理中的能量不含引力势能，在存在引力势能的广相中自然不守恒
诺特定理是量子场论的内容，量场背景时空是无引力的闵式，当然不含引力势能
广相中孤立体系即为渐进平直时空，而渐进平直时空无论带不带类时killing场都可以定义守恒的总能：大名鼎鼎的ADM能量
有人根据诺特定理认为广相中能量不守恒，他们说时间平移对称性导致能量守恒，广相中存在没有类时killing场的时空，这种失控时间平移不对称，因而能量不守恒
这是错误的认识，原因在于，诺特定理中的能量不含引力势能，在存在引力势能的广相中自然不守恒
诺特定理是量子场论的内容，量场背景时空是无引力的闵式，当然不含引力势能
广相中孤立体系即为渐进平直时空，而渐进平直时空无论带不带类时killing场都可以定义守恒的总能：大名鼎鼎的ADM能量
18.光速无穷大时的时空，不一定是牛顿绝对时空；并且，由于c无穷大，根据E=mc²推出来原子弹爆炸能量是无穷大也是错误的，原因如图
19.爱因斯坦场方程很容易得到精确解
有些人认为场方程是一个二阶非线性偏微分张量方程组，关于待求量度规的二阶导数虽然是线性的，关于其一阶导数却是二次的，更可怕的是还有度规的逆矩阵用来降指标，于是其超级难解
实际上这是错觉，因为你完全可以先指定度规，再用度规求能动张量
这样肯定是精确解，而且超级容易获得，应该是所有物理上的偏微分方程中最好解的
有人或许会说这样没法保证得到的能动张量是真实的物质场，这里只说的简单求解，能简单求精确解就完了要什么自行车
有些人认为场方程是一个二阶非线性偏微分张量方程组，关于待求量度规的二阶导数虽然是线性的，关于其一阶导数却是二次的，更可怕的是还有度规的逆矩阵用来降指标，于是其超级难解
实际上这是错觉，因为你完全可以先指定度规，再用度规求能动张量
这样肯定是精确解，而且超级容易获得，应该是所有物理上的偏微分方程中最好解的
有人或许会说这样没法保证得到的能动张量是真实的物质场，这里只说的简单求解，能简单求精确解就完了要什么自行车
20.时间和空间有具体的定义，两者都依赖于时空的3+1分解，且都不能独立存在
时空是覆盖有足够可微程度的具有洛伦兹号差的度规张量场的连通微分流形，又名伪黎曼空间
时间是流形到实数域的映射，满足每一张等t面用度规衡量均类空
每个t对应的类空超曲面就是该时刻的全空间
时空是覆盖有足够可微程度的具有洛伦兹号差的度规张量场的连通微分流形，又名伪黎曼空间
时间是流形到实数域的映射，满足每一张等t面用度规衡量均类空
每个t对应的类空超曲面就是该时刻的全空间
21.光速不可超越不能通过狭义相对论的计算来证明
有人说可以推导啊，用E²=m²+p²，或者用三力F=γma，所以a=F/γm，积分得v=∫Fdt/γm，计算出来发现其最大值为1，这不就用狭义相对论证明了吗？
这种看法是错误的，原因在于，你在计算积分前引入了γ，γ=1/√（1-v²），注意了，分母带根号，就要求根号里的1-v²＞0，于是v＜1，
也就是说，你本来就引入了v＜1的约束，当然计算出来v会小于1，也就是常见的执果索果的错误
有人说可以推导啊，用E²=m²+p²，或者用三力F=γma，所以a=F/γm，积分得v=∫Fdt/γm，计算出来发现其最大值为1，这不就用狭义相对论证明了吗？
这种看法是错误的，原因在于，你在计算积分前引入了γ，γ=1/√（1-v²），注意了，分母带根号，就要求根号里的1-v²＞0，于是v＜1，
也就是说，你本来就引入了v＜1的约束，当然计算出来v会小于1，也就是常见的执果索果的错误
23.共动坐标系有无穷多个
有人以为观者的共动系是唯一的，我曾经也这么认为过，后来发现不是，我认为唯一的那个是时空正交的共动系
共动系只要求时间基矢与观者四速平行，时空轴完全可以非正交，比如一般时空的3+1分解，像三体光速飞船warp drive时空就是典型的斜交共动系
洛伦兹变换就是闵式时空的正交分解，动系是正交共动系，下面举个栗子，闵式时空的斜交分解
有人以为观者的共动系是唯一的，我曾经也这么认为过，后来发现不是，我认为唯一的那个是时空正交的共动系
共动系只要求时间基矢与观者四速平行，时空轴完全可以非正交，比如一般时空的3+1分解，像三体光速飞船warp drive时空就是典型的斜交共动系
洛伦兹变换就是闵式时空的正交分解，动系是正交共动系，下面举个栗子，闵式时空的斜交分解