[论文解读] Tukey classification of some ideals in $\omega$ and the lattices of weakly compact sets in Banach spaces

Antonio Avilés, Grzegorz Plebanek+1 more|arXiv (Cornell University)|Jun 20, 2014

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

一句话总结

该论文在解析决定公理下，利用图基可约性对可分巴拿赫空间中弱紧子集的格结构进行了分类。研究发现，对于此类空间，结构 K(BX) 图基等价于以下四类标准偏序集之一：单点集、ωω、K(Q) 或 [c]<ω；并通过 AK(BX) 框架引入基于度量的准包含关系，实现了对 AK(BX) 的细化分类。主要贡献是在解析决定公理下实现了完整的图基分类，且对不包含 ℓ₁ 的空间给出了 ZFC 结果。

ABSTRACT

We study the lattice structure of the family of weakly compact subsets of the unit ball $B_X$ of a separable Banach space $X$, equipped with the inclusion relation (this structure is denoted by $\mathcal{K}(B_X)$) and also with the parametrized family of almost inclusion relations $K \subseteq L+\epsilon B_X$, where $\epsilon>0$ (this structure is denoted by $\mathcal{AK}(B_X)$). Tukey equivalence between partially ordered sets and a suitable extension to deal with $\mathcal{AK}(B_X)$ are used. Assuming the axiom of analytic determinacy, we prove that separable Banach spaces fall into four categories, namely: $\mathcal{K}(B_X)$ is equivalent either to a singleton, or to $\omega^\omega$, or to the family $\mathcal{K}(\mathbb{Q})$ of compact subsets of the rational numbers, or to the family $[\mathfrak{c}]^{<\omega}$ of all finite subsets of the continuum. Also under the axiom of analytic determinacy, a similar classification of $\mathcal{AK}(B_X)$ is obtained. For separable Banach spaces not containing $\ell^1$, we prove in ZFC that $\mathcal{K}(B_X) \sim \mathcal{AK}(B_X)$ are equivalent to either $\{0\}$, $\omega^\omega$, $\mathcal{K}(\mathbb{Q})$ or $[\mathfrak{c}]^{<\omega}$. The lattice structure of the family of all weakly null subsequences of an unconditional basis is also studied.

研究动机与目标

• 使用图基可约性对可分巴拿赫空间中弱紧族的格结构进行分类。
• 通过引入 AK(BX) 框架，将度量信息纳入分类，该框架包含参数化关系 K ⊆ L + εBX（ε > 0）。
• 在解析决定公理下，证明 K(BX) 图基等价于以下四类标准偏序集之一：{0}、ωω、K(Q) 或 [c]&lt;ω。
• 对 AK(BX) 提供更精细的分类，以区分反映更强几何或拓扑性质的情形。
• 确定 K(BX) 与 AK(BX) 图基等价的条件，尤其在不包含 ℓ₁ 的空间中。
• 探讨在缺乏解析决定公理时分类的一致性，并研究该背景下的开放问题。

提出的方法

• 使用图基可约性比较表示巴拿赫空间中弱紧族的偏序集。
• 引入 AK(BX)，该结构配备参数化关系 K ⊆ L + εBX（ε > 0），以整合度量信息。
• 应用 coanalytic 集的 Lusin 间隙二分法分析 ω 上的复杂理想，从而对解析族 I 的正交族 I⊥ 进行分类。
• 利用解析决定公理确保某些同质子结构的存在，从而实现向标准类型的分类。
• 应用拉姆齐理论论证与树分析（例如 2&lt;ω 中的反链与链分解）以控制集合族的结构。
• 在满足 MAℵ₁ 与 Lusin 假设的模型中构造反例，表明在某些基数不变量下，[ω₁]&lt;ω 不图基等价于任何标准偏序集。

实验结果

研究问题

• RQ1 在解析决定公理下，可分巴拿赫空间中单位球 BX 的弱紧子集格 K(BX) 的可能图基类型有哪些？
• RQ2 在 AK(BX) 中引入基于度量的关系后，与 K(BX) 相比，对弱紧集的分类有何细化？
• RQ3 是否存在非自反可分巴拿赫空间，使得 K(BX) 不图基等价于 {0}、ωω、K(Q) 或 [c]&lt;ω 中的任意一个？该结论是否一致？
• RQ4 在 ZFC 下，能否对不包含 ℓ₁ 的巴拿赫空间证明 K(BX) 与 AK(BX) 的图基等价？
• RQ5 在非 SWCG 空间中，AK(BX) 是否总是满足 ωω ⪯ AK(BX) 或 AK(BX) ⪯ ω，还是存在中间类型？

主要发现

• 在解析决定公理下，单位球 BX 的弱紧子集格 K(BX) 图基等价于以下四类标准偏序集之一：单点集（对应自反空间）、ωω、K(Q) 或 [c]&lt;ω。
• AK(BX)（包含基于度量的准包含关系）可进一步细分为五类：{0}、ω、ωω、K(Q) 和 [c]&lt;ω，其中 ω 类对应强弱紧生成空间。
• 对于不包含 ℓ₁ 的可分巴拿赫空间，K(BX) 与 AK(BX) 在 ZFC 下图基等价，且每一者均等价于 {0}、ωω、K(Q) 或 [c]&lt;ω 中之一。
• 在满足 MAℵ₁ 与 Lusin 假设的模型中，[ω₁]&lt;ω 不图基等价于 {0}、ω、ωω、K(Q) 或 [c]&lt;ω，原因在于其共尾性为 ℵ₁，而后者共尾性为 ℵ₀、d 或 c。
• 定理 7.12 的构造在存在大小为 ℵ₁ 的 coanalytic 集的假设下，给出一个非自反、可分且具有无条件基的巴拿赫空间，其弱紧集生成的结构不图基等价于四类标准类型中的任意一类。
• 在同一模型中，X = ℓ₁(ω₁) 的 AK(BX) 的共尾性为 ω₁，而 cf(ωω) = d，因此若 ω₁ < d，则 ωω ⪯ AK(BX) 不成立，表明 AK(BX) 可脱离标准类。