定義
機率空間( Ω, F, P)是一個總測度為1的測度空間(即 P( Ω)=1).
第一項 Ω是一個非空集合,有時稱作“樣本空間”。Ω 的集合元素稱作“樣本輸出”,可寫作ω。
第二項 F是樣本空間 Ω的冪集的一個非空子集。 F的集合元素稱為 事件Σ。事件Σ是樣本空間 Ω的子集。集合 F必須是一個σ-代數:
![機率空間](/img/f/52e/wZwpmL1cDMyYDM2QzM3UzM1UTM1QDN5MjM5ADMwAjMwUzL0MzLxgzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
;
![機率空間](/img/8/bd2/wZwpmLwgTO5YDM2QzM3UzM1UTM1QDN5MjM5ADMwAjMwUzL0MzLxIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![機率空間](/img/b/d98/wZwpmL1gTOzkTN3UjN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1YzLwczLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
若,則;
![機率空間](/img/e/f7f/wZwpmL2IDM0QjMzgTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLyAzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![機率空間](/img/8/d2c/wZwpmLzczNxUzN1gTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL4UzL3AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
若,則
( Ω, F)合起來稱為可測空間。事件就是樣本輸出的集合,在此集合上可定義其機率。
![機率空間](/img/0/301/wZwpmL2gzN1YzM3QjN2UzM1UTM1QDN5MjM5ADMwAjMwUzL0YzLxEzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
第三項 P稱為機率,或者機率測度。這是一個從集合 F到實數域 R的函式,。每個事件都被此函式賦予一個0和1之間的機率值。
![機率空間](/img/f/411/wZwpmL4QTM0EDO4QzN2UzM1UTM1QDN5MjM5ADMwAjMwUzL0czL1gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![機率空間](/img/f/9ce/wZwpmLzEDN4QzM2UjMxMzM1UTM1QDN5MjM5ADMwAjMwUzL1IzL3AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
機率測度經常以黑體表示,例如或,也可用符號"Pr"來表示。
離散模式
![機率空間](/img/e/a09/wZwpmLzEjM0UDO4QDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL0gzLyMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![機率空間](/img/2/f7b/wZwpmLygTN2IDOwMzMzIDN0UTMyITNykTO0EDMwAjMwUzLzMzLxQzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![機率空間](/img/2/f7b/wZwpmLygTN2IDOwMzMzIDN0UTMyITNykTO0EDMwAjMwUzLzMzLxQzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![機率空間](/img/e/180/wZwpmL4YDM4MDO4MjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLzYzLwAzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![機率空間](/img/2/f7b/wZwpmLygTN2IDOwMzMzIDN0UTMyITNykTO0EDMwAjMwUzLzMzLxQzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![機率空間](/img/6/3d4/wZwpmL3IjN5QzNzMjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLzYzL1QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
離散機率理論僅需要可數集的樣本空間。 機率指的是由機率質量函式求得上的使得的點。全部的子集合可視為隨機事件(也就是為冪集)。機率測度可簡寫為
![機率空間](/img/f/85a/wZwpmLwIDO0IzM4UzN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1czL3gzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![機率空間](/img/b/234/wZwpmL2YTM0ATM4ADM3UzM1UTM1QDN5MjM5ADMwAjMwUzLwAzL3gzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![機率空間](/img/6/3d4/wZwpmL3IjN5QzNzMjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLzYzL1QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![機率空間](/img/6/988/wZwpmLxMjM0cTO0IDN3UzM1UTM1QDN5MjM5ADMwAjMwUzLyQzL4YzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![機率空間](/img/7/0da/wZwpmLycTO4MDO2MTO2UzM1UTM1QDN5MjM5ADMwAjMwUzLzkzLwczLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
使用σ-代數能夠完整描述樣本空間。一般來說,σ-代數相當於一個有限或可數的集合劃分,事件A的一般型且
![機率空間](/img/b/2d4/wZwpmLwMzNzczM4MDO2UzM1UTM1QDN5MjM5ADMwAjMwUzLzgzL1QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![機率空間](/img/2/f7b/wZwpmLygTN2IDOwMzMzIDN0UTMyITNykTO0EDMwAjMwUzLzMzLxQzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
是被定義允許的情況但極少使用,因為如此的可以安全的從樣本空間中移除。
一般模式
如果Ω不可數,存在某些 ω使得 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.