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

没错，你可以从群结构反推
【 在 gloop 的大作中提到: 】
: 伽利略变换就是一个群，假定了群结构就是假定了群？
:
--
FROM 117.136.57.*

伽利略变换啊
【 在 gloop 的大作中提到: 】
: 反推出什么？
:
--
FROM 117.136.57.*

难道不是？说一遍就可以了
【 在 gloop 的大作中提到: 】
: 所以假定了群结构就可以推出伽利略变换？
:
--
FROM 117.136.57.*

这是两个不同的群
【 在 gloop 的大作中提到: 】
: 所以假定了群结构同时可以推出伽利略变换和洛伦兹变换？
:
--
FROM 117.136.57.*