[論文レビュー] Domain-valued maxitive maps and their representations

Paul Poncet|arXiv (Cornell University)|Jan 3, 2010

Advanced Algebra and Logic参考文献 43被引用数 1

ひとこと要約

本稿はドメイン理論とイドポテン（半）モジュールの枠組みにおいて、連続線形形式の表現定理を確立するためのドメイン値をとる最大的写像を導入する。これは、古典的な結果（例：ラドン＝ニコディムの定理やリースの表現定理）をイドポテン（半）モジュールへ一般化し、Zドメイン理論の枠組みを通じて、異なる数学的分野の結果を統一する。

ABSTRACT

The recent extensions of domain theory have proved particularly efficient to study lattice-valued maxitive measures, when the target lattice is continuous. Maxitive measures are defined analogously to classical measures with the supremum operation in place of the addition. Building further on the links between domain theory and idempotent analysis highlighted by Lawson (2004), we investigate the concept of domain-valued linear forms on an idempotent (semi)module. In addition to proving representation theorems for continuous linear forms, we address two applications: the idempotent Radon--Nikodym theorem and the idempotent Riesz representation theorem. To unify similar results from different mathematical areas, our analysis is carried out in the general Z framework of domain theory.

研究の動機と目的

• 格子値をとる最大的測度を研究するため、ドメイン理論を格子値をとる最大的測度に拡張すること、特に標的格子が連続である場合に焦点を当てる。
• イドポテン（半）モジュール上のドメイン値をとる線形形式の概念を形式化し、古典的な線形汎関数を一般化すること。
• 測度論や関数解析学などの異なる数学的分野から得られる表現定理を、一つの理論的枠組みに統一すること。
• ドメイン理論的手法を用いて、イドポテン版のラドン＝ニコディムの定理およびリースの表現定理を確立すること。
• 最大的写像とその表現を分析できる一般化されたZ枠組みをドメイン理論に提供すること。

提案手法

• ローソン（2004）が指摘したドメイン理論とイドポテン解析との関係を活用し、ドメイン値をとる写像を用いて最大的測度をモデル化する。
• イドポテン（半）モジュール上にドメイン値をとる線形形式を定義し、標準的な加法を上限演算に置き換えることで、最大的性質を反映させる。
• 一般性と統一性を保証するため、ドメイン理論のZ枠組みを適用する。
• 連続線形形式を中核的な道具として用い、イドポテン半モジュールの文脈における表現定理を導出する。
• ドメイン理論的双対性を用いて関数型の表現を構築し、古典的双対性結果を最大的設定に一般化する。
• 最大的測度が基準測度に関してドメイン値をとる密度を持つことの特徴づけを通じて、イドポテン版のラドン＝ニコディムの定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 イドポテン半モジュールの文脈において、格子上の最大的測度は、ドメイン値をとる線形形式によってどのように表現できるか？
• RQ2 ドメイン値をとる最大的測度の文脈において、ラドン＝ニコディムの定理の適切な一般化は何か？
• RQ3 ドメイン理論的手法を用いて、リースの表現定理はイドポテン（半）モジュールへ拡張可能か？
• RQ4 ドメイン理論のZ枠組みは、数学の異なる分野における表現定理をどのように統一するか？
• RQ5 ドメイン値をとる設定において、線形形式の連続性と表現可能性を保証する条件は何か？

主な発見

• 本稿は、イドポテン（半）モジュール上の連続ドメイン値をとる線形形式についての表現定理を確立し、古典的双対性結果を一般化する。
• イドポテン版のラドン＝ニコディムの定理が証明され、基準測度に関して最大的測度がドメイン値をとる密度を持つことが示された。
• リースの表現定理がイドポテン設定へ拡張され、イドポテン半モジュール上の任意の連続線形汎関数がドメイン値をとるカーネルによる積分から生じることを示した。
• ドメイン理論のZ枠組みは、測度論、関数解析学、イドポテン解析からの結果を、共通の表現論的構造の下で成功裏に統一した。
• 最大的測度では加法の代わりに上限が用いられることの妥当性が、ドメイン理論的双対性と整合することを示し、連続線形形式の構築を可能にした。
• 線形形式の連続性はドメイン理論的収束を用いて特徴づけられ、非アルキメデス的および格子順序付き設定におけるさらなる解析の基盤が提供された。