[论文解读] 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 $，通过将基元素映射到变量，保持所有代数运算，证实了结构等价性。