[论文解读] Unbounded Order Convergence and Application to Martingales without Probability

Niushan Gao, Foivos Xanthos|arXiv (Cornell University)|Jun 11, 2013

Advanced Banach Space Theory参考文献 15被引用 9

一句话总结

本文在 Banach 拓扑格中引入无界序（uo）收敛，以将 Doob 的鞅收敛定理推广至非概率空间。研究证明，在具有弱单位的序连续 Banach 拓扑格中，范数有界的次鞅几乎必然为 uo-Cauchy 列；并进一步证明，在 KB-空间中，每个范数有界的次鞅均 uo 收敛，从而将经典的 Doob 结果推广至抽象、无测度的设定。

ABSTRACT

A net $(x_α)_{α\in Γ}$ in a vector lattice $X$ is unbounded order convergent (uo-convergent) to $x$ if $|x_α-x| \wedge y \xrightarrow{o} 0$ for each $y \in X_+$, and is unbounded order Cauchy (uo-Cauchy) if the net $(x_α-x_{α'})_{Γ imes Γ}$ is uo-convergent to 0. In the first part of this article, we study uo-convergent and uo-Cauchy nets in Banach lattices and use them to characterize Banach lattices with the positive Schur property and KB-spaces. In the second part, we use the concept of uo-Cauchy sequences to extend Doob's submartingale convergence theorems to a measure-free setting. Our results imply, in particular, that every norm bounded submartingale in $L_1(Ω;F)$ is almost surely uo-Cauchy in $F$, where $F$ is an order continuous Banach lattice with a weak unit.

研究动机与目标

• 通过无界序收敛发展向量格与 Banach 拓扑格中无测度鞅理论。
• 通过 uo 收敛与 uo-Cauchy 网刻画具有正 Schur 性质的 Banach 拓扑格及 KB-空间。
• 将 Doob 的几乎必然收敛定理推广至不依赖于概率测度的抽象鞅设定。
• 在序连续 Banach 拓扑格上的抽象滤子下，建立次鞅与鞅的范数收敛与 uo 收敛结果。

提出的方法

• 引入无界序（uo）收敛：若对所有 $ y \in X_+ $，均有 $ |x_\alpha - x| \wedge y \xrightarrow{o} 0 $，则称网 $ (x_\alpha) $ uo 收敛于 $ x $。
• 将 uo-Cauchy 网定义为满足 $ (x_\alpha - x_{\alpha'}) $ uo 收敛于 0 的网，从而在无需序完备性的条件下实现收敛性分析。
• 利用 uo 收敛刻画具有正 Schur 性质的 Banach 拓扑格：即每个相对弱紧的 uo 收敛网均为范数收敛。
• 将 uo-Cauchy 网应用于通过正投影（滤子）定义的抽象鞅，从而推广 Doob 的收敛定理。
• 采用涉及弱单位 $ x_0 $ 与有界投影 $ E_n $ 的双重条件 $ (\diamond) $，以确保 $ (E_n x) $ 的范数收敛。
• 利用如下事实：在 KB-空间与序连续 Banach 拓扑格中，相对弱紧性或范数有界性可推出 uo-Cauchy 网的 uo 收敛。

实验结果

研究问题

• RQ1 在何种 Banach 拓扑格条件下，每个 uo-Cauchy 网均收敛？
• RQ2 如何将 Doob 对次鞅的几乎必然收敛定理推广至非概率、抽象的设定？
• RQ3 哪些 Banach 拓扑格满足：每个相对弱紧的 uo 收敛网均为范数收敛？
• RQ4 在何种抽象滤子中，范数有界的次鞅成为 uo-Cauchy 列或 uo 收敛？
• RQ5 能否通过 uo 收敛与范数收敛保证抽象鞅滤子中 $ (E_n x) $ 的收敛性？

主要发现

• 在序连续 Banach 拓扑格中，每个相对弱紧的 uo-Cauchy 网均为 uo 收敛，且此类空间恰好为具有正 Schur 性质的空间。
• 在 KB-空间中，每个范数有界的 uo-Cauchy 网均为 uo 收敛，且该性质可作为序连续 Banach 拓扑格中 KB-空间的特征刻画。
• 对于 $ L_1(\Omega; F) $ 中的任意范数有界次鞅，其中 $ F $ 为具有弱单位的序连续 Banach 拓扑格，则该序列在 $ F $ 中几乎必然为 uo-Cauchy 列。
• 在 KB-空间中，每个范数有界的次鞅均 uo 收敛，从而推广了 Doob 的经典几乎必然收敛结果。
• 若在抽象双随机滤子下，某鞅的子列弱收敛，则整个序列均 uo 收敛且范数收敛于同一极限。
• 对于次鞅，若某子列弱收敛于 $ x $，则 $ (z_n^+) $ 均 uo 收敛且范数收敛于 $ x^+ $，从而将范数收敛结果推广至正部。