機率公設

機率公理（英語：Probability axioms）是概率論的公理，任何事件發生的概率的定義均滿足概率公理。因其提出者為安德烈·柯爾莫果洛夫，也被稱為柯爾莫果洛夫公理（Kolmogorov axioms）。

某個事件 $E$ 的概率 $P(E)$ 是定義在「全體」（universe）或者所有可能基礎事件的樣本空間 $\Omega$ 時，概率 $P$ 必須滿足以下柯爾莫果洛夫公理。

也可以說，概率可以被解釋為定義在樣本空間的子集的σ代數上的一個測度，那些子集為事件，使得所有集的測度為 $1$ 。這個性質很重要，因為這裡提出條件概率的自然概念。對於每一個非零概率A都可以在空間上定義另外一個概率：

P(B\vert A)={P(B\cap A) \over P(A)}

通常讀作「給定A時B的概率」。如果給定A時B的條件概率與B的概率相同， $P(B\vert A)=P(B)$ ，則稱A與B互相獨立。

當樣本空間是有限或者可數無限時，概率函數也可以以基本事件 $\{e_{1}\},\{e_{2}\},...$ 定義它的值，這裡 $\Omega =\{e_{1},e_{2},...\}$ 。

柯爾莫果洛夫公理

假設有一個基礎集 $\Omega$ ，其子集的集合 ${\mathfrak {F}}$ 為σ代數，和一個給 ${\mathfrak {F}}$ 的元素指定一個實數的函數 $P$ 。 ${\mathfrak {F}}$ 的元素，稱為「事件」。

對於任意一個集合

A\in {\mathfrak {F}}

，即對於任意的事件

P(A)\geq 0

。

即，任一事件的概率都可以用 $0$ 到 $1$ 區間上的一個實數來表示。

P(\Omega )=1

。

即，整體樣本集合中的某個基本事件發生的概率為1。更加明確地說，在樣本集合之外已經不存在基本事件了。

這在一些錯誤的概率計算中經常被小看；如果你不能準確地定義整個樣本集合，那麼任意子集的概率也不可能被定義。

任意兩兩不相交事件

E_{1},E_{2},...

的可數序列滿足

P(E_{1}\cup E_{2}\cup \cdots )=\sum P(E_{i})

。

即，不相交子集的並的事件集合的概率為那些子集的概率的和。這也被稱為是σ可加性。如果存在子集間的重疊，這一關係不成立。

如想通過代數了解柯爾莫果洛夫的方法，請參照隨機變量代數。

又發展成Boole不等式，證明時常使用此公式： ${\displaystyle P(\bigcup _{i}A_{i})\leq \sum _{i}P(A_{i})}$ 。

從柯爾莫果洛夫公理可以推導出另外一些對計算概率有用的法則。

P(\Omega -E)=1-P(E)

，

P(A\cup B)=P(A)+P(B)-P(A\cap B)

，