[論文レビュー] Randomized versions of Mazur lemma and Krein-Smulian theorem

José Miguel Zapata|arXiv (Cornell University)|Nov 23, 2014

Point processes and geometric inequalities参考文献 25被引用数 3

ひとこと要約

本稿は、局所的 $L^0$-凸モジュールの枠組みにおいて、弱い安定性条件の下で、Mazurの補題およびKreĭn–Smulianの定理の確率的拡張を確立する。$E^*$ の $L^0$-凸的かつ相対的に安定な部分集合 $K$ の弱-* 閉性が、双対空間内での各 $\varepsilon$-球との交差の弱-* 閉性と同値であることを証明し、金融数学に関連する確率的距離構造への古典的関数解析の結果の拡張を達成する。

ABSTRACT

We extend to the framework of locally $L^0$-convex modules some results from classical convex analysis. Namely, randomized versions of Mazur lemma and Krein-Smulian theorem under mild stability properties are provided.

研究の動機と目的

• 古典的凸解析の結果（Mazurの補題およびKreĭn–Smulianの定理）を、局所的 $L^0$-凸モジュールの設定に拡張すること。
• $L^0$-モジュールにおいて、可算近傍基が存在せず、$L^0$ 上に全順序がないため、標準的な関数解析的議論が失敗することへの対処。
• 相対的安定性や連結の一意性といった最小限の安定性仮定の下で、これらの結果を確立すること。
• 動的リスク測度および条件付き解析のための金融数学的基盤を提供すること。
• 弱-* 閉性が、位相が安定でない場合であっても、$\varepsilon$-球との交差による特徴づけが可能であることを示すこと。

提案手法

• $L^0$-モジュールの構造を、確率空間 $(\Omega,\mathcal{F},\mathbb{P})$ 上で用いる。ここでのスカラーは確率変数である。
• $L^0$-セミノルムと基底 $\{\eta + B_\varepsilon \mid \eta \in L^0, \varepsilon \in L^0_{++}\}$ によって定義される局所的 $L^0$-凸位相を用いる。
• 部分集合の相対的安定性（可算連結に関して閉じていること）の概念を導入する。
• 双対空間内での $\varepsilon$-球との交差による弱-* 閉性の特徴づけに、双対定理および極集合の性質を適用する。
• $L^0$-ノルム付きモジュールにおけるネットと極限の議論を用いて、収束性および閉性の性質を証明する。
• $L^0$-ノルム付きモジュール $E$ の完備性および連結の一意性に依存して、適切に定義された極限を保証する。

実験結果

リサーチクエスチョン

• RQ1 相対的安定性の下で、$L^0$-ノルム付きモジュールにおけるMazurの補題は拡張可能か？
• RQ2 $E^*$ の $L^0$-凸的かつ相対的に安定な部分集合に対して、Kreĭn–Smulianの定理は成立するか？
• RQ3 部分集合 $K \subset E^*$ の弱-* 閉性は、すべての $\varepsilon \in L^0_{++}$ に対して $K \cap \{z \in E^* \mid \|z\|^* \leq \varepsilon\}$ が弱-* 閉であることに同値か？
• RQ4 位相が安定族でない場合でも、これらの結果が得られるか？ これにより、先行研究の仮定を緩和する。
• RQ5 これらの結果は、動的リスク測度および条件付き期待値を含む金融モデルにどの程度適用可能か？

主な発見

• 相対的安定性が保持される部分集合に対して、$L^0$-ノルム付きモジュールにおけるMazurの補題の確率的拡張が確立された。
• Kreĭn–Smulianの定理は、$E^*$ の $L^0$-凸的かつ相対的に安定な部分集合 $K$ に拡張され、$K$ が弱-* 閉であるための必要十分条件が、すべての $\varepsilon \in L^0_{++}$ に対して $K \cap \{z \in E^* \mid \|z\|^* \leq \varepsilon\}$ が弱-* 閉であることであることが示された。
• 証明は、極集合の単調減少ネットの収束と双対定理に依存しており、弱位相が安定であると仮定しないでも成立する。
• 先行研究より弱い安定性条件（連結の存在や一意性を要しない相対的安定性）の下でも、結果が成立する。
• $L^0$-モジュールが時間経過に伴う金融ポジションを表すモデルに適用可能であり、動的リスク評価を可能にする。
• 本稿は、使用される弱位相が一般に安定ではないことを強調しており、[7] や類似の先行研究とは異なり、より構造の薄いモデルへの適用範囲を拡大している。