[论文解读] 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

一句话总结

本文构建了幂等泛函分析的代数框架，通过 $a$-线性和 $b$-完备结构，确立了幂等空间上线性泛函的一般形式。关键贡献是建立了 Riesz–Fischer 定理的幂等类比，表明在半域上的 $b$-半代数上，每个非零 $a$-线性泛函均可由一个典范内积唯一表示，通过代数完备化与对偶性，将经典结果推广至幂等设定。

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.

研究动机与目标

• 构建幂等泛函分析的代数基础，避免使用分析或拓扑工具。
• 刻画在 $b$-完备半域上的幂等半模上线性泛函的一般形式。
• 在幂等设定下建立经典定理（Hahn–Banach 与 Riesz–Fischer）的类比。
• 定义并研究 $b$-半代数中通过典范内积实现的 $a$-线性泛函及其对偶性。
• 通过半群与半环的正规化与 $b$-完备化，将结果推广至不完备结构。

提出的方法

• 以 $a$-完备与 $b$-完备的幂等半群（IS）作为基础有序结构，满足 $x \oplus x = x$ 且 $\oplus X = \sup X$。
• 通过分别保持所有或有界子集上上确界的性质，定义 $a$-与 $b$-同态。
• 通过对偶构造 $x^*(y) = \wedge\{k \in K \mid y \preceq k \odot x\}$ 定义 $a$-线性泛函，其中 $x \in \widehat{V}$。
• 应用正规完备化 $S \to \widehat{S}$ 与 $b$-完备化 $S \to \widehat{S}_b$，将结果扩展至不完备结构。
• 在半域上的 $b$-半代数中定义典范内积 $\langle x, y \rangle = \mathbf{1}^*(x \odot y)$。
• 通过 $a$-线性、完备性与广义分配律之间的相互作用，建立对偶性与表示定理。

实验结果

研究问题

• RQ1 在 $b$-完备半域上的幂等半模上，线性泛函的一般代数形式是什么？
• RQ2 Hahn–Banach 定理在幂等设定下如何推广？何种条件可保证 $a$-线性泛函的延拓？
• RQ3 Riesz–Fischer 定理是否可在幂等分析中恢复？若可，通过何种泛函表示形式？
• RQ4 $a$-与 $b$-完备化在将结果从不完备结构推广至完备幂等空间中起何作用？
• RQ5 在 $b$-半代数中，典范内积如何与 $a$-线性泛函及对偶性相关联？

主要发现

• 在 $b$-完备半域 $K$ 上的 $b$-空间 $V$ 上，每个非零 $a$-线性泛函均唯一表示为 $f = x^*$，其中 $x^*(y) = \wedge\{k \in K \mid y \preceq k \odot x\}$，$x \in V$。
• 对任意 $x \in \widehat{V}$，泛函 $x^*$ 均为 $a$-线性，且当 $K \neq \{\mathbf{0}, \mathbf{1}\}$ 时，有 $x = \oplus\{y \in V \mid f(y) \preceq \mathbf{1}\}$。
• 在 $V$ 的 $b$-子空间 $W$ 上的任意 $a$-线性泛函均可延拓为 $V$ 上的 $a$-线性泛函，从而确立了幂等 Hahn–Banach 定理。
• 在 $b$-半代数 $A$（且 $A$ 为半域）上，任意 $a$-线性泛函 $f$ 满足 $f(y) = \langle y, x \rangle = \mathbf{1}^*(y \odot x^{-1})$，其中 $x \neq \mathbf{0}$，从而证明了幂等 Riesz–Fischer 定理。
• 典范内积 $\langle \varphi_1, \varphi_2 \rangle = \sup_{x \in X} (\varphi_1(x) + \varphi_2(x))$ 表示 $\widehat{\mathcal{B}}(X)$ 上的 $a$-线性泛函，与幂等积分相关联。
• 所有结果均可通过 $a$-与 $b$-完备化推广至不完备结构，且保持对偶性与线性性质。