[论文解读] Nuclear semimodules and kernel theorems in idempotent analysis. An algebraic approach

Grigori Litvinov, Grigori Shpiz|ArXiv.org|Jun 4, 2002

Matrix Theory and Algorithms参考文献 2被引用 7

一句话总结

本文建立了线性算子在幂等函数半模上通过Maslov型积分表示的代数条件。关键贡献在于证明：在 $b$-完备半模 $V$ 中，核定理成立当且仅当 $V$ 上所有 $b$-线性泛函均为积分型，且 $V$ 是 $b$-核型的——等价地，当且仅当 $V$ 上的恒等算子是 $b$-核型的。

ABSTRACT

In this note we describe conditions under which, in idempotent functional analysis, linear operators have integral representations in terms of idempotent integral of V. P. Maslov. We define the notion of nuclear idempotent semimodule and describe idempotent analogs of the classical kernel theorems of L. Schwartz and A. Grothendieck. Our results provide a general description of a class of subsemimodules of the semimodule of all bounded functions with values in the Max-Plus algebra where some kind of kernel theorem holds, thus addressing an open problem posed by J. Gunawardena. Previously, some theorems on integral representations were obtained for a number of specific semimodules consisting of continuous or bounded functions taking values mostly in the Max-Plus algebra. In this work, a rather general case of semimodules over boundedly complete idempotent semirings is considered.

研究动机与目标

• 通过Maslov的幂等积分表征线性算子在幂等函数半模上是否具有积分表示的条件。
• 定义并研究 $b$-核型半模的概念，作为泛分析中核空间的幂等类比。
• 建立在幂等半环上 $b$-完备函数半模中核定理成立的充分必要条件。
• 利用代数与序理论方法，将Schwartz与Grothendieck的经典核定理推广至幂等分析的框架。

提出的方法

• 引入 $b$-核型算子的概念，即有界集合中一维 $b$-线性映射的和，推广经典分析中的核算子。
• 将 $b$-完备函数半模（IFS）定义为对上确界与数乘封闭的上半格，其中 $b$-完备性确保有界上确界收敛。
• 使用核表示 $Af = igoplus_{x o X} f(x) riangledown k(x)$，其中 $k$ 为核函数，并要求对所有 $f o V$，集合 $igcup_{x o X} igrace f(x) riangledown k(x) igrace$ 在 $W$ 中有界。
• 证明：若 $V$ 上所有 $b$-线性泛函均为积分型，则 $b$-线性算子 $A: V o W$ 具有积分表示当且仅当其为 $b$-核型。
• 引入 $ riangle(V)$-函数空间 $ riangle$-泛函，并构造自然嵌入 $i_ riangle: V o K( riangle(V))$，以将 $V$ 表示为 IFS。
• 证明：核定理在 $V$ 中成立当且仅当 $V$ 上的恒等映射是 $b$-核型的，或等价地，当 $i_ riangle$ 是嵌入且 $i_ riangle(V)$ 上的恒等映射是积分型。

实验结果

研究问题

• RQ1 在 $b$-完备函数半模上，$b$-线性算子在何种条件下可通过Maslov的幂等积分表示？
• RQ2 泛分析中核性的幂等类比是什么？它与算子的积分表示有何关系？
• RQ3 在 $b$-完备幂等半环 $K$ 上的 $b$-完备函数半模 $V$ 中，核定理在何时成立？
• RQ4 半模的 $b$-核型性与其恒等算子的积分表示有何关联？
• RQ5 每个 $b$-核型半模是否均可同构嵌入到一个核定理成立的函数半模中？

主要发现

• 若 $V$ 上所有 $b$-线性泛函均为积分型，则 $b$-完备半模间 $b$-线性算子 $A: V o W$ 具有积分表示当且仅当其为 $b$-核型。
• $b$-核型半模被表征为：所有映射到任意 $b$-完备半模的 $b$-线性映射均为 $b$-核型的 $b$-完备半模。
• $b$-完备半模 $V$ 具有 $b$-逼近性质当且仅当 $V$ 上的恒等算子是 $b$-核型的。
• 在 $b$-子半模 $V o K(X)$ 中，核定理成立当且仅当 $V$ 是 $b$-核型且 $V$ 上所有 $b$-线性泛函均为积分型。
• 核定理在 $V$ 中成立当且仅当 $V$ 上的恒等算子是积分型的，这等价于自然嵌入 $i_ riangle: V o K( riangle(V))$ 的像上恒等映射是积分型的。
• 每个 $b$-核型半模 $V$ 均通过通用嵌入 $i_ riangle$ 同构于一个核定理成立的函数半模 $i_ riangle(V)$。