Funciones de conjunto probabilidad elemental

Esta igualdad establece que E puede' ocurrir tan s610 en conjuncin con algn A,. De-
mostrar que
Esta frmula es til cuando las probabilidades condicionadas son ms sencillas
de calcular que
9. Una moneda correcta es lanzada repetidamente. Sale cara en los seis primeros lanza-
mientos. Cul es la probabilidad de que salga cara en el sptimo?
10. Dados los sucesos independientes A y B cuyas probabilidades no son ni 1. Demostrar
que A' y B' son independientes. Ocurre lo mismo si A o B tienen probabilidad 6 1?
11. Dados los sucesos independientes A y B. Probar o rechazar, segn convenga en cada
caso, que:
a) A' y B son independientes.
b) y son independientes.
P(A')P(B').
12. Si son sucesos independientes, demostrar que
13. Si tres sucesos y son independientes, demostrar que y son indepen-
dientes. [Indicacin. Utilizar el resultado del ejercicio 7 para demostrar que
14. Sean A y B dos sucesos, ninguno de los cuales tiene probabilidad Demostrar que son
ciertas o que no lo son cada una de las afirmaciones siguientes:
a) Si A y B son disjuntos, A y B son independientes.
b) Si A y B son independientes, A y B son disjuntos.
15. Se lanza un dado dos veces, el espacio muestral consta de 36 posibles pares de resulta-
dos b) cada uno con probabilidad Sean A, B y los sucesos siguientes:
A = b) aes impar}, B = {(a, b) bes impar}, = {(a, b) a + bes impar}.
a) Calcular y
b) Demostrar que A, B y son independientes a pares.
e) Demostrar que y no son independientes.
13.15 Experimentos o pruebas compuestas
Volvamos ahora al problema de de Mr mencionado en la introduccin -si
es mismo apostar la misma cantidad a favor o en contra de la aparicin por
menos de un doble seis en 24 tiradas de un par de dados. Tratemos el problema
de un modo ms general: Cul es la probabilidad de conseguir un doble seis
Experimentos o pruebas compuestas
por lo menos una vez en n tiradas de un par de dados? Esta probabilidad es ma-
yor o menor que un medio cuando n 24?
Consideremos en primer lugar la prueba consistente en lanzar un par de
dados una sola vez. El resultado de este juego puede representarse mediante pares
ordenados (a, en los que a y recorren los valores 1, 2, 3, 4, 5, 6. El espacio
muestral S consta de 36 de esos pares. Puesto que los dados son correctos asig-
namos a cada par de S la probabilidad 1136'
Supongamos que lanzamos los dados n veces. La sucesin de las n pruebas
es una prueba compuesta que queremos describir matemticamente. Por ello nece-
sitamos un nuevo espacio muestral y una correspondiente medida de probabilidad.
Consideremos los resultados del nuevo juego como n-plas ordenadas (Xl' ... ,X
en donde cada componente x, es uno de los resultados del espacio muestral origi-
nal S. Es decir, el espacio muestral para la prueba compuesta es el producto car-
tesiano que se representa por El conjunto tiene 36 elemen-
tos, y asignamos igual probabilidad a cada elemento:
P(x) 1
n
Nos interesa el suceso por lo menos un doble seis en n tiradas. Design-
moslo por En este caso es ms sencillo calcular la probabilidad del suceso
complementario A', que significa ningn doble seis en n tiradas. Cada elemento
de A' es una n-pla, cada uno de cuyos componentes pueden ser cualquier elemento
de S excepto (6, 6). Por consiguiente existen 35 valores posibles para cada com-
ponente por tanto (35)Dn-pIas en total en A'. Puesto que cada elemento de A'
tiene probabilidad (;\)n, la suma de todas las probabilidades puntuales en es
Esto nos da
x S":
peA) 1 - peA') 1 - (H)n.
Para contestar a la pregunta de de Mr tenemos que decidir si P(A) es mayor
o menor que cuando n 24. La desigualdad P(A) ~ es equivalente a
1 - (H)n ~ %, o (H)n ~ %' Tomando logaritmos encontramos
log 35 - log 36 ~ -log 2, o
> log 2 24.6+ .
- log 36 - lag 35
Por consiguiente P(A) cuando n 24 YP(A) > cuando n ~ 25. No es
ventajosa una apuesta de una cantidad al suceso de que por lo menos se presente
un doble seis en 24 tiradas, frente a la apuesta de la misma cantidad al suceso
contrario.
Esta discusin sugiere un mtodo general para tratar los experimentos sucesi-
vos. Si una prueba se repite dos o ms veces, el resultado puede considerarse
600 Funciones de conjunto probabilidad elemental
como una prueba compuesta. Ms general, una prueba compuesta puede ser el
resultado de ejecutar dos o ms pruebas distintas sucesivamente. Cada una de las
pruebas individuales puede estar relacionada con cada una de las otras o pueden
ser estocsticamente independientes, en el sentido de que la probabilidad del re-
sultado de cada una de ellas no depende de los resultados de las otras.
Por simplicidad, discutiremos cmo se pueden combinar dos pruebas inde-
pendientes en una prueba compuesta. La generalizacin a ms de dos experiencias
ser evidente.
Para asociar el espacio de probabilidad natural a una prueba o experiencia
compuesta, debemos definir el nuevo espacio muestral S, la correspondiente lge-
bra booleana :]8 de subconjuntos de S, y la medida de probabilidad P sobre
Como en el ejemplo anterior, usamos el concepto de producto cartesiano.
Sean Pi) ,P dos espacios de probabilidad asociados a
dos experiencias y 2 Con representamos la experiencia o prueba compuesta
para las que el espacio muestral S es el producto cartesiano SI X Un resultado
de es el par (x, de S, donde el primer componente x es un resultado de
y el segundo y un resultado de 2 Si tiene n elementos y m, el producto
X tendr nm elementos.
Como nueva lgebra booleana tomamos la coleccin de todos los subcon-
juntos de S. A continuacin definimos la funcin de probabilidad P. Ya que S es
finito podemos definir P(x, y) para cada punto (x, de S y utilizar la aditividad
al definir para los subconjuntos de S. Las probabilidades pueden asig-
narse de varias maneras. Sin embargo, si dos pruebas y
2
son estocstica-
mente independientes, definimos P mediante la ecuacin
(13.14)
P(x, y) P(X)P (y) para cada (x, de
Se justifica esta definicin del siguiente modo. Consideremos dos sucesos par-
ticulares A y B del nuevo espacio S,
y
Esto es, A es el conjunto de todos los pares de X cuyo primer elemento es
y es el conjunto de todos los pares cuyo segundo elemento es y. La inter-
seccin de los dos conjuntos A y B es el conjunto de un solo elemento
Si presentimos que el primer resultado no debe influir en el resultado parece
razonable exigir que los sucesos A B sean independientes. Esto significa que
habr que definir la nueva funcin de probabilidad de manera que
peA B) P(A)P(B).
Experimentos o pruebas compuestas
Si decidimos la forma de asignar las probabilidades la ecuacion
(13.15) nos dir cmo asignar la probabilidad peA B), esto es, la probabilidad
Se presenta el suceso si y slo si el resultado de la primera prueba es
Puesto que es su probabilidad, parece natural asignar el valor
tambin a Anlogamente, asignamos a el valor
2
La ecuacin
(13.15) nos da entonces
Todo esto es, naturalmente, tan solo una justificacin para la asignacin de
probabilidades (13.14). El nico camino para decidir si (13.14) es o no una acep-
table asignacin de probabilidades puntuales es ver si se cumplen las propieda-
des fundamentales de las medidas de probabilidad. Cada nmero P(x, es no
negativo, y la suma de todas las probabilidades puntuales es igual a 1, puesto que
tenemos
x, PI (x) . P
Cuando decimos que una prueba compuesta est determinada por dos prue-
bas y
2
estocsticamente independientes, queremos decir que el espacio de
probabilidad est definido como acabamos de explicar, tal indepen-
dencia queda reflejada en el hecho de que es igual al producto P2
Puede demostrarse que la asignacin de probabilidades (13.14) implica la igualdad
(13.16)
para todo par de subconjuntos U de V de (Vase el ejercicio 12 de la
seccin 13.23 donde se esboza la demostracin.) De esta forma deduciremos algu-
nas consecuencias importantes.
Sea un suceso (de la prueba compuesta de la forma
donde Cada resultado de A es un par ordenado siendo un resul-
tado de C, (en la primera prueba El) mientras que y puede ser cualquier resultado
de (en la segunda prueba Si aplicamos (13.16) encontramos:
ya que Pi52) 1. De este modo la definicin de P asigna la misma probabilidad
a A que la asignada por P, a CI. Por esta razn, se dice que un tal suceso A est
Funciones de conjunto probabilidad elemental
determinado mediante la primera prueba Anlogamente, si B es un suceso
de de la forma
l 2
,
perteneciendo C
2
tenemos:
y se dice que B est determinado por la segunda prueba E
2
Demostraremos ahora,
utilizando (13.16), que tales sucesos A B son independientes. Esto es, tenemos:
(13.17)
P(A (') B) = P(A)P(B).
Ante todo notemos que
A (') B y) y) (x, y) C
= {(x, y) x y y C
Luego, en virtud de (13.16), tenemos:
(13.18)
Puesto que P(A) Y P2(C
2
) P(B) obtenemos (13.17). Obsrvese que
la igualdad (13.18) tambin demuestra que podemos calcular la probabilidad
P(A (') B) como producto de las probabilidades en cada uno de los espacios mues-
trales SI luego no son precisos clculos con probabilidades en la prueba com-
puesta.
La generalizacin a pruebas o experiencias compuestas de n pruebas El, E
2
,
se deduce en la misma forma. Los puntos en el nuevo espacio muestral
son n-plas n) las probabilidades se definen como producto de las
probabilidades de los resultados particulares
(13.19)
Cuando se adopta esta definicin de P decimos que E est determinado por n prue-
bas independientes E En el caso particular en el que todas las
pruebas estn asociadas al mismo espacio de probabilidad, la prueba compuesta
es un ejemplo de pruebas independientes repetidas bajo idnticas condiciones. En
la seccin siguiente se considera un ejemplo.