[論文レビュー] 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

ひとこと要約

本稿は、複素補間法を用いて、シュルンプレヒトの構成を拡張し、新たなクラスのスーパー反射的で補完的最小なバナッハ空間を構築する。これらの空間が一様凸かつ一様滑らかなノルムを有することを示し、$ι_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.

研究の動機と目的

• シュルンプレヒトの補完的最小空間の構成を、$ι_p$ や $c_0$ を超えて、スーパー反射的例を含むように拡張すること。
• 複素補間技法を応用して、幾何的性質が制御された新たな補完的最小空間のクラスを生成すること。
• 歪められたヒルベルト空間ノルムに関する既知の結果を改善し、歪められたノルムが強い一様凸性および滑らかさ条件を満たすように保証すること。
• 得られた空間がスーパー反射的であり、$c_0$ や任意の $1 \leq p < \infty$ に対する $ι_p$ を含まないことを示すこと。
• 補間法が、強凸性および滑らかさモジュラスの最適性を達成する空間を生成することを示し、歪み理論を強化すること。

提案手法

• パラメータ $f \in \mathcal{G}$ を用いて、$c_{00}$ 上のラティスノルムを用いて定義される関数型 $\mathcal{X}(p,r;f)$ のクラスを定義し、$p$-凸性、$r$-凹性、および $f(n)$ を含むブロック推定を満たす。
• $\theta = \frac{1}{p} - \frac{1}{r}$ および $t = (1-\theta)r$ とおくとき、複素補間により空間 $S_{p,r} = \ell_t^{1-\theta} S^\theta$ を構成し、それが最小かつ補完的最小であることを保証する。
• 補間公式 $\|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$ や任意の $1 \leq p < \infty$ に対する $\ell_p$ を含まない空間を生成するか？
• RQ4 ヒルベルト空間ノルムの歪みは、最適な強凸性および滑らかさモジュラスを満たすように制御可能か？
• RQ5 $\ell_2$ に線形同型であるが、任意の $C$ に対して $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}$ は厳密にスーパー反射的であり、一様凸的である。ノルムは $1 < p < 2 < q$ のとき、$q$ 階の強凸性および $p$ 階の強滑らかさを満たす。
• 任意の $1 < p < 2$ に対して、$\delta_X(\epsilon) \geq K^{-1} \epsilon^q$ および $\rho_X(\tau) \leq K \tau^p$ ($0 \leq \epsilon, \tau \leq 1$) を満たすバナッハ空間 $X$ が $\ell_2$ に線形同型に存在する。ここで $K = K(p)$ は $p$ のみに依存する。
• $X$ は任意の $C$ に対して $C$-一様基本列を含まない。これは、$C$ よりも大きい一様基本列定数を持つブロック基底を構成することで示される。
• この構成により、$S_{p,r}$ が最小かつ補完的最小であることが保証され、$S_{1,\infty}^*$ も補完的最小であることが示され、シュルンプレヒトの結果が拡張される。
• この方法により、複素補間を用いてヒルベルト空間の歪み結果を厳密に制御でき、最適な強凸性および滑らかさモジュラスを持つノルムを生成し、一様基底を避けることが確認される。