高等概率论逐页精讲

第 3 讲 Borel–Cantelli、收敛与 Radon–Nikodym›第 1 部分 Borel–Cantelli:事件的重复发生

PDF 第 8 / 47 页幻灯片 8/49例子

抛硬币中某个固定字串会无穷次出现:用「不重叠的块」换来独立性

Recurrence of a fixed word in coin tosses

课件原页 · 点击放大 · ← → 键翻页

这一页在讲什么

人话版一句话版

一直独立地抛公平硬币,任意给定的 0/1 字串 (长度 以概率 1 会出现无穷多次。证明的诀窍:把抛掷结果切成互不重叠的长度为 的块,「第 块恰好是 这些事件相互独立、概率都是 于是第二 Borel–Cantelli 引理直接给出结论。

这是第 1 部分的最后一页,也是第二 Borel–Cantelli 引理(第 7 页)的第一个正式应用。它展示了使用第二引理时最常见的难点和对策:

  • 难点:我们真正关心的事件(「 从第 位开始出现」)彼此重叠,因而不独立,第二引理不能直接用。
  • 对策:主动扔掉一部分信息,只看互不重叠的块,换来独立性。我们只需要证明「出现无穷多次」,少数一些出现不影响结论。

先补基础

基础补课0/1 字串(binary word)
  • 长度为 的二进制字串就是 个 0 或 1 排成的一列:每个 例如 (
  • 长度为 的字串一共有 个:每一位有 2 种选法, 位相乘。 时是 共 8 个。
  • 符号 是小写字母 l 的花体写法,读作「ell」,这里表示字串长度。
基础补课独立的公平抛硬币 (ξ_n)
  • (希腊字母,读作「克西」)表示第 次抛掷的结果:正面记 1,反面记 0,
  • 「独立」按 第 6 页 的补充定义:由不同次抛掷分别决定的事件相互独立。
  • 直接推论:指定 个不同的位置、规定每个位置上的值,这件事的概率是 。理由:它是 个事件 的交,由独立性等于 个 相乘。例:
  • 这样一列随机变量确实存在,例如 第 6 页 例 4:在 上均匀取点,它的二进制各位就是。
基础补课「w 在第 n 位出现」

我们说字串 从第 位开始出现,如果 记这个事件为

「 出现无穷多次」就是

课件原文逐句精读

课件原文Recurrence of a fixed word in coin tosses

Example 5 (Independent fair tosses ) Fix a binary word of length . We want infinitely many copies of .

中文翻译

例 5(独立的公平抛硬币 固定一个长度为 的二进制字串 我们想要 出现无穷多次。

  • Recurrence of a fixed word(蓝条标题):固定字串的「重复出现」。recurrence 就是 目录页 第 1 部分标题里的那个词。
  • Independent fair tosses :设定是一列独立的公平抛硬币
  • Fix a binary word of length :先固定一个字串,它在整个论证中不变。比如 或者「连续 20 个 1」。
  • We want infinitely many copies of :copies 是「副本」,这里指 在抛掷序列里的一次次出现。目标是证明:以概率 1, 出现无穷多次。

补全课件留白

补充说明

课件此处留白(课堂板书),以下内容由本站根据标准教材补写,记号与本课件保持一致;如与老师课堂写法不同,以老师为准。

Example 5 (Independent fair tosses (ξₙ))|例 5(独立的公平抛硬币)

命题结论(例 5)

设 是独立的公平抛硬币, 是固定的字串。则

例子完整论证(四步)

第 1 步:切块。 把抛掷序列按长度 切成互不重叠的块:

第 块由位置 组成。令

第 2 步:每块的概率。 规定了 个不同位置上的值,所以 (见基础补课)。

第 3 步:各块相互独立。 任取有限个不同的块号 因为块互不重叠, 恰好规定了 个不同位置上的值,所以

这正是定义 3(第 6 页)的乘法规则,所以 相互独立。

第 4 步:用第二引理,再翻译回来。 (同一个正数加无穷多次)。由第二 Borel–Cantelli 引理,

在 上,有无穷多个块等于 不同的块从不同的位置 开始,所以 至少出现了无穷多次。即 由单调性

所以

为什么不能直接对重叠的出现用第二引理

最自然的想法是直接看 (从每一位开始的出现)。它们的概率都是 和也是无穷。但相邻的 共用了一些位置,不独立,第二引理的条件不满足。

例子计算:重叠窗口之间的依赖

(:都共用位置 2。

知道 发生(第 2 位是 1), 就更容易发生:正相关。

: 要求 既是 0 又是 1,不可能,

知道 发生, 就一定不发生:负相关。

不重叠的窗口,比如 和 (位置 1–2 与 3–4),各自规定两个不同的位置,交集规定四个不同位置,是独立的。切块正是只保留这样的窗口。

所以切块的代价是漏掉一些出现(跨越块边界的那些),好处是换来独立性。我们只需要证明「无穷多次」,漏掉一部分无所谓:只要块里就已经有无穷多次,总的出现次数只会更多。

图解

图解:切块只数到一部分出现

取 一段抛掷结果如下(竖线是块的边界):

位置 1 2 3 4 5 6 7 8 9 10 11 12
1 1 0 1 0 1 0 1 0 1 0 1
所在的块 第 1 块 第 2 块 第 3 块 第 4 块
  • 按块看:第 1 块 第 2 块 第 3 块 第 4 块 所以 发生,块的方法数到 2 次。
  • 按所有起点看: 从位置 开始都出现了(例如位置 2–4 是 一共 5 次,其中从位置 2、6、8 开始的出现跨越了块边界,块的方法没有数到。
  • 块的方法数得少,但它数到的每一次都是真实的出现。只要它数到无穷多次,真实次数就更是无穷。

例子

例 1:连续 10 次正面,要等多久?

取 每块等于 的概率

  • 前 块都不是 的概率:由独立性(第 6 页 命题 A),等于
  • (抛 1 万次):
  • (抛 10 万次):

所以抛 10 万次时,块里一次都没出现「连续 10 个正面」的概率约为十万分之六。随着 这个概率趋于 0;而第二引理说的更多:不仅会出现,还会出现无穷多次。

例 2:所有有限字串同时出现无穷多次

长度为 1 的字串有 2 个,长度为 2 的有 4 个……所有有限字串可以排成一列 是可数多个。对每个 事件 的概率为 1。于是

即以概率 1,每一个有限字串都出现无穷多次(俗称「猴子打字机」:随机敲键盘,任何一段文字终将出现,而且出现无穷多次)。这里关键是字串只有可数多个,才能用可数次可加性。

例 3:不公平的硬币也一样,但概率必须严格在 0 和 1 之间

若 各次独立。设 里有 个 1、 个 0,则 它是一个固定的正数,和仍为无穷,结论不变。

但若 (硬币永远正面),含有 0 的字串永远不会出现:此时 第一引理给出 与事实一致。

推导:一步一步来

第 3 步中「规定 个不同位置」的严格写法。 设 令

为这些块覆盖的所有位置。块互不重叠,所以 恰有 个不同的元素。对 若 (令 (位置 上要求的值)。则

由 的独立性(第 6 页 的补充定义,取博雷尔集

取 就得到

常见疑问与易错点

易错点问:切块把很多出现丢掉了,这样证明还算数吗?

答:算数。我们要证的是「出现无穷多次」这种下界型结论。块的方法数到的出现是真实出现的一部分(部分已经无穷,整体当然无穷。如果要证的是「出现的次数恰好是多少」,丢掉信息就不行了。

易错点问:概率为 1,是不是说每一条抛掷序列里 w 都出现无穷多次?

答:不是每一条,是几乎每一条。例如全是 0 的序列 在样本空间里, 在其中一次都不出现。但这类「坏」序列合起来概率为 0。

易错点问:为什么一定要「固定」w?

答:因为第 2 步需要每块的概率是同一个正数 这样和才是无穷。如果字串的长度随 增长(比如第 块要求 个连续的 1),概率 之和有限,第一引理反而说以概率 1 只成功有限次。

小结与自测

小结本页小结
  • 目标:独立公平抛硬币中,固定字串 (长度 以概率 1 出现无穷多次。
  • 重叠的出现 彼此不独立( 正相关, 互斥),第二引理不能直接用。
  • 诀窍:切成互不重叠的块, 相互独立、第二引理给出
  • 所以后者概率为 1;对可数多个字串取交,所有有限字串同时出现无穷多次。
自测

1. 取 块的方法中第 块由哪两个位置组成? 是多少?

点开看答案

第 块是位置 和

2. 取 计算 它和 相等吗?

点开看答案

概率 而 不相等,重叠窗口不独立(正相关)。

3. 如果把「块」换成「位置 开始的窗口」(相邻窗口之间空出 位),论证还成立吗?

点开看答案

成立。这些窗口互不重叠,事件仍相互独立,每个概率仍是 和为无穷,第二引理照样适用。只要窗口互不重叠、个数无穷,怎么选都可以。

本页术语中英对照(按出现顺序)
中文English白话解释
独立independence任意有限个事件同时发生的概率等于各自概率的乘积。
无穷多次infinitely often (i.o.)「Aₙ 发生无穷多次」就是集合 lim sup Aₙ。
事件event样本空间的(允许谈概率的)子集;实现的 ω 落在里面,就说事件发生。
Borel–Cantelli 引理Borel–Cantelli lemma概率之和有限 ⇒ 只发生有限次;独立且概率之和无穷 ⇒ 发生无穷多次。
随机变量random variable从样本空间到实数的(可测)函数,把结局翻译成数字;随机性来自「实现了哪个 ω」。
交集intersection同时属于两个集合的元素全体,A ∩ B 对应「A 且 B」。
可数countable元素能排成第 1 个、第 2 个、第 3 个……的一列(有限也算),例如自然数、有理数。
次可加性subadditivity并集的测度不超过各部分测度之和:μ(A ∪ B) ≤ μ(A) + μ(B)。
元素element集合里的对象。ω ∈ Ω 读作「ω 属于 Ω」。
博雷尔 σ-代数Borel sigma-algebra由实数轴上所有开区间生成的 σ-代数 𝓑(ℝ),包含所有常见的集合。
下界lower bound数集 A 的下界是一个数 m,A 里每个数都 ≥ m。例如 0 和 −3 都是 (0,1] 的下界;所有下界中最大的那个叫下确界。
样本空间sample space一次试验所有可能的完整结局组成的集合,记作 Ω。