[論文レビュー] On compactness in $L^0$-modules

Asgar Jamneshan, José Miguel Zapata|arXiv (Cornell University)|Nov 27, 2017

Advanced Topology and Set Theory参考文献 31被引用数 4

ひとこと要約

この論文は、$L^0$-加群における古典的コンパクト性が反コンパクト性のため失敗するため、代替として安定コンパクト性を導入する。安定コンパクト性の同値な特徴づけを確立し、可測選択理論と関連づけ、$L^0$-値連続関数の安定等連続かつ有界な族に対するモジュール固有のアゼラ・アス科の定理を証明する。

ABSTRACT

Several results in functional analysis are extended to the setting of $L^0$-modules, where $L^0$ denotes the ring of all measurable functions $x\colon Ω o \mathbb{R}$. The focus is on results involving compactness. To this end, a notion of stable compactness is introduced, and it is argued that the conventional notion of compactness does not allow to establish a functional analytic discourse in $L^0$-modules. Several characterizations of stable compactness are discussed, and its importance in applications is highlighted.

研究の動機と目的

• $L^0$-加群における古典的コンパクト性の失敗（反コンパクト性のため）を補うために、関数解析的議論に適した代替概念を導入すること。
• $L^0$-加群における古典的コンパクト性の代替として、安定コンパクト性を有効な概念として確立すること。
• 安定コンパクト性を可測選択理論および確率的集合論と結びつけ、確率的解析におけるギャップを埋めること。
• 古典的関数解析的結果（例えばアゼラ・アス科の定理）を、安定コンパクト性を用いて$L^0$-加群の文脈に拡張すること。
• 条件付き集合論と$L^0$-加群の間の対応関係を形式化し、条件付き構造が正確に安定$L^0$-加群に対応することを示すこと。

提案手法

• 可測な可算分割を用いて安定コンパクト性を定義：集合が任意の開被覆に対して、その各原子上で有限被覆が得られるような可測な可算分割を持つとき、その集合は安定コンパクトであると定義する。
• $L^0$-加群における安定位相を、安定部分集合の安定基底を備える位相として定義し、貼り合わせ操作と整合性を持つようにする。
• 条件付き位相的基底と古典的安定位相の間の一対一対応を確立し、条件付き結果を$L^0$-加群に翻訳可能にする。
• $L^0$-ノルム $\|x\| = (\sum_{i=1}^d x_i^2)^{1/2}$ および $L^0$-セミノルムを用いて、局所$L^0$-凸位相を定義する。
• 安定等連続性および安定有界性の概念を用いて、アゼラ・アス科の定理のモジュール版を導出する。
• 可測選択および条件付き解析を用いて、安定コンパクト性を確率的および確率的集合論的枠組みと結びつける。

実験結果

リサーチクエスチョン

• RQ1 反コンパクト性を示す$L^0$-加群において、古典的コンパクト性の概念を意味的に拡張することは可能か？
• RQ2 $L^0$-加群における古典的コンパクト性の適切な代替概念は何か？ それは関数解析的議論を支えるのに適しているか？
• RQ3 安定コンパクト性は可測選択理論および確率的集合論とどのように関係しているか？
• RQ4 一般の$L^0$-加群における安定コンパクト性の同値な特徴づけは何か？
• RQ5 安定コンパクト性を用いて、アゼラ・アス科の定理のような古典的定理を、$L^0$-加群へどの程度まで一般化できるか？

主な発見

• $(L^0)^d$ は反コンパクトである。つまり、すべてのコンパクト集合は有限であるため、ヘイン・ボレルの定理のような古典的コンパクト性に基づく定理は成立しない。
• 安定コンパクト性は、$L^0$-加群における強固な関数解析的枠組みを可能にする代替概念として導入される。
• 安定コンパクト性は、その集合が各分割要素上で有限被覆が得られるような可測な可算分割が存在することと同値である。
• モジュール版のアゼラ・アス科の定理が証明された：$M \subset \mathscr{C}(K, L^0)$ が安定コンパクトであることは、$d_\infty$ に関して点wise安定有界かつ安定等連続であることと同値である。
• 条件付き集合論と$L^0$-加群の間の対応関係が、圏同値であることが示された。これにより、条件付き構造が$L^0$-加群の形式的記法として正当化される。
• この論文は、安定コンパクト性と可測選択理論との間で、$L^0$-加群理論と確率的解析との間の基礎的ギャップを埋める独自の関係を確立した。