[论文解读] Complex interpolation and complementably minimal spaces

Peter G. Casazza, N. J. Kalton+2 more|arXiv (Cornell University)|May 17, 1994

Advanced Banach Space Theory参考文献 17被引用 14

一句话总结

本文利用复 interpolation 方法构建了一类新的超反射性、可补极小的巴拿赫空间，扩展了 Schlumprecht 的构造。证明了这些空间具有一致凸和一致光滑的范数，并通过确保在 $ι_2$ 上等价范数的最优强凸性和光滑性模，强化了希尔伯特空间扭曲结果。关键贡献在于提出了一种系统性的插值方法，用于生成超反射性可补极小空间，并控制扭曲希尔伯特空间的几何性质。

ABSTRACT

We construct a class of super-reflexive complementably minimal spaces, and study uniformly convex distortions of the norm on Hilbert space by using methods of complex interpolation.

研究动机与目标

• 将 Schlumprecht 对可补极小空间的构造从 $ι_p$ 和 $c_0$ 扩展至包含超反射性例子的范围。
• 应用复插值技术，生成具有受控几何性质的新一类可补极小空间。
• 通过确保扭曲范数满足强一致凸性和光滑性条件，改进已知的希尔伯特空间范数扭曲结果。
• 证明所得空间为超反射性空间，且不包含 $c_0$ 或 $ι_p$（对任意 $1 \leq p < \infty$）。
• 证明插值方法可产生具有最优强凸性和光滑性模的空間，从而增强扭曲理论。

提出的方法

• 通过 $c_{00}$ 上的格范数定义函数族 $\mathcal{X}(p,r;f)$，其中 $f \in \mathcal{G}$，满足 $p$-凸性、$r$-凹性，以及涉及 $f(n)$ 的块估计。
• 通过复插值构造空间 $S_{p,r} = \ell_t^{1-\theta} S^\theta$，其中 $\theta = \frac{1}{p} - \frac{1}{r}$ 且 $t = (1-\theta)r$，确保其为极小且可补极小空间。
• 使用插值公式 $\|z\|_Z = \inf \{ \max(\|x\|_X, \|y\|_Y) : |z| = |x|^{1-\theta}|y|^\theta \}$ 定义插值范数。
• 证明 $S_{p,r}$ 是 $\mathcal{X}(p,r;f)$ 中的极小元，且满足 $\|\sum_{i=1}^n e_i\|_{S_{p,r}} = n^{1/p} f(n)^{1/r - 1/p}$，从而保证极小性与可补嵌入。
• 对修改后的希尔伯特空间范数应用复插值，构造空间 $X = [Y, \ell_2]_\theta$，以控制其强凸性和光滑性模。
• 利用对偶性与算子范数估计，证明 $X$ 中任意块子空间的无条件基序列常数均超过任意给定的 $C$，从而证明不存在 $C$-无条件基序列。

实验结果

研究问题

• RQ1 复插值能否用于构造超出经典 $\ell_p$ 和 $c_0$ 的超反射性可补极小巴拿赫空间？
• RQ2 通过该方法，能否在希尔伯特空间的插值范数中保证特定几何性质（如一致凸性、光滑性）？
• RQ3 该插值方法是否可产生不包含 $c_0$ 或 $\ell_p$（对任意 $1 \leq p < \infty$）的空间？
• RQ4 能否控制希尔伯特空间范数的扭曲，以确保其具有最优的强凸性和光滑性模？
• RQ5 能否构造一个与 $\ell_2$ 同构的空间，使其不包含 $C$-无条件基序列，且具有指定的强凸性和光滑性行为？

主要发现

• 空间 $S_{p,r} = \ell_t^{1-\theta} S^\theta$ 是当 $1 < p < r < \infty$ 时的超反射性、可补极小巴拿赫空间，且满足 $\|\sum_{i=1}^n e_i\|_{S_{p,r}} = n^{1/p} f(n)^{1/r - 1/p}$。
• 空间 $S_{p,r}$ 为严格超反射性且一致凸，其范数满足阶为 $q$ 的一致凸性与阶为 $p$ 的一致光滑性，其中 $1 < p < 2 < q$。
• 对任意 $1 < p < 2$，存在一个与 $\ell_2$ 同构的巴拿赫空间 $X$，使得 $\delta_X(\epsilon) \geq K^{-1} \epsilon^q$ 且 $\rho_X(\tau) \leq K \tau^p$ 对所有 $0 \leq \epsilon, \tau \leq 1$ 成立，其中 $K = K(p)$ 仅依赖于 $p$。
• 空间 $X$ 不包含任何 $C$-无条件基序列，这是通过构造一个无条件基序列常数超过 $C$ 的块基所证明。
• 该构造确保 $S_{p,r}$ 为极小且可补极小空间，且 $S_{1,\infty}^*$ 为可补极小空间，从而扩展了 Schlumprecht 的结果。
• 该方法证实，复插值可用于收紧希尔伯特空间中的扭曲结果，生成具有最优强凸性和光滑性模的范数，同时避免出现无条件基。