[論文レビュー] Idempotent functional analysis: an algebraic approach

G. L. Litvinov, V. P. Maslov+1 more|ArXiv.org|Sep 13, 2000

Advanced Control Systems Optimization参考文献 22被引用数 38

ひとこと要約

この論文は、(max, +)代数などの可換半体を含む、冪等的加法をもつ半体を基礎構造として、冪等的関数解析の代数的枠組みを構築する。古典的関数解析の定理（例えば、ハーン＝バナッハの定理や閉グラフ定理）の類似物をこの文脈で確立し、冪等的空間上の $a$-線形汎関数が上界作用による標準的表現をもつことを証明する。

ABSTRACT

In this paper we consider Idempotent Functional Analysis, an `abstract' version of Idempotent Analysis developed by V. P. Maslov and his collaborators. We give a review of the basic ideas of Idempotent Analysis. The correspondence between concepts and theorems of the traditional Functional Analysis and its idempotent version is discussed; this correspondence is similar to N. Bohr's correspondence principle in quantum theory. We present an algebraical approach to Idempotent Functional Analysis. Basic notions and results are formulated in algebraical terms; the essential point is that the operation of idempotent addition can be defined for arbitrary infinite sets of summands. We study idempotent analogs of the main theorems of linear functional analysis and results concerning the general form of a linear functional and scalar products in idempotent spaces.

研究の動機と目的

• 古典的関数解析の対応物として、冪 Eidempotent 機能解析の体系的代数的基盤を確立すること。
• 古典的関数解析の定理（例えば、ハーン＝バナッハの定理や閉グラフ定理）を、冪等的加法をもつ半体の文脈に一般化すること。
• 上界に基づく表現を用いて、冪等的空間上の $a$-線形汎関数を特徴付けること。
• 圏論的および代数的枠組みを通じて、冪等的解析、最適化、順序付き代数的系の結果を統合・拡張すること。

提案手法

• 古典的数学（体上）と冪等的数学（冪等的加法をもつ半体上）との間の対応原理を用いる。
• 冪等的半体、半体（例：$\mathbb{R}_{\max}$, $\mathbb{R}_{\min}$）および、$h \to 0^+$ のとき $x \mapsto h \ln x$ を用いた $\mathbb{R}_+$ の脱量子化による完備化を導入・分析する。
• 冪 Eidempotent 半モジュールおよび空間を、点ごとの加法およびスカラー乗法に関して閉じた集合として定義する。
• 上界作用を含む標準的構成により、$a$-線形汎関数の構造を導出する：$f(\varphi) = \sup_x \{ \varphi(x) + \psi(x) \}$。
• 順序論的およびラティス論的手段を用いて、主要定理を証明し、部分順序 $a \preccurlyeq b \iff a \oplus b = b$ を活用する。
• スカラー積およびスケール的スカラー積の類似物、双対性、および位相的概念（例：完備性）を、冪 Eidempotent の文脈に展開する。

実験結果

リサーチクエスチョン

• RQ1 古典的関数解析の定理は、冪等的加法をもつ半体の文脈に、どのように体系的に適応可能か？
• RQ2 冪 Eidempotent 空間上の $a$-線形汎関数の標準的表現とは何か？また、上界作用とどのように関係するか？
• RQ3 ハーン＝バナッハの定理および閉グラフ定理は、どの程度冪 Eidempotent 機能解析において類似定理をもつのか？
• RQ4 冪 Eidempotent 半体および半モジュールの代数的構造は、最適化、凸解析、順序付きベクトル空間とどのように関係するか？
• RQ5 脱量子化は、古典的解析と冪 Eidempotent 数学を結ぶ役割を果たすか？

主な発見

• 任意の非ゼロ $a$-線形汎関数が、凸関数空間 $\operatorname{Conv}(X,\mathbb{R})$ 上で、ある凹関数 $\psi$ を用いて $f(\varphi) = \sup_x \{ \varphi(x) + \psi(x) \}$ と表現可能であることを証明した。これは積分の冪 Eidempotent 類似物である。
• 冪 Eidempotent 半モジュールに対して、ハーン＝バナッハ型の定理を確立し、有限組み合わせの下で線形拡張の存在を保証した。
• 閉グラフ定理およびバナッハ＝シュタインハウスの定理を、冪 Eidempotent の文脈に一般化した。証明は、$\oplus$-位相における順序論的完備性および連続性に依拠する。
• スケール的スカラー積および双対性理論を発展させ、冪 Eidempotent 半モジュールにおける双対空間およびリフレクシビティの概念を可能にした。
• 半体 $\mathbb{R}_{\max} = \mathbb{R} \cup \{-\infty\}$ が、$\oplus = \max$、$\odot = +$ として完備かつ冪 Eidempotent 半体であることを確立し、理論の基礎的構造を提供した。
• この枠組みにより、ヴォロビエフ、コルブート、ジンマークマン、およびコーエン＝ゴーボー＝クァドラの先行研究（特に最適化およびグラフアルゴリズムの文脈で）が統合・拡張された。