[论文解读] Weak type $(2,H)$ and weak cotype $(2,H)$ of operator spaces

Hun Hee Lee|ArXiv.org|Feb 16, 2005

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

一句话总结

本文引入了算子空间的弱类型$(2,H)$与弱余类型$(2,H)$，将其确立为介于类型$(2,H)$与类型$(p,H)$（$p<2$时）（相应地，余类型$(2,H)$与余类型$(q,H)$（$q>2$时）之间的中间概念。文章提供了等价刻画，证明了弱-$H$空间（同时具备弱类型$(2,H)$与弱余类型$(2,H^*)$）完全同构于$H$，并表明更强的条件——涉及完全核型映射特征值的可和性——刻画了与$H$的完全同构关系。这些结果通过希尔伯特算子空间结构，将经典的弱类型与余类型概念推广至算子空间领域。

ABSTRACT

Recently an operator space version of type and cotype, namely type $(p,H)$ and cotype $(q,H)$ of operator spaces for $1\leq p \leq 2\leq q \leq \infty$ and a subquadratic and homogeneous Hilbetian operator space $H$ were introduced and investigated by the author. In this paper we define weak type $(2,H)$ (resp. weak cotype $(2,H)$) of operator spaces, which lies strictly between type $(2,H)$ (resp. cotype $(2,H)$) and type $(p,H)$ for all $1\leq p &lt;2$ (resp. cotype $(q,H)$ for all $2

研究动机与目标

• 定义并研究算子空间的弱类型$(2,H)$与弱余类型$(2,H)$，作为介于类型$(2,H)$与类型$(p,H)$（$p<2$时）（相应地，余类型$(2,H)$与余类型$(q,H)$（$q>2$时）之间的中间概念。
• 建立弱类型$(2,H)$与弱余类型$(2,H)$的等价形式，类比于巴拿赫空间中的经典弱类型与余类型。
• 刻画同时具备弱类型$(2,H)$与弱余类型$(2,H^*)$（即弱-$H$空间）的算子空间，证明其完全同构于$H$。
• 澄清弱-$H$空间与涉及完全核型映射特征值可和性的更强条件之间的区别，表明后者蕴含与$H$的完全同构关系。

提出的方法

• 通过巴拿赫空间中弱类型与余类型的算子空间类比，利用$(q,2)$-求和范数与$\tau$-范数，定义弱类型$(2,H)$与弱余类型$(2,H)$。
• 利用存在具有大秩的投影可延拓有界映射（弱类型情形）以及存在比例维度的欧几里得子空间（弱余类型情形）来建立等价形式。
• 运用迹对偶性与完全核型映射理论，将特征值衰减与弱余类型$(2,H)$关联，特别通过条件$\sum_k |\lambda_k(T)| \leq C \cdot \nu^o(T)$。
• 应用复插值法与极小/极大算子空间结构（如$\min\ell_2$，$R_p$）分析$H$及其对偶$H^*$的行为。
• 利用$H$的齐次性与次二次性，推导出完全有界性与特征值控制的结论。
• 利用$B(\ell_2)$的内射性与算子空间理论中的延拓定理，构造映射延拓并控制特征值。

实验结果

研究问题

• RQ1 如何在算子空间设定下定义弱类型$(2,H)$与弱余类型$(2,H)$，使其严格介于类型$(2,H)$与类型$(p,H)$（$p<2$时）（相应地，余类型$(2,H)$与余类型$(q,H)$（$q>2$时）之间？
• RQ2 弱类型$(2,H)$与弱余类型$(2,H)$的等价形式如何通过投影延拓与欧几里得子空间密度来表达？
• RQ3 是否可以将弱-$H$空间（即同时具备弱类型$(2,H)$与弱余类型$(2,H^*)$）刻画为完全同构于$H$？
• RQ4 为何对所有完全核型映射$T$有$\sum_k |\lambda_k(T)| \leq C \cdot \nu^o(T)$的条件不等价于弱-$H$空间？它实际上蕴含什么结论？

主要发现

• 弱类型$(2,H)$严格介于类型$(2,H)$与类型$(p,H)$之间，对所有$1\leq p<2$成立，其特征为：对任意映射$u:S \to \ell^n_2$，存在投影$P$满足$\text{rk}P > \delta n$，且满足$\|v\| \leq C\|u\|$的延拓$\tilde{u}$存在。
• 弱余类型$(2,H)$等价于：对每个有限维子空间$F \subseteq E$，存在子空间$F_1 \subseteq F$，满足$\text{dim}F_1 \geq \delta \text{dim}F$，且$ d(F_1, \ell^{\text{dim}F}_2) \leq C $。
• 一个空间$E$是弱-$H$空间（即同时具备弱类型$(2,H)$与弱余类型$(2,H^*)$）当且仅当其完全同构于$H$，该结论通过弱余类型条件与此类欧几里得子空间存在的等价性得以证明。
• 对所有完全核型映射$T:E \to E$，条件$\sum_k |\lambda_k(T)| \leq C \cdot \nu^o(T)$并不刻画弱-$H$空间，但蕴含$E$是$C''$-齐次且$C''$-希尔伯特空间，且$C'' \leq C' C^2$，因此完全同构于$H$。
• 更强的条件$\sum_k |\lambda_k(T)| \leq C \cdot \nu^o(T)$在某些算子空间（如$\mathcal{H}$）上成立，但这些空间并不完全同构于$H$，表明该条件严格强于弱-$H$空间。
• 对所有完全核型映射$T$，条件$\sum_k |\lambda_k(T)| \leq C \cdot \gamma_H^*(T)$等价于$E$完全同构于$H$，其中$\gamma_H^*$为$H$-核范数的对偶。