機率空間 - 维基百科，自由的百科全书

此條目没有列出任何参考或来源。 (2022年7月31日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。

统计学系列条目
概率論
概率 概率公理 決定論 非決定論 随机性
概率空間 概率测度 样本空间 随机试验 伯努利試驗 事件 互補事件 互斥 基本事件（英语：Elementary_event） 结果 单元素
随机变量 期望值 條件概率 概率分布 離散型均勻分佈 伯努利分布 二項式分布 幾何分佈 负二项分布 超几何分布 泊松分布 连续型均匀分布 正态分布 对数正态分布 多元正态分布 指数分布 Gamma分布 Beta分布 帕累托分布 联合分布 边缘分布
随机过程 伯努利过程 隨機漫步 维纳过程 馬可夫過程 伊藤過程
統計獨立性 条件独立 全概率公式 大数定律 贝叶斯定理 布尔不等式
文氏图 樹形圖
查 论 编

機率空間是機率論的基礎。機率的嚴格定義基于這個概念。

機率空間 ${\displaystyle (\Omega ,{\mathcal {F}},P)}$ 是一個總測度為1的測度空間（即 ${\displaystyle P(\Omega )=1}$）。

第一項 ${\displaystyle \Omega }$ 是一個非空集合，稱作樣本空間。${\displaystyle \Omega }$ 里的元素稱作结果或樣本輸出^{[來源請求]}，可寫作ω。

第二項 ${\displaystyle {\mathcal {F}}}$ 是一个 σ-代數。事件是樣本空間 ${\displaystyle \Omega }$ 的子集，${\displaystyle {\mathcal {F}}}$ 由事件构成，是樣本空間 ${\displaystyle \Omega }$ 冪集 ${\displaystyle 2^{\Omega }}$ 的一個非空子集。集合 ${\displaystyle {\mathcal {F}}}$ 必須是一個σ-代數，即满足下面三个性质:

1. ${\displaystyle {\mathcal {F}}}$ 包含全集，即 ${\displaystyle \Omega {\in }{\mathcal {F}}}$；
2. 若 ${\displaystyle A{\in }{\mathcal {F}}}$，則补集 ${\displaystyle {\bar {A}}{\in }{\mathcal {F}}}$；
3. ${\displaystyle {\mathcal {F}}}$ 对可数并封闭，即对于 ${\displaystyle A_{n}{\in }{\mathcal {F}}}$，${\displaystyle n=1,2,...}$，那么${\displaystyle \bigcup _{n=1}^{\infty }A_{n}{\in }{\mathcal {F}}}$

空间 ${\displaystyle (\Omega ,{\mathcal {F}})}$ 稱為可測空間，在此集合上可定義其機率测度。

第三項 ${\displaystyle P}$ 稱為機率，或者機率測度。這是一個從集合 ${\displaystyle {\mathcal {F}}}$ 到實數域 ${\displaystyle \mathbb {R} }$ 的函數。概率测度 ${\displaystyle P:{\mathcal {F}}{\to }\mathbb {R} }$ 需要满足

1. 可数可加性：如果 ${\displaystyle \{A_{i}\}_{i=1}^{\infty }\subset {\mathcal {F}}}$ 为两两不交的集合，那么 ${\displaystyle P\left(\bigcup _{i=1}^{\infty }A_{i}\right)=\sum _{i=1}^{\infty }P(A_{i})}$。
2. 全空间的概率为 1，即 ${\displaystyle P(\Omega )=1}$。

機率測度給每個事件賦予一個 0 和 1 之間的機率值。

機率測度經常以粗體表示，例如 ${\displaystyle \mathbb {P} }$ 或 ${\displaystyle \mathbf {P} }$ ，也可用符號 ${\displaystyle \Pr }$ 來表示。

離散機率理論僅需要可數集的樣本空間 ${\displaystyle \Omega }$。機率指的是由機率質量函數 ${\displaystyle p:\Omega \to [0,1]}$求得${\displaystyle \Omega }$上的使得 ${\displaystyle \sum _{\omega \in \Omega }p(\omega )=1}$ 的點。${\displaystyle \Omega }$ 全部的子集合可視為隨機事件（也就是${\displaystyle {\mathcal {F}}=2^{\Omega }}$為冪集）。機率測度可簡寫為$${\displaystyle (*)\qquad P(A)=\sum _{\omega \in A}p(\omega )\quad {\text{for all }}A\subseteq \Omega }$$

使用 σ-代數 ${\displaystyle {\mathcal {F}}=2^{\Omega }}$能夠完整描述樣本空間。一般來說，σ-代數相當於一個有限或可數的集合劃分${\displaystyle \Omega =B_{1}\cup B_{2}\cup \dots }$，事件A的一般型${\displaystyle A\in {\mathcal {F}}}$ 且${\displaystyle A=B_{k_{1}}\cup B_{k_{2}}\cup \dots }$

${\displaystyle p(\omega )=0}$是被定義允許的情況但極少使用，因為這樣的${\displaystyle \omega }$可以安全地從樣本空間中移除。

如果Ω不可數，存在某些ω使得p(ω) ≠ 0的情況仍然存在，那些ω稱為原子。他們大部分都是可數的集合（有可能為空集合），其可能性為所有原子機率的和。如果這個和等於1，那麼其他的點可以安全地從樣本空間中移除，回歸離散模式。反之，如果和少與1（有可能為零）那麼機率空間分解成為離散（原子）部分（可能為零），以及非原子部分。

若樣本空間是關于一個機會均等的拋硬幣動作，則樣本輸出為“正面”或“反面”。事件為：

• {正面}，其機率為0.5。
• {反面}，其機率為0.5。
• { }=∅ 非正非反，其機率為0.
• {正面，反面}，不是正面就是反面，這是Ω，其機率為1。

隨機變量是一個從Ω映射到另一個集合(通常是實數域R)的函數。它必須是一個可測函數。比如說，若X是一個實隨機變量，則使X為正的樣本輸出的集合{ω∈Ω:X(ω)>0}是一個事件。

為簡便起見，{ω∈Ω:X(ω)>0}經常衹寫作{X>0}。P({X>0})更被簡化為P(X>0)。

若P(A∩B)=P(A)P(B)，則A和B兩個事件是獨立的。

若任何與隨機變量X有關的事件和任何與隨機變量Y有關的事件獨立，則X和Y兩個隨機變量是獨立的。

獨立這個概念是機率論和測度論分道揚镳的地方。

若P(A∩B)=0，則稱A和B兩個事件互斥或「不相交」（這個性質要比A∩B=∅弱一些，後者是集合不相交的定義）。

若兩個事件A和B不相交，則P(A∪B)=P(A)+P(B)。這個性質可以擴展到由（有限個或者可數無限個）事件組成的事件序列。但不可數無限個事件組成的事件集合對應的機率與集合元素對應機率之和未必相等，例如若Z是正態分佈的隨機變量，則對任意x有P(Z=x)=0，但是P(Z是實數)=1。

事件A∩B的意思是A并且B；事件A∪B的意思是A或者B.