[논문 리뷰] Weakly null sequences in the Banach space C(K)

I. Gasparis, Edward Odell외 1명|ArXiv.org|2004. 02. 12.

Advanced Banach Space Theory참고 문헌 28인용 수 12

한 줄 요약

이 논문은 가산 컴act 거리 공간 $K$ 에서의 약하게 영인 수열의 전이수정 평균을 이용한 블록 기저의 계층을 도입하여, 이러한 수열이 $c_0$ 기저와 동치인 블록 기저를 갖는 조건을 설정한다. 주요 결과는 가산 $K$ 에 대해 $C(K)$ 내의 모든 정규화된 약하게 영인 수열이 그러한 블록 기저를 갖는다는 것을 보여주며, Schreier 유형의 평균과 순서수 지수를 이용한 구조적이고 양적 접근을 통해 오랫동안 남아있던 범주형 공간 이론의 문제를 해결한다.

ABSTRACT

The hierarchy of the block bases of transfinite normalized averages of a normalized Schauder basic sequence is introduced and a criterion is given for a normalized weakly null sequence in C(K), the Banach space of scalar valued functions continuous on the compact metric space K, to admit a block basis of normalized averages equivalent to the unit vector basis of c_0, the Banach space of null scalar sequences. As an application of this criterion, it is shown that every normalized weakly null sequence in C(K), for countable K, admits a block basis of normalized averages equivalent to the unit vector basis of c_0.

연구 동기 및 목표

• 가산 컴팩트 거리 공간 $K$ 에 대해 $C(K)$ 내 약하게 영인 수열의 전이수정 평균을 이용한 블록 기저의 계층을 개발한다.
• 정규화된 약하게 영인 수열이 $c_0$ 단위 벡터 기저와 동치인 블록 기저를 갖는지에 대한 구조적이고 양적 기준을 제공한다.
• $C(\omega^{\omega^\xi})$ 공간에서 이러한 블록 기저의 존재를 확인하고, 순서수 지수 $\alpha \leq \xi$ 에 대해 명시적인 통제를 제공한다.
• Schreier-무조건성 수열에 관한 이전 결과의 최적성과 $C(\omega^{\omega^2})$ 내 수열이 $S_2$-무조건성 부분수열을 갖지 못함을 보여, 이전 결과의 날카로움을 입증한다.

제안 방법

• Schreier 가족 $S_\alpha$ 를 이용해 $\alpha < \omega_1$ 에 대해 정규화된 $\alpha$-평균의 계층을 도입하고, 이전 수준의 블록 기저를 재귀적으로 구성한다.
• $C(K)$ 내 수열에 대해 $S_\xi$-무조건성을 정의하며, Schreier 집합의 구조를 이용해 평균의 행동을 제어한다.
• 지지 집합의 초기 부분집합들이 어떤 $\eta > \alpha$ 에 대해 $S_\eta$ 에 속하도록 보장하기 위해 지지 집합의 트리에 대해 컴팩트성 원리를 적용하여 부분수열 $Q$ 를 추출한다.
• $\xi^Q > \eta$ 를 가정할 경우 모순을 이끌어내기 위해 $(\epsilon, \alpha, \beta)$-분해와 평균의 $(\eta,1,\epsilon)$-크기 조건을 사용한다.
• 특정 $t \in K$ 에서의 점별 추정을 기반으로 한 모순 증명을 사용하여, 정규화된 $\zeta$-평균 $u$ 에 대해 $|u(t)| < 21\epsilon$ 이 되며, 이는 $\|u\| = 1$ 과 모순된다. 이는 충분히 작은 $\epsilon$ 에서 성립한다.
• [31] 및 [21] 의 결과를 활용하여 지지 집합의 유전적이고 컴팩트한 가족을 추출하고, 순서수 지수 이론을 적용하여 $\xi \leq \eta$ 에 대해 $\xi$-평균의 $c_0$-동치 블록 기저의 존재를 결론짓는다.

실험 결과

연구 질문

• RQ1 가산 $K$ 에 대해 $C(K)$ 내 정규화된 약하게 영인 수열이 $c_0$ 기저와 동치인 블록 기저를 갖는 조건은 무엇인가?
• RQ2 만약 $K = \omega^{\omega^\xi}$ 라면, 이러한 블록 기저의 존재는 순서수 지수 $\xi$ 에 대해 어떻게 양적으로 기술될 수 있는가?
• RQ3 $C(\omega^{\omega^2})$ 내에서 $S_2$-무조건성의 실패는 최적인가? 이는 $c_0$-동치 블록 기저의 존재와 어떻게 관련되는가?
• RQ4 $C(\omega^{\omega^\xi})$ 내에서 $c_0$-포화의 존재성 증명을 정규화된 평균과 순서수 계층을 통해 구조적으로 만들 수 있는가?
• RQ5 Schreier 가족 $S_\alpha$ 는 $C(K)$ 공간 내 약하게 영인 수열의 구조를 특징짓는 데 어떤 역할을 하는가?

주요 결과

• 가산 $K$ 에 대해 $C(K)$ 내 모든 정규화된 약하게 영인 수열은 $K = \omega^{\omega^\xi}$ 일 때 어떤 $\alpha \leq \xi$ 에 대해 $c_0$ 단위 벡터 기저와 동치인 정규화된 $\alpha$-평균의 블록 기저를 갖는다.
• 논문은 이러한 $c_0$-동치 블록 기저의 존재에 대해 기존의 존재성 증명을 넘어서는 구조적이고 양적 기준을 제공한다.
• $C(\omega^{\omega})$ 내 모든 정규화된 약하게 영인 수열은 무조건 부분수열을 갖으며, 이는 $S_1$-무조건성에 기반한 더 단순한 증명을 통해 보여진다.
• $C(\omega^{\omega^2})$ 내 약하게 영인 수열 중 무조건 부분수열이 없는 예시는 $S_2$-무조건 부분수열도 갖지 못함을 보여주며, 이는 이전 결과의 날카로움을 입증한다.
• 임의의 정규화된 약하게 영인 수열 $C(\omega^{\omega^\xi})$ 내에서는 $\alpha \leq \xi$ 인 정규화된 $\alpha$-평균의 블록 기저가 $c_0$-동치로 존재하며, 순서수의 구조를 통해 지수 $\alpha$ 가 명시적으로 유계임을 보여준다.
• $t \in K$ 에서의 점별 추정을 기반으로 한 모순 증명은 $\xi^Q > \eta$ 를 가정할 경우 정규화된 평균 $u$ 에 대해 $|u(t)| < 21\epsilon$ 이 되며, 이는 충분히 작은 $\epsilon$ 에서 $\|u\| = 1$ 과 모순된다.