[논문 리뷰] Nuclear semimodules and kernel theorems in idempotent analysis. An algebraic approach

Grigori Litvinov, Grigori Shpiz|ArXiv.org|2002. 06. 04.

Matrix Theory and Algorithms참고 문헌 2인용 수 7

한 줄 요약

이 논문은 아이디포텐트 함수형 세미모듈 위의 선형 연산자가 마스лов 유형 적분을 통해 적분 표현을 가질 수 있는 대수적 조건을 확립한다. 주요 기여는 $b$-완비 세미모듈 $V$에서 커널 정리가 성립하는 것과 동시에 모든 $b$-선형 함수형 $V$가 적분 가능하고 $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.

연구 동기 및 목표

• 마스톨의 아이디포텐트 적분을 사용하여 아이디포텐트 함수형 세미모듈 위의 선형 연산자가 언제 적분 표현을 가질 수 있는지 특성화하는 것.
• $b$-핵심 세미모듈의 개념을 기능해석학의 핵심 공간에 대한 아이디포텐트 유사체로 정의하고 연구하는 것.
• 아이디포텐트 반체 위의 $b$-완비 기능 세미모듈에서 커널 정리의 성립을 위한 필요 및 충분 조건을 설정하는 것.
• 이론적 및 순서 이론적 방법을 사용하여 스와프 및 그로텐디크의 고전적 커널 정리를 아이디포텐트 해석의 맥락으로 일반화하는 것.

제안 방법

• 고전적 분석에서의 핵심 연산자들을 일반화하여, 유계 집합의 일차원 $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$ 내에서 유계여야 한다는 조건이 필요하다.
• 모든 $b$-선형 함수형이 $V$에서 적분 가능하다면, $b$-선형 연산자 $A: V o W$가 적분 표현을 가질 필요 및 충분 조건은 $A$가 $b$-핵심적이라는 것이다.
• $ riangle(V)$-기능 공간을 $ riangle$-기능으로 정의하고, 자연적 포함사상 $i_ riangle: V o K( riangle(V))$ 를 구성하여 $V$를 IFS로 표현한다.
• 커널 정리가 $V$에서 성립하는 것과 동시에 $V$ 위의 항등 사상이 $b$-핵심적일 때, 또는 $i_ riangle$가 포함사상이면서 $i_ riangle(V)$ 위의 항등 사상이 적분 가능할 때가 된다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $b$-완비 기능 세미모듈 위의 $b$-선형 연산자는 마스톨의 아이디포텐트 적분을 통해 적분 표현을 가질 수 있는가?
• RQ2 기능해석학에서 핵심성의 아이디포텐트 유사체는 무엇이며, 그것이 연산자의 적분 표현과 어떻게 관련되어 있는가?
• RQ3 $b$-완비 아이디포텐트 반체 $K$ 위의 $b$-완비 기능 세미모듈 $V$에서 커널 정리는 언제 성립하는가?
• RQ4 세미모듈의 $b$-핵심성은 그 항등 연산자의 적분 표현과 어떻게 관련되어 있는가?
• RQ5 모든 $b$-핵심 세미모듈은 커널 정리가 성립하는 기능 세미모듈에 등장하는 동형으로 포함될 수 있는가?

주요 결과

• $b$-완비 세미모듈 간의 $b$-선형 연산자 $A: V o W$가 적분 표현을 가질 필요 및 충분 조건은 $A$가 $b$-핵심적일 때이며, 이는 $V$ 위의 모든 $b$-선형 함수형이 적분 가능할 때 성립한다.
• $b$-핵심 세미모듈은 모든 $b$-선형 사상이 임의의 $b$-완비 세미모듈으로 가는 경우 $b$-핵심적임을 만족하는 $b$-완비 세미모듈로 특성화된다.
• $b$-완비 세미모듈 $V$가 $b$-근사성 조건을 만족하는 것은 항등 연산자가 $b$-핵심적일 때이다.
• $b$-부분세미모듈 $V o K(X)$에서 커널 정리가 성립하는 것은 $V$가 $b$-핵심적이고 $V$ 위의 모든 $b$-선형 함수형이 적분 가능할 때이다.
• 커널 정리가 $V$에서 성립하는 것은 항등 연산자가 적분 가능할 때이며, 이는 자연 포함사상 $i_ riangle: V o K( riangle(V))$ 의 이미지 위에서 항등 연산자가 적분 가능할 때와 동치이다.
• 모든 $b$-핵심 세미모듈 $V$는 유일한 포함사상 $i_ riangle$ 를 통해 커널 정리가 성립하는 기능 세미모듈 $i_ riangle(V)$ 와 동형임을 보장한다.