Definición (axiomática) de la probabilidad y sus propiedades

Definición (axiomática) de la probabilidad

Durante el siglo XX, un matemático ruso, Andrei Kolmogorov, propuso una definición de probabilidad, que es la que seguimos utilizando hoy en día.

Si hacemos un determinado experimento, que tiene un espacio muestral $\mathrm{\Omega }$, definimos la probabilidad como una función que asocia a cada suceso $A$ una determinada probabilidad, $P(A)$, que cumple las siguientes propiedades:

1. La probabilidad de cualquier suceso $A$ es positiva o cero. Es decir, $P(A)\ge 0$. La probabilidad mide, en cierta manera, lo difícil que es que ocurra un suceso $A$: como menor sea la probabilidad, más difícil es que ocurra.

2. La probabilidad del suceso seguro es $1$. Es decir, $P(\mathrm{\Omega })=1$. Así pues, la probabilidad siempre es mayor que $0$ y menor que $1$: probabilidad cero quiere decir que no hay ninguna posibilidad de que pase (es un suceso imposible), y probabilidad $1$, que siempre pasa (es un suceso seguro).

3. La probabilidad de la unión de un conjunto cualquiera de sucesos incompatibles dos a dos es la suma de las probabilidades de los sucesos. Esto es, si tenemos, por ejemplo, los sucesos $A,B,C$, y son incompatibles dos a dos, entonces $P(A\cup B\cup C)=P(A)+P(B)+P(C).$

Nota: En matemáticas, un axioma es un resultado que se acepta sin que necesite demostración. En este caso, decimos que ésta es la definición axiomática de la probabilidad porque definimos la probabilidad como una función que cumple estos tres axiomas. También podríamos haber escogido unos axiomas diferentes, y entonces para nosotros la probabilidad sería otra cosa.

Principales propiedades de la probabilidad

• $P(A)+P(\bar{A})=1$.

Esto es, las probabilidades de los sucesos complementarios suman 1. Muchas veces utilizaremos esta propiedad para calcular probabilidad del complementario: $P(\bar{A})=1-P(A)$.

Veamos por qué. Sabemos que, por un lado, $A$ y $\bar{A}$ son incompatibles, y por el otro, $A\cup \bar{A}=\mathrm{\Omega }$, puesto que uno es el contrario del otro. Esto es otra manera de entender lo que ya sabíamos, que el suceso $A\cup \bar{A}$ es un suceso seguro, y por tanto, por el axioma 2, $P(A\cup \bar{A})=1$, es decir, siempre ocurre. Entonces, por el axioma 3, $P(A\cup \bar{A})=P(A)+P(\bar{A})$. Pero $P(A\cup \bar{A})=P(\mathrm{\Omega })=1$, por lo que $P(A)+P(\bar{A})=1$.

Esta propiedad, que nos resulta muy útil, se puede generalizar:

Si tenemos tres o más sucesos, incompatibles dos a dos, y tales que su unión es todo el espacio muestral, es decir, $A,B,C$ incompatibles dos a dos tales que $A\cup B\cup C=\mathrm{\Omega }$, entonces $P(A)+P(B)+P(C)=1$, por los axiomas 2 y 3.

Decimos en este caso que $A,B,C$ forman un sistema completo de sucesos. Observemos que siempre que expresamos $\mathrm{\Omega }$ como conjunto de sucesos elementales, en realidad estamos dando un sistema completo de sucesos.

Como consecuencia, $P(\mathrm{\varnothing })=0$, es decir, la probabilidad del suceso imposible es $0$, puesto que, como sabemos que el suceso contrario al suceso imposible es el suceso seguro, entonces podemos sustituir esto en la igualdad de la propiedad, $P(\mathrm{\varnothing })+P(\mathrm{\Omega })=1$. Por lo tanto, como por el segundo axioma de la probabilidad $P(\mathrm{\Omega })=1$, tenemos que $P(\mathrm{\varnothing })+1=1$, por lo que $P(\mathrm{\varnothing })=0$.

• Si $A\subset B$, entonces $P(A)\le P(B)$.

La notación "si $A\subset B$" quiere decir "si el suceso $A$ está incluido en el suceso $B$", es decir, si todos los resultados posibles que cumplen $A$ también cumplen $B$.

Esta propiedad es bastante lógica: si al tirar un dado, queremos comparar la probabilidad de $A=$"sacar un $2$" con $B=$"sacar un número par", entonces, la probabilidad de $A$ tiene que ser más pequeña o igual que la de $B$, puesto que si sacamos un $2$, estamos sacando un número par. En otras palabras, cuando se cumple $A$, también se cumple $B$, por lo que debería ser más difícil cumplir $A$ que cumplir $B$. Es decir, $P(A)\le P(B)$.

• $P(A\cup B)=P(A)+P(B)-P(A\cap B)$.

Este resultado, que es muy importante recordar, es consecuencia de una propiedad en la Teoría de conjuntos: dados dos conjuntos, $A$ y $B$, puedes expresar su unión como $A\cup B=(A-B)\cup (A\cap B)\cup (B-A),$ que son incompatibles dos a dos. Entonces, por el axioma 3, $P(A\cup B)=P(A-B)+P(A\cap B)+P(B-A)$.

También en Teoria de conjuntos se ve que $A=(A-B)\cup (A\cap B)$, que son dos sucesos incompatibles, y por tanto, por el axioma 3, $P(A)=P(A-B)+P(A\cap B)$, es decir, $P(A-B)=P(A)-P(A\cap B)$.

Análogamente,

$B=(B-A)\cup (B\cap A)=(B-A)\cup (A\cap B)$, por lo que $P(B-A)=P(B)-P(A\cap B)$.

Sustituyendo estas probabilidades en la igualdad, encontramos

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

Con todo lo que sabemos hasta ahora, podemos resolver ya muchos problemas de probabilidad. Veamos algunos ejemplos.