[论文解读] A counterexample shows that not every locally $L^0$--convex topology is necessarily induced by a family of $L^0$--seminorms

Mingzhi Wu, Tiexin Guo|arXiv (Cornell University)|Jan 19, 2015

Risk and Portfolio Optimization参考文献 19被引用 11

一句话总结

本文提出一个反例，证明在模上并非每个局部 $L^0$-凸拓扑都由一族 $L^0$-半范数诱导，从而反驳了先前在随机凸分析研究中的一项基础性主张。本文建立了此类拓扑由 $L^0$-半范数诱导的充要条件，并主张随机局部凸模相较于局部 $L^0$-凸模，为 $L^0$-凸条件风险度量提供了更优的框架。

ABSTRACT

This paper constructs a counterexample showing that not every locally $L^0$--convex topology is necessarily induced by a family of $L^0$--seminorms. Random convex analysis is the analytic foundation for $L^0$--convex conditional risk measures, this counterexample, however, shows that a locally $L^0$--convex module is not a proper framework for random convex analysis. Further, this paper also gives a necessary and sufficient condition for a locally $L^0$--convex topology to be induced by a family of $L^0$--seminorms. Finally, we give some comments showing that based on random locally convex modules, we can establish a perfect random convex analysis to meet the needs of the study of $L^0$--convex conditional risk measures.

研究动机与目标

• 挑战 Filipović, Kupper 和 Vogelpoth (2013) 提出的基础性主张，即每个局部 $L^0$-凸拓扑均由一族 $L^0$-半范数诱导。
• 构造一个具体反例，其中某个局部 $L^0$-凸拓扑无法由任何一族 $L^0$-半范数生成。
• 建立局部 $L^0$-凸拓扑由一族 $L^0$-半范数诱导的充要条件。
• 主张随机局部凸模相较于局部 $L^0$-凸模，是发展随机凸分析的更合适框架。

提出的方法

• 构造一个特定的局部 $L^0$-凸模及其上的拓扑，该拓扑满足局部 $L^0$-凸性的公理，但无法由任何一族 $L^0$-半范数生成。
• 将相对可数连接性性质作为关键技术工具，分析反例中邻域结构的特性。
• 在随机局部凸模上定义并分析 $(\varepsilon,\lambda)$-拓扑，以与局部 $L^0$-凸拓扑形成对比。
• 建立一个刻画定理：局部 $L^0$-凸拓扑由一族 $L^0$-半范数诱导，当且仅当该拓扑具有相对可数连接性性质。
• 比较局部 $L^0$-凸拓扑与 $(\varepsilon,\lambda)$-拓扑的性质，突出后者在概率推理方面更强的兼容性。
• 利用 Guo 等人关于随机度量理论的既有成果，支持采用随机局部凸模作为首选理论框架的主张。

实验结果

研究问题

• RQ1 在 $L^0$-模上，每个局部 $L^0$-凸拓扑是否必然由一族 $L^0$-半范数诱导？
• RQ2 能否构造一个反例，使得某个局部 $L^0$-凸拓扑无法由任何一族 $L^0$-半范数生成？
• RQ3 局部 $L^0$-凸拓扑由一族 $L^0$-半范数诱导的精确条件是什么？
• RQ4 为何局部 $L^0$-凸模框架在随机凸分析中（特别是在 $L^0$-凸条件风险度量的语境下）是不足的？
• RQ5 随机局部凸模上的 $(\varepsilon,\lambda)$-拓扑是否是发展稳健的随机凸分析理论的更合适替代方案？

主要发现

• 构造了一个反例，表明并非每个局部 $L^0$-凸拓扑都由一族 $L^0$-半范数诱导，从而否定了 Filipović, Kupper 和 Vogelpoth (2013) 的定理 2.4。
• 本文证明：局部 $L^0$-凸拓扑由一族 $L^0$-半范数诱导，当且仅当该拓扑具有相对可数连接性性质。
• 由于半范数诱导的拓扑性质不成立，局部 $L^0$-凸模框架被发现不足以支撑随机凸分析。
• 在随机局部凸模上，$(\varepsilon,\lambda)$-拓扑被证明比局部 $L^0$-凸拓扑更自然，且与概率论更兼容。
• 本文结论认为，随机局部凸模为构建完整的 $L^0$-凸条件风险度量理论提供了更优且更稳健的框架。
• 后来在 Zapata (2014) 中独立发现了同一条件的等价刻画，证实了该结果的有效性与独立性。