[論文レビュー] Differences of bounded semi-continuous functions, I

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

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

ひとこと要約

本稿は、距離空間 $ K $ 上の有界単調連続関数の複素数値差分からなるバナッハ代数 $ D(K) $ を考察する。超限的振動集合を用いて、$ D(K) $ 内の単純関数の閉包 $ SD(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 $ 上の有界単調連続関数の差分からなるバナッハ代数 $ D(K) $ 内における単純関数の閉包 $ SD(K) $ を特徴づけること。
• 超限的振動集合を用いて $ SD(K) $ の内挿的特徴づけを確立すること。
• 関数 $ B_{1/4}(K) $ における変動的振動基準に関する未解決問題を解明すること。
• $ f \in B_{1/4}(K) $ であるための必要十分条件が $ \osc_\omega f $ が有界であることであることを証明し、振動挙動とバーレークラスの性質を結びつけること。
• 実数値関数を $ D(W) $ から $ D(K) $ にノルムを保ったまま拡張できるようにし、等長拡張性質を保証すること。

提案手法

• 関数 $ D(K) $ および $ SD(K) $ の構造を分析するために、超限的振動集合を用いる。
• 関数が $ D(K) $ に作用するための条件を、局所リプシッツ連続性の概念を応用して特徴づける。
• 一様有界な $ D $-ノルムを持つ単純 $ D $-関数の一様極限として $ B_{1/4}(K) $ を特徴づけるために、一様極限の概念を用いる。
• 実数値関数 $ D(W) $ から $ D(K) $ へのノルムを保った拡張定理を確立する。
• 超限的振動に基づく別証明を用いて、$ SD(K) $ 内の有限バーレー指数関数に関する既存の結果を再導出する。
• 変動的振動基準を用いて $ 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) $ に作用するための必要十分条件は、局所リプシッツ連続であることである。
• $ SD(K) $ は超限的振動集合を用いて内挿的に特徴づけられ、これにより新たな構造的道具が得られる。
• 変動的振動基準は $ B_{1/4}(K) $ を完全に特徴づけ、以前の研究で未解決であった問題が解決される。
• 関数 $ f $ が $ B_{1/4}(K) $ に属するのは、一様有界な $ D $-ノルムを持つ単純 $ D $-関数の列の一致極限であるとき、かつそのときに限る。あるいは同値に、$ \osc_\omega f $ が有界であるときである。