[논문 리뷰] New proofs of Rosenthal's $\ell^{1}$--theorem and the Josefson--Nissenzweig theorem

Ehrhard Behrends|arXiv (Cornell University)|1994. 03. 31.

Advanced Banach Space Theory참고 문헌 3인용 수 10

한 줄 요약

이 논문은 단순한 렘버-이론적 추론과 마틴게일 차분 보조정리의 응용을 통해 로젠탈의 ℓ¹-정리와 조제프슨–니센츠바이그 정리를 위한 새로운, 기본적인 증명을 제시한다. 핵심 기여는 정량적 개선이다: 만약 바나흐 공간이 ℓ¹을 거의 포함하고 있다면, 모든 유계 수열은 거의 약한 코시 수열인 부분수열을 갖는다. 이는 고전적인 비구성적 증명에 대한 구성적이고 정량적인 대안을 제공한다.

ABSTRACT

We give elementary proofs of the theorems mentioned in the title. Our methods rely on a simple version of Ramsey theory and a martingale difference lemma. They also provide quantitative results: if a Banach space contains $\ell^{1}$ only with a bad constant then every bounded sequence admits a subsequence which is ``nearly'' a weak Cauchy sequence.

연구 동기 및 목표

• 바나흐 공간 이론의 두 기초 정리인 로젠탈의 ℓ¹-정리와 조제프슨–니센츠바이그 정리를 위한 새로운, 기본적인 증명을 제공하는 것.
• 고전적인 비구성적 추론을 렘버-이론과 마틴게일 차분 추정에 기반한 방법으로 대체하는 것.
• 바나흐 공간에 ℓ¹이 거의 존재할 경우, 유계 수열이 얼마나 약한 코시 수열에 가까운지에 대한 정량적 통제를 확립하는 것.
• 약한 코시 부분수열이 존재하지 않는 바나흐 공간에서 유계 수열의 구조를 이해하기 위한 구성적 프레임워크를 제공하는 것.

제안 방법

• 지수 집합에 대한 분할 추론을 가능하게 하기 위해 렘버-이론의 단순화된 형태를 바나흐 공간 내 수열 분석에 적용한다.
• 마틴게일 차분 보조정리를 사용해 부분수열에서 함수들의 변동성을 통제한다.
• 복잡한 함수해석학적 기법을 피하고, 조합론적 및 확률론적 도구에 의존한다.
• 기능자의 진동을 통제함으로써 거의 약한 코시 수열인 부분수열을 구성하는 논증을 전개한다.
• 바나흐 공간의 ℓ¹의 거의 등거리 임bedding 상수에 기반한 명시적 정량적 추정치를 도출한다.
• 자기 포함적이고 접근하기 쉬운 방법이므로 교육적 활용과 향후 확장에 적합하다.

실험 결과

연구 질문

• RQ1 로젠탈의 ℓ¹-정리는 깊이 있는 쌍대성 추론을 대체하여 기본적인 조합론적 및 확률론적 기법을 통해 재증명될 수 있는가?
• RQ2 바나흐 공간에 ℓ¹이 거의 존재할 경우, 수열이 약한 코시 수열에 얼마나 가까운지를 정량적으로 통제할 수 있는가?
• RQ3 조제프슨–니센츠바이그 정리는 렘버-이론적 분할과 마틴게일 추정을 통해 구성적으로 유도될 수 있는가?
• RQ4 바나흐 공간 내 거의 등거리 복사본 ℓ¹의 존재는 약한 코시 유사 행동을 보이는 부분수열의 존재에 어떤 영향을 미치는가?
• RQ5 이러한 정리들의 고전적인 비구성적 증명은 어느 정도 효과적이고 정량적인 대체 방법으로 대체될 수 있는가?

주요 결과

• 논문은 바나흐 공간이 큰 상수를 가진 ℓ¹의 복사본을 포함하고 있다면, 모든 유계 수열이 거의 약한 코시 수열인 부분수열을 갖는다고 규명한다.
• 약한 코시 수열에 대한 근사도는 ℓ¹ 임베딩의 거의 등거리 상수에 의해 정량적으로 통제된다.
• 램버-이론적 분할은 유리한 부분수열을 추출하기 위해 지수 집합을 깔끔하게 조합론적으로 분해할 수 있게 한다.
• 마틴게일 차분 보조정리는 부분수열에서 기능자의 변동성을 제한함으로써 거의 약한 코시 성질을 보장하는 데 도구가 된다.
• 증명은 기본적이고 자기 포함적이며, 비구성적 형태의 하우프라인-바흐 정리와 같은 고급 도구에 의존하지 않는다.
• 결과는 비반사적 바나흐 공간에서 약한 순차적 컴팩트성의 실패를 이해하기 위한 구성적 프레임워크를 제공한다.