[論文レビュー] Linear functionals on idempotent spaces: an algebraic approach

Grigori Litvinov, V. P. Maslov+1 more|ArXiv.org|Dec 29, 2000

Functional Equations Stability Results参考文献 2被引用数 15

ひとこと要約

本稿は、idempotent空間上の線形汎関数の一般形を、$a$-線形および$b$-完備構造を用いて確立する代数的枠組みを構築する。主な貢献は、Riesz–Fischer定理のidempotent版であり、半体上の$b$-半代数上の非ゼロの$a$-線形汎関数が、標準的内積から生じることを示しており、代数的完備化と双対性を用いて、古典的結果をidempotent設定に一般化する。

ABSTRACT

In this paper, we present an algebraic approach to idempotent functional analysis, which is an abstract version of idempotent analysis. The basic concepts and results are expressed in purely algebraic terms. We consider idempotent versions of certain basic results of linear functional analysis, including the theorem on the general form of a linear functional and the Hahn-Banach and Riesz-Fischer theorems.

研究の動機と目的

• 解析的または位相的道具を用いずに、idempotent関数解析の代数的基盤を構築すること。
• 半体上の$b$-完備半体上でのidempotent半モジュール上の線形汎関数の一般形を特徴づけること。
• Hahn–BanachおよびRiesz–Fischerの古典的定理のidempotent版を確立すること。
• $b$-半代数における標準的内積を用いた$a$-線形汎関数とその双対性を定義し、研究すること。
• 半群および半環の正規および$b$-完備化を用いて、結果を不完全な構造へ拡張すること。

提案手法

• 順序付き基本構造として、$x \oplus x = x$ および $\oplus X = \sup X$ を満たす$a$-完備および$b$-完備idempotent半群（IS）を用いる。
• すべての部分集合または有界部分集合上で上界を保存する性質により、$a$-および$b$-準同型を定義する。
• 双対構成 $x^*(y) = \wedge\{k \in K \mid y \preceq k \odot x\}$ を用いて、$x \in \widehat{V}$ に対して$a$-線形汎関数を定義する。
• 正常完備化 $S \to \widehat{S}$ および $b$-完備化 $S \to \widehat{S}_b$ を適用して、不完全な構造への結果の拡張を行う。
• $b$-半代数上の半体上での標準的内積 $\langle x, y \rangle = \mathbf{1}^*(x \odot y)$ を定義する。
• $a$-線形性、完備性、一般化された分配法則の相互作用を用いて、双対性および表現定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 $b$-完備半体上のidempotent半モジュール上での線形汎関数の一般代数的形は何か？
• RQ2 idempotent設定においてHahn–Banach定理をどのように一般化できるか。また、$a$-線形汎関数の拡張を保証する条件は何か？
• RQ3 idempotent解析においてRiesz–Fischer定理を回復できるか。もしそうなら、どのような汎関数の表現を通じてか？
• RQ4 $a$-および$b$-完備化は、不完全な構造から完全なidempotent空間への結果の拡張において、どのような役割を果たすか？
• RQ5 $b$-半代数における標準的内積は、$a$-線形汎関数および双対性とどのように関係するか？

主な発見

• 任意の非ゼロの$a$-線形汎関数 $f$ は、$b$-空間 $V$ 上の$K$-値で、$K$ は$b$-完備半体であるとき、$f = x^*$ を満たす唯一の $x \in V$ が存在し、$x^*(y) = \wedge\{k \in K \mid y \preceq k \odot x\}$ である。
• $x^*$ は任意の $x \in \widehat{V}$ に対して$a$-線形であり、$K \neq \{\mathbf{0}, \mathbf{1}\}$ ならば $x = \oplus\{y \in V \mid f(y) \preceq \mathbf{1}\}$ が成り立つ。
• $V$ の$b$-部分空間 $W$ 上の任意の$a$-線形汎関数は、$V$ 上の$a$-線形汎関数へ拡張可能であり、idempotent版のHahn–Banach定理を確立する。
• $b$-半代数 $A$ が半体であるとき、任意の$a$-線形汎関数 $f$ に対して、ある $x \neq \mathbf{0}$ が存在し、$f(y) = \langle y, x \rangle = \mathbf{1}^*(y \odot x^{-1})$ を満たす。これはidempotent版のRiesz–Fischer定理を証明する。
• 標準的内積 $\langle \varphi_1, \varphi_2 \rangle = \sup_{x \in X} (\varphi_1(x) + \varphi_2(x))$ は、$\widehat{\mathcal{B}}(X)$ 上の$a$-線形汎関数を表現し、idempotent積分と関連付ける。
• すべての結果は、$a$-および$b$-完備化を用いて不完全な構造へ拡張可能であり、双対性および線形性の性質を保つ。