洛伦兹变换就是一个群，假定了群结构就是假定了群
【 在 gloop 的大作中提到: 】
: https://arxiv.org/abs/1504.02423
: 只需要假定没有特权的参照系和变换的群结构就可以导出洛伦兹变换。具有一个不变速度只是其结论（但是需要从实验得知这个不变速度是有限的）。
: 看了一下论文，里面还用了惯性系中的匀速直线运动在其他惯性系中还是匀速直线运动，这可以导出变换的线性性。另外还悄悄用了一个假设，就是一个速度非零的变换重复复合n次不会变回原来的状态，这个用于排除时空变换是一个（欧式空间的）旋转的可能性。
--
FROM 117.136.57.*