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 Kolmogórov en 1933.

Axiomas de Kolmogórov

Dado un conjunto de sucesos elementales, Ω, sobre el que se ha definido una σ-álgebra (léase sigma-álgebra) σ de subconjuntos de Ω y una función P que asigna valores reales a los miembros de σ, a los que denominamos "sucesos", se dice que P es una probabilidad sobre (Ω,σ) si se cumplen los siguientes tres axiomas.

Axioma 1

La probabilidad de un evento ${\displaystyle S}$  no puede ser negativa

0 ≤ ${\displaystyle P(S)}$ 

Axioma 2.

La probabilidad del evento seguro, ${\displaystyle \Omega }$ , es igual a 1, denotado simbólicamente como:

${\displaystyle P(\Omega )=1\!}$ 

Axioma 3.

Si ${\displaystyle E_{1},E_{2},\dots }$  son eventos mutuamente excluyentes (es decir, su intersección es el conjunto vacío), entonces:

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

El axioma es el conjunto de datos adquiridos

Según este axioma se puede calcular la probabilidad de un suceso compuesto de varias alternativas mutuamente excluyentes sumando las probabilidades de sus componentes.

En términos más formales, una probabilidad es una medida sobre una σ-álgebra de subconjuntos del espacio muestral, siendo los subconjuntos miembros de la σ-álgebra los sucesos y definida de tal manera que la medida del total sea 1. Tal medida, gracias a su definición matemática, verifica igualmente los tres axiomas de Kolmogórov. A la terna formada por el espacio muestra, la σ-álgebra y la función de probabilidad se la denomina Espacio probabilístico, esto es, un "espacio de sucesos" (el espacio muestral) en el que se han definido los posibles sucesos a considerar (la σ-álgebra) 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. ${\displaystyle P(\varnothing )=0}$  donde el conjunto vacío ${\displaystyle (\varnothing )}$  representa en probabilidad el suceso imposible
2. Para cualquier evento, ${\displaystyle P(E)\leq 1}$ 
3. ${\displaystyle P(A^{\complement })=1-P(A)\;\!}$ , donde ${\displaystyle A^{\complement }}$  representa el conjunto complemento de ${\displaystyle A}$ 
4. Si ${\displaystyle E\subseteq F}$  entonces ${\displaystyle P(E)\leq P(F)}$ 
5. ${\displaystyle P(E\cup F)=P(E)+P(F)-P(E\cap F)}$ 

Ejemplos

Como ejemplo se puede tomar como espacio muestral a los posibles resultados al arrojar un dado corriente ${\displaystyle \Omega =\left\{1,2,3,4,5,6\right\}}$ , tomaremos como σ-álgebra todos los subconjuntos posibles de Ω (que en matemáticas se denota por ${\displaystyle {\mathcal {P}}(\Omega )}$ ) y como función de probabilidad

${\displaystyle P(A)={\frac {\#A}{6}}}$ 

donde ${\displaystyle \#A}$  representa el número de elementos del conjunto ${\displaystyle A}$ .

Es fácil comprobar que esta función verifica los tres axiomas de Kolmogórov y, por tanto, constituye una probabilidad sobre este conjunto.

1. ${\displaystyle P(A)={\frac {\#A}{6}}\geq 0}$ , puesto que es el cociente de dos números positivos
2. ${\displaystyle P(\Omega )=P\left(\left\{1,2,3,4,5,6\right\}\right)={\frac {\#\left\{1,2,3,4,5,6\right\}}{6}}={\frac {6}{6}}=1}$ 
3. Si ${\displaystyle A=A_{1}\cup A_{2}\cup A_{3}\cup \cdots }$  de tal manera que ${\displaystyle A_{i}\cap A_{j}=\varnothing \quad \forall i\neq j}$  entonces

${\displaystyle \#A=\#A_{1}+\#A_{2}+\#A_{3}+\cdots }$ 

con lo que ${\displaystyle P(A)=\sum P(A_{i})}$ 

Referencias

Véase también

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

•   Datos: Q974605