Axiomas de probabilidad

Los axiomas de probabilidad son las condiciones mínimas que deben verificarse para que una función definida sobre un conjunto de sucesos determine consistentemente sus probabilidades. Fueron formulados por Andréi Kolmogórov en 1933.

Axiomas de Kolmogórov

Sea $\mathrm{\Omega }$ un espacio muestral y $𝒜$ una σ-álgebra de subconjuntos de $\mathrm{\Omega }$.

A la terna $(\mathrm{\Omega },𝒜,P)$ se la denomina espacio de probabilidad, esto es, un espacio de sucesos (espacio muestral) en el que se han definido los posibles sucesos a considerar (la σ-álgebra de sucesos) y la probabilidad de cada suceso (la función de probabilidad).

Propiedades que se deducen de los axiomas

De los axiomas anteriores se coligen inmediatamente otras proposiciones de la probabilidad:

1. $P(\mathrm{\varnothing })=0$ (donde el conjunto vacío $\mathrm{\varnothing }$ representa en probabilidad el suceso imposible).
2. Para cualquier suceso, $P(S)\le 1$.
3. $P(\mathrm{\Omega }\setminus S)=1-P(S)$.
4. Si $A\subseteq B$, entonces $P(A)\le P(B)$.
5. $P(A\setminus B)=P(A)-P(A\cap B)$
6. $P(A\cup B)=P(A)+P(B)-P(A\cap B)$.
7. $P\left(\bigcup _{i=1}^n{S}_i\right)=\sum _{i=1}^{n}P(S_i)-\sum _{i_1<i_2}^{n}P(S_{i_1}\cap S_{i_2})+\sum _{i_1<i_2<i_3}^{n}P(S_{i_1}\cap S_{i_2}\cap S_{i_3})-...+(-1{)}^{n}P\left(\bigcap _{i=1}^n{S}_i\right)$.
8. $P\left(\bigcup _{i=1}^n{S}_i\right)\le \sum _{i=1}^{n}P(S_i)$.
9. $P\left(\bigcap _{i=1}^n{S}_i\right)\ge 1-\sum _{i=1}^{n}P(\mathrm{\Omega }\setminus S_i)$

Ejemplos

Tomamos como espacio muestral los posibles resultados al arrojar un dado $\mathrm{\Omega }=\{1,2,3,4,5,6\}$. Tomaremos como σ-álgebra $𝒫(\mathrm{\Omega })$ y como función de probabilidad $P(S)=\frac{\mathrm{\#}S}{6}\mathrm{\forall }S\in 𝒫(\mathrm{\Omega })$, donde $\mathrm{\#}S$ representa el número de elementos del conjunto $S$.

Es fácil comprobar que esta función verifica los tres axiomas de Kolmogórov:

A1)

$P(S)=\frac{\mathrm{\#}S}{6}\ge 0$

, puesto que es el cociente de dos números positivos.

A2) $P(\mathrm{\Omega })=P\left(\{1,2,3,4,5,6\}\right)=\frac{\mathrm{\#}\{1,2,3,4,5,6\}}{6}=\frac{6}{6}=1$

A3) Si tenemos

$S_1,S_2,...,S_n\in 𝒫(\mathrm{\Omega })$

tales que

$S_i\cap S_j=\mathrm{\varnothing }\mathrm{\forall }i\ne j$

, entonces:

$\mathrm{\#}\left(\bigcup _{i=1}^n{S}_i\right)=\sum _{i=1}^n\mathrm{\#}{S}_i⟹P\left(\bigcup _{i=1}^n{S}_i\right)=\sum _{i=1}^{n}P(S_i)$

.

Por tanto,

$P$

es una función de probabilidad sobre

$(\mathrm{\Omega },𝒫(\mathrm{\Omega }))$

.

Véase también

• Axioma
• σ-álgebra o Sigma-álgebra
• Andréi Kolmogórov
• Teoremas de Probabilidad

Plantilla:Control de autoridades