在概率论中，如果一个事件发生的概率是1（或在勒贝格测度下是1），则称该事件**几乎必然**（英語：，缩写为**a.s.**）发生。换句话说，此事件不发生所对应的事件集合可能是非空的，但该集合的概率是0。在测度论中，与本概念相似的概念是几乎处处。

很多时候，在有限样本空间的概率试验中，**几乎必然**和**必然**是没有区别的（因为概率等于1的事件通常会包含样本空间中的所有样本）。但两者的区别对于样本空间是无穷集时就显得很重要了，因为无穷集的非空子集的概率可以是0。

强大数定理中使用了几乎必然的概念。

视上下文，有时也会使用同义词**几乎一定**（英語：，缩写为a.c.）或**几乎总是**（英語：，缩写为a.a.）。**几乎从不**则是几乎必然的相反感念：若一个事件发生的概率是0，则称该事件几乎从不发生。

定义
--

令(\Omega ,{\mathcal {F}},P)为一概率空间。若\mathcal{F}中一个事件E满足{\displaystyle P(E)=1}，则称其**几乎必然**发生。等价地，若E不发生的概率是0，即{\displaystyle P(E^{C})=0}，则称E几乎必然发生。更一般地，若对于一个事件{\displaystyle E\subseteq \Omega }（不一定要属于\mathcal{F}），存在一个零测集N，满足{\displaystyle E^{C}\subset N}且{\displaystyle P(N)=0}，则称E几乎必然发生。

几乎处处这一概念建立在概率测度P上。如果需要强调该概率测度，通常会说事件E是P-几乎必然发生的。

举例
--

粗略地说，就算概率空间中存在着一个事件不包含的结果，一个事件还是可以"几乎必然"发生。下面的例子中就是这样的情况。

### 扔飞镖

朝一个面积为1的正方形上扔飞镖，而飞镖总是只命中正方形上的一点。假设正方形上每一个点被命中的概率是相同的。因为正方形的面积是1，命中正方形上某个区域的概率就正好等于该区域的面积。例如，命中正方形右半边的概率是0.5，因为其面积也是0.5。

令事件{\displaystyle E=}"飞镖正好命中正方形对角线上的点"。因为该区域（两条交叉的线）的面积是0，事件E发生的概率也是0。换句话说，飞镖"几乎从不"命中对角线；或者它"几乎必然"不命中对角线，就算对角线上的点的集合并非空集，且飞镖命中对角线上的点和命中正方形上其它任何点的概率都是相同的。

### 重复抛硬币

重复抛一枚（可能是不均匀的）硬币。如果令事件{\displaystyle H=}正面朝上，{\displaystyle T=}反面朝上，则对应的概率空间是{\displaystyle (\{H,T\},2^{\{H,T\}},P)}。假设抛这枚硬币正面朝上的概率是{\displaystyle P(H)=p\in (0,1)}，而其对立事件，即硬币反面朝上的概率是{\displaystyle P(T)=1-p}。

重复抛这枚硬币，并令{\displaystyle \omega \_{1},\omega \_{2},\ldots }表示第1、2、...次抛的结果。假设每次抛硬币的结果都是相互独立的（即这些随机变量是独立同分布的）。考虑抛硬币概率空间上的随机变量序列{\displaystyle (X\_{i})\_{i\in \mathbb {N} }}，{\displaystyle X\_{i}(\omega )=\omega \_{i}}，也即每个X\_{i}记录第i次抛硬币的结果。

在本例中，任意一个由无数个正面和反面组成的序列都是一个可能的结果。然而，存在一些这样的序列，它们发生的概率是0。这是因为独立同分布的假设意味着有n次正面朝上的概率是{\displaystyle P(X\_{i}=H,\ i=1,2,\dots ,n)=\left(P(X\_{1}=H)\right)^{n}=p^{n}}。当n\rightarrow \infty 时，此概率趋向于0，因为假设了{\displaystyle p\in (0,1)}。不论该硬币有多不均匀，只要p不会取0或1，前述的结论都会成立。

另外，事件"抛硬币结果序列上至少有一个反面"也几乎必然发生。但如果抛硬币的次数是有限次，比如1,000,000次，则全部正面朝上的概率是{\displaystyle p^{1,000,000}\neq 0}，而至少有一个反面的概率是{\displaystyle 1-p^{1,000,000}\neq 1}，即不再是几乎必然的。

渐进几乎必然
------

在渐进分析中，若在一个集合序列上，某一性质发生的概率收敛到1，则称它是**渐进几乎必然**（英語：，缩写为**a.a.s**）的。例如，在数论中，根据素数定理，一个大数渐进几乎必然是一个合数；在随机图论中，若存在一个\varepsilon >0，使得{\displaystyle p\_{n}>{\frac {(1+\varepsilon )\ln n}{n}}}，则图{\displaystyle G(n,p\_{n})}是渐进几乎必然联通的（其中{\displaystyle G(n,p)}表示一个有n个节点、边的出现概率为p的随机图）。

在数论中，渐进几乎必然也称作**几乎所有（英语：）**，比如"几乎所有数都是合数"。在图论中，该术语有时也直接称作"几乎必然"。

参见
--

* icon数学主题

* 几乎
* 几乎处处，测度论中的相关概念
* 依概率1收敛，也称"几乎必然收敛"或"几乎处处收敛"
* 退化分布
* 无限猴子定理

参考资料
----

1. 1 2 . Math Vault. 2019-08-01  [2019-11-16]. （原始内容存档于2020-02-28） （美国英语）.
2. ↑  Weisstein, Eric W. (编).. at *MathWorld*--A Wolfram Web Resource. Wolfram Research, Inc.  [2019-11-16]. （原始内容存档于2021-08-13） （英语）.
3. ↑ . mathcentral.uregina.ca.  [2019-11-16]. （原始内容存档于2021-08-13）.
4. ↑  Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott.. Springer. 2007: 232. ISBN 978-3-540-00428-8.
5. ↑  Jacod, Jean; Protter.. Springer. 2004: 37. ISBN 978-3-540-438717.
6. ↑  Williamson, Timothy.. Analysis. 2007-07-01, **67** (3): 173–180  [2021-08-13]. ISSN 0003-2638. doi:10.1093/analys/67.3.173. （原始内容存档于2021-03-08） （英语）.
7. ↑  Friedgut, Ehud; Rödl, Vojtech; Rucinski, Andrzej; Tetali, Prasad.. Memoirs of the American Mathematical Society (AMS Bookstore). January 2006, **179** (845): 3–4. ISSN 0065-9266. S2CID 9143933. doi:10.1090/memo/0845.
8. ↑  Spencer, Joel H.. . Algorithms and Combinatorics **22**. Springer. 2001: 4  [2021-08-13]. ISBN 978-3540416548. （原始内容存档于2021-08-13）.

参见
--

* 幾乎處處，测度论中相关的概念

* 無限猴子定理，运用该术语的理论

参考书目
----

* Rogers, L. C. G.; Williams, David.. 1: Foundations. Cambridge University Press. 2000. ISBN 978-0521775946.
* Williams, David.. Cambridge Mathematical Textbooks. Cambridge University Press. 1991. ISBN 978-0521406055.