Haobai Wang · 公开阅读版 · ch08-zh-a01d3147929e
内容指纹用于核对本章文本，不表示学术终审或独立的作者身份证明。
SHA-256: a01d3147929e96aaff254ac32092fcb81d6b022f5d08657c4d0f9d0dad86a536
《偶然的数学》
第二卷 · 无限世界中的概率
第八章：如何构造无限随机实验？
上一章结束时，我们已经能够沿着一条无限的观察记录向前走。
我们知道小概率事件仍可能反复发生，知道怎样从依概率收敛中抽取几乎必然收敛的子序列，也知道一根尖峰怎样逃出期望的极限。可是，这些讨论都从同一个地方开始：已经有了一个概率空间，所有随机变量已经住在里面。
现在，让我们暂时放下这个前提。
桌上只有一枚硬币。抛一次，我们会写出两个结果的概率；抛两次，我们会写出四个结果的概率。对于任何事先给定的有限次数，我们都能把规则写得清清楚楚。
但“对于每一个有限次数都能做”，与“有一个地方容纳所有这些次数”，是不是同一件事？
这不是问我们能否真的坐在桌旁抛到无穷远。数学需要的是另一种存在：有一个样本空间，其中一项结果就是完整的无限记录；有一个可数可加的概率，它在每一段有限记录上都与我们原来给出的规则一致。
如果不存在这样的空间，上一章那些关于无限次异常与长期频率的判断，就没有共同的对象可以指向。
因此，我们必须回头检查一个一直被轻轻带过的动作：当我们写下“令 X_1,X_2,\ldots 为一列随机变量”时，究竟承诺了什么？
8.1 每一段有限记录都正确，整个世界仍可能选错
先试着造一个看起来很节省的世界。
用1表示正面、0表示反面，只允许那些最终全为0的无限记录：
\Omega_{\mathrm{fin}}
=\{\omega\in\{0,1\}^{\mathbb N}:
\omega_n=0\text{ 对所有充分大的 }n\}.这个空间并没有妨碍任何有限实验。无论我们事先指定多长的一串0与1，都可以把它写在开头，然后一直补0。甚至在任意有限多个位置上指定结果，也总能在这里找到实现。
因此，我们很容易产生一个愿望：给每个长度为 m 的前缀赋予概率 2^{-m}，就像独立公平抛硬币那样。
困难却立刻出现了。
固定一条记录 \omega。它的单点事件包含在与它相同的每一个有限前缀事件中，所以任何具有上述有限规则的概率都必须满足
0\le P(\{\omega\})\le2^{-m}
\quad\text{对每个 }m,从而 P(\{\omega\})=0。单点事件确实可测：它是逐个固定坐标所得事件的可数交。
但 \Omega_{\mathrm{fin}} 是可数的。它是“在第 m 步以后全为0”的有限集合随 m 增加所得的可数并。因此，可数可加性要求
P(\Omega_{\mathrm{fin}})
=\sum_{\omega\in\Omega_{\mathrm{fin}}}P(\{\omega\})=0,这又必须等于1。
矛盾不来自某次抛掷的计算错误。每个有限窗口都看不见这个世界少了什么；把所有窗口合在一起时，缺失才暴露出来。
这个例子比“无限比有限复杂”更具体。它告诉我们：有限实验能够逐一实现，不保证我们随手选定的样本空间能够同时承载这些实验的概率。
第五章已经教过我们，不能为了给所有集合测量大小而放弃可数可加性。现在，我们也不能为了保留一个过小的样本空间而放弃它。
我们需要一个真正容纳所有无限记录的空间，还需要证明概率能在那个空间上建立起来。
8.2 无限记录不是一个大号码，而是一整列坐标
最自然的选择，是先不排除任何记录：
\Omega=\{0,1\}^{\mathbb N}.其中一个点是 \omega=(\omega_1,\omega_2,\ldots)。第 n 次实验的结果成为一个坐标函数：
X_n(\omega)=\omega_n.这里先有记录，再有读取记录的坐标。我们不必在一个神秘的背景空间里寻找随机变量；让整条记录本身成为样本点，随机变量就由读取动作产生了。
可是，\Omega 目前只是一个集合。写出它，没有写出事件，更没有写出概率。
有限实验最先能回答的事件，是诸如
\{X_1=1,\ X_3=0,\ X_{10}=1\}这样的要求。它只观察有限多个坐标，把其余坐标全部放开。这类集合称为柱集（cylinder set）。
名字可以从几何上理解：在某些方向规定一个截面，其他方向任意延伸。只是现在，任意延伸的方向可以有无穷多个。
对于一般的非空可测状态空间 (E_n,\mathcal E_n)，我们同样可以取
\Omega=\prod_{n\ge1}E_n,
\qquad \pi_n(\omega)=\omega_n.最小的事件系统，应当让所有坐标读取都可测。因此定义
\bigotimes_{n\ge1}\mathcal E_n
=\sigma\{\pi_n^{-1}(A):n\ge1,\ A\in\mathcal E_n\}.这叫乘积 \sigma-代数。它也由所有有限维柱集生成。
注意，我们此时定义的是乘积的可测结构，还没有得到乘积概率。把一个符号 \bigotimes 写在 \sigma-代数之间，并不能替代概率测度的存在证明。
另一方面，这个事件系统并不只包含有限观察。只要反复使用可数并、可数交与补集，就能表达无限的要求。例如，在硬币空间中，
\{X_n=1\text{ 无穷多次}\}
=\bigcap_{m\ge1}\bigcup_{n\ge m}\{X_n=1\}.“正面频率趋于 1/2”也可写成
\bigcap_{r\ge1}\bigcup_{N\ge1}\bigcap_{n\ge N}
\left\{\left|\frac1n\sum_{j=1}^nX_j-\frac12\right|<\frac1r\right\}.无限记录上的长期命运，就这样进入了有限观察所生成的 \sigma-代数。
我们已经知道哪些问题可以提。接下来，必须给这些问题一个彼此相容的概率回答。
8.3 两份实验记录重叠时，它们必须讲述同一件事
假设有人分别交给我们前 n 次实验的联合概率 \mu_n。这些概率各自合法，还不够。
如果两次实验的分布说“第一次必为0”，一次实验的分布却说“第一次必为1”，就不可能来自同一条记录。删除第二次观察，不应改变第一次观察的规律。
所以必须有
\mu_{n+1}(A\times E_{n+1})=\mu_n(A),
\qquad A\in\bigotimes_{j=1}^n\mathcal E_j.这叫一致性。它不是变量之间相互独立，而是不同大小的观察窗口不能互相冲突。
只给出各个坐标的单独分布，就还没有给出这样的信息。设 X_1,X_2 都以相等概率取0或1。它们可以始终相等，可以始终相反，也可以独立。三个世界的单个坐标分布相同，两次实验的联合记录却不同。
这也是第一章、第四章与第七章反复出现的那个问题：边际规律没有决定共同生活的方式。扩张定理不会替我们选择依赖关系；我们必须先把所需的有限维联合关系交给它。
甚至“每两次实验都有一份合法的联合分布”，也未必足够。设三个0—1变量的每一对都被要求以概率1取相反值，而且每个单独分布都公平。每一份两维分布都合法，它们的一维边际也相同；但若第一位与第二位相反、第二位又与第三位相反，第一位必与第三位相同，无法满足第三份要求。
因此，不能只在相邻窗口上随意打勾。我们需要的是包含所有有限窗口的一致家族，其中每个较大的窗口真正容纳它的所有较小窗口。
如果观察时刻不是 1,2,\ldots，而是一个一般指标集 T，最清楚的记法是：对每个非空有限子集 J\subseteq T，给出一个定义在
E_J=\prod_{t\in J}E_t上的概率测度 \mu_J。若 J\subseteq K，从较大的窗口只保留 J 中的坐标，投影记为 \pi_{K,J}，则要求
\mu_K\circ\pi_{K,J}^{-1}=\mu_J.把坐标按有限集合编号，已经包含了换序时应有的相容关系。如果改用有序时间列表写分布，就还要明确：同时重排时间与坐标，不应改变概率含义。
现在的问题终于变得精确：一族一致的有限维概率，能否成为同一个无限记录空间的所有有限维分布？
8.4 我们已经能填写有限的账，却还不能跨过可数的门槛
暂时回到可数次实验。记前 m 个坐标的投影为 \pi_{1:m}。所有形如
C=\pi_{1:m}^{-1}(B),
\qquad B\in\bigotimes_{j=1}^m\mathcal E_j的集合组成一个代数 \mathcal A：两项有限观察可以放到同一个更长的前缀里，之后取并、交或补，仍然只是一次有限观察。
我们当然想定义
p_0(C)=\mu_m(B).先要确认这个数与柱集的写法无关。如果同一集合用不同长度的前缀表示，就把两种表示都提升到较长的前缀。乘积坐标的投影是满射，一致性又保证删除多余坐标不改变概率，所以两种算法相同。
同样，把有限多个不交柱集提升到同一窗口，有限可加性便由那一个有限维概率直接给出。
到这里，p_0 已经是一份没有有限矛盾的账。
但我们要的是可数可加，不只是有限可加。
若 A_1,A_2,\ldots\in\mathcal A 两两不交，且它们的并 A 仍属于 \mathcal A，我们还需要
p_0(A)=\sum_{n\ge1}p_0(A_n).满足这个要求的非负可加函数叫预测度（premeasure）。这里没有要求代数对任意可数并封闭；要求只施加在并集仍位于定义域的时候。以后扩张到 \sigma(\mathcal A)，正是为了补齐事件系统。
怎样检验这一步？对于总质量有限的非负有限可加函数，答案特别贴近上一章：检验递减事件的极限。
C_n\in\mathcal A,\quad C_n\downarrow\varnothing
\qquad\Longrightarrow\qquad p_0(C_n)\longrightarrow0.为什么这个条件就够了？把 A 的可数分解截到前 m 项，剩余集合
R_m=A\setminus\bigcup_{n=1}^mA_n仍属于代数，而且递减到空集。有限可加性给出
p_0(A)=\sum_{n=1}^m p_0(A_n)+p_0(R_m).令 m\to\infty，剩余质量趋零，便得到可数可加性。
反过来，若 C_n\downarrow\varnothing，则差集 C_n\setminus C_{n+1} 两两不交，其并为 C_1。预测度的可数可加性使这份有限总质量分解成一条收敛级数；p_0(C_m) 正是它从第 m 项开始的尾和，因而趋零。
无限扩张的困难因此被压缩成一个问题：有限观察逐步收紧，已经没有任何完整记录能通过时，它们的概率是否也被迫消失？
开头那个过小的硬币世界，恰好会在这里失败。
把 \Omega_{\mathrm{fin}} 的记录列为 \omega^{(1)},\omega^{(2)},\ldots。给定 0<\varepsilon<1，围绕第 j 条记录选一个足够长的前缀柱集 H_j，使
\omega^{(j)}\in H_j,
\qquad p_0(H_j)<\varepsilon2^{-j}.它们的可数并覆盖整个 \Omega_{\mathrm{fin}}。可是
D_m=\Omega_{\mathrm{fin}}\setminus\bigcup_{j=1}^mH_j
\downarrow\varnothing,
\qquad p_0(D_m)>1-\varepsilon.这里的 p_0 是根据公平有限前缀规则定义的有限可加函数，有限并的概率上界来自有限可加性。每一步账都平，最后剩余的质量却没有地方落脚。
所以，“应用测度扩张定理”绝不能是一句跳过困难的话。先证明我们手中的柱集概率真是预测度，才有资格使用它。
8.5 如果有限账本足够可靠，外测度怎样把它延伸出去？
先把扩张工具本身说明白。设 \mathcal A 是 \Omega 上的一个代数，p_0 是其上的预测度，且 p_0(\Omega)=1。
第五章中，我们用区间覆盖去测量尚未知道是否可测的实数集合。现在，区间换成已有概率的代数事件，其余思想仍然适用：
p^*(H)=\inf\left\{
\sum_{n\ge1}p_0(A_n):
H\subseteq\bigcup_{n\ge1}A_n,\ A_n\in\mathcal A
\right\}.这个数对每个 H\subseteq\Omega 都有定义。因为 \Omega\in\mathcal A，至少有一个总花费为1的覆盖。
空集的大小为0，集合越大所需覆盖不会更便宜；给每个集合选择一个距最优值只差 \varepsilon2^{-n} 的覆盖，再把这些覆盖合起来，就得到可数次可加性。因此 p^* 是外测度。
它真的保留旧账吗？对 A\in\mathcal A，单个集合自我覆盖给出 p^*(A)\le p_0(A)。另一方面，若 A\subseteq\bigcup_nA_n，令
B_n=A\cap\left(A_n\setminus\bigcup_{j<n}A_j\right).这些集合属于代数，彼此不交，并且并为 A。预测度性质于是给出
p_0(A)=\sum_n p_0(B_n)\le\sum_n p_0(A_n).对全部覆盖取下确界，就有 p^*(A)\ge p_0(A)。两边合起来，旧事件的概率一项也没有改变。
这段论证也把预测度假设的重要性暴露得很清楚：若只有有限可加，就没有理由把 A 的这个可数分解加回原来的概率。开头的错误世界，甚至会让总质量为1的空间被任意便宜的可数覆盖吞掉。
现在用 Carathéodory 的分割准则选择事件：
H\in\mathcal M
\quad\Longleftrightarrow\quad
p^*(Q)=p^*(Q\cap H)+p^*(Q\setminus H)
\quad\text{对所有 }Q\subseteq\Omega.每个 A\in\mathcal A 都通过这个检验。事实上，把任意覆盖集合分别与 A 及其补相交，有限可加性使原覆盖的花费拆成两部分；取下确界得到所需的一个不等式，反向不等式来自外测度的次可加性。
第五章及补充证明 A关于这一分割准则的证明只用了外测度的性质，不依赖实数轴：\mathcal M 是 \sigma-代数，p^* 限制在其上是可数可加测度。于是
\mathcal A\subseteq\sigma(\mathcal A)\subseteq\mathcal M,
\qquad P=p^*|_{\sigma(\mathcal A)}给出了我们要的概率扩张。
这个扩张在 \sigma(\mathcal A) 上还是唯一的。若 Q 是另一个保持 p_0 的概率，那么对任何可测 H，任意代数覆盖都给出 Q(H)\le\sum_n p_0(A_n)，所以
Q(H)\le p^*(H)=P(H).对补集同样使用这个不等式，再利用两者总质量均为1，就得到反向不等式。故 Q(H)=P(H)。
这就是本章所用的 Carathéodory 概率测度扩张定理：代数上的概率预测度，在它生成的 \sigma-代数上具有唯一的概率扩张。外测度还给出了一个完备的更大可测结构；我们稍后会说明为什么先保留生成的 \sigma-代数通常更清楚。 对于概率及具有共同有限覆盖的测度，也可使用生成类唯一性定理；它不代替这里的存在性构造。
工具已经准备好了。真正尚未完成的，是证明一致有限维规律所给的柱集账本不会在可数极限处失信。
8.6 硬币世界里，紧性怎样阻止一条记录消失？
在完整硬币空间 \{0,1\}^{\mathbb N} 上，我们可以先看到一个非常透明的证明。
赋予每个坐标离散拓扑。两个记录越晚才第一次不同，就认为它们越接近，例如使用距离
d(\omega,\eta)=\sum_{j\ge1}2^{-j}|\omega_j-\eta_j|.这个空间是紧的。给定任意一列记录，先选出第一位相同的无穷子列，再选第二位相同的无穷子列，依次继续；对角抽取所得的子列在每个坐标最终稳定，也就在上述距离下收敛。
只观察前 m 位的柱集是闭集，实际上也是开集，因为这些坐标的状态只有有限种。若 C_n 是一列递减非空柱集，在每个 C_n 中取一条记录，利用刚才的对角抽取与闭性，就会得到一条属于全部 C_n 的记录。
因此，若 C_n\downarrow\varnothing，其中必有一个已经为空；此后概率当然为0。柱集上的公平概率于是满足从上连续性，是预测度。扩张定理终于给出了无限公平硬币的概率。
与 \Omega_{\mathrm{fin}} 比较，差别不在任何一份有限账单。差别在于：有限记录越来越长时，完整空间保留了它们的极限记录；那个过小的空间却把一些极限记录排除在外。
紧性在这里没有替我们计算概率。它阻止了所有有限要求都能满足、无限要求却突然无处实现的情况。
真实随机变量的状态不只0和1。实数轴不紧，Borel 集也未必闭。刚才的证明还有多少能够留下？
答案不是要求所有状态空间本来都紧，而是利用概率：我们可以舍弃任意少的质量，把关键部分留在紧集里。
8.7 实数可以走向无穷远，概率为什么仍能找到紧的落脚处？
先在实数轴上看。对于任意 Borel 概率 \mu，
\mu([-R,R])\uparrow1.所以它是紧的，这正是第7.15.1节刚刚区分过的单个测度的 tightness。
但在构造证明中，我们还需要把某个具体 Borel 事件从内部近似成紧集，不能只近似整个空间。
想一想下一步要做什么：有限窗口里的事件可能有缺口，甚至没有一个显眼的“边界”。若只知道大部分质量落在某个紧集上，与这个事件相交后却未必仍是闭集，极限记录仍可能从缺口中溜走。我们需要把紧集放在事件里面，而不是仅仅放在事件附近。
对实数轴与有限维欧氏空间，这是测度正则性的表现；我们把所需的论证放到稍广、也更有用的背景中完成。
称一个度量空间为 Polish 空间，如果它可分，并且其拓扑可由某个完备距离给出。这里使用这样一个完备距离。实数轴、有限维欧氏空间、可数离散空间，以及取一致距离的 C([0,1])，都是重要例子；最后一个空间的完备性来自连续函数一致极限仍连续，可分性可由有理分点和有理顶点的折线逼近得到。
在 Polish 空间 S 上，每个 Borel 概率 \mu 都是紧的。这个事实可以直接看出机制。
给定 \varepsilon>0。对每个 k，利用可分性，用可数个半径 2^{-k} 的开球覆盖 S；由从下连续性，选取其中有限多个，使它们的并具有超过 1-\varepsilon2^{-k} 的概率。把这些球换成闭球，所得闭集记为 F_k。令
K=\bigcap_{k\ge1}F_k.由可数次可加性，\mu(K)\ge1-\varepsilon。而 K 是闭集，因而完备；对每个精度，它又能被有限多个足够小的球覆盖，因而全有界。完备与全有界使它紧：逐层有限覆盖可以抽取 Cauchy 子列，完备性保证极限仍在其中。
可分性提供有限近似，完备性留下近似的极限。概率把这两件事组织到同一个高概率集合中。
刚才为整个空间找到的落脚处，还没有回答一个具体事件能否保住自己的质量。要走进事件内部，我们先找一个闭的内侧，再把它留在那个紧的落脚处。
对于有限 Borel 测度，任意 Borel 集 A 与任意 \eta>0，都可找到闭集 F 与开集 G，使
F\subseteq A\subseteq G,
\qquad \mu(G\setminus F)<\eta.这里也不必凭空引进一个正则性黑箱。闭集 F 可以由开邻域 \{x:d(x,F)<1/m\} 从外逼近，有限测度的从上连续性使误差趋零。能被闭集从内、开集从外任意精确夹住的集合，对补集封闭；对可数并也封闭：给每项分配可求和的小误差，以开集的可数并从外覆盖，再用有限多个内侧闭集的并逼近前面有限项，而有限项以外的质量由从下连续性控制。因而这类集合组成包含闭集的 \sigma-代数，包含全部 Borel 集。
更具体地，对并集 A=\bigcup_nA_n，先让各个夹逼误差之和小于 \eta/4，再选 N 使 \mu(A\setminus\bigcup_{n\le N}A_n)<\eta/2。取 G=\bigcup_nG_n、F=\bigcup_{n\le N}F_n，两侧误差之和小于 \eta。这补上了可数并那一步。
最后，将这个内侧闭集与一个质量足够大的全局紧集相交，就得到
\forall A\in\mathcal B(S),\ \forall\varepsilon>0,
\quad\exists L\subseteq A\text{ 紧},
\qquad\mu(A\setminus L)<\varepsilon.这叫 Borel 概率的紧内正则性。它比只给整个空间寻找高概率紧集多走了一步，而这一步将让任意形状的有限维事件都能进入我们的紧性论证。
有限个 Polish 空间的乘积仍然是 Polish：各坐标的完备距离合成一个完备距离，稠密可数集的有限乘积保持可分。其 Borel \sigma-代数也等于有限乘积 \sigma-代数，因为可数拓扑基的矩形生成全部开集。因此，刚才的结论适用于我们每个有限窗口中的联合概率。
现在，硬币证明中的“柱集本来就是闭的”，可以替换成“柱集的有限维底面能够从内部近似成紧集”。
8.8 一条记录怎样从无穷多个有限要求中被找出来？
我们终于可以面对核心构造。
硬币空间中的证明曾经把两件事合在一起：限制不会把记录赶到无穷远，极限也不会破坏已经满足的限制。现在，紧近似分别接过这两项工作。概率只负责保证近似之后仍有有限阶段的见证，随后寻找共同记录的工作则交给拓扑；两者的分工正是证明能够跨过无限的原因。
设每个 E_j 是非空 Polish 空间，使用它的 Borel \sigma-代数。设前 m 个坐标上的概率 \mu_m 彼此一致。在柱集代数上，已经定义了有限可加的 p_0。
只剩下证明：若 C_n\downarrow\varnothing，则 p_0(C_n)\to0。
假如结论失败，由单调性，这些递减集合的概率都不小于某个 \delta>0。可以把每个柱集写成
C_n=\pi_{1:m_n}^{-1}(B_n),
\qquad m_n\ge n,
\qquad m_{n+1}\ge m_n.这只是在每次观察中允许多看一些坐标，不改变事件。由有限维概率的紧内正则性，在 B_n 内选择紧集 K_n，使
\mu_{m_n}(B_n\setminus K_n)<\delta2^{-n-2}.记相应的闭柱集为
D_n=\pi_{1:m_n}^{-1}(K_n)\subseteq C_n.这些 D_n 未必递减，但任意有限多个仍有共同的记录。因为对于 N\ge1，
C_N\setminus\bigcap_{n=1}^ND_n
\subseteq\bigcup_{n=1}^N(C_n\setminus D_n),有限可加性给出
\begin{aligned}
p_0\left(\bigcap_{n=1}^ND_n\right)
&\ge p_0(C_N)-\sum_{n=1}^Np_0(C_n\setminus D_n)\\
&>\delta-\sum_{n=1}^N\delta2^{-n-2}
>\frac{3\delta}{4}>0.
\end{aligned}这里全部仍是代数中的有限运算，没有提前使用尚未构造的无限维测度。
于是可选一条记录 \omega^{(N)}\in\bigcap_{n=1}^ND_n。我们并没有让它同时满足无穷多个要求；目前只是给每个有限阶段选了一个见证。
把这些见证排列起来，还不能立刻说它们有一个共同极限。第一坐标的好子列，可能不是第二坐标的好子列。我们要逐次保留先前已经取得的收敛，再为下一个坐标挑选更细的子列；对角线最后只领取每个有限阶段都已经兑现的承诺。
当 N\ge j 时，\omega^{(N)}\in D_j，而 m_j\ge j。所以第 j 个坐标 \omega_j^{(N)} 落在紧集 K_j 的第 j 坐标投影中。这是 E_j 内的一个紧集。
先为第一坐标选收敛子列，再从中为第二坐标选收敛子列，依次继续。对角抽取后，得到同一列指标 N_r\to\infty，使对每个固定 j，
\omega_j^{(N_r)}\longrightarrow\omega_j\in E_j.由这些坐标组成完整记录 \omega=(\omega_1,\omega_2,\ldots)。
对任意固定的 n，只要 r 充分大，N_r\ge n，因而 \omega^{(N_r)} 的前 m_n 个坐标属于 K_n。有限个坐标一起收敛，而 K_n 是闭的，所以极限的前 m_n 个坐标仍在 K_n 中。于是
\omega\in D_n\subseteq C_n
\quad\text{对每个 }n.这与 \bigcap_n C_n=\varnothing 矛盾。
因此柱集上的 p_0 具有从上连续性，是预测度。第8.5节的扩张定理给出唯一的概率 P，定义在
\left(\prod_{j\ge1}E_j,\ \bigotimes_{j\ge1}\mathcal B(E_j)\right)上，并满足
P\circ\pi_{1:m}^{-1}=\mu_m
\quad\text{对每个 }m.这便是 Kolmogorov 扩张定理的可数 Polish 状态空间版本。
现在再看证明的中心，就会发现它并不是把“无穷”计算出来了。我们先用可求和的误差预算，把每一个有限要求换成一个足够可靠的紧要求；再用对角抽取，把任意长的有限见证压成一个共同见证。可数可加性所需的连续性，正是由这个机制保住的。
上一章的 Borel–Cantelli 也曾用可求和的小误差约束无穷多个时刻。但那里已经有了概率，任务是研究记录的长期行为；这里尚未有无限维概率，任务是证明这份概率能够诞生。相似的误差思想，站在了逻辑链条的不同位置。
8.9 1933年的框架所容纳的，不只是独立抛硬币
在第五章，我们遇见过 Kolmogorov 的概率公理。此时，它们与随机过程之间的联系才真正显出力量。
Kolmogorov 的 Grundbegriffe der Wahrscheinlichkeitsrechnung 出版于1933年。原书目录从基本概率进入“无限概率域”，再讨论随机量与期望。这种安排使“无限实验能否建立”成为基础框架内部的问题，而不只是使用某个过程时附带的一句假设。出版社原书记录与目录
不过，这并不是说1933年以前没有人研究无限维对象。Daniell 在1919年已经发表 Integrals in An Infinite Number of Dimensions。单是这个题目就提醒我们，有限维积分怎样走向无限维，是在概率公理系统化之前已经明确提出的问题。原刊出版记录
我们在这里采用的是现代可测空间与拓扑语言的构造，并不把刚才的证明说成这些历史文献的逐字重现。历史上的路线还涉及积分泛函等不同出发点；本书从第五、六章已经建立的测度与积分走来，因而选择把柱集、预测度和紧性放在同一条主线上。
尤其要看清，扩张定理没有要求独立。
它允许有限窗口中存在复杂依赖，只要求这些窗口相互一致。独立性只是使一致性特别容易检验的一种机制；Markov 转移、Gaussian 协方差以及许多更复杂的结构，也都能交出各自的一致账本。
这也是扩张定理比某一种无限抛硬币构造更广的地方：它把“设计依赖结构”与“证明有共同实现”分成两件互相连接的工作。
8.9.1 如果状态空间只保留可测结构呢？
刚才的证明使用完备性与紧集。可是，概率论有时只需要知道哪些集合可测，不想给每个状态附加一个物理上的距离。
一个可测空间称为标准 Borel 空间，如果它与某个 Polish 空间的 Borel 子集之间存在双向可测的一一对应。这里的一一对应保留事件结构，不要求保留某个既定的距离。
可数版本的扩张定理同样适用于非空标准 Borel 状态空间。理由可以说得很具体：把每个 E_j 实现为某个 Polish 空间 S_j 的 Borel 子集 B_j，将有限维概率推到相应的 S_j 上，先应用已经证明的版本。每个坐标落在 B_j 的概率为1；坐标只有可数多个，所以
P\left(\bigcap_{j\ge1}\{\pi_j\in B_j\}\right)=1.在这个可测的满概率子集上限制概率，再用可测对应搬回原来的状态空间，便得到所需实现。生成的事件结构与所有柱集概率都被保留。
这里使用标准 Borel 假设，不是一个可以悄悄省掉的修饰语。本章证明的一般一致分布扩张，正是在这些状态空间上保证成立；对于任意可测空间，不能直接照抄这个存在结论。证明中将有限维事件留在紧集内的那一步，需要相应的结构支撑。
8.10 时间可以不可数，扩张为什么仍然只碰到可数困难？
Brown 的微粒不只在整数时刻运动。我们要让 X_t 对每个 t\ge0 同时存在。
于是取一般指标集 T，在每个时刻使用非空标准 Borel 空间 (E_t,\mathcal E_t)。对每个有限 J\subseteq T，给出一致的概率 \mu_J。
依旧取完整记录空间与乘积 \sigma-代数：
\Omega=\prod_{t\in T}E_t,
\qquad\mathcal F=\bigotimes_{t\in T}\mathcal E_t.在有限维柱集 \pi_J^{-1}(B) 上定义 p_0=\mu_J(B)。良定义与有限可加性仍由共同的有限窗口保证。
检验从上连续性时，会遇见一列柱集 C_n\downarrow\varnothing。设第 n 个只使用有限指标集 J_n，则
J=\bigcup_{n\ge1}J_n至多可数。
刚才的可数版本已经在 J 的记录空间上给出一个概率。把 C_n 写成这个空间中的事件 C_n' 的原像。若 \bigcap_n C_n' 非空，就能把其中一条 J 上的记录补成 T 上的完整记录，与 \bigcap_n C_n=\varnothing 冲突。因此 C_n'\downarrow\varnothing，已经构造的可数坐标概率给出
p_0(C_n)=P_J(C_n')\longrightarrow0.若 J 有限，就直接使用相应有限维测度，结论相同。补足未观察坐标时，我们一如通常的乘积空间构造，固定各个非空状态空间中的一个参考点。
所以柱集概率又是预测度，外测度扩张再次完成工作。
我们由此得到 Kolmogorov 扩张定理的标准 Borel 版本：对任意指标集 T，一族定义在非空标准 Borel 状态空间有限乘积上的一致概率 \{\mu_J\}，在乘积 \sigma-代数上具有唯一的概率 P，使
P\circ\pi_J^{-1}=\mu_J
\quad\text{对每个有限 }J\subseteq T.坐标函数 X_t=\pi_t 于是组成一个具有指定有限维分布的随机过程。
从可数到不可数，我们没有进行一次不可数项的概率求和。关键恰好相反：可数可加性每次要求检查的，仍然只是一列事件；而一列有限观察总共只用到可数多个坐标。
这也解释了为什么第8.9.1节的标准 Borel 化处理要先在可数坐标上完成。不能对不可数多个“概率为1”事件直接取交，并宣称概率仍为1。一般指标集的结论来自刚才的柱集与可数归约，而不是一次未经许可的不可数交。
8.11 乘积概率：独立性怎样交出一份一致的账本？
现在，重新拿起硬币。假如第 j 次出现正面的概率为 p_j，而我们要求各次独立，就给每个有限前缀规定
\mu_m(\{(a_1,\ldots,a_m)\})
=\prod_{j=1}^m p_j^{a_j}(1-p_j)^{1-a_j},
\qquad a_j\in\{0,1\},其中每个因子按该次取0或1的概率理解；当参数为0或1时也如此理解，不依靠未定义的 0^0。
把最后一位求和，得到因子 p_{m+1}+(1-p_{m+1})=1，所以这些有限维概率一致。扩张定理给出完整无限记录上的概率。
更一般地，给非空标准 Borel 空间 E_t 上的每个坐标指定概率 \nu_t。用第六章的有限乘积测度，定义
\mu_J=\bigotimes_{t\in J}\nu_t
\quad\text{对每个有限 }J.删除一个坐标，相当于积分掉一个总质量为1的因子，所以一致性成立。扩张得到的概率记为
P=\bigotimes_{t\in T}\nu_t.这是相应的乘积概率空间。本节在刚刚证明的标准 Borel 范围内完成无限构造；它不把一般状态空间的一致分布扩张与独立乘积的专门构造混成同一个定理。
其坐标变量相互独立，因为对于任意有限 J 与可测 A_t\subseteq E_t，
P\left(\bigcap_{t\in J}\{X_t\in A_t\}\right)
=\prod_{t\in J}\nu_t(A_t).“无穷多个变量相互独立”的要求，正是每一个有限子族都满足这个乘法公式。它不是要求把某个不可数或无穷的数值乘积，直接当成任意事件的概率。
独立序列终于不再只是一个写在定理前面的假设。我们已经知道，至少在实值、离散值等本书主要使用的情形中，确实存在容纳这种假设的概率空间。
8.11.1 一条记录的概率为零，为什么仍然能够选中一条记录？
在公平硬币的完整乘积空间里，每条指定记录仍然具有概率0。这一点与开头没有不同。
不同的是，完整空间并不是可数条记录的并。可数可加性没有要求我们把不可数多个零加成总质量。
开头的 \Omega_{\mathrm{fin}} 现在成为完整空间内一个可测的零概率子集。直接计算也能看到：对于固定 m，
\begin{aligned}
P(X_n=0\text{ 对所有 }n\ge m)
&=\lim_{N\to\infty}
P(X_m=\cdots=X_N=0)\\
&=\lim_{N\to\infty}2^{-(N-m+1)}=0.
\end{aligned}再对 m 取可数并，便得到 P(\Omega_{\mathrm{fin}})=0。
它原来不是不允许出现任何一条记录，而是不足以独自承载全部概率。
上一章的 Bernoulli 强大数定律也终于有了一个不依赖数字展开的共同实现：在这个乘积空间中，有限独立矩计算成立，Borel–Cantelli 能够作用于频率偏差事件，因而正面频率几乎必然趋于 1/2。这个长期事件的可测性，已经由第8.2节的可数表达式保证。
数字展开给出了一个具体模型；扩张定理则说明，有限规则本身就足以产生它的规范分布。我们保留了同样的有限实验，却不再依赖某一个特别巧妙的编码。
8.12 不独立的实验，也可以有完整的未来
现实中的下一次结果，往往与刚才发生的事情有关。
设状态空间为有限集 E，初始概率为 \alpha，并给出一个转移矩阵 Q：
Q(i,j)\ge0,\qquad\sum_{j\in E}Q(i,j)=1.对于一段记录 (i_0,\ldots,i_n)，规定
\mu_{0:n}(i_0,\ldots,i_n)
=\alpha(i_0)\prod_{k=1}^nQ(i_{k-1},i_k).这个公式并不只列出一批数。逐次对最后一个状态求和，行和为1保证总质量为1，也保证删除最后一次观察后恢复前一段的分布。
如果只观察其中某些时刻，就从一个足够长的前缀分布中把未观察的坐标求和。由于前缀的一致性，这个结果不依赖所选前缀有多长。因而所有有限窗口形成一致家族。
Kolmogorov 扩张于是给出定义在 E^{\{0,1,2,\ldots\}} 上的概率，所有有限记录都遵守原来的转移公式。对具有正概率的历史，再用有限事件的条件概率相除，就得到
P(X_{n+1}=j\mid X_0=i_0,\ldots,X_n=i_n)=Q(i_n,j).零概率历史上的条件值不能用这个比值定义；关于条件概率作为随机对象的系统理论，后面还会回到这一点。
例如取 E=\{0,1\}、均匀初始分布，并令
Q=\begin{pmatrix}0.9&0.1\\0.1&0.9\end{pmatrix}.每个时刻的单独分布都仍然均匀，但相邻结果有很强的延续倾向：
P(X_0=1,X_1=1)=0.45\ne0.25
=P(X_0=1)P(X_1=1).独立性消失了，一致性没有消失。
如果跳过一个中间时刻，转移概率就变成
Q^2(i,j)=\sum_{k\in E}Q(i,k)Q(k,j).把所有可能的中间状态加起来，较粗的时间观察才能与较细的观察吻合。之后连续时间中的 Chapman–Kolmogorov 关系，仍然会表达这个相同要求：插入或删除一个未观察时刻，不应改变已经观察到的概率。
扩张定理做的不是预测未来每一步会发生什么，而是确认：这些关于未来的条件规则，能够属于同一个无限随机实验。
8.13 回到 Brown 的微粒：Gaussian 窗口能否拼成同一次运动？
现在回到第四章。那时，我们从随机游走的平方根缩放看到了 Gaussian 分布，并发现不同时间之间的协方差应该是 \min(s,t)。
但一条漂亮的协方差公式，还不是整个过程存在的证明。
我们先把每个有限窗口具体造出来。记
p_t(x)=\frac1{\sqrt{2\pi t}}
\exp\left(-\frac{x^2}{2t}\right),\qquad t>0.在时刻 0<t_1<\cdots<t_n 上，希望位置向量具有联合密度
f_{t_1,\ldots,t_n}(x_1,\ldots,x_n)
=p_{t_1}(x_1)
\prod_{j=2}^n p_{t_j-t_{j-1}}(x_j-x_{j-1}).这个密度来自有限个独立 Gaussian 增量的累加。它总积分为1：从最后一个位置开始逐个积分，每次都消去一个归一化的 Gaussian 密度。时刻0的坐标则直接固定为0，不把 p_0 当作一个普通密度。
接下来，不是立即给它取一个过程的名字，而是检查这些窗口能否重合。
删掉最后一个时刻没有困难。删掉中间时刻时，两个相邻增量必须合成一个跨度更长的增量。所需的正是 Gaussian 卷积关系：
\int_{\mathbb R}p_s(z-x)p_t(y-z)\,dz
=p_{s+t}(y-x),\qquad s,t>0.它可以直接由配方得到。指数中的平方满足
\frac{(z-x)^2}{2s}+\frac{(y-z)^2}{2t}
=\frac{s+t}{2st}
\left(z-\frac{tx+sy}{s+t}\right)^2
+\frac{(y-x)^2}{2(s+t)}.第一个平方的 Gaussian 积分贡献 \sqrt{2\pi st/(s+t)}，与两个密度前的常数相乘，恰好留下 p_{s+t}(y-x) 的常数。删掉最早的正时刻也是同样的卷积；反复删除，就得到任意较小窗口的相同公式。
因此，这是一族一致的有限维分布。它不仅各自看起来合理，而且真正通过了窗口之间的相容检验。
Kolmogorov 扩张定理现在给出一个概率，定义在
\left(\mathbb R^{[0,\infty)},\quad
\bigotimes_{t\ge0}\mathcal B(\mathbb R)\right)上。坐标过程 B_t(\omega)=\omega(t) 满足 B_0=0 几乎必然，具有指定的 Gaussian 有限维分布，以及独立、平稳的增量。
若 s\le t，写成 B_t=B_s+(B_t-B_s)，用增量的独立性与零均值，便有
\mathbb E[B_sB_t]
=\mathbb E[B_s^2]=s,
\qquad
\operatorname{Cov}(B_s,B_t)=\min(s,t).这次，协方差不再只是一条希望成立的公式。它属于已经存在的同一个 Gaussian 过程。
但我们仍然不能说，第四章的 Brownian motion 已经完整构造完毕。
扩张保证了所有时间坐标及其联合概率。Brownian motion 的定义还要求连续样本路径，而我们目前甚至需要重新检查：“所有坐标组成的函数连续”是不是这个事件系统中的一个事件？
这个看似技术性的追问，会揭示无限乘积最容易被误解的边界。
8.14 一次可测的提问，究竟能够看见多少坐标？
在可数坐标空间中，乘积结构相当自然。若各 E_j 是 Polish 空间，取相应完备距离 d_j，可以定义
d(x,y)=\sum_{j\ge1}2^{-j}\min\{1,d_j(x_j,y_j)\}.这个距离下的收敛，恰好是每个坐标的收敛：一个方向来自每项受总和控制，另一方向来自先截去很小的级数尾部，再控制有限个坐标。
它也是完备的。Cauchy 序列在每个坐标上有极限，用同一个截尾估计，就得到整个记录的极限。各坐标的可数稠密集，在有限个位置自由选点、其余位置固定参考点，给出一个可数稠密的记录集。因此可数乘积仍然是 Polish 空间。
这时乘积 \sigma-代数等于乘积拓扑的 Borel \sigma-代数。因为坐标投影连续，所以前者包含在后者中；反过来，可数基的有限坐标开矩形给出整个乘积的可数基，所有开集都是这些基本开集的可数并。
对不可数的指标集，不能把这一段论证原样照搬。尤其不能把乘积 \sigma-代数与任意希望使用的函数空间 Borel 结构自动画等号。
事实上，未经完备化的乘积 \sigma-代数中，每一个事件都只依赖至多可数多个坐标。精确地说，对每个 A\in\mathcal F，存在至多可数 J\subseteq T 及其乘积 \sigma-代数中的 A_J，使
A=\pi_J^{-1}(A_J).证明并不复杂。具有这种表示的集合类包含所有有限维柱集；对补集封闭；对可数并，只需把各自用到的至多可数坐标合在一起，仍然是至多可数，再把各事件拉回这个共同空间。因此这类集合本身是一个包含柱集的 \sigma-代数。
所以，一个乘积可测事件允许无穷多次观察，却无法在生成过程中突然动用不可数多个彼此独立的新坐标。
这不是说事件系统很贫乏。收敛、无穷多次发生、可数记录的总和，都是它能够表达的深刻问题。但若状态本身是一条定义在连续时间上的函数，我们就必须辨认哪些问题真的由可数观察决定。
考虑 \mathbb R^{[0,1]} 中所有连续函数组成的子集 \mathcal C。它不属于原始乘积 \sigma-代数。
假如它属于，就应只依赖某个至多可数的时刻集 J。零函数属于 \mathcal C。选一个 t_0\in(0,1)\setminus J，把零函数只在 t_0 的值改成1。新函数在 J 上与零函数完全相同，因此也必须属于 \mathcal C；但它显然不连续。矛盾。
原来，“给所有时间坐标一个共同概率”与“给连续路径一个概率”之间，还隔着事件结构本身。
8.15 所有有限窗口都一样，路径仍然可以完全不同
这种区别不只发生在某个抽象空间的深处。一个非常具体的例子就能把它显现出来。
在 [0,1] 上均匀选一个 U，并对每个 t\in[0,1] 定义
Y_t=\mathbf1_{\{U=t\}}.对任何固定的 t，事件 U=t 概率为0，所以 Y_t=0 几乎必然。对任何有限组 t_1,\ldots,t_n，这些坐标同时为0的概率仍然是1。因此，Y 与恒零过程具有完全相同的全部有限维分布。
可是，对于每一个实际选出的 U=u，函数 t\mapsto Y_t(u) 恰好在 u 处跳成1，其余位置为0。每一条路径都不连续；恒零过程的每一条路径却连续。
哪里违背了扩张定理的唯一性？
并没有。两个过程在原始乘积 \sigma-代数上的分布相同，而“路径连续”在那个空间中不是可测事件。唯一性没有比较一个不在其定义域内的问题。
另外，“对每个固定 t，Y_t=0 几乎必然”中的例外零集是 \{U=t\}，它随 t 改变。这些零集的不可数并恰好是整个样本空间。我们再次看见，不能把可数事件的概率规则擅自推广成不可数规则。
如果两个过程在每个固定时刻几乎必然相等，称其中一个是另一个的修改（modification）；如果存在同一个零概率例外集，在它之外所有时刻都相等，则称它们不可区分（indistinguishable）。上面的例子属于前者，不属于后者。
当两个过程的路径都连续时，事情会改变。在有理时刻上逐一取概率为1的相等事件，再取可数交，便得到同一个满概率集合；在这个集合中，稠密的有理时刻上相等，由连续性推出所有时刻相等。所以两个连续修改彼此不可区分。
连续性不只让图形更平滑。它把不可数的时间约束重新交给可数稠密观察来掌握。
8.15.1 我们最终要在怎样的路径空间里生活？
取真正的连续函数空间 C([0,1])，使用一致距离
\|f-g\|_\infty=\sup_{t\in[0,1]}|f(t)-g(t)|.这不是把 \mathbb R^{[0,1]} 中的一个集合随手说成“概率为1”，而是明确选择新的状态空间与它的 Borel 事件系统。
在这个空间内部，Borel \sigma-代数确实由有理时刻的取值生成。
一个方向很直接：每个取值映射 f\mapsto f(q) 连续，因而可测。另一个方向来自连续函数的恒等式
\|f-g\|_\infty
=\sup_{q\in\mathbb Q\cap[0,1]}|f(q)-g(q)|.例如，对 r>0，以固定 g 为中心的开球可以写成
\{f:\|f-g\|_\infty<r\}
=\bigcup_{\substack{m\ge1\\1/m<r}}
\bigcap_{q\in\mathbb Q\cap[0,1]}
\{f:|f(q)-g(q)|\le r-1/m\}.这些都是有理取值生成的可测集合。再用 C([0,1]) 的可分性，把任意开集写成可数基中开球的并，就得到反向包含。
因此，如果已经建立了一个连续过程，其作为 C([0,1])-值随机元素的分布，会由有理时刻的全部有限维分布唯一确定。可“如果已经建立”这几个字，仍然需要一个存在论证。
对于前面的 Gaussian 过程，有
\mathbb E|B_t-B_s|^4=3|t-s|^2.这来自中心 Gaussian 变量的四次矩。它告诉我们，短时间内过大的增量有很强的概率约束；进一步的连续修改定理，正会把这类矩估计转化成连续路径的存在。其证明需要沿越来越细的时间网格控制所有相邻增量，和第四章保留的连续版本、Wiener measure 证明路线自然相接。
四次矩的常数也可以直接检查。对标准 Gaussian 密度 \varphi，有 \varphi'(x)=-x\varphi(x)；一次分部积分给出 \int_{\mathbb R}x^4\varphi(x)\,dx=3\int_{\mathbb R}x^2\varphi(x)\,dx=3，边界项因 Gaussian 衰减而为0。再按增量的标准差 \sqrt{|t-s|} 缩放，就得到上式。
本章完成的是一致有限维概率的共同实现，并清楚定位了它与连续路径构造之间的差别。连续修改定理及其网格证明，应当沿着路径正则性的问题继续建立；不能因为手中已经有 \min(s,t)，就让那条连续路径未经证明地出现。
8.16 唯一的是一份分布，不是一种宇宙的材料
还有最后一个容易混淆的问题。
扩张定理说概率唯一，是否意味着任何实现这些实验的空间都必须长成 \prod_tE_t 的样子？
不是。数字展开可以在一个实数区间上实现独立硬币；另一种构造可以从其他随机材料出发。不同样本点甚至可以表示同一条坐标记录。
假设在某个概率空间 (\Omega',\mathcal F',P') 上，已经有可测随机变量 X_t'，其有限维分布就是 \mu_J。把每个样本点送到它产生的完整记录：
\Phi(\omega')=(X_t'(\omega'))_{t\in T}.映射 \Phi 对乘积 \sigma-代数可测，因为每个有限坐标事件的原像都是原空间中的可测事件。因此 P'\circ\Phi^{-1} 是记录空间上的一个概率，具有全部指定的有限维分布。由唯一性，它就是我们构造的 P。
这正是规范记录空间的意义：不论实验背后用了什么材料，只要所有有限联合规则相同，它们在乘积事件系统中讲述的故事就相同。
同时，唯一性的范围必须说清。它是在由柱集生成的 \sigma-代数上成立，不是给记录空间的任意子集都自动赋予概率。若要完备化，可以把已知零概率事件的全部子集加入，并由包含关系规定它们的概率；这是一个明确的额外步骤。它既不允许测量所有子集，也不能把不可数路径条件一概当作已获解决。 这一额外步骤对任意测度的严格构造见完备化补证。
第七章的 coupling 则从另一个方向提醒我们：只指定每个变量的单独分布，并没有指定全部有限维联合分布。此时仍能选择不同的共同实现。扩张的唯一性与耦合的自由并不冲突，它们固定的信息量本来就不同。
当有限维联合规律已经给定，一致性让我们把窗口拼起来，扩张让概率越过有限观察，唯一性使不同构造得到同一份规范分布。若要进一步控制路径、条件信息或极限，还必须继续把所需的结构建立起来。
这并没有削弱存在定理。它让我们终于知道，每一种存在承诺具体完成了什么。
第八章结语：无限并不是最后一次抛掷
让我们再回到桌上的硬币。
没有“最后一次抛掷”在等待我们完成。任何一段实际写下的记录都有限，任何一个指定的观察窗口也有限。
但一部讨论大数定律、无穷多次异常和随机路径的数学，不能只保留每次临时搭起的有限舞台。它需要一个共同的世界，使所有这些窗口都能够从同一条记录中被读出。
开头那个最终全为0的世界，曾经满足所有有限记录的可能性，却无法承载它们要求的概率。它让我们看见，问题不是记录写得够不够长，而是有限规则在无限极限处是否仍有落脚的地方。
测度扩张给出了从已有事件走向新事件的方式，紧集近似保住了尚未落定的概率质量，对角抽取把任意长的有限要求变成同一条完整记录。最后，一致的有限维分布在一个可数可加的概率空间中共同成立。
于是，上一章的大数定律不再悬在一句“设有无限独立序列”之上。我们已经造出了这样的序列，也知道长期频率为何是一个可测事件。
Brown 的微粒则使问题继续向前。我们可以让所有时刻的 Gaussian 位置与增量同时存在，却还要让它们真正连成连续的路。有限窗口、乘积事件与路径空间分别回答不同层次的问题；把它们分清，才有可能让它们最后统一起来。
我们还会遇到另一种困难：实验虽然已经共同存在，但观察者通常只能知道其中的一部分。看到一段过去之后，未来的概率怎样改变？只保留某些信息，期望又应当怎样重新计算？
这些问题将把概率核、条件分布与条件期望带到面前。它们不需要推翻刚刚建立的世界，而是要说明，在这个世界内部，信息怎样组织随机性。
至于路径的连续性、弱收敛与更深的随机运动理论，也终于有了共同的基础可以继续生长。
无限不再是把有限实验拖得足够久。它是一个需要被构造、被测量，也需要被认真提问的数学对象。
历史与进一步阅读
A. Kolmogoroff，Grundbegriffe der Wahrscheinlichkeitsrechnung，Springer，1933。出版社原书记录与原目录。现代网络版的上线日期不应当与原书年份混同。本章使用现代 Polish/标准 Borel 表述，不声称复刻原书的全部假设、语言或证明。
P. J. Daniell，Integrals in An Infinite Number of Dimensions，Annals of Mathematics 20(4)（1919），281–288。原刊档案与 DOI。这里据原刊记录说明无限维积分问题的历史入口，不把本章的柱集证明归给这篇论文。
现代概率论的全书覆盖参照仍为 Olav Kallenberg，Foundations of Modern Probability，第三版（2021）。出版社书目信息。本章以此前的测度、积分、收敛与 Brownian 路径问题组织构造，不沿用参考书的章节叙事。
本章的过小硬币空间、预测度连续性检验、紧内正则性论证、对角构造与路径反例采用现代语言展开。历史文献提供问题发展的线索；本章中的证明则以明确写出的假设与论证承担数学责任。