[论文解读] 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

一句话总结

本文構造了一個互相非同構的可分巴拿ach空間的連續統，這些空間彼此互為補子空間，從而證明每個空間的施羅德-伯恩斯坦指數（Schroeder-Bernstein Index）為 $2^{ aleph_0}$。該構造基於格羅wers與莫雷伊於1997年提出的巴拿ach空間，並應用描述集合論來細化具有無條件有限維Schauder分解（UFDD）的空間的施羅德-伯恩斯坦性質（SBP）相關結果。

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.

研究动机与目标

• 透過構造一個互相非同構的空間連續統，這些空間彼此互為補子空間，來解決可分巴拿ach空間家族中補子空間雙嵌入結構的問題。
• 確定某些巴拿ach空間的施羅德-伯恩斯坦指數（SBi），特別是證明其可達至 $2^{\aleph_0}$。
• 運用描述集合論改進現有關於具有無條件有限維Schauder分解（UFDD）的巴拿ach空間的施羅德-伯恩斯坦性質（SBP）的結果。
• 擴展並簡化卡爾頓與卡薩扎關於 $\kappa$-主要與主要巴拿ach空間（具有無條件基或UFDD）的先前結果，實現同構常數的統一性。
• 建立非完美可分解的巴拿ach空間（具有無條件基或有限維空間的 $l_p$-直和）在 $\kappa < 2^{\aleph_0}$ 條件下具有SBP。

提出的方法

• 利用格羅wers–莫雷伊空間的一種變體構造巴拿ach空間族，該空間同構於其立方體但不同構於其平方，從而產生彼此互為補子空間但非同構的空間。
• 應用經典的描述集合論技術，特別是費倫奇和羅森達爾的方法，分析同構類與嵌入的均勻性。
• 引入 $\kappa$-主要空間的概念，並提出「完美可分解」空間的概念，以分類分解中的結構複雜度。
• 使用一組函數 $f_r(x) = \log_2(x+1)^r$（其中 $r \in [1/2,1]$）來模擬嵌入中的增長速率，並驗證補子空間雙嵌入的條件。
• 應用涉及迭代對數與指數的不等式（例如 $\log \log \log n \geq 4m^2$）來控制增長，確保所需的嵌入性質。
• 使用切線線性近似與不等式（例如 $t(x) \geq x/(2(\log_2(x_0+1))^{r+1})$）來界定範數比值，並驗證嵌入條件。

实验结果

研究问题

• RQ1 能否構造一個互相非同構的可分巴拿ach空間的連續統，使得每個空間都彼此互為補子空間？
• RQ2 可分巴拿ach空間的施羅德-伯恩斯坦指數（SBi）的最大可能值是多少？
• RQ3 具有無條件基或UFDD的 $\kappa$-主要巴拿ach空間，在 $\kappa < 2^{\aleph_0}$ 條件下，其SBP是否受限於具有UFDD的空間？
• RQ4 描述集合論方法能否在UFDD空間的補子空間雙嵌入背景下，統一控制同構常數？
• RQ5 具有無條件基或有限維空間 $l_p$-直和的巴拿ach空間在何種條件下會失去完美可分解性，以及這對SBP有何影響？

主要发现

• 作者構造了 $2^{\aleph_0}$ 個互相非同構的可分巴拿ach空間，每個空間都彼此互為補子空間，從而證明每個空間的施羅德-伯恩斯坦指數為 $2^{\aleph_0}$。
• 對於任意 $\kappa < 2^{\aleph_0}$，具有無條件基的 $\kappa$-主要巴拿ach空間在受限於具有無條件有限維Schauder分解（UFDD）的空間時具有SBP。
• 本文改進了卡薩扎的結果，表明當 $\kappa < 2^{\aleph_0}$ 時，有限維空間的 $l_p$-直和或非完美可分解結構的空間具有SBP。
• 具有UFDD的主要巴拿ach空間具有SBP，且該結果透過描述集合論擴展至更廣泛的空間類別。
• 該方法為UFDD空間之間的嵌入提供了統一的同構常數，強化了卡爾頓與卡薩扎的先前結果。
• 該構造依賴於一個精心選擇的序列 $J = (j_n)$，滿足 $j_1 > 10^{10^{10^{400}}}$ 且 $j_{n+1} > 10^{10^{10^{4j_n^2}}}$，以確保嵌入不等式所需的增長條件。