[论文解读] Unbounded Norm Convergence in Banach Lattices

Yang Deng, Mick O'Brien+1 more|arXiv (Cornell University)|May 11, 2016

Advanced Banach Space Theory参考文献 10被引用 10

一句话总结

本文在Banach格中引入并研究了无界范数收敛（un-收敛），通过条件 $\lVert |x_\alpha - x| \wedge u \rVert \to 0$ 对所有正元素 $u$ 定义该收敛。研究结果表明，un-收敛推广了测度收敛，且具有拓扑性，即存在一个Hausdorff线性拓扑，其收敛性恰好与un-收敛一致。

ABSTRACT

A net $(x_α)$ in a vector lattice $X$ is unbounded order convergent to $x \in X$ if $\lvert x_α- x vert \wedge u$ converges to $0$ in order for all $u\in X_+$. This convergence has been investigated and applied in several recent papers by Gao et al. It may be viewed as a generalization of almost everywhere convergence to general vector lattices. In this paper, we study a variation of this convergence for Banach lattices. A net $(x_α)$ in a Banach lattice $X$ is unbounded norm convergent to $x$ if $\lVert\lvert x_α- x vert \wedge u Vert o 0$ for all $u\in X_+$. We show that this convergence may be viewed as a generalization of convergence in measure. We also investigate its relationship with other convergences.

研究动机与目标

• 将无界范数收敛（un-收敛）的形式化并研究为Banach格中范数收敛的推广。
• 研究un-收敛与其他收敛类型（包括序收敛、uo-收敛和范数收敛）之间的关系。
• 证明在Banach格的背景下，un-收敛推广了测度收敛。
• 通过构造一个Hausdorff线性拓扑，证明un-收敛具有拓扑性，且其收敛性与un-收敛完全一致。
• 阐明un-收敛在子格中以及在序连续性假设下的局限性。

提出的方法

• 通过条件 $\lVert |x_\alpha - x| \wedge u \rVert \to 0$ 对所有 $u \in X_+$ 定义un-收敛，从而推广范数收敛。
• 构造一个邻域基 $\mathcal{N}_0$，其元素为 $V_{u,\varepsilon} = \{x \in X : \lVert |x| \wedge u \rVert < \varepsilon\}$，其中 $u \in X_+$ 且 $\varepsilon > 0$。
• 通过验证 $\mathcal{N}_0$ 对交、加法和数乘封闭，确认其构成Hausdorff线性拓扑的邻域基。
• 证明 $x_\alpha \xrightarrow{\mathrm{un}} x$ 当且仅当每个 $V_{u,\varepsilon} \in \mathcal{N}_0$ 都包含该网的一个尾部。
• 利用不等式 $|x+y| \wedge u \leq |x| \wedge u + |y| \wedge u$ 建立拓扑构造中的次可加性与范数控制。
• 通过 $\ell_\infty$ 和 $\ell_1 \oplus_\infty \ell_\infty$ 中的反例，证明un-收敛在子格嵌入下不保持，除非子格是序闭的。

实验结果

研究问题

• RQ1 在Banach格中，un-收敛与测度收敛有何关系？
• RQ2 un-收敛是否具有拓扑性？若是，能否显式构造出一个标准拓扑？
• RQ3 un-收敛是否蕴含或被其他收敛类型（如uo-收敛或范数收敛）所蕴含？
• RQ4 在何种条件下，子格中的un-收敛能推出其在全空间中的un-收敛？
• RQ5 un-收敛能否在Banach格设定下通过邻域基进行刻画？

主要发现

• un-收敛推广了测度收敛：在 $L_p$-空间中，un-收敛等价于测度收敛。
• un-收敛具有拓扑性：存在一个Hausdorff线性拓扑，其收敛性恰好为un-收敛，且其邻域基为 $V_{u,\varepsilon}$。
• 该拓扑是Hausdorff的，因为 $\bigcap \mathcal{N}_0 = \{0\}$，从而保证了极限的唯一性。
• 范数收敛蕴含un-收敛，且un-收敛在取子网和线性组合下保持不变。
• un-收敛在子格嵌入下不保持：一个序列可能在子格中为un-零，但在全空间中不是。
• 序连续性至关重要：在序连续的Banach格中，uo-收敛蕴含un-收敛，但若无序连续性，该结论不成立。