Desigualdad de Boole

De Wikipedia, la enciclopedia libre

Saltar a navegacin, bsqueda
En teora de la probabilidad, la desigualdad de Boole estipula que para toda familia
finita o numerable de sucesos, la probabilidad de que al menos uno de esos sucesos
ocurra es menor o igual a la suma de las probabilidades de los sucesos individuales. De
manera ms formal,
Teorema:
Para una familia finita o numerable de sucesos A1, A2, A3, ..., se cumple:

Contenido
[ocultar]
1 Demostracin
o 1.1 Familia finita
o 1.2 Familia numerable
o 1.3 Otro mtodo
o 1.4 Teora de la medida
2 Desigualdades de Bonferroni

3 Vase tambin

Demostracin [editar]
Familia finita [editar]
Primero se trata, por induccin, el caso de una familia finita

de sucesos.

Se trata de probar que

La desigualdad es cierta para m = 1. Supuesta cierta para un m dado, se considera una

familia
Sea
induccin).

de m + 1 sucesos.
:

(hiptesis de

Entonces:
,
de donde:
.

Familia numerable [editar]

Ahora se trata el caso de una familia numerable

de sucesos.

Para todo nmero natural n (distinto de cero), sea

; entonces

.
La desigualdad de Boole se comprueba por paso al lmite sobre n; en efecto
y para todo n,

, entonces

Otro mtodo [editar]

Otro mtodo que trata a la vez el caso finito y el caso numerable: sea
todo

Entonces

y para

.
, y los sucesos

por otra parte, para todo

son incompatibles dos a dos;

, entonces

De todo esto, se deduce que

Axiomas de probabilidad
De Wikipedia, la enciclopedia libre
Saltar a navegacin, bsqueda

es creciente).

Los axiomas de probabilidad son las condiciones mnimas que deben verificarse para
que una funcin que definimos sobre unos sucesos determine consistentemente valores
de probabilidad sobre dichos sucesos.
La probabilidad P de un suceso E, denotada por P(E), se define con respecto a un
"universo" o espacio muestral , conjunto de todos los posibles sucesos elementales, tal
que P verifique los Axiomas de Kolmogrov, enunciados por el matemtico ruso de
este nombre en 1933. En este sentido, el suceso E es, en trminos matemticos, un
subconjunto de .

Contenido
[ocultar]
1 Axiomas de Kolmogrov
o 1.1 Primer axioma
o 1.2 Segundo axioma
o 1.3 Tercer axioma
o 1.4 Propiedades que se deducen de los axiomas
2 Vase tambin
3 Referencias

4 Enlaces externos

Axiomas de Kolmogrov [editar]

Dado un conjunto de sucesos elementales, , sobre el que se ha definida una -lgebra
(lase sigma-lgebra) de subconjuntos de y una funcin P que asigna valores reales
a los miembros de , a los que denominamos "sucesos", diremos que P es una
probabilidad sobre (,) si se cumplen los siguientes tres axiomas.

Primer axioma [editar]

La probabilidad de un suceso A es un nmero real mayor o igual que 0.

La probabilidad de un suceso es un nmero positivo o nulo.

Segundo axioma [editar]

La probabilidad del total, , es igual a 1.

representa todas las posibles alternativas y se denomina suceso seguro.

Tercer axioma [editar]

Si A1, A2... son sucesos mutuamente excluyentes (incompatibles dos a dos, disjuntos o
de interseccin vaca dos a dos), entonces:
.
Segn este axioma se puede calcular la probabilidad de un suceso compuesto de varias
alternativas mutuamente excluyentes sumando las probabilidades de sus componentes.

Propiedades que se deducen de los axiomas [editar]

De los axiomas anteriores se deducen otras propiedades de la probabilidad:
1.

donde el conjunto vaco

representa en probabilidad el suceso

imposible
2. Para cualquier suceso
3.
4. Si

entonces

5.
En trminos ms 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 definicin matemtica, verifica igualmente los tres axiomas de Kolmogrov. A la
terna formada por el espacio muestral, la -lgebra y la funcin de probabilidad se la
denomina Espacio probabilstico, 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 funcin de probabilidad).
Como ejemplo se puede tomar como espacio muestral a los posibles resultados al
arrojar un dado corriente
, tomaremos como -lgebra todos
los subconjuntos posibles de (que en matemticas se denota por
funcin de probabilidad

) y como

Es fcil comprobar que esta funcin verifica los tres axiomas de Kolmogrov y, por
tanto, consituye una probabilidad sobre este conjunto.

1.

, puesto que es el cociente

de dos nmeros positivos

2.

3. Si

de tal manera que

entonces

con lo que

Vase tambin [editar]

Axioma
-lgebra o Sigma-lgebra
Andri Kolmogrov
Teoremas de Probabilidad