[论文解读] Points of continuity of quasiconvex functions on topological vector spaces

Patrick J. Rabier|arXiv (Cornell University)|Jun 25, 2012

Optimization and Variational Analysis参考文献 6被引用 3

一句话总结

本文在Baire拓扑向量空间上，为实值拟凸函数在剩余（稠密Gδ）子集上连续建立了必要且充分的拓扑条件。关键结果表明，当且仅当每个子水平集 $ F_\alpha = \{x : f(x) < \alpha\} $ 在其闭包具有空内部时为无处稠密时，不连续点集为第一范畴，该研究通过引入一种新颖的拓扑本质极值概念来分析连续性结构。

ABSTRACT

We give necessary and sufficient conditions for a real-valued quasiconvex function f on a Baire topological vector space X (in particular, Banach or Frechet space) to be continuous at the points of a residual subset of X. These conditions involve only simple topological properties of the lower level sets of f. A main ingredient consists in taking advantage of a remarkable property of quasiconvex functions relative to a topological variant of essential extrema on the open subsets of X. One application is that if f is quasiconvex and continuous at the points of a residual subset of X, then with a single possible exception, f^{-1}(a) is nowhere dense or has nonempty interior, as is the case for everywhere continuous functions. As a barely off-key complement, we also prove that every usc quasiconvex function is quasicontinuous in the (classical) sense of Kempisty since this interesting property does not seem to have been noticed before.

研究动机与目标

• 刻画Baire拓扑向量空间上实值拟凸函数的连续点集合。
• 识别确保函数在剩余子集上连续的子水平集的简单拓扑条件。
• 建立Crouzeix在有限维情形下的可微性结果的范畴论类比。
• 探讨拟凸性与拟连续性之间的关系，特别是对上半连续函数的情形。
• 证明在子水平集的温和拓扑条件下，此类函数的不连续点集总是第一范畴。

提出的方法

• 引入拓扑本质极值 $ \mathcal{T}\text{ess}\sup_U f $ 和 $ \mathcal{T}\text{ess}\inf_U f $ 的概念，通过第一范畴集定义，以分析开子集中的极值行为。
• 在拓扑向量空间背景下应用Baire范畴定理，分析子水平集 $ F_\alpha $ 和 $ F_\alpha' $ 的结构。
• 运用剩余集与第一范畴集的概念，刻画拟凸函数的连续点。
• 证明：当且仅当 $ \overset{\circ}{F_\alpha'} = \emptyset $ 时 $ F_\alpha $ 为无处稠密，拟凸函数在剩余集上连续，从而将子水平集的拓扑性质与连续性联系起来。
• 证明上半连续拟凸函数在Kempisty意义下是拟连续的，即对任意开集 $ \Omega \subset \mathbb{R} $，有 $ f^{-1}(\Omega) $ 的内部在 $ f^{-1}(\Omega) $ 中稠密。
• 利用 $ \mathcal{T}\text{ess}\inf_X f $ 在第一范畴集上修改下保持不变的性质，实现对极值行为的稳健分析。

实验结果

研究问题

• RQ1 在子水平集的何种拓扑条件下，Baire拓扑向量空间上的拟凸函数在剩余子集上连续？
• RQ2 子水平集 $ F_\alpha $ 和 $ F_\alpha' $ 的结构如何与不连续点集的范畴相关？
• RQ3 拓扑本质极值的概念能否用于推导拟凸函数的连续性准则？
• RQ4 每个上半连续拟凸函数是否都是Kempisty意义下的拟连续函数？
• RQ5 在无限维空间中，拟凸函数的连续性性质在多大程度上类似于有限维空间中的性质？

主要发现

• 在Baire拓扑向量空间上，实值拟凸函数在剩余子集上连续，当且仅当对每个 $ \alpha \in \mathbb{R} $，当 $ F_\alpha' = \{x : f(x) \leq \alpha\} $ 的内部为空时，集合 $ F_\alpha = \{x : f(x) < \alpha\} $ 为无处稠密。
• 在子水平集满足所述条件时，Baire空间上拟凸函数的不连续点集总是第一范畴。
• 每个在拓扑向量空间上上半连续的拟凸函数都是Kempisty意义下的拟连续函数，即对每个开集 $ \Omega \subset \mathbb{R} $，$ f^{-1}(\Omega) $ 的内部在 $ f^{-1}(\Omega) $ 中稠密。
• 该结果提供了Crouzeix定理的范畴论类比：即使不具可微性，Baire空间上的拟凸函数在剩余集上仍连续。
• 在非度量或非局部凸空间（如 $ L^p(0,1) $，其中 $ 0 < p < 1 $）中，该条件意味着在剩余集上连续的拟凸函数必在剩余集上为常值。
• 拓扑本质极值的概念被证明在第一范畴集上修改下保持不变，且在刻画连续性结构方面具有关键作用。