[Paper Review] Nuclear semimodules and kernel theorems in idempotent analysis. An algebraic approach

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

Matrix Theory and Algorithms2 references7 citations

TL;DR

This paper establishes algebraic conditions under which linear operators on idempotent functional semimodules admit integral representations via Maslov-type integrals. The key contribution is proving that a kernel theorem holds in a $b$-complete semimodule $V$ if and only if all $b$-linear functionals on $V$ are integral and $V$ is $b$-nuclear—equivalently, if the identity operator on $V$ is $b$-nuclear.

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.

Motivation & Objective

• To characterize when linear operators on idempotent functional semimodules admit integral representations using Maslov's idempotent integral.
• To define and study the concept of $b$-nuclear semimodules as an idempotent analog of nuclear spaces in functional analysis.
• To establish sufficient and necessary conditions for the validity of kernel theorems in $b$-complete functional semimodules over idempotent semirings.
• To generalize classical kernel theorems of Schwartz and Grothendieck to the setting of idempotent analysis using algebraic and order-theoretic methods.

Proposed method

• Introduces the notion of a $b$-nuclear operator as a sum of a bounded set of one-dimensional $b$-linear maps, generalizing nuclear operators in classical analysis.
• Defines $b$-complete functional semimodules (IFS) as upper semilattices closed under scalar multiplication and suprema, with $b$-completeness ensuring convergence of bounded suprema.
• Uses the kernel representation $Af = igoplus_{x o X} f(x) riangledown k(x)$, where $k$ is the kernel, and requires the set $igcup_{x o X} igrace f(x) riangledown k(x) igrace$ to be bounded in $W$ for all $f o V$.
• Establishes that a $b$-linear operator $A: V o W$ has an integral representation if and only if it is $b$-nuclear, provided all $b$-linear functionals on $V$ are integral.
• Introduces the $ riangle(V)$-functional space of $ riangle$-functionals and constructs a natural embedding $i_ riangle: V o K( riangle(V))$ to represent $V$ as an IFS.
• Proves that the kernel theorem holds in $V$ if and only if the identity map on $V$ is $b$-nuclear, or equivalently, if $i_ riangle$ is an embedding and the identity on $i_ riangle(V)$ is integral.

Experimental results

Research questions

• RQ1 Under what conditions does a $b$-linear operator on a $b$-complete functional semimodule admit an integral representation via Maslov's idempotent integral?
• RQ2 What is the idempotent analog of nuclearity in functional analysis, and how does it relate to integral representations of operators?
• RQ3 When does the kernel theorem hold in a $b$-complete functional semimodule $V$ over a $b$-complete idempotent semiring $K$?
• RQ4 How is the $b$-nuclearity of a semimodule related to the integral representation of its identity operator?
• RQ5 Can every $b$-nuclear semimodule be isomorphically embedded into a functional semimodule where the kernel theorem holds?

Key findings

• A $b$-linear operator $A: V o W$ between $b$-complete semimodules has an integral representation if and only if it is $b$-nuclear, provided all $b$-linear functionals on $V$ are integral.
• $b$-nuclear semimodules are characterized as those $b$-complete semimodules for which every $b$-linear map into any $b$-complete semimodule is $b$-nuclear.
• A $b$-complete semimodule $V$ has the $b$-approximation property if and only if the identity operator on $V$ is $b$-nuclear.
• The kernel theorem holds in a $b$-subsemimodule $V o K(X)$ if and only if $V$ is $b$-nuclear and all $b$-linear functionals on $V$ are integral.
• The kernel theorem holds in $V$ if and only if the identity operator on $V$ is integral, which is equivalent to the identity on the image of the natural embedding $i_ riangle: V o K( riangle(V))$ being integral.
• Every $b$-nuclear semimodule $V$ is isomorphic to a functional semimodule $i_ riangle(V)$ in which the kernel theorem holds, via the universal embedding $i_ riangle$.