[論文レビュー] On characterization of locally $L^0$-convex topologies induced by a family of $L^0$-seminorms

José Miguel Zapata|arXiv (Cornell University)|Apr 1, 2014

Advanced Banach Space Theory参考文献 4被引用数 9

ひとこと要約

本稿は、ゲージ関数を用いて $L^0$-加群上の局所 $L^0$-凸位相の特徴づけを提供し、このような位相が $L^0$-セミノルムの族によって誘導されるための必要十分条件が、ゼロの近傍基が可算連結に閉じていることであることを証明している。さらに、その位相がいかなる $L^0$-セミノルムの族によっても誘導されない局所 $L^0$-凸加群の反例を構成し、条件付き凸解析分野における基礎的欠落を解消している。

ABSTRACT

The purpose of this paper is to provide a characterization of the topological $L^0$-modules whose topology is induced by a family of $L^0$-seminorms using the gauge function for $L^0$-modules. Taking advantage of these ideas we will give a counterexample of a locally $L^0$-convex module whose topology is not induced by a family of $L^0$-seminorms.

研究の動機と目的

• 局所 $L^0$-凸加群の理論における基礎的欠落を解消すること。ここでは、過去の主張が、すべての局所 $L^0$-凸位相が $L^0$-セミノルムから生じると主張していたが、完全な根拠が与えられていなかった。
• 局所 $L^0$-凸位相が $L^0$-セミノルムの族によって誘導されるための正確な条件を明確化すること。
• 可算連結の閉包を必要条件として含む、より制限的な局所 $L^0$-凸加群の定義を提唱すること。
• 任意の $L^0$-セミノルムの族によって誘導されない局所 $L^0$-凸加群の具体的な反例を構成すること。
• 近傍基が可算連結に閉じていることと、その基がゲージ関数によって完全に位相を決定することの必要十分条件が一致することを確立すること。

提案手法

• 本稿は、$L^0$-加群の位相を特徴づけるために、ゲージ関数 $p_K(X) := \text{ess.}\inf\{Y \in L^+\!^0 : X \in YK\}$ を用いる。
• 可算連結に閉じた近傍基 $\mathcal{U}$ が存在するとき、かつそのときに限り、$\mathcal{U}$ が $L^0$-セミノルムによって局所 $L^0$-凸位相を誘導することを証明する。
• 反例の構成には、無限個の部分集合からなる分割 $\{A_n\}_{n \in \mathbb{N}}$ を持つ確率空間を用い、各 $U_\varepsilon$ は有限個の原子を除く領域で有界な要素からなる近傍基を定義する。
• 各 $U_\varepsilon$ が $L^0$-凸、$L^0$-吸収的、$L^0$-斉次であるが、可算連結に閉じていないことを示す。具体的には、$\varepsilon + 1 = \sum_n (\varepsilon + 1)\mathbf{1}_{A_n}$ であり、各項は $U_\varepsilon$ に属するが、和は属さない。
• 非誘導性の証明には背理法を用いる。$p_{U_\varepsilon}(X) < 1$ ならば $X \in U_\varepsilon$ であると仮定するが、$p_{U_1}(1) = 0$ であることが示され、$\{X : p_{U_1}(X) < 1\} \not\subseteq U_1$ となる。これはセミノルム誘導位相の必要条件を満たさないことを意味する。
• 本稿は、局所 $L^0$-凸加群の定義を再考し、近傍基が可算連結に閉じていることを必須条件として含める。これにより、セミノルム誘導位相と完全に一致する。

実験結果

リサーチクエスチョン

• RQ1 局所 $L^0$-凸位相が $L^0$-セミノルムの族によって誘導されるための条件は何か？
• RQ2 ゲージ関数の構成は、このような位相を完全に特徴づけるのに十分か？近傍基が満たすべき構造的性質は何か？
• RQ3 任意の $L^0$-セミノルムの族によって誘導されない局所 $L^0$-凸加群が存在しうるか？これにより、文献における過去の主張が覆されるか？
• RQ4 可算連結の閉包は、$L^0$-セミノルム誘導位相と局所 $L^0$-凸位相の同値性において果たす役割は何か？
• RQ5 標準的なゲージ関数が特定の状況で位相を生成できないのはなぜか？その正確な障害は何か？

主な発見

• 局所 $L^0$-凸位相が $L^0$-セミノルムの族によって誘導されるための必要十分条件は、ゼロの近傍基が可算連結に閉じていることである。
• 本稿は反例を構成した：$L^0$ に、$U_\varepsilon = \{Y \in L^0 : \exists \text{ 有限集合 } I \subset \mathbb{N} \text{ が存在し、すべての } i \notin I \text{ に対して } |Y\mathbf{1}_{A_i}| \leq \varepsilon \text{ が成り立つ}\}$ で生成される位相を備えた $L^0$ は、局所 $L^0$-凸であるが、セミノルムによって誘導されない。
• $p_{U_1}(1) = 0$ であることが示され、$\{X : p_{U_1}(X) < 1\} \not\subseteq U_1$ となる。これは、ゲージ関数が位相を生成するための必要条件を満たさないことを示している。
• 反例により、$\varepsilon + 1 \notin U_\varepsilon$ であることが示されたが、各 $A_n$ 上での制限 $\varepsilon + 1$ は $U_\varepsilon$ に属する。これは $U_\varepsilon$ が可算連結に閉じていないことを証明する。
• ゲージ関数 $p_K$ が $L^0$-セミノルムであるための必要十分条件は、$K$ が $L^0$-凸、$L^0$-吸収的、$L^0$-斉次、かつ可算連結に閉じていることである。
• 著者らは、局所 $L^0$-凸加群の定義を再定義し、近傍基の可算連結閉包を必須条件として含める。これにより、このような加群は、まさに $L^0$-セミノルムの族によって誘導される位相を持つものと完全に一致する。