[논문 리뷰] Magnitudes Reborn: Quantity Spaces as Scalable Monoids

Dan Jönsson|arXiv (Cornell University)|2019. 11. 17.

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 $는 모든 대수적 연산을 보존하여 구조적 동치성을 확인한다.