[논문 리뷰] Embedding into Banach spaces with finite dimensional decompositions

Edward Odell, Thomas Schlumprecht|ArXiv.org|2007. 01. 11.

Advanced Banach Space Theory참고 문헌 24인용 수 27

한 줄 요약

이 논문은 분리 가능하고 반사적인 바나흐 공간이 유한차원 분해(FDD)를 갖는 공간으로 통합될 수 있는 조건을 설정한다. 이는 균일한 $(p,q)$-추정을 만족하는 바나흐 공간에 대해, 점점 더 복잡한 구조를 가지는 공간으로의 통합을 가능하게 한다. 특히, $\varepsilon$-네트워크 기반의 접근과 트리 기반 분해를 사용하여, 이러한 공간들이 모델 공간의 $\sigma$-유한차원 합공간에 통합됨을 증명함으로써, ${\mathcal{C}}_{\text{auc}}$ 및 ${\mathcal{C}}_{\text{aus}}$ 클래스에 대해 분리 가능이고 쌍대 공간이 유일한 바나흐 공간을 구성한다. 주요 기여는 FDD 기반의 통합을 통해 비균형적인 $\varepsilon$-구조 클래스에 대한 유일성 문제를 구축적으로 해결한 데 있다.

ABSTRACT

This paper deals with the following types of problems: Assume a Banach space $X$ has some property (P). Can it be embedded into some Banach space $Z$ with a finite dimensional decomposition having property (P), or more generally, having a property related to (P)? Secondly, given a class of Banach spaces, does there exist a Banach space in this class, or in a closely related one, which is universal for this class?

연구 동기 및 목표

• 분리 가능하고 반사적인 바나흐 공간이 균일한 $(p,q)$-추정을 만족하는 유한차원 분해(FDD)를 갖는 공간에 통합되는 조건을 규명하는 것.
• 모든 분리 가능하고 반사적인 바나흐 공간의 클래스에 대해 단일 공간을 구성함으로써 유일성 문제를 해결하는 것.
• 약한 영인수 트리와 유한차원 여집합의 부분공간에서의 플레이어-게임 전략을 통해 바나흐 공간의 점차적인 구조를 특성화하는 것.
• 분리 가능이고 쌍대 공간이 유일한 ${\mathcal{C}}_{\text{auc}}$ 및 ${\mathcal{C}}_{\text{aus}}$ 클래스에 대해 분리 가능이고 쌍대 공간이 유일한 바나흐 공간의 존재를 확립하는 것.
• Johnson의 $L_p$ 부분공간에 대한 통합 기준을 일반화하여, 점진적인 구조와 트리 기반 FDD 구성법을 통해 일반적인 반사 공간에 적용하는 것.

제안 방법

• 점진적 구조를 게임 이론적 해석으로 접근: 플레이어 I는 유한차원 여집합의 부분공간을 선택하고, 플레이어 II는 벡터를 선택함. 플레이어 II가 결과적으로 주어진 기저와 $(1+\varepsilon)$-등가가 되면 승리.
• 제$n$차 점진적 구조 $\{X\}_n$를, 이러한 게임에 대해 불변인 최소 닫힌 집합으로 정의함. 이는 정규화된 단조 기저의 집합이며, 유한차원 여집합의 부분공간에서의 게임에 대해 불변이다.
• 트리 $T_\infty$ 위에서 $\ell_p$-합을 사용하여 모델 공간 $Z_{(p,q)}$를 구성함. 이는 블록 시퀀스에서 $1$-$(\infty,q)$-추정을 보장하는 적절한 노름을 갖는다.
• 역삼각부등식 기법을 $\ell_{p/q}$에서 적용하여, 블록 시퀀스의 노름을 $\ell_q$-노름으로 유계로 제한한다.
• $\ell_2$-합을 사용하여 모델 공간 $Z_{(n,1)}$과 $Z_{q_n}$을 조합하여, 각각 ${\mathcal{C}}_{\text{auc}}$와 ${\mathcal{C}}_{\text{aus}}$에 대해 유일한 공간 $X$와 $Y$를 구성한다.
• 논문 [OSZ]의 정리들을 적용하여, 임의의 $K<\infty$와 $1\leq p\leq\infty$에 대해, 모든 $K$-점진적 $\ell_p$ 공간에 대해 유일한 반사적 점진적 $\ell_p$ 공간이 존재함을 보였다.

실험 결과

연구 질문

• RQ1 주어진 점진적 구조를 갖는 분리 가능이고 반사적인 바나흐 공간이 $C$-$(p,q)$-추정을 만족하는 유한차원 분해(FDD)를 갖는 공간에 통합되는 조건은 무엇인가?
• RQ2 모든 분리 가능하고 반사적인 공간에 대해 등가의 점진적 균일 볼록(a.u.c.) 노름을 갖는 클래스에 대해 유일한 바나흐 공간을 구성할 수 있는가?
• RQ3 유한차원 여집합의 부분공간에서의 $n$-단계 게임에서 플레이어 II가 승리 전략을 갖는 것은 바나흐 공간의 $n$-번째 점진적 구조에 속하는지를 특성화하는가?
• RQ4 분리 가능이고 쌍대 공간이 유일한 ${\mathcal{C}}_{\text{auc}}$ 클래스에 대해 분리 가능이고 쌍대 공간이 유일한 공간이 존재하는가?
• RQ5 $K$-점진적 $\ell_p$ 공간 전부에 대해 유일한 반사 공간이 존재하는가? 그리고 어떻게 구성되는가?

주요 결과

• 분리 가능이고 쌍대 공간이 유일한 공간 $X = \big(\oplus_{n=2}^\infty Z_{(n,1)}\big)_{\ell_2}$ 가 존재하며, 이는 등가의 점진적 균일 볼록(a.u.c.) 노름을 갖는 분리 가능이고 반사적인 공간의 클래스 ${\mathcal{C}}_{\text{auc}}$에 대해 유일하다.
• 공간 $X$는 각각 $1$-$(n,1)$-추정을 만족하고 유계 완비 FDD를 갖는 공간 $Z_{(n,1)}$들의 $\ell_2$-합으로 구성되며, ${\mathcal{C}}_{\text{auc}}$에 속하는 $(n,1)$-추정을 갖는 공간들에 대해 유일하다.
• 분리 가능이고 쌍대 공간이 유일한 공간 $Y = \big(\oplus_{n=1}^\infty Z_{q_n}\big)_{\ell_2}$ 가 존재하며, 이는 등가의 점진적 균일 스무스(a.u.s.) 노름을 갖는 분리 가능이고 반사적인 공간의 클래스 ${\mathcal{C}}_{\text{aus}}$에 대해 유일하다.
• 공간 $Y$는 $S_z(Y) = \omega^2$를 만족하며, 이는 $X$의 $S_z(X^*) = \omega$와 비교해 더 높은 점진적 지수를 가지며, a.u.c.와 a.u.s. 구조 간의 쌍대성 반영한다.
• 이 구성은 임의의 $K<\infty$와 $1\leq p\leq\infty$에 대해, 모든 $K$-점진적 $\ell_p$ 공간에 대해 유일한 반사적 점진적 $\ell_p$ 공간이 존재함을 보여주며, 이는 이전 결과를 일반화한다.
• 트리 기반 블록 분해와 $1$-$(\infty,q)$-추정을 사용한 증명 기법은 $\ell_{p/q}$에서의 역삼각부등식을 통해 $\ell_p$-노름에서 $\ell_q$-노름의 유계를 도출할 수 있게 하며, 이는 블록 시퀀스가 목표 공간에 통합될 수 있음을 보장한다.