[论文解读] On the coarsest topology preserving continuity

Nicolas Bouleau|arXiv (Cornell University)|Oct 11, 2006

Advanced Topology and Set Theory参考文献 4被引用 8

一句话总结

本文引入了“粘着拓扑”——一种在函数空间上保持连续性的最粗拓扑，其粗细介于局部一致收敛与点态收敛之间，同时保持了关键性质如博雷尔可测性、局部可积性及 càdlàg 正则性。该拓扑允许“滑动驼峰”（即非一致连续但收敛于连续极限的序列），并通过“驼峰之后的一致连续性”提供相对紧致性准则，从而支持随机过程中的弱收敛分析。

ABSTRACT

We study a topology on a space of functions, called sticking topology, with the property to be the weakest among the topologies preserving continuity. In suitable frameworks, this topology preserves borelianity, local integrability, right continuity and other properties. It is coarser than the locally uniform convergence and it allows the presence of gliding humps as we show on examples. We prove relative compactness criteria for this topology and we consider some extensions.

研究动机与目标

• 在函数空间上定义并分析一种新拓扑，使其为保持极限函数连续性的最粗拓扑。
• 研究在该拓扑下哪些解析性质（例如博雷尔可测性、局部可积性、càdlàg 性质）得以保持。
• 为该拓扑下函数序列的相对紧致性提供准则。
• 探索在随机过程中的应用，特别是概率测度的弱收敛。
• 通过一致结构将该框架扩展至巴拿赫空间及具有边界行为的函数空间。

提出的方法

• 通过允许在可能的驼峰之后实现局部一致逼近的初等邻域，在 $\mathbb{R}^{\mathbb{R}_+}$ 上定义粘着拓扑。
• 证明粘着拓扑是豪斯多夫空间，比点态收敛更精细，但比局部一致收敛更粗糙。
• 引入“驼峰之后的一致连续性”概念，作为对一致连续性的松弛，允许出现类似驼峰的不连续性。
• 使用函数 $\rho(s,t)$ 和 $e_A(s,t)$ 来量化振荡并控制该拓扑下的收敛性。
• 将该拓扑应用于 càdlàg 函数空间 $D$，证明其为可度量空间，并在满足紧致性与有限维分布收敛的条件下与弱收敛相容。
• 通过范数 $\|\cdot\|_s$ 将框架扩展至 $\ell^\infty$，并通过局部一致收敛与边界衰减机制，将框架推广至具有边界区域的连续函数空间。

实验结果

研究问题

• RQ1 在函数空间上，保持极限函数连续性的最粗拓扑是什么？
• RQ2 在粘着拓扑下，哪些解析性质（如博雷尔可测性、可积性、càdlàg 性质）得以保持？
• RQ3 具有“滑动驼峰”的序列能否在该拓扑下连续收敛？其与一致收敛或点态收敛有何区别？
• RQ4 在粘着拓扑下，相对紧致性的必要与充分条件是什么？
• RQ5 如何将粘着拓扑扩展至巴拿赫空间及具有边界行为的函数空间？

主要发现

• 粘着拓扑比局部一致收敛更粗糙，但比点态收敛更精细，且使连续函数空间成为闭集。
• 该拓扑保持了博雷尔可测性、局部可积性及 càdlàg 性质，而这些性质在点态收敛下通常会丢失。
• 具有无界上穿次数与滑动驼峰的序列可在粘着拓扑下收敛于连续极限，体现了该拓扑的鲁棒性。
• 一个集合在粘着拓扑下相对紧致，当且仅当其在驼峰之后一致连续，且在每一点上均为点态相对紧致。
• Skorohod 空间 $D$ 上的拓扑是可度量的，且当有限维分布收敛且满足紧致性条件时，概率测度的弱收敛成立。
• 通过 $\|\cdot\|_s$ 将框架扩展至 $\ell^\infty$，并通过边界衰减机制将框架推广至具有边界的定义域上的连续函数，均得到可度量的拓扑，且允许向边界处出现驼峰。