[論文レビュー] Finite precision measurement nullifies Euclid's postulates

Asher Peres|ArXiv.org|Oct 6, 2003

Advanced Measurement and Metrology Techniques被引用数 4

ひとこと要約

この論文は、空間上の点を有理数座標に制限する有限精度測定が、ユークリッド幾何学の公理を破壊することを示すことによって、ユークリッド幾何学の基礎を揺るがす。有理数幾何における直線 x=y と単位円 x²+y²=1 の交点の不在を示すことで、有限精度と古典的ユークリッド公理の間に根本的な不整合が存在することを明らかにする。

ABSTRACT

Following Meyer's argument (quant-ph/9905080) the set of all directions in space is replaced by the dense subset of rational directions. The result conflicts with Euclidean geometry.

研究の動機と目的

• マイヤーが提唱したように、有限精度測定がユークリッド幾何学の妥当性を損なうかどうかを調査すること。
• 幾何的作図を有理数座標を持つ点に制限した場合の意味を検討すること。
• このような制限の下で、ユークリッド幾何学の公理的整合性が破綻するかどうかをテストすること。
• 有理数幾何を用いて、ユークリッドの公理に明確な矛盾を示すこと。
• 有限精度がコーエン＝スプライッカーの定理を物理学的に無関係にするという主張に反論し、その議論を幾何学に拡張すること。

提案手法

• マイヤーの前提に従い、有限精度では有理数と無理数を区別できないこととする。
• すべての空間上の点を有理数座標に制限し、実平面の稠密だが完備でない部分集合を形成する。
• 有理数座標幾何における直線 x=y と単位円 x²+y²=1 の交点を評価する。
• ユークリッドの公理を有理数座標モデルに適用し、その整合性を検証する。
• x=y と x²+y²=1 の交点の不在を、ユークリッドの第五公理および関連する公理に対する反例として用いる。
• 有理数点の稠密性にもかかわらず交点が存在しないことから、古典的幾何的期待に反する事実を示す。

実験結果

リサーチクエスチョン

• RQ1 有限精度測定が幾何学を有理数座標に制限することで、ユークリッドの公理を無効にできるか？
• RQ2 有理数座標の下で直線 x=y が単位円 x²+y²=1 と交差しないことは、ユークリッド幾何学に矛盾するか？
• RQ3 有理数点の稠密性が、ユークリッドの公理が要請する位相的および幾何的性質をどれほど損なうか？
• RQ4 有理数座標への制限が、古典的幾何的作図および公理の妥当性にどのように影響するか？
• RQ5 有限精度が幾何学および量子コンテキスチュアルティ定理の両者に与える基礎的意味は何か？

主な発見

• 有理数座標幾何において、直線 x=y と単位円 x²+y²=1 は、実平面において両方とも稠密であるにもかかわらず交差しない。
• この非交差は、交点が存在すると仮定するユークリッドの公理と直接的に矛盾する。
• この結果は、有限精度測定が有理数座標に制限することで、ユークリッド幾何学の重要な仮定が無効化されることを示している。
• 矛盾は完備性の欠如に起因するのではなく、有理数制約下での幾何的閉包の失敗に起因する。
• 本論文は、量子力学におけるコーエン＝スプライッカーの定理を無視できると主張する根拠として用いられる同様の推論が、古典的幾何学に対しても同様に破綻することを示している。
• 有限精度がコンテキスト性定理を無関係にするという基礎的主張は、ユークリッド幾何学に適用した場合、一貫性を欠くことが示された。