[論文レビュー] First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers

Gergely Székely|arXiv (Cornell University)|May 6, 2010

Relativity and Gravitational Theory参考文献 58被引用数 33

ひとこと要約

本稿は、相対性理論の1階論理（FOL）公理化を提示し、特殊相対性理論を加速度を持つ観測者にまで拡張する理論 ${\mathsf{AccRel}}$ を導入する。これは時空物理学の形式的で論理的に厳密な基礎を提供し、時計のパラドックスや双子のパラドックスといった主要な相対論的現象が、最小限で明確に定義された公理から導出可能であることを示しており、相対論的予測が特定の仮定にどのように依存しているかを明らかにする。

ABSTRACT

This thesis is mainly about extensions of the first-order logic axiomatization of special relativity introduced by Andr\\'eka, Madar\\'asz and N\\'emeti. These extensions include extension to accelerated observers, relativistic dynamics and general relativity; however, its main subject is the extension to accelerated observers (AccRel). One surprising result is that natural extension to accelerated observers is not enough if we want our theory to imply certain experimental facts, such as the twin paradox. Even if we add the whole first-order theory of real numbers to this natural extension, it is still not enough to imply the twin paradox. Nevertheless, that does not mean that this task cannot be carried out within first-order logic since by approximating a second-order logic axiom of real numbers, we introduce a first-order axiom schema that solves the problem. Our theory AccRel nicely fills the gap between special and general relativity theories, and only one natural generalization step is needed to achieve a first-order logic axiomatization of general relativity from it. We also show that AccRel is strong enough to make predictions about the gravitational effect slowing down time. Our general aims are to axiomatize relativity theories within pure first-order logic using simple, comprehensible and transparent basic assumptions (axioms); to prove the surprising predictions (theorems) of relativity theories from a few convincing axioms; to eliminate tacit assumptions from relativity by replacing them with explicit axioms formulated in first-order logic (in the spirit of the first-order logic foundation of mathematics and Tarski's axiomatization of geometry); and to investigate the relationship between the axioms and the theorems.

研究の動機と目的

• 相対性理論に形式的で1階論理（FOL）の基礎を提供し、数学的基礎の厳密さを模倣すること。
• 相対論的予測（例：時間の遅れ、質量の増加）が特定の公理にどのように依存しているかを調査すること。
• 特殊相対性理論を、新しいFOL理論 ${\mathsf{AccRel}}$ を用いて加速度を持つ観測者にまで拡張し、特殊相対性理論と一般相対性理論の間のギャップを埋めること。
• 双子のパラドックスのような主要な定理に必要な公理を特定することで、相対性理論における「なぜ」の問いに答えること。
• 保存則などの物理的原則が、便宜的な仮定ではなく、導出可能であることを示し、余分な仮定を減らすこと。

提案手法

• 観測者、事象、世界線、および世界観関係といった原始的概念を用いて時空を1階論理（FOL）で形式化する。
• 光の速度の不変性と慣性系の観測者の存在を含む4つの簡単な公理に基づく、特殊相対性理論の核心的FOL公理系 $\mathsf{SpecRel}$ を導入する。
• $\mathsf{SpecRel}$ を、非慣性運動の形式的取り扱いを可能にするために、加速度を持つ観測者を扱うための重要な公理を追加することで $\mathsf{AccRel}$ に拡張する。
• 滑らかな時空軌道をモデル化し、順序体における位相的整合性を保証するために、連続性の公理スキーマを用いる。
• 定義可能な関数や幾何的構成（例：レーダ距離、光円錐、ミンコフスキー距離）を用いて、FOL内での物理的概念を形式化する。
• 数学的厳密性を保証するため、実閉体および順序体上の微分可能関数の道具を用いることで、論理的枠組みの数学的厳密性を確保する。

実験結果

リサーチクエスチョン

• RQ1 特殊相対性理論において、時計のパラドックスを導出するために必要な公理は何か？
• RQ2 双子のパラドックスは、加速度を持つ観測者を含む1階論理枠組み内で論理的に導出可能か？
• RQ3 相対論的力学における保存則は、物理的仮定ではなく幾何的公理からどれほどまで導出可能か？
• RQ4 $\mathsf{AccRel}$ に加速度を持つ観測者が含まれることで、相対性理論の論理的構造にどのような影響が生じるか？
• RQ5 重力的時間遅れを加速フレームを用いてシミュレートするには、どのような論理的仮定が必要か？

主な発見

• 時計のパラドックスは定理4.3.6で幾何学的に特徴づけられており、時空内の世界線の非対称的幾何学が時間差を生じることを示している。
• ローレンツ変換の線形性と光速を超える運動の不可能性は、より単純な公理から証明可能な定理であり、独立した仮定ではない。
• 相対論的質量増加の公式 $m_0 = \sqrt{1 - v^2/c^2} \cdot m$ は、保存則を仮定せず、力学の幾何的公理から導出可能である。
• 双子のパラドックスは、$\mathsf{AccRel}$ において、追加の連続性公理（スキーマ）が仮定された場合にのみ導出可能であり、滑らかな時空構造に依存する基礎的性質を示している。
• 重力的時間遅れは、$\mathsf{AccRel}$ において加速度を持つ観測者のモデル化によって形式的にシミュレート可能であり、その効果は彼らの世界線の幾何学から導出可能である。
• 理論 $\mathsf{AccRel}$ は、特殊相対性理論の加速度運動への論理的かつ最小限の拡張を提供し、一般相対性理論への橋渡しの役割を果たしている。