[论文解读] Weak cluster points of a sequence and coverings by cylinders

Vladimir Kadets|ArXiv.org|Dec 5, 2003

Approximation Theory and Sequence Spaces参考文献 5被引用 9

一句话总结

本文建立了希尔伯特空间中向量序列以零为弱极限点的充要条件：其范数平方倒数级数发散。利用巴尔的复平面定理，作者证明了此类弱极限点存在的充要条件为 ∑aₙ⁻² = ∞，并进一步表明将巴尔的复平面结果推广至高维圆柱体在 k ≥ 3 时失败。

ABSTRACT

Let $H$ be a Hilbert space. Using Ball's solution of the "complex plank problem" we prove that the following properties of a sequence $a_n>0$ are equivalent: (1) There is a sequence $x_n \in H$ with $\|x_n\|=a_n$, having 0 as a weak cluster point; (2) $\sum_1^\infty a_n^{-2}=\infty$. Using this result we show that a natural idea of generalization of Ball's "complex plank" result to cylinders with $k$-dimensional base fails already for $k=3$. We discuss also generalizations of "weak cluster points" result to other Banach spaces and relations with cotype.

研究动机与目标

• 确定希尔伯特空间中序列以零为弱极限点的必要与充分条件。
• 研究巴尔的复平面定理是否可推广至覆盖具有 k 维底面的圆柱体，特别是当 k ≥ 3 时。
• 将弱极限点的刻画推广至一般巴拿赫空间，尤其关注类型与有限可表示性之间的关系。
• 探讨加权收敛与矩阵加权极限在弱拓扑中的作用及其对序列行为的影响。

提出的方法

• 利用巴尔的复平面定理，该定理指出：在复希尔伯特空间中，若宽度为 wₙ 的平面覆盖直径为 w 的球，则 ∑wₙ² ≥ w²。
• 构造序列 xₙ = aₙeₙ，其中 ∥xₙ∥ = aₙ，{eₙ} 为标准正交基，以分析弱极限点行为。
• 引入权重矩阵 P = {pₙ,ₘ}，满足 ∑ₘ pₙ,ₘ = 1 且 limₙ→∞ pₙ,ₘ = 0，以定义 P-收敛与 w(P,p)-收敛。
• 应用 w(P,p)-收敛概念，证明若 ∑aₙ⁻² = ∞，则通过 |f(xₙ)|ᵖ 的加权平均可推出 0 为弱极限点。
• 采用反证法：若 ∑aₙ⁻² < ∞，则平面 Pₙ = {h : |⟨h,xₙ⟩| ≤ ½} 无法覆盖任何半径 R > 0 的球，意味着 0 不是弱极限点。
• 通过 ℓ₂ 与 ℓₚ 的有限可表示性，将结果推广至一般巴拿赫空间，并应用莫雷伊-皮西尔与多罗泽茨基定理，建立类型与弱极限点之间的联系。

实验结果

研究问题

• RQ1 对于范数 aₙ > 0，何种条件可保证存在希尔伯特空间 H 中的序列 xₙ ∈ H 满足 ∥xₙ∥ = aₙ 且 0 为弱极限点？
• RQ2 巴尔的复平面定理能否推广至希尔伯特空间中具有 k 维底面的圆柱体覆盖，特别是当 k ≥ 3 时？
• RQ3 巴拿赫空间的类型如何影响具有指定范数的序列的弱极限点存在性？
• RQ4 加权收敛（w(P,p)-收敛）与巴拿赫空间中弱极限点之间存在何种关系？
• RQ5 在何种条件下，序列 (aₙ) 可保证在一般巴拿赫空间 X 中存在满足 ∥xₙ∥ = aₙ 且 0 为弱极限点的序列？

主要发现

• 级数 ∑aₙ⁻² = ∞ 是希尔伯特空间 H 中存在序列 {xₙ} 满足 ∥xₙ∥ = aₙ 且 0 为弱极限点的必要且充分条件。
• 通过构造满足 ∑aₙ⁻² = ∞ 的等价条件的反例，证明了巴尔复平面定理向三维圆柱体推广的失败。
• 对任意无限维巴拿赫空间 X，若 ∑aₙ⁻² = ∞，则存在序列 {xₙ} ⊂ X 满足 ∥xₙ∥ = aₙ 且 0 为弱极限点。
• 在具有 M-类型 p ∈ [2, ∞] 的巴拿赫空间中，若 w(P,p′)-收敛于 0 成立，则有 ∑∥xₙ∥⁻ᵖ′ = ∞，其中 p′ 为 p 的共轭指数。
• 对于 ℓ∞ 有限可表示的巴拿赫空间（如 c₀），弱极限点的条件简化为 ∑aₙ⁻¹ = ∞，对应于 w(P,1)-收敛。
• 该结果是紧致的：若 ∑aₙ⁻² < ∞，则存在 f ∈ H* 使得对所有 n 有 |f(xₙ)| > ½，从而阻止 0 成为弱极限点。