[논문 리뷰] Some results about the Schroeder-Bernstein Property for separable Banach spaces

Valentin Ferenczi, Elói Medina Galego|ArXiv.org|2004. 06. 23.

Advanced Banach Space Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 상호 비이sov모르는 분리 가능한 바나흐 공간의 연속체를 구성하여, 각각의 슈뢰더-버너스타인 지수(Schroeder-Bernstein Index)가 $2^{ aleph_0}$임을 보여준다. 이 구성은 고우어스와 모레이의 1997년 바나흐 공간을 바탕으로 하며, 무조건적인 유한차원 샤우더 분해를 갖는 공간에 대한 슈뢰더-버너스타인 성질(Schroeder-Bernstein Property)에 관한 결과를 향상시키기 위해 서술적 집합론을 적용한다.

ABSTRACT

We construct a continuum of mutually non-isomorphic separable Banach spaces which are complemented in each other. Consequently, the Schroeder-Bernstein Index of any of these spaces is $2^{\aleph_0}$. Our construction is based on a Banach space introduced by W. T. Gowers and B. Maurey in 1997. We also use classical descriptive set theory methods, as in some work of V. Ferenczi and C. Rosendal, to improve some results of P. G. Casazza and of N. J. Kalton on the Schroeder-Bernstein Property for spaces with an unconditional finite-dimensional Schauder decomposition.

연구 동기 및 목표

• 서로 이sov모르지 않은 공간의 연속체를 구성함으로써, 상호 보완 가능한 분리 가능한 바나흐 공간의 가족의 구조를 해결하는 것.
• 특히 $2^{\aleph_0}$에 도달할 수 있음을 보여주는 일부 바나흐 공간에 대한 슈뢰더-버너스타인 지수(SBi)를 결정하는 것.
• 무조건적인 유한차원 샤우더 분해( UFDD)를 갖는 바나흐 공간에 대한 슈뢰더-버너스타인 성질(SBP)에 관한 기존 결과를 서술적 집합론을 통해 향상시키는 것.
• 칼튼과 카자사의 $\kappa$-primary 및 primary 바나흐 공간에 관한 이전 결과를 확장하고 단순화하여, 이sov모르는 상수의 통일성을 달성하는 것.
• 무조건적인 기저 또는 유한차원 공간의 $l_p$-합을 갖는 비완전하게 분해 가능한 바나흐 공간이 $\kappa < 2^{\aleph_0}$ 조건 하에서 SBP를 갖는다는 것을 증명하는 것.

제안 방법

• 고우어스–모레이 공간의 변형을 사용하여 바나흐 공간의 가족을 구성함. 이 공간은 그의 입방체와 이sov모르지만, 제곱과는 이sov모르지 않음. 이를 통해 상호 보완 가능한 비이sov모르는 공간을 생성함.
• 클래식한 서술적 집합론 기법, 특히 페렌치아와 로젠달의 기법을 적용하여 이sov모르는 동치류와 임베딩의 통일성 분석.
• $\kappa$-primary 공간의 개념을 사용하고, 분해의 구조적 복잡도를 분류하기 위해 '완전하게 분해 가능한' 공간의 개념을 도입함.
• $r \in [1/2,1]$에 대해 $f_r(x) = \log_2(x+1)^r$의 함수 가족을 사용하여 임베딩에서의 성장률을 모델링하고, 보완 가능한 상호 임베딩 조건을 검증함.
• 반복 로그와 지수 함수를 포함한 부등식(예: $\log \log \log n \geq 4m^2$)을 적용하여 성장률을 제어하고, 필요한 임베딩 성질을 확보함.
• 탄젠트 선 근사와 부등식(예: $t(x) \geq x/(2(\log_2(x_0+1))^{r+1})$)을 사용하여 노름 비율을 유계화하고, 임베딩 조건을 검증함.

실험 결과

연구 질문

• RQ1 서로 이sov모르지 않은 분리 가능한 바나흐 공간의 연속체를 구성할 수 있는가? 이때 각 공간이 다른 곳에 보완 가능한가?
• RQ2 분리 가능한 바나흐 공간의 슈뢰더-버너스타인 지수(SBi)의 최대 가능한 값은 무엇인가?
• RQ3 $\kappa < 2^{\aleph_0}$ 조건 하에서, 무조건적인 기저 또는 UFDD를 갖는 $\kappa$-primary 바나흐 공간은 UFDD를 갖는 공간으로 제한된 SBP를 갖는가?
• RQ4 서술적 집합론 기법을 통해 UFDD 공간의 상호 보완 가능한 임베딩에서 이sov모르는 상수를 통일적으로 제어할 수 있는가?
• RQ5 무조건적인 기저 또는 유한차원 공간의 $l_p$-합을 갖는 바나흐 공간이 완전하게 분해 가능하지 않게 되는 조건은 무엇이며, 이는 SBP에 어떤 영향을 미치는가?

주요 결과

• 저자들은 $2^{\aleph_0}$개의 상호 이sov모르지 않은 분리 가능한 바나흐 공간의 가족을 구성하였으며, 각 공간이 상호 보완 가능하다는 것을 증명함. 이로써 각 공간의 슈뢰더-버너스타인 지수(SBi)가 $2^{\aleph_0}$임을 입증함.
• $\kappa < 2^{\aleph_0}$인 임의의 경우에 대해, 무조건적인 기저를 갖는 $\kappa$-primary 바나흐 공간은 무조건적인 유한차원 샤우더 분해( UFDD)를 갖는 공간으로 제한된 SBP를 갖는다.
• 카자사의 결과를 개선하여, $\kappa < 2^{\aleph_0}$ 또는 비완전하게 분해 가능한 구조를 갖는 유한차원 공간의 $l_p$-합은 SBP를 갖는다는 것을 보여줌.
• 기저가 있는 primary 바나흐 공간은 UFDD를 갖는 경우 SBP를 갖는다. 이 결과는 서술적 집합론을 통해 더 넓은 범위의 공간으로 확장됨.
• 이 방법은 UFDD를 갖는 공간 간의 임베딩에 대해 통일된 이sov모르는 상수를 제공하며, 칼튼과 카자사의 이전 결과를 강화함.
• 구성은 임베딩 부등식에 필요한 성장 조건을 확보하기 위해 $j_1 > 10^{10^{10^{400}}}$ 및 $j_{n+1} > 10^{10^{10^{4j_n^2}}}$를 만족하는 철저히 선택된 수열 $J = (j_n)$에 의존함.