[论文解读] On J. Borwein's concept of sequentially reflexive Banach spaces

Peter Ørno|arXiv (Cornell University)|Oct 9, 1991

Advanced Banach Space Theory参考文献 2被引用 7

一句话总结

该论文通过证明：一个巴拿赫空间是序列自反的（即其对偶空间中的每个弱*收敛序列都是范数收敛的），当且仅当它不包含同构于 ℓ¹ 的子空间，从而解决了 J. Borwein 提出的问题。该特征刻画依赖于 ℓ¹ 作为子空间的缺失，为巴拿赫空间理论中的序列自反性提供了完整且内在的判别准则。

ABSTRACT

A Banach space $X$ is reflexive if the Mackey topology $τ(X^*,X)$ on $X^*$ agrees with the norm topology on $X^*$. Borwein [B] calls a Banach space $X$ {\it sequentially reflexive\/} provided that every $τ(X^*,X)$ convergent {\it sequence\/} in $X^*$ is norm convergent. The main result in [B] is that $X$ is sequentially reflexive if every separable subspace of $X$ has separable dual, and Borwein asks for a characterization of sequentially reflexive spaces. Here we answer that question by proving \proclaim Theorem. {\sl A Banach space $X$ is sequentially reflexive if and only if $\ell_1$ is not isomorphic to a subspace of $X$.}

研究动机与目标

• 为 J. Borwein 提出的序列自反巴拿赫空间提供一个完整的特征刻画。
• 确定巴拿赫空间的对偶空间中每个弱*收敛序列都是范数收敛的充要条件。
• 解决泛函分析中关于具有序列自反性的巴拿赫空间结构的一个开放问题。
• 建立对偶空间中 ℓ¹ 结构的缺失与序列自反性之间的联系。
• 为巴拿赫空间的序列自反性提供一个结构性而非拓扑性的判别准则。

提出的方法

• 证明依赖于对偶理论以及巴拿赫空间对偶中弱*收敛的性质。
• 利用若 ℓ¹ 同构嵌入到巴拿赫空间 X 中，则 X* 包含同构于 ℓ∞ 的子空间这一事实，从而可构造出非范数收敛的弱*收敛序列。
• 论证采用反证法：若 ℓ¹ 同构于 X 的某个子空间，则 X 不是序列自反的。
• 反之，若 ℓ¹ 不同构于 X 的任何子空间，则 X* 中每个 τ(X*,X)-收敛序列必为范数收敛。
• 证明利用了可分对偶的经典结果以及 ℓ¹ 和 ℓ∞ 的结构，特别是 ℓ∞* 的非可分性。
• 主要技术工具是 Banach-Alaoglu 定理，以及通过有界网和泛函对弱*收敛的刻画。

实验结果

研究问题

• RQ1 巴拿赫空间在 Borwein 意义下的序列自反性的充要条件是什么？
• RQ2 能否在不依赖拓扑收敛结构的前提下表征巴拿赫空间的序列自反性？
• RQ3 若空间中存在同构于 ℓ¹ 的子空间，是否阻碍其对偶空间的序列自反性？
• RQ4 是否存在一个结构性（而非拓扑性）不变量，能完全刻画序列自反的巴拿赫空间？
• RQ5 与 ℓ¹ 的非同构性如何关联于对偶空间弱*拓扑中序列的收敛性？

主要发现

• 一个巴拿赫空间 X 是序列自反的，当且仅当 ℓ¹ 不同构于 X 的任何子空间。
• X 中不存在 ℓ¹ 嵌入可确保 X* 中每个弱*收敛序列都是范数收敛的。
• 若 X 包含同构于 ℓ¹ 的子空间，则在 X* 中存在一个弱*收敛但不范数收敛的序列，因此 X 不是序列自反的。
• 该特征刻画是精确且结构性的，仅依赖于 X 的子空间结构。
• 该结果解决了 Borwein 关于序列自反空间特征刻画的开放问题。
• 证明建立了 ℓ¹ 嵌入不存在性与对偶空间中序列收敛性质之间的深刻联系。