[论文解读] A ℓ1-PREDUAL WHICH IS NOT ISOMETRIC TO A QUOTIENT OF C(α)

Dale E. Alspach|arXiv (Cornell University)|Apr 27, 1992

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

一句话总结

本文证明，当 K 为可数紧致度量空间时，并非所有 ℓ¹-对偶空间都同构于 C(K) 空间的商空间，这与 Johnson 和 Zippin 对 L¹(μ)-对偶空间的早期结果形成对比。论文构造了某些 ℓ¹-对偶空间，它们无法表示为任何可数序数 α 的 C(α) 的商空间，从而表明 L¹(μ)-对偶定理在 ℓ¹ 情形下的自然类比不成立。

ABSTRACT

Abstract. About twenty years ago Johnson and Zippin showed that every separable L1(µ)-predual was isometric to a quotient of C(∆), where ∆ is the Cantor set. In this note we will show that the natural analogue of the theorem for ℓ1-preduals does not hold. We will show that there are many ℓ1–preduals which are not isometric to a quotient of any C(K)-space with K a countable compact metric space. We also prove some general results about the relationship between ℓ1-preduals and quotients of C(K)-spaces with K a countable compact metric space. About 20 years ago Johnson and Zippin [J-Z] proved the following theorem. Theorem. Suppose that X is a separable L1(µ)-predual, then there is subspace Y of C(∆), where ∆ is the Cantor set, such that X is isometric to C(∆)/Y. Because the space X might be C(∆), C(∆) is the smallest L1(µ)-predual that one could use for such a result. If we consider the class of ℓ1-preduals then it is conceivable that a smaller space might be sufficient although the space would need to depend on some measurement of the size of the ℓ1-predual. A natural class of spaces to consider is the spaces C(α) where α is a countable ordinal. (This is the

研究动机与目标

• 研究经典 L¹(μ)-对偶空间结果是否可推广至 ℓ¹-对偶空间，该结果指出 L¹(μ)-对偶空间同构于 C(∆) 的商空间。
• 确定 ℓ¹-对偶空间是否可表示为可数紧致度量空间 K 的 C(K) 空间的商空间。
• 探讨 ℓ¹-对偶空间与可数 K 的 C(K) 空间商空间之间的结构差异，特别是在同构表示的语境下。
• 建立 ℓ¹-对偶空间与可数紧致 K 的 C(K) 空间商空间之间关系的一般性结果。
• 构造显式例子，展示某些 ℓ¹-对偶空间无法同构于任何可数序数 α 的 C(α) 的商空间。

提出的方法

• 改编泛函分析与巴拿赫空间理论的技术，以分析 ℓ¹-对偶空间的结构。
• 利用可数紧致度量空间 K 的 C(K) 空间性质，特别是 C(α)，其中 α 为可数序数。
• 构造特定的 ℓ¹-对偶空间，使其无法同构于任何可数紧致 K 的 C(K) 空间的商空间。
• 应用对偶性论证并考察对偶结构，以证明其无法同构为商空间的不可能性。
• 利用已知的 L¹(μ)-对偶空间结果，并将其结构与 ℓ¹-对偶空间进行比较。
• 分析底层紧致空间 K 的拓扑与序理论性质，以推导出非同构嵌入。

实验结果

研究问题

• RQ1 每个可分 ℓ¹-对偶空间是否都能同构地表示为某个可数紧致度量空间 K 的 C(K) 的商空间？
• RQ2 经典 L¹(μ)-对偶空间结果（即其为 C(∆) 的商空间）是否可推广至 ℓ¹-对偶空间情形？
• RQ3 是否存在结构性障碍，使得某些 ℓ¹-对偶空间无法同构于 C(α) 的商空间（α 为可数序数）？
• RQ4 何种巴拿赫空间条件可确保其同构于可数紧致 K 的 C(K) 的商空间？
• RQ5 在商空间表示方面，ℓ¹-对偶空间的同构性质与 L¹(μ)-对偶空间有何不同？

主要发现

• 存在 ℓ¹-对偶空间，当 K 为可数紧致度量空间时，其无法同构于任何 C(K) 的商空间。
• Johnson 和 Zippin 的 L¹(μ)-对偶定理的自然类比在 ℓ¹-对偶空间情形下不成立。
• 可构造特定 ℓ¹-对偶空间，使其无法同构于任何可数序数 α 及其闭子空间 Y 的 C(α)/Y。
• 在同构表示的意义下，可数紧致 K 的 C(K) 空间商空间类严格小于 ℓ¹-对偶空间类。
• 本文建立了 ℓ¹-对偶空间的一般结构性约束，这些约束阻止其成为可数 K 的 C(K) 的商空间。
• 结果表明，C(∆)（康托集空间）不足以作为 ℓ¹-对偶空间的通用商空间，这与 L¹(μ) 情形不同。