[论文解读] Differences of bounded semi-continuous functions, I

Haskell P. Rosenthal|arXiv (Cornell University)|Jun 20, 1994

Advanced Banach Space Theory参考文献 6被引用 5

一句话总结

本文研究了度量空间 $ K $ 上有界半连续函数的复差分 Banach 代数 $ D(K) $。通过使用超限振荡集，给出了 $ SD(K) $（即 $ D(K) $ 中简单函数的闭包）的内在刻画，并证明了 $ f \in B_{1/4}(K) $ 当且仅当 $ \osc_\omega f $ 有界，从而解决了关于变量振荡准则的一个开放问题。

ABSTRACT

Structural properties are given for $D(K)$, the Banach algebra of (complex) differences of bounded semi-continuous functons on a metric space $K$. For example, it is proved that if all finite derived sets of $K$ are non-empty, then a complex function $φ$ operates on $D(K)$ (i.e., $φ\circ f\in D(K)$ for all $f\in D(K)$) if and only if $φ$ is locally Lipschitz. Another example: if $W\subset K$ and $g\in D(W)$ is real-valued, then it is proved that $g$ extends to a $ ilde g$ in $D(K)$ with $\| ilde g\|_{D(K)} = \|g\|_{D(W)}$. Considerable attention is devoted to $SD(K)$, the closure in $D(K)$ of the set of simple functions in $D(K)$. Thus it is proved that every member of $SD(K)$ is a (complex) difference of semi-continuous functions in $SD(K)$, and that $|f|$ belongs to $SD(K)$ if $f$ does. An intrinsic characterization of $SD(K)$ is given, in terms of transfinite oscillation sets. Using the transfinite oscillations, alternate proofs are given of the results of Chaatit, Mascioni and Rosenthal that functions of finite Baire-index belong to $SD(K)$, and that $SD(K) e D(K)$ for interesting $K$. It is proved that the ``variable oscillation criterion'' characterizes functions belonging to $B_{1/4}(K)$, thus answering an open problem raised in earlier work of Haydon, Odell and Rosenthal. It is also proved that $f$ belongs to $B_{1/4}(K)$ (if and) only if $f$ is a uniform limit of simple $D$-functions of uniformly bounded $D$-norm iff $\osc_ωf$ is bounded; the last equivalence has also been obtained by V.~Farmaki, using other methods.

研究动机与目标

• 刻画度量空间 $ K $ 上有界半连续函数差分 Banach 代数 $ D(K) $ 中简单函数的闭包 $ SD(K) $。
• 利用超限振荡集对 $ SD(K) $ 提供内在刻画。
• 解决关于 $ B_{1/4}(K) $ 中函数的变量振荡准则的一个开放问题。
• 证明 $ f \in B_{1/4}(K) $ 当且仅当 $ \osc_\omega f $ 有界，从而将振荡行为与 Baire 类性质联系起来。
• 将 $ D(W) $ 中的实值函数等距延拓至 $ D(K) $，确保范数保持不变。

提出的方法

• 利用超限振荡集分析 $ D(K) $ 和 $ SD(K) $ 中函数的结构。
• 应用局部利普希茨连续的概念，刻画作用于 $ D(K) $ 的函数。
• 采用简单 $ D $-函数的一致极限及其一致有界 $ D $-范数的概念，刻画 $ B_{1/4}(K) $。
• 建立 $ D(W) $ 中实值函数到 $ D(K) $ 的范数保持延拓定理。
• 基于超限振荡的替代证明，重新推导 $ SD(K) $ 中有限 Baire 指标函数的结果。
• 应用变量振荡准则刻画 $ B_{1/4}(K) $ 的成员资格，从而解决一个长期存在的开放问题。

实验结果

研究问题

• RQ1 如何通过超限振荡集对 $ SD(K) $（即 $ D(K) $ 中简单函数的闭包）给出其内在刻画？
• RQ2 在何种条件下函数 $ f $ 属于 $ B_{1/4}(K) $，这与 $ \osc_\omega f $ 的有界性有何关联？
• RQ3 变量振荡准则是否能完全刻画 $ B_{1/4}(K) $ 的成员资格，如果是，其机制如何？
• RQ4 每个 $ D(W) $ 中的实值函数是否都能以保持范数的方式延拓至 $ D(K) $？
• RQ5 $ D(K) $ 严格大于 $ SD(K) $ 的条件是什么，它们在结构上有哪些区别？

主要发现

• 每个 $ SD(K) $ 中的函数都是 $ SD(K) $ 内半连续函数的复差分。
• 当 $ f \in SD(K) $ 时，其绝对值 $ |f| $ 也属于 $ SD(K) $。
• 函数 $ \varphi $ 作用于 $ D(K) $ 当且仅当其为局部利普希茨函数，前提是 $ K $ 的所有有限导集均非空。
• $ SD(K) $ 通过超限振荡集得到内在刻画，提供了一种新的结构性工具。
• 变量振荡准则完全刻画了 $ B_{1/4}(K) $，解决了早期工作中遗留的一个开放问题。
• 函数 $ f $ 属于 $ B_{1/4}(K) $ 当且仅当它是具有一致有界 $ D $-范数的简单 $ D $-函数的一致极限，或等价地，当 $ \osc_\omega f $ 有界。