[论文解读] A note on lineability

Geraldo Botelho, Diogo Diniz+2 more|ArXiv.org|May 16, 2009

Advanced Banach Space Theory参考文献 5被引用 3

一句话总结

该论文在特定条件下证明了从超反射巴拿赫空间 $E$ 到巴拿赫空间 $F$ 的紧算子集合中，排除绝对 $p$-求和算子后的集合是 $\aleph_1$-线性无关的——具体而言，当 $E$ 具有补的无限维无条件基，或 $F$ 包含无限无条件基本序列时成立。证明通过构造从 $\ell_1$ 到差集的单射线性映射，展示了该集合中存在一个不可数维子空间，从而将先前关于 $\aleph_0$-线性无关的结果推广。

ABSTRACT

In this note we answer a question concerning lineability of the set of non-absolutely summing operators.

研究动机与目标

• 解决文献 [1] 中的一个开放问题：即非绝对求和算子集合是否可能为 $\mu$-线性无关，其中 $\mu > \aleph_0$。
• 将已知的非绝对求和算子的 $\aleph_0$-线性无关结果推广至不可数线性无关。
• 在 $E$ 满足适当几何条件时，为 $\mathcal{L}(E;F)$ 中在某固定点实现范数的算子集合建立 $\aleph_1$-线性无关性。
• 证明在某些情况下线性无关维数是最佳的，例如当 $E = \ell_p$，$F = \ell_q$ 且 $p > 1$ 时。
• 统一并推广文献 [1] 和 [4] 的技术，以在算子理想与实现范数的算子集合中证明线性无关性。

提出的方法

• 将 $\mathbb{N}$ 分解为无穷多个两两不相交的无限子集 $(A_j)_{j=1}^\infty$，以构造具有无条件基的子空间。
• 利用无条件基的性质，定义 $E_0 \subset E$ 或 $F_j \subset F$ 中的补子空间 $E_j$，确保其有界投影且范数不超过 $\varrho$，即无条件基常数。
• 在每个 $E_j$ 或 $F_j$ 上构造算子 $u_j$，使其为紧算子但不是绝对 $p$-求和算子，利用 [2] 中已知结果。
• 通过复合投影与包含映射，将每个 $u_j$ 扩展为 $E$ 上的算子 $\widetilde{u}_j$，确保 $\widetilde{u}_j \in \mathcal{K}(E;F)\setminus\Pi_p(E;F)$。
• 定义线性映射 $T: \ell_1 \to \mathcal{K}(E;F)$，令 $T((a_n)) = \sum_{j=1}^\infty a_j \widetilde{u}_j$，利用不相交支集确保其单射性。
• 证明 $T(\ell_1) \subset (\mathcal{K}(E;F)\setminus\Pi_p(E;F)) \cup \{0\}$，表明像为包含于差集中的 $\aleph_1$-维子空间。

实验结果

研究问题

• RQ1 在适当的巴拿赫空间条件下，集合 $\mathcal{L}(E;F)\setminus\Pi_p(E;F)$ 是否可能为 $\mu$-线性无关，其中 $\mu > \aleph_0$？
• RQ2 当 $E$ 为超反射空间且包含具有无条件基的补无限维子空间时，$\mathcal{K}(E;F)\setminus\Pi_p(E;F)$ 是否为 $\aleph_1$-线性无关？
• RQ3 相同线性无关技术是否适用于实现范数的算子集合 $\mathcal{NA}^{x_0}(E;F)$？
• RQ4 在自然例子如 $E = \ell_p$，$F = \ell_q$ 中，$\mathcal{K}(E;F)\setminus\Pi_p(E;F)$ 的最大可能线性无关维数是多少？
• RQ5 该构造能否推广至绝对求和与紧算子之外的其他算子理想？

主要发现

• 若 $E$ 为超反射空间且包含具有无条件基的补无限维子空间，则集合 $\mathcal{K}(E;F)\setminus\Pi_p(E;F)$ 为 $\aleph_1$-线性无关。
• 若 $F$ 包含无限无条件基本序列，即使不假设 $E$ 具有此类子空间，结论依然成立。
• 该构造产生一个单射线性映射 $T: \ell_1 \to \mathcal{K}(E;F)$，其像位于 $\left(\mathcal{K}(E;F)\setminus\Pi_p(E;F)\right) \cup \{0\}$ 内，从而证明了不可数线性无关性。
• 所构造子空间的维数恰好为 $\aleph_1$，在 $E = \ell_p$，$F = \ell_q$ 且 $p > 1$ 的情况下为最优，因为 $\dim \mathcal{L}(\ell_p;\ell_q) = \aleph_1$。
• 该方法可推广至实现范数的算子：若 $E$ 包含某个 $1 \leq q < \infty$ 的 $\ell_q$ 等距拷贝，则 $\mathcal{NA}^{x_0}(E;F)$ 为 $\aleph_1$-线性无关。
• 证明依赖于不相交支集与有界投影，确保映射 $T$ 的单射性，并在像中保持所需算子性质。