[논문 리뷰] Differences of bounded semi-continuous functions, I

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

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) $ 에 작용하는 것은 $ \varphi $ 가 국소 리프시츠일 때이고, 그뿐이다.
• $ SD(K) $ 는 초한 진동 집합을 통해 내재적으로 특성화되며, 이는 새로운 구조적 도구를 제공한다.
• 변수 진동 기준은 $ B_{1/4}(K) $ 를 완전히 특성화하며, 이는 이전 연구에서 열려 있던 문제를 해결한다.
• 함수 $ f $ 가 $ B_{1/4}(K) $ 에 속하는 것은, 단순 $ D $-함수들의 균일한 극한이며 $ D $-노름이 균일하게 유계인 경우와 동치이며, 동치로 $ \osc_\omega f $ 가 유계임을 의미한다.