[論文レビュー] Some results about the Schroeder-Bernstein Property for separable Banach spaces

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

Advanced Banach Space Theory参考文献 11被引用数 4

ひとこと要約

本稿は、互いに非同型な可分なバナッハ空間の連続体を構成し、それらが互いに補完可能であることを示し、各空間のシュレーダー＝ベルンシュタイン指数が $2^{ aleph_0}$ であることを証明している。この構成は、1997年にグウーファーズとモーリーが提唱したバナッハ空間に基づき、記述的集合論を用いて、無条件な有限次元シュウダー分解を備えた空間におけるシュレーダー＝ベルンシュタイン性質に関する結果を精緻化している。

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.

研究の動機と目的

• 可分なバナッハ空間の補完可能かつ相互に埋め込み可能な族の構造を解明するため、互いに非同型な空間の連続体を構成すること。
• 特定のバナッハ空間におけるシュレーダー＝ベルンシュタイン指数（SBi）を決定すること、特にそれが $2^{\aleph_0}$ に達しうることを示すこと。
• 記述的集合論を用いて、無条件な有限次元シュウダー分解（UFDD）を備えたバナッハ空間におけるシュレーダー＝ベルンシュタイン性質（SBP）に関する既存の結果を改善すること。
• カルトとカザッサの $\kappa$-プライマリー空間およびプライマリー空間に関する先行結果を、無条件基底またはUFDDを備えた空間に対して拡張・簡略化し、同型定数の均一性を達成すること。
• 無条件基底または有限次元空間の $l_p$-和を備えた非完全に分解可能なバナッハ空間が、$\kappa < 2^{\aleph_0}$ の下でSBPを満たす条件を確立すること。

提案手法

• グウーファーズ–モーリー空間の変種を用いてバナッハ空間の族を構成し、立方体とは同型であるが平方とは同型でない性質を活用して、補完可能かつ非同型な相互埋め込み可能な空間を生成する。
• 古典的記述的集合論の技法、特にフェルェンチとローゼンダールの手法を応用し、同型類の解析と埋め込みにおける均一性を分析する。
• $\kappa$-プライマリー空間の概念を用い、分解構造の複雑さを分類するため「完全に分解可能」という概念を導入する。
• 埋め込みにおける成長率をモデル化するため、$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 互いに非同型な可分なバナッハ空間の連続体を、各空間が他の空間に補完可能となるように構成可能か？
• RQ2 可分なバナッハ空間におけるシュレーダー＝ベルンシュタイン指数（SBi）の最大値として可能な値は何か？
• RQ3 $\kappa < 2^{\aleph_0}$ の下で、無条件基底またはUFDDを備えた $\kappa$-プライマリー空間が、UFDDを備えた空間に制限されたSBPを満たすか？
• RQ4 記述的集合論の手法を用いて、UFDD空間における補完可能かつ相互に埋め込み可能な状況下で、同型定数を均一に制御可能か？
• RQ5 無条件基底または有限次元空間の $l_p$-和を備えたバナッハ空間が、完全に分解可能でない場合、どのような条件下でその性質が失われ、SBPにどのような影響を与えるか？

主な発見

• 著者らは、$2^{\aleph_0}$ 個の互いに非同型な可分なバナッハ空間の族を構成し、それらが互いに補完可能であることを示し、各空間のシュレーダー＝ベルンシュタイン指数が $2^{\aleph_0}$ であることを証明した。
• $\kappa < 2^{\aleph_0}$ に対して、無条件基底を備えた $\kappa$-プライマリー空間は、無条件な有限次元シュウダー分解（UFDD）を備えた空間に制限されたSBPを満たす。
• カザッサの結果を改善し、$\kappa < 2^{\aleph_0}$ または非完全に分解可能な構造を備えた有限次元空間の $l_p$-和を備えた空間がSBPを満たすことを示した。
• UFDDを備えたプライマリー空間はSBPを満たし、記述的集合論を用いてこの結果をより広いクラスの空間へと拡張した。
• 本手法により、UFDDを備えた空間間の埋め込みにおける同型定数が均一に制御され、カルトとカザッサの先行研究を強化した。
• 埋め込み不等式に必要な成長条件を満たすために、$j_1 > 10^{10^{10^{400}}}$ および $j_{n+1} > 10^{10^{10^{4j_n^2}}}$ を満たす適切に選ばれた数列 $J = (j_n)$ を構成に用いた。