[论文解读] Analysis and Probability on Infinite-Dimensional Spaces

Nathaniel Eldredge|arXiv (Cornell University)|Jul 13, 2016

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

一句话总结

本文为无限维空间上的分析与概率提供了研究生水平的导论，重点讨论巴拿赫空间上的高斯测度（抽象维纳空间）。通过泛函分析、测度论和随机过程的工具，建立了基础结果，包括无限维勒贝格测度的不存在性以及坎姆登-马丁空间的作用。主要贡献在于系统地阐述了无限维空间中拓扑、测度与概率之间的相互作用，强调直观理解与具体例子（如布朗运动）。

ABSTRACT

These lecture notes contain an introduction to some of the fundamental ideas and results in analysis and probability on infinite-dimensional spaces, mainly Gaussian measures on Banach spaces. They originated as the notes for a topics course at Cornell University in 2011.

研究动机与目标

• 为无限维巴拿赫空间上的概率论提供严谨但直观的基础，尤其聚焦于高斯测度。
• 阐明无限维空间的结构性限制，例如平移不变的勒贝格测度的不存在性。
• 探讨坎姆登-马丁空间作为‘活跃子空间’的作用，即大多数概率与分析操作发生的位置。
• 通过协方差与样本路径性质，将抽象理论与经典随机过程（如布朗运动与分数布朗运动）联系起来。
• 展示在波兰空间（例如可分巴拿赫空间）上，有限博雷尔测度为雷登测度，从而可对携带测度的集合进行紧致逼近。

提出的方法

• 采用抽象维纳空间的框架，其中巴拿赫空间 $W$ 配备一个高斯测度 $\mu$ 及其相关的坎姆登-马丁空间 $H$。
• 应用里斯引理构造具有均匀分离性的点列，证明在无限维巴拿赫空间上，任何平移不变测度都无法为开球赋予有限正测度。
• 利用波兰空间到 $[0,1]^\infty$ 的嵌入，证明在可分完备度量空间上的有限博雷尔测度为雷登测度。
• 分析巴拿赫空间上强拓扑与弱拓扑之间的拓扑与测度论相互作用，尤其关注紧致性与收敛性。
• 利用巴拿赫空间与其对偶之间的对偶性，将坎姆登-马丁空间定义为协方差算子像的闭包。
• 通过经典维纳空间与连续高斯过程等例子说明理论结果，计算其坎姆登-马丁空间与样本路径正则性。

实验结果

研究问题

• RQ1 为何在无限维可分巴拿赫空间上不存在平移不变的博雷尔测度，使其对开球赋予有限正测度？
• RQ2 坎姆登-马丁空间如何作为巴拿赫空间上高斯测度的‘支撑’？为何它是维纳混沌与随机积分的自然定义域？
• RQ3 巴拿赫空间上不同范数所诱导的拓扑之间有何关系？它们如何影响博雷尔测度的存在性与性质？
• RQ4 如何在波兰空间中构造一列紧集，使其并集在给定博雷尔概率测度下具有全测度？
• RQ5 布朗运动与分数布朗运动等特定高斯过程的坎姆登-马丁空间的显式形式是什么？

主要发现

• 不存在无限维勒贝格测度：在无限维可分巴拿赫空间上，任何平移不变的博雷尔测度对每个开集的测度要么为零，要么为无穷。
• 波兰空间（如可分完备度量空间）上的有限博雷尔测度为雷登测度，意味着即使紧集在无限维巴拿赫空间中处处无内点，它们仍可逼近测度。
• 巴拿赫空间 $W$ 上高斯测度的坎姆登-马丁空间 $H$ 是 $W$ 的一个处处稠密子空间，承载了测度的全部‘作用’，是维纳积分与坎姆登-马丁公式的自然定义域。
• 对于经典维纳空间，可利用布朗运动的样本路径性质（如在 dyadic 区间上的霍尔德连续性或有界变差性）显式构造紧集 $K_n$，使得 $\mu(\bigcup K_n) = 1$。
• 不同范数在巴拿赫空间上诱导的拓扑会影响连续函数的数量与收敛行为；更强的拓扑具有更多开集，更少收敛序列。
• 若一个向量空间上存在两个完备但不等价的范数，则它们生成的拓扑无法以保持恒等映射连续的方式相互比较，此类例子可通过选择公理构造。