独立性与Borel-Cantelli引理

独立性将“了解某些事件不会告诉你其他事件的任何信息”这一概念形式化，而Borel-Cantelli引理则将概率的可和性转化为关于事件序列发生频率的精确几乎必然陈述。

Definition

当事件联合发生的概率可以分解为其各自概率的乘积时，这些事件是独立的。Borel-Cantelli引理将事件概率和的收敛或发散与无限多个事件是否几乎必然发生联系起来。

Scope

本主题涵盖事件、σ-代数和随机变量的独立性，支持这些概念的分组和近似引理，第一和第二Borel-Cantelli引理，Kolmogorov尾事件零一律，以及在几乎必然收敛和稀有事件重现方面的应用。

Core questions

• 事件、σ-代数和随机变量的独立性意味着什么？这些概念之间有何关联？
• 事件序列何时只发生有限次？何时无限次重现？
• 为什么Borel-Cantelli逆引理必须假设独立性？
• 为什么独立序列的尾事件概率要么为零，要么为一？

Key concepts

• 事件独立性
• σ-代数独立性
• 尾σ-代数
• 无限次发生事件
• 几乎必然重现

Key theories

第一Borel-Cantelli引理

如果一系列事件的概率和有限，那么以概率一，只有有限多个事件发生；不需要独立性，该结果是许多几乎必然收敛论证的基础。

第二Borel-Cantelli引理

如果事件是独立的且其概率和发散，那么以概率一，无限多个事件发生，这在独立性条件下为第一引理提供了一个精确的逆命题。

Kolmogorov零一律

独立随机变量序列的尾σ-代数中的任何事件，其概率要么为零，要么为一，因此诸如独立项级数收敛性等渐近性质在其真值上是确定性的。

Clinical relevance

这些结果是强大数定律以及记录、游程和稀有事件分析的基石；在可靠性和风险分析中，它们决定了重复出现的危害是否会无限次发生；在数论和遍历理论中，零一律解释了为什么许多极限性质要么总是成立，要么从不成立。

History

Borel于1909年在其对正规数的研究中证明了收敛部分，Cantelli于1917年提供了独立性逆命题。Kolmogorov后来将两者都纳入其尾事件零一律中，使它们成为测度论的核心工具。

Key figures

• Emile Borel
• Francesco Paolo Cantelli
• Andrey Kolmogorov

Seminal works

• durrett2019

Frequently asked questions

为什么第二Borel-Cantelli引理需要独立性而第一引理不需要？

如果没有独立性，发散的概率仍然可以描述那些重叠严重以至于只有有限多个不同事件发生的事件；独立性排除了这种巧合，并强制发生无限多次。

什么是尾事件？

尾事件是指其发生不依赖于任何有限数量的基础随机变量的事件，例如无限级数的收敛性；Kolmogorov定律指出，当变量独立时，此类事件的概率为零或一。