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.

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.

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

0 ≤ ${displaystyle P(S)}$

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

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

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).

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

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 ight}}$, 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.