[論文レビュー] Magnitudes Reborn: Quantity Spaces as Scalable Monoids

Dan Jönsson|arXiv (Cornell University)|Nov 17, 2019

Scientific Measurement and Uncertainty Evaluation参考文献 23被引用数 4

ひとこと要約

本稿は、物理的量の厳密で普遍的な微積分の基礎となる代数的構造として、スケーラブルなモノイドと数量空間を導入する。有限生成な数量空間が体上では形式的べき級数環と同型であることが確立されており、ベクトル空間の一般化でありながら計量的整合性を保ちつつ、測定単位に依存しない一貫性のある量の演算を可能にするスケーラブルで代数的な枠組みを提供する。

ABSTRACT

This article includes a survey of the historical development and theoretical structure of the pre-modern theory of magnitudes and numbers. In Part 1, work, insights and controversies related to quantity calculus from Euler onward are reviewed. In Parts 2 and 3, we define scalable monoids and, as a special case, quantity spaces; both can be regarded as universal algebras. Scalable monoids are related to rings and modules, and quantity spaces are to scalable monoids as vector spaces are to modules. Subalgebras and homomorphic images of scalable monoids can be formed, and tensor products of scalable monoids can be constructed as well. We also define and investigate congruence relations on scalable monoids, unit elements of scalable monoids, basis-like substructures of scalable monoids and quantity spaces, and scalar representations of elements of quantity spaces. The mathematical theory of quantity spaces is presented with a view to metrological applications. This article supersedes arXiv:1503.00564 and complements arXiv:1408.5024.

研究の動機と目的

• 物理的量（スカラーとは異なる）を現代数学および物理学における中心的役割に再確立すること。
• 計量的原則とギリシャ数学の歴史的基盤を尊重する、スケーラブルで代数的な物理的量の微積分を形式化すること。
• スケーラブルなモノイドを代数的基盤として用いることで、ベクトル空間の一般化としての数量空間を定義すること。
• 有限生成な数量空間と体上の形式的べき級数環との同型関係を確立することで、具体的な表現と計算を可能にすること。
• 加法、乗法、スカラー乗法といった物理的量における演算をサポートする、自己完結的で普遍的な代数的枠組みを提供すること。

提案手法

• 体上のスカラー作用を備えた可換モノイドとしてのスケーラブルなモノイドを定義し、モジュールの一般化として、測定単位に依存しない一貫性のある量の演算を可能にする。
• 有限基底が存在する特別なケースとしての数量空間を導入し、モジュール理論におけるベクトル空間に類似させる。
• スケーラブルなモノイドのテンソル積と準同型像を構成することで、構造的解析と変換を可能にする。
• 合同関係と単位元を定義し、スケーラブルなモノイド内での同値性と可逆性を分析する。
• 基底に類似する部分構造とスカラー表現を導入することで、数量空間内での要素の一意的分解を可能にする。
• 任意の体上での有限生成な数量空間が、形式的べき級数環 $ K\llbracket X_1, \ldots, X_n \rrbracket $ と同型であることを示し、乗法とスカラー作用を成分ごとの演算として定義する。

実験結果

リサーチクエスチョン

• RQ1 測定単位に依存しない一貫性のある算術演算をサポートする物理的量を、代数的対象としてどのように形式化できるか？
• RQ2 ベクトル空間を一般化しつつ、量とそのスカラー測定値の区別を保持する代数的構造は何か？
• RQ3 スケーラブルなモノイドの枠組みは、加法、乗法、スカラー乗法を含む物理的量微積分に必要な全範囲の演算をサポートできるか？
• RQ4 有限生成な数量空間に対して、実用的な計算を可能にするとともに、既知の代数的構造との同型関係を保証する標準的表現は存在するか？
• RQ5 ギリシャ数学における歴史的基盤（特に数と量の区別）は、現代的で厳密な物理的量の理論にどのように影響を与えるか？

主な発見

• 体上での有限生成な数量空間は、形式的べき級数環 $ K\llbracket X_1, \ldots, X_n \rrbracket $ と同型であり、具体的かつ計算可能な表現を提供する。
• 構造 $ K\llbracket X_1, \ldots, X_n \rrbracket $ は、成分ごとのスカラー乗法と単項式の項ごとの乗法に関して可換なスケーラブルなモノイドをなす。
• 任意の有限生成な数量空間には基底 $ \{b_1, \ldots, b_n\} $ が存在し、要素は一意に $ \lambda \cdot \prod_{i=1}^n b_i^{k_i} $ の形に表現できる。
• 単位元 $ \mathbf{1} = 1X_1^0\cdots X_n^0 $ は $ \mathbf{1} \cdot t = t \cdot \mathbf{1} = t $ を満たし、乗法的単位性を保証する。
• スカラー乗法は結合的かつ可換である：$ \alpha \cdot (\beta \cdot t) = (\alpha\beta) \cdot t $ であり、$ \alpha \cdot (st) = (\alpha \cdot s)t = s(\alpha \cdot t) $ が成り立つ。
• 基底要素を変数に写像するように定義される同型 $ \Phi: Q \to K\llbracket X_1, \ldots, X_n \rrbracket $ はすべての代数的演算を保存し、構造的同値性を確認する。