用戶:Tenpages/幾乎必然

在概率論中，如果一個事件發生的概率是1（或在勒貝格測度下是1），則稱該事件幾乎必然（英語：almost surely）發生，縮寫為a.s.。換句話說，此事件不發生所對應的事件集合可能是非空的，但該集合的概率是0。在測度論中，與本概念相似的概念是幾乎處處。

很多時候，在有限樣本空間的概率試驗中，幾乎必然和必然是沒有區別的（因為概率等於1的事件通常會包含樣本空間中的所有樣本）。但兩者的區別對於樣本空間是無窮集時就顯得很重要了，因為無窮集的非空子集的概率可以是0。

強大數定理中使用了幾乎必然的概念。

視上下文，有時也會使用同義詞幾乎一定（英語：almost certainly，縮寫為a.c.）或幾乎總是（英語：almost always，縮寫為a.a.）。幾乎從不則是幾乎必然的相反感念：若一個事件發生的概率是0，則稱該事件幾乎從不發生。

正式定義

令$(\Omega ,{\mathcal {F}},P)$為一概率空間。若${\mathcal {F}}$中一個事件$E$滿足$P(E)=1$，則稱其幾乎必然發生。等價地，若$E$不發生的概率是0，即$P(E^{C})=0$，則稱$E$幾乎必然發生。更一般地，若對於一個事件$E\subseteq \Omega$（不一定要屬於${\mathcal {F}}$），存在一個零測集$N$，滿足$E^{C}\subset N$且$P(N)=0$，則稱$E$幾乎必然發生。

幾乎處處這一概念建立在概率測度$P$上。如果需要強調該概率測度，通常會說事件$E$是$P$-幾乎必然發生的。

舉例

粗略地說，就算概率空間中存在着一個事件不包含的結果，一個事件還是可以「幾乎必然」發生。下面的例子中就是這樣的情況。

扔飛鏢

朝一個面積為1的正方形上扔飛鏢，而飛鏢總是只命中正方形上的一點。假設正方形上每一個點被命中的概率是相同的。因為正方形的面積是1，命中正方形上某個區域的概率就正好等於該區域的面積。例如，命中正方形右半邊的概率是0.5，因為其面積也是0.5。

令事件$E=$「飛鏢正好命中正方形對角線上的點」。因為該區域（兩條交叉的線）的面積是0，事件$E$發生的概率也是0。換句話說，飛鏢「幾乎從不」命中對角線；或者它「幾乎必然」不命中對角線，就算對角線上的點的集合併非空集，且飛鏢命中對角線上的點和命中正方形上其它任何點的概率都是相同的。

重複拋硬幣

重複拋一枚（可能是不均勻的）硬幣。如果令事件$H=$正面朝上，$T=$反面朝上，則對應的概率空間是$(\{H,T\},2^{\{H,T\}},P)$。假設拋這枚硬幣正面朝上的概率是$P(H)=p\in (0,1)$，而其對立事件，即硬幣反面朝上的概率是$P(T)=1-p$。

重複拋這枚硬幣，並令$\omega _{1},\omega _{2},\ldots$表示第1、2、...次拋的結果。假設每次拋硬幣的結果都是相互獨立的（即這些隨機變量是獨立同分佈的）。考慮拋硬幣概率空間上的隨機變量序列$(X_{i})_{i\in \mathbb {N} }$，$X_{i}(\omega )=\omega _{i}$，也即每個$X_{i}$記錄第$i$次拋硬幣的結果。

在本例中，任意一個由無數個正面和反面組成的序列都是一個可能的結果。然而，存在一些這樣的序列，它們發生的概率是0。這是因為獨立同分佈的假設意味着有$n$次正面朝上的概率是$P(X_{i}=H,\ i=1,2,\dots ,n)=\left(P(X_{1}=H)\right)^{n}=p^{n}$。當$n\rightarrow \infty$時，此概率趨向於0，因為假設了$p\in (0,1)$。不論該硬幣有多不均勻，只要$p$不會取0或1，前述的結論都會成立。

另外，事件「拋硬幣結果序列上至少有一個反面」也幾乎必然發生。但如果拋硬幣的次數是有限次，比如1,000,000次，則全部正面朝上的概率是$p^{1,000,000}\neq 0$，而至少有一個反面的概率是$1-p^{1,000,000}\neq 1$，即不再是幾乎必然的。

漸進幾乎必然

在漸進分析中，若在一個集合序列上，某一性質發生的概率收斂到1，則稱它是漸進幾乎必然（英語：asymptotically almost surely，縮寫為a.a.s）的。例如，在數論中，根據質數定理，一個大數漸進幾乎必然是一個合數；在隨機圖論中，若存在一個$\varepsilon >0$，使得$p_{n}>{\frac {(1+\varepsilon )\ln n}{n}}$，則圖$G(n,p_{n})$是漸進幾乎必然聯通的（其中$G(n,p)$表示一個有$n$個節點、邊的出現概率為$p$的隨機圖）。

在數論中，漸進幾乎必然也稱作幾乎所有，比如「幾乎所有數都是合數」。在圖論中，該術語有時也直接稱作「幾乎必然」。

參見

• 幾乎
• 幾乎處處，測度論中的相關概念
• 依概率1收斂，也稱「幾乎必然收斂」或「幾乎處處收斂」
• 退化分佈
• 無限猴子定理

參見

• 幾乎處處，測度論中相關的概念

• 無限猴子定理，運用該術語的理論

參考書目

• Rogers, L. C. G.; Williams, David. Diffusions, Markov Processes, and Martingales. 1: Foundations. Cambridge University Press. 2000. ISBN 978-0521775946. 
• Williams, David. Probability with Martingales. Cambridge Mathematical Textbooks. Cambridge University Press. 1991. ISBN 978-0521406055.