[論文レビュー] Semi--vector spaces and units of measurement

Josef Janyÿska, Marco Modugno+1 more|ArXiv.org|Oct 5, 2007

Digital Image Processing Techniques参考文献 11被引用数 9

ひとこと要約

本稿は、半ベクトル空間および正の空間（ゼロを含まない1次元の半ベクトル空間）に基づく代数的枠組みを導入し、物理的スケールおよび測定単位を厳密にモデル化する。セスキュおよび半テンソル積を定義することで、時間、長さ、質量といった基本単位の有理数乗を形式的に取り扱う理論的枠組みを構築し、理論物理学における次元解析およびスケーリングされた幾何的対象の体系的代数的取り扱いを可能にする。

ABSTRACT

This paper is aimed at introducing an algebraic model for physical scales and units of measurement. This goal is achieved by means of the concept of ``positive space'' and its rational powers. Positive spaces are 1-dimensional ``semi-vector spaces'' without the zero vector. A direct approach to this subject might be sufficient. On the other hand, a broader mathematical understanding requires the notions of sesqui- and semi-tensor products between semi-vector spaces and vector spaces. So, the paper is devoted to an original contribution to the algebraic theory of semi-vector spaces, to the algebraic analysis of positive spaces and, eventually, to the algebraic model of physical scales and units of measurement in terms of positive spaces.

研究の動機と目的

• 標準的な物理学においては厳密な数学的取り扱いが不足している物理的スケールおよび測定単位の形式的代数的基盤を提供すること。
• 特にセスキュおよび半テンソル積を含む、正の実数上での半ベクトル空間の理論を拡張すること。
• 時間、長さ、質量などの物理的次元を正の空間としてモデル化し、それらの有理数乗を用いて次元解析の構造的アプローチを可能にすること。
• 時空上のベクトルバンドルと正の空間のセスキュテンソル積を用いて「スケーリングされた対象」を定義し、次元付き設定における微分積分学を可能にすること。
• 代数的構造と古典的次元解析の間の橋渡しをすることにより、共変な物理理論における両者の相互作用を明確にすること。

提案手法

• 半体ℝ⁺上での半ベクトル空間を定義し、スカラー乗法を正の実数に制限し、ゼロを除外する。
• 半ベクトル空間とベクトル空間の間のセスキュテンソル積および半テンソル積を導入し、非標準的状況におけるテンソル代数を一般化する。
• 正の空間を、ゼロベクトルを含まない1次元の半ベクトル空間として特徴づけ、基本的物理的スケールのモデルとして機能させる。
• 正の空間の有理数乗を構成し、速度（L¹T⁻¹）などの導出物理次元を表現する。
• スケーリングされた対象を、時空上のベクトルバンドルと正の空間のセスキュテンソル積として形式的に定義し、次元付きの幾何的・物理的対象を可能にする。
• スケーリングされた対象のための微分積分学フレームワークを構築し、次元付き微分方程式や作用素の取り扱いを可能にする。

実験結果

リサーチクエスチョン

• RQ1 物理的単位およびスケールを、形式的次元的推論ではなく代数的構造を用いてどのように厳密にモデル化できるか？
• RQ2 半ベクトル空間およびそのテンソル積が、物理的次元の代数的取り扱いにおいて果たす役割は何か？
• RQ3 正の空間の有理数乗は、力やエネルギーといった導出物理量とどのように対応するか？
• RQ4 正の空間とベクトルバンドルのセスキュテンソル積は、時空における次元付き幾何的対象をどのように生成するか？
• RQ5 この代数的モデルは、古典的次元解析の原則とどのように関係し、それらを明確にするか？

主な発見

• 本稿は、セスキュおよび半テンソル積に関する新規な結果も含め、ℝ⁺上での半ベクトル空間の包括的な代数的理論を確立した。
• 正の空間が、時間、長さ、質量といった基本的物理的スケールの自然な代数的モデルとして機能することが示された。
• 正の空間の有理数乗は、速度（L¹T⁻¹）や力（ML¹T⁻²）といったすべての導出物理次元を体系的に生成する方法を提供する。
• スケーリングされた対象は、正の空間と時空上のベクトルバンドルのセスキュテンソル積として形式的に定義され、次元付き場の共変的取り扱いを可能にする。
• 本フレームワークは、スケーリングされた対象のための微分積分学をサポートし、次元付き微分方程式の一貫性ある定式化を可能にする。
• 代数的モデルが古典的次元解析と整合的であり、物理的次元のより深い数学的基盤を提供することが示された。