[论文解读] Groups of Worldview Transformations Implied by Isotropy of Space

Judit X. Madarász, Mike Stannett+1 more|arXiv (Cornell University)|Jul 28, 2020

History and Theory of Mathematics被引用 1

一句话总结

本文证明，仅凭空间各向同性——无需假设完整的狭义相对性原理——即可推出在(1+3)维时空中的惯性观察者之间的世界图变换群必为伽利略、洛伦兹或欧几里得等距同构群的子群。作者在欧几里得有序域 Q 上使用一阶逻辑，证明各向同性唯一地确定了运动学群，其参数为 c（光速或几何尺度），从而得出三种物理可能性：经典、相对论或欧几里得运动学。

ABSTRACT

Given any Euclidean ordered field, $Q$, and any 'reasonable' group, $G$, of (1+3)-dimensional spacetime symmetries, we show how to construct a model $M_{G}$ of kinematics for which the set $W$ of worldview transformations between inertial observers satisfies $W=G$. This holds in particular for all relevant subgroups of $Gal$, $cPoi$, and $cEucl$ (the groups of Galilean, Poincar\'e and Euclidean transformations, respectively, where $c\in Q$ is a model-specific parameter orresponding to the speed of light in the case of Poincar\'e transformations). In doing so, by an elementary geometrical proof, we demonstrate our main contribution: spatial isotropy is enough to entail that the set $W$ of worldview transformations satisfies either $W\subseteq Gal$, $W\subseteq cPoi$, or $W\subseteq cEucl$ for some $c>0$. So assuming spatial isotropy is enough to prove that there are only 3 possible cases: either the world is classical (the worldview transformations between inertial observers are Galilean transformations); the world is relativistic (the worldview transformations are Poincar\'e transformations); or the world is Euclidean (which gives a nonstandard kinematical interpretation to Euclidean geometry). This result considerably extends previous results in this field, which assume a priori the (strictly stronger) special principle of relativity, while also restricting the choice of $Q$ to the field of reals. As part of this work, we also prove the rather surprising result that, for any $G$ containing translations and rotations fixing the time-axis $t$, the requirement that $G$ be a subgroup of one of the groups $Gal$, $cPoi$ or $cEucl$ is logically equivalent to the somewhat simpler requirement that, for all $g\in G$: $g[t]$ is a line, and if $g[t]=t$ then $g$ is a trivial transformation (i.e. $g$ is a linear transformation that preserves Euclidean length and fixes the time-axis setwise).

研究动机与目标

• 探究仅凭空间各向同性（无需完整的狭义相对性原理）是否足以推出时空中惯性观察者之间世界图变换群的结构。
• 将先前依赖实数域 R 和完整狭义相对性原理的研究结果，推广至任意欧几里得有序域 Q。
• 证明各向同性意味着世界图变换群 W 是以下三类标准群之一的子群：伽利略群（Gal）、洛伦兹群（cPoi）或欧几得群（cEucl），其中 c > 0。
• 建立 G 是 Gal、cPoi 或 cEucl 的子群与一个更简单的几何条件之间的逻辑等价性：对所有 g ∈ G，g[t] 是一条直线，且若 g[t] = t，则 g 是平凡的。
• 为任意合理的对称群 G 构造模型 MG，使得世界图变换 W 恰好等于 G，仅依赖于各向同性和基本域公理。

提出的方法

• 在包含观察者（IOb）和数量（Q）的双排序一阶语言中形式化运动学，其中 Q 是欧几里得有序域（所有非负元素都有平方根）。
• 将世界图变换 wkh: Q⁴ → Q⁴ 定义为将一个观察者坐标系中的事件映射到另一个观察者坐标系中的函数，确保所有观察者对同一组时空事件进行坐标化。
• 引入关键几何条件：对所有 g ∈ G，g[t] 是一条直线，且若 g[t] = t，则 g 是平凡的（即固定时间轴并保持欧几里得长度）。
• 证明在各向同性条件下，该条件与 G 是 Gal、cPoi 或 cEucl 的子群（对某个 c > 0）之间存在逻辑等价性。
• 使用时间膨胀公式中的参数 κ 来分类群：κ > 0 → cPoi，κ < 0 → cEucl，κ = 0 → Gal。
• 利用模型构造定理（定理 5.3）为任意此类 G 构造模型 MG，确保在每种情况下 W = G。

实验结果

研究问题

• RQ1 仅凭空间各向同性是否足以推出世界图变换群被限制在 Gal、cPoi 或 cEucl 之中？
• RQ2 在推导三类运动学群时，是否必须假设实数域 R？能否将其推广至任意欧几里得有序域？
• RQ3 推导世界图变换群结构时是否必须假设狭义相对性原理？各向同性是否已足够？
• RQ4 能否将 G 固定时间轴并将其映射为直线这一条件，作为对完整群结构假设的最小替代？
• RQ5 当不存在运动观察者时（即所有变换均为平凡的），分类结果如何变化？

主要发现

• 仅凭空间各向同性即可推出惯性观察者之间的世界图变换集合 W 是以下三类标准群之一的子群：对某个 c > 0，有 W ⊆ Gal、W ⊆ cPoi 或 W ⊆ cEucl。
• 分类由单一参数 κ 决定：若 κ > 0，则 W ⊆ cPoi（相对论情形）；若 κ < 0，则 W ⊆ cEucl（欧几里得情形）；若 κ = 0，则 W ⊆ Gal（经典情形）。
• G 是 Gal、cPoi 或 cEucl 的子群的条件，与以下几何条件在逻辑上等价：对所有 g ∈ G，g[t] 是一条直线，且若 g[t] = t，则 g 是平凡的。
• 对任意包含平移和固定时间轴的旋转的合理对称群 G，均存在模型 MG，使得世界图变换恰好等于 G。
• 存在运动观察者（即非平凡变换）等价于存在运行变慢、变快或准确的钟，具体取决于 κ > 0、κ < 0 或 κ = 0。
• 该模型构造在任意欧几里得有序域 Q 上均一致成立，表明实数域 R 并非分类所必需，且先前假设 R 的研究结果过于严格。