Unidad 1

ESPACIOS DE PROBABILIDAD

Objetivo: El estudiante reconocer los principios y fundamentos de la Teora de
las probabilidades a partir de la Axiomtica de Kolmogorov.

Temas:

1.1 Conjuntos, lgebras y s-lgebras.
1.2 Espacio de Probabilidad.
1.3 Independencia de Eventos.
1.4 Conjuntos de Borel.
1.5 Transformaciones Medibles.
Espacios de probabilidad
Definicin Conjunto es una coleccin de objetos con una caracterstica en
comn. Supongamos un conjunto arbitrario O
.
Sean A

y B subconjuntos de O, ( , A B cO cO).
1. A B c ( A est contenido en B ) x A x B e e
2. CConjunto vaco es un conjunto que no tiene elementos
3. Interseccin{ } { : } A B x x Ayx B e e
4. Unin{ } { : } A B x x Aox B e e
5. Dos conjuntos de O son mutuamente excluyentes o disjuntos si
( A B =C)
6. Sean A

y B

dos conjuntos de O , la diferencia \ A B o
( ) { : } A B x x A x B = e e
7. Complemento de , { : ( )}
c
A A x x A = e O
De aqu que ( ) { : } { : }
c c
A B x x A x B x x A x B A B A B = e e = e e =
8. Diferencia simtrica A B
Sean Ay B subconjuntos de O

{ : [( ) ( )]} A B x x A B A B = e



Proposicin 1 Sean , A B y C subconjuntos de O
1.
i) ( ) A A B _
ii) ( ) B A B _

2.
Conmutatividad A B B A =


3. Asociatividad
(( ) ) ( ( )) A B C A B C =



4.
i)
( ) A B A _

ii)
( ) A B B _


5.
A B B A =


6.
( ) ( ) A B C A B C =



7.
Ley de DMorgan ( ) ( ) ( ) A B C A B A C =


8.
Ley de DMorgan ( ) ( ) ( ) A B C A B A C =



9.
( )
c c
A A =


10.
c
A A = O



11.
c
A A = C


12.
( ) ( ) A B A B A B =



13.
( ) A B A A B =


14.
( )
c c c
A B A B =



15.
( )
c c c
A B A B =


16.
( ( )) ( ) ( ) A B C A B A C =



17.
( ( )) ( ) ( ) A B C A B A C =


Definicin C es una clase de O si es un conjunto de subconjuntos de O
.

Ejemplo Sea E cO. Si { , , , }
c
C E E = C O . C es una coleccin de subconjuntos
deO ya que
E cO
c
E cO
CcO
O_O
C Es una clase de O


Definicin Conjunto potencia ( ) A [ . Sea Aun conjunto cualesquiera, el
conjunto potencia de A , ( ) A [

est conformado por todos los subconjuntos de A
.

Ejemplo Sea { , , } A a b c = ( ) { , ,{ },{ },{ },{ , },{ , },{ , }} A A a b c a b a c b c [ = C


Definicin Carnalidad de conjunto es el nmero de elementos de un
conjunto.
#
, # , ( ) A A n A

Donde
#
( ( )) 2
n
A H =

y n es el nmero de elementos de
#
A A =
.

Nota El conjunto potencia ( ) . [ es una clase y es la mayor clase.

Definicin Sucesin conjuntos. Sean
1 2
, ,...,
n
A A A

subconjuntos de O
,
1 2
, ,...,
n
A A A
representa una sucesin de subconjuntos de
O
y se denota
{ }
n n
A
e
donde
1 2 3
{ : .... }
n n
n
A x x Aox A ox A ox A
e
= e e e e
1 2 3
{ : .... }
n n
n
A x x A x A x A x A
e
e e e e


Definicin Sea una sucesin de subconjuntos de O
.

1. Se dice que la sucesin es no decreciente o expansiva
( )
n
A |

Si
1
, , 1
n n
A A n n
+
c e >
.

2. Se dice que la sucesin es no creciente o contrctil
( )
n
A +

Si
1
, , 1
n n
A A n n
+
e >
.

3. Se dice que la sucesin es montona si es no decreciente o no creciente.

Definicin Si el lmite de una sucesin de conjuntos existe, entonces si
i.
n
A |
, sea
1
lim
n k
n
k
A A A

=
= =

ii.
n
A +
, sea
1
lim
n k
n
k
A A A

=
= =

iii.
Ejemplo Sea
1
{ : 0 }
n
A x x
n
= s s

1
{ : 0 1} A x x = s s

2
1
{ : 0 }
2
A x x = s s

3
1
{ : 0 }
3
A x x = s s
n
A +
no decreciente
1
{0}
k
k
A A

=
= =


Definicin Sea
{ }
k k
A
e
una sucesin de subconjuntos de
O

1. Se define el supremo de la sucesin al conjunto
sup
n k k
k n
k n
C A A

=
>
= =

2. Se define al nfimo de la sucesin al conjunto
inf n k k
k n k n
B A A

> =
= =


Definicin Se define el lmite superior de la sucesin al conjunto
*
1
lim ( )
sup
k k
n
n k n
k n
C A A A

= =
>
= = =


Definicin Se define el lmite inferior de la sucesin al conjunto
*
1
lim ( )
inf k k
n
k n n k n
B A A A

> = =
= = =


Definicin Si la sucesin de conjuntos { }
k k
A
e
cumple que
*
*
A A A = = se
dice que { }
k k
A
e
converge al conjunto A.


Corolario Toda sucesin montona de conjuntos es convergente
Demostracin
Sea
n
A | lim
n k
n
k n
A A A

=
= =

1 n n
A A
+
c

*
1 1
( ( ))
k
n k n n
A A A A

= = =
= = =

Por otro lado
Como
n
A |
1 n n
A A
+
c

inf
lim
n k
n
k n
A A A

=
= =

*
1
( )
k
n k n
A A

= =
=

*
1
( )
n
A A A

=
= =

*
*
A A A = =

{ }
k k
A
e

Converge a
A


Definicin Una clase de conjuntos F es una algebra si
1.
F Oe
.
2. Si
c
A F A F e e
.
3. Si
1 2 1 2
A A F A A F e e


Proposicin 2 Sea
{ }
n n
A
e
una sucesin de eventos. Sea
1 1
B A =
y para
2 n >
defina
1
1
n
n n k
k
B A A

=
= { }
n n
B
e

cumple con las siguientes propiedades

i.
n n
B A _

ii.
, si n
n m
B B m = C =

iii.
1 1
n n
n n
B A

= =
=

Demostracin
i. Su demostracin es inmediata de acuerdo a la definicin de
n
B
.

ii.
Por definicin de
n
B sabemos que
:
1 1
1 1
( ) ( )
n m
n m n k m k
k k
B B A A A A

= =
=
1 1
1 1
( ) ( )
n m
c c
n k m k
k k
A A A A

= =
=

Si
n m >

2 1
3 2
3 2
1 1
( ) ( )
c c
n m k k
k k
B B A A A A
= =
=
3 1 2 2 1
( ) ( )
c c c
A A A A A = = C

Si
n m <

1 2
2 3
2 3
1 1
( ) ( )
c c
n m k k
k k
B B A A A A
= =
=
2 1 3 1 2
( ) ( )
c c c
A A A A A = = C

Si
n m =

2 2
3 3
3 3
1 1
( ) ( )
c c
n m k k
k k
B B A A A A
= =
=
3 1 2 3 1 2 3 1 2
( ) ( ) ( )
c c c c c c
A A A A A A A A A = = = C
, ya que se cumple solo si
n m =
.
iii) Por i. tenemos que
n n
B A _
, y la definicin
1
1
n
n n k
k
B A A

=
=

Sea un elemento cualesquiera tal que
1
n n
n
x A x A

=
e - e

Sea el primer ndice
0
, , 1 1
n o
x A x A n n e e s s
0
0 0 0
1
1
n
n n n
n
x A A B

e =

1
n
n
x B

=
e


Conjuntos, lgebras, sigmas-lgebras
Definicin El espacio de probabilidad ( , , ) F P O , se define como una terna
ordenada, en donde O es un conjunto arbitrario, F es una sigma-lgebra de
subconjuntos O, P medida de probabilidad definida sobre F .

Definicin
O
Conjunto de todos los resultados posibles de un experimento o
fenmeno aleatorio.

Definicin Una clase o coleccin no vaca F de subconjuntos de O que es
cerrada bajo las operaciones de complementos y uniones numerables. A los
elementos de F se les llama eventos (resultado del experimento o fenmeno
aleatorio) o conjuntos medibles.

Definicin Medida de probabilidad .Una funcin
P
definida sobre una
sigma- lgebra
F
y con valores en el intervalo
[0,1]
es una medida de
probabilidad si
( ) 1 P O =
y
1 1
( ) ( ) ,
n n i j
n n
P A P A A A i j

= =
= = C =

(disjuntos)
donde
( )
n
P A

es la probabilidad de ocurrencia del evento
n
A
.

Definicin Una coleccin F de subconjuntos de O es una sigma-lgebra si
cumple las siguientes condiciones
i.
F Oe

ii. Si
c
A F A F e e

iii. Si 1 2 3
1
, , ,...
n
n
A A A F A F

=
e e

A la pareja ordenada ( , ) F O se le llama espacio medible y a los elementos de F
se les llama eventos o conjuntos medibles.

Proposicin 3 Sea F una sigma-lgebra de subconjuntos de O. Entonces
iv.
F Ce

v. Si 1 2 3
1
, , ,...
n
n
A A A F A F

=
e e

vi. Si
A B F A B F e e

vii. Si
A B F A B F e e

Demostracin
4.-
Sabemos que
c
O = C

y como F es una
o
- lgebra
c
F O e
F Ce

5
.- Sabemos que si
1 2 3
, , ,... A A A F e
1 2 3
, , ,...
c c c
A A A F e

1
c
n
n
A F

=
e

Por ley DMorgan tenemos que
1 1 1
( ) [( ) ]
c c c
n n n
n n n
A F A F A F

= = =
e e e


6.- Sabemos que si
c c
A B F A B F e e

Recordemos que
c
A B A B =
, por 2. De esta misma preposicin
demostrada anteriormente, tenemos
( ) ( )
c
A B F A B F e e

7.- Sabemos que ( ) ( ) A B A B B A = por 3. De esta misma preposicin
( ) A B F e
y
( ) B A F e
, por ser
F
una
o
- lgebra
( ) ( ) A B B A F e
A B F e
De acuerdo a la proposicin anterior las
o
- lgebras son estructuras tambin
cerradas bajo las operaciones de diferencias e intersecciones numerables.

Proposicin 4 La interseccin de dos
o
- lgebras es una
o
- lgebra.
Demostracin Sean
1
F
y
2
F
dos
o
- lgebras
de conjuntos de
O
1 2
F F es una coleccin de subconjuntos de Oque pertenecen tanto a
1
F
como a
2
F .
P.D
1 2
F F
es una
o
- lgebra
Sabemos que como
1
F
y
2
F
son
o
- lgebras
i.
1
F Oe
y
2
F Oe
1 2
( ) F F Oe

ii. Si
A
un elemento de
1 2
F F
1
A F e
y
2
A F e
, como
1
F
y
2
F
son
o
-
lgebras
1
c
A F e
y
2
c
A F e
,
1 2
( )
c
A F F e

iii.
1 2 3 1 2
, , ,... ( ) A A A F F e

1 2 3 1
, , ,... A A A F e
y
1 2 3 2
, , ,... A A A F e

Por ser algebras
1
F
y
2
F
dos
o
- lgebras
1
1
n
n
A F

=
e
y
2
1
n
n
A F

=
e
1 2
1
( )
n
n
A F F

=
e

1 2
F F

es una coleccin de subconjuntos de que cumple con las
condiciones de una
o
- lgebra y es ms pequea que
1
F
y
2
F
es decir
1 2 1
( ) F F F c
y
1 2 2
( ) F F F c

Proposicin 5 La unin de dos
o
- lgebras no necesariamente es una
o

- lgebra.

Proposicin 6 La interseccin finita, infinita numerable o bien arbitraria de
o
- lgebras es nuevamente una
o
- lgebra.
Demostracin
Sea T

un conjunto arbitrario
,
supongamos que para cada
t T e se tiene una o - lgebra de subconjuntos de
t
F .

Sea
t
t T
F F
e
=

P.D F es una o - lgebra
1. Como es una
o
- lgebra
,
t
F t T Oe e
t
t T
F
e
Oe

2.
Sea A un elemento
t
t T
F
e

,
t
A F t T e e


,
c
t
A F t T e e

c
t
t T
A F
e
e

3. Sean
1 2 3
, , ,... A A A
una sucesin de elementos tal que
1 2 3
, , ,...
t
t T
A A A F
e
e

1 2 3
, , ,...
t
A A A F e

,
t
F t T e

Como cada
t
F
es una
o
- lgebra
1
,
n t
n
A F t T

=
e e
1
n t
n t T
A F

= e
e


Definicin Sea
C
una coleccin no vaca de subconjuntos de
O
. La
o
-
lgebra generada por
C
, denotada por
( ) C o
es la coleccin
( ) { : lgebra de , } C F F es C F o o = O _

A la
( ) C o

se le llama mnima
o
- lgebra generada por
C
.

Proposicin 7 Sean
1
C
y
2
C
dos colecciones de subconjuntos de
O
tales
que
1 2
C C _
1 2
( ) ( ) C C o o _

Demostracin
1 2 2 2
( ) ( ) C C C C o o _ _

Contiene a
1
C
1 2
( ) ( ) C C o o _


Proposicin 8 Si
F
es una
o
-lgebra
( ) F F o =

Demostracin
Sabemos que
( ) F F o _

Por otro lado como
F
es una
o
-lgebra
( ) F F o : _

( ) F F o =



1.2 Conjuntos de Borel
Considere la coleccin de todos los intervalos abiertos
( , ) a b e

en dnde
a b s
. A
la mnima
o
-lgebra generada por esta coleccin se le llama
o
-lgebra de Borel
de y se le denota por
( ) B
.


Definicin A los elementos de
( ) {( , ) : } a b a b o B = _ s
se le conoce como
conjuntos de Borel Borelianos conjuntos de Borel medibles.
As, es posible asociar la
o
-lgebra
( ) B
al conjunto de nmeros reales y obtener
el espacio medible
( , ( )) B
.

Proposicin 9 Para cualquiera dos nmeros reales
a b s
, los subconjuntos,
[ , ] a b
,
( , ) a
,
( , ) b
,
[ , ) a b
,
( , ] a b
,
{ } a
son todos elementos de
( ) B
.
Demostracin
[ , ] a b

Sabemos
1
1 1
( , ) [ , ]
n
a b a b
n n

=
+ =

Cada uno de los elementos
1 1
( , ) ( ) a b
n n
+ eB
,
[ , ] ( ) a b eB

Esto significa que los intervalos cerrados
[ , ] a b
son conjuntos Borelianos ya que
son iguales a la interseccin numerable de intervalos abiertos.
Cada elemento de la interseccin anterior es un conjunto Boreliano, lo que implica
que por ser
( ) B
una
o
-lgebra la interseccin infinita es tambin un conjunto
Boreliano.
Por lo tanto cada intervalo cerrado
[ , ] a b e

( , ) a
Sabemos que
1
( , ) ( , )
n
a a a n

=
= +
y por ser
( ) B
una
o
-lgebra la unin
numerable de elementos est contenida en ella.
( , ) b
Sabemos que
1
( , ) ( , ) ( )
n
b b n b

=
= eB

[ , ) a b
Sabemos que
1
1
[ , ) ( , ) ( )
n
a b a b
n

=
= eB

( , ] a b
Sabemos que
1
1
( , ] ( , ) ( )
n
a b a b
n

=
= + eB

{ } a
Sabemos que
1
1 1
{ } ( , ) ( )
n
a a a
n n

=
= + eB

Los conjuntos que constan de un slo nmero tambin son conjuntos

Borelianos.

Proposicin 10
Las siguientes o -lgebras son todas idnticas a ( ) B

a)
{[ , ]: } a b a b o s

b)
{( , ]: } a b a b o s

c)
{[ , ) : } a b a b o s

d)
{( , ) : } a a o e

e)
{( , ) : } b b o e

Demostracin
a) P.D que
{[ , ]: } ( ) a b a b o s = B

Sabemos que por preposicin anterior que

[ , ] ( ) a b eB [ , ] ( ) a b cB {[ , ]: } ( ) a b a b o s cB

Por otro lado sabemos que

1
1 1
( , ) [ , ]
n
a b a b
n n

=
= + ( , ) {[ , ]: } a b a b a b o e s

{( , ) : } {[ , ]: } a b a b a b a b o s c s

( ) {[ , ]: } a b a b o B c s

Anlogamente se demuestra b), c), d) y e)
Asimismo es posible definir a
( ) B
como la mnima
o
-lgebra generada por la
coleccin de todos los subconjuntos abiertos de , llegando a la conclusin de
que sea
o
-lgebra generada por
( ) B
.

Definicin
Sea ( ) AeB lao -lgebra de Borel de A, denotada por ( ) A B o
( ) AB , se define como ( )] { : ( )} A A B B B = eB ( ) A B es una o -lgebra de
subconjuntos de A.


Definicin
Sea C la coleccin de todos los rectngulos abiertos de
2
, es
decir, {( , ) ( , ) : , , , , , } C a b c d a b c d a b c d = s s e

Se definen los conjuntos de Borel de
2
como los elementos de la mnima o -
lgebra generada por C , es decir
2
( ) ( ) ( ) ( ) C o = B = B B
Generalizando ( ) ( ) ( ) .... ( )
n
B = B B B

Definicin Sea
( , ) F O

un espacio medible. Una medida de probabilidad es
una funcin
: [0,1] P F
que satisface los 3 Axiomas de Kolmogorov
i.
( ) 1 P O =

ii.
( ) 0, P A A F > e

iii. Si
1 2
, ,... A A F e
tal que
,
i j
A A i j = C =
,
, 1 i j >

1 1
( ) ( )
i i
i i
P A P A

= =
=

Demostracin
i. P.D
( ) 1 P O =

#
#
( ) 1 P
O
O = =
O

ii. P.D
( ) 0 P A > , A F A e _O _O

Sea
A F e
#
#
( ) 0
A
P A = >
O
, ya que la carnalidad es positiva.

iii. Sea
1 2
, ,...,
n
A A A F e _O

Si
i j
A A = C
#
#
( )
( )
i j
i j
A A
P A A

=
O
, como
i j
A A = C
# # #
( )
i j i j
A A A A = +

# # # #
#
# # # #
( )
( ) ( ) ( ), , 1,...,
i j i j j
i
i j i j
A A A A A
A
P A A P A P A i j n
+
= = = + = + =
O O O O


As, P es una medida de probabilidad definida sobre F .

Definicin
Espacio de probabilidad .Es una terna formada por ( , , ) F P O , en
donde O es un conjunto arbitrario, F es una o -lgebra de subconjuntos de O y
P es una medida de probabilidad definida sobre F .


Ejemplo
Considere un experimento aleatorio cuyo espacio muestral es un
conjunto finito O, con cardinalidad
#
O , asociado a lao -lgebra
#
2
O
(conjunto
potencia)
entonces para
A _O
se define
#
#
( )
A
P A =
O
definicin clsica de
probabilidad.


Proposicin 11
Sea P una medida de probabilidad, entonces

1.
( ) 1 ( )
c
P A P A =

2.
( ) 0 P C =

3. Si
A B _ ( ) ( ) ( ) P B A P B P A =

4. Si
A B _ ( ) ( ) P A P B s

5.
0 ( ) 1 P A s s

6.
( ) ( ) ( ) ( ) P A B P A P B P A B = +

Demostracin
1. Sabemos que
,
c c
A A A A = O = C

Recordamos que satisface los Axiomas de Kolmogorov
i.
( ) 1 P O =

ii.
( ) 0, P A A F > e

iii. Si
1 2
, ,... A A F e
tal que
0,
i j
A A i j = =
,
, 1 i j >

1 1
( ) ( )
i i
i i
P A P A

= =
=

Por iii.
( ) ( ) ( )
c c
P A A P A P A = +

Y por i.
( ) 1 P O =
,
( ) ( ) 1
c
P A P A + = ( ) 1 ( )
c
P A P A =

2. Sabemos que
c
C= O
y por 1.
( ) 1 ( ) ( ) ( ) 1 1 0
c
c
P P P P O = O C = O = =

por i.
( ) 1 P O =

3. Sabemos que
( )
c
B A B A =

Por Ley DMorgan
( )
c c
A B =
, sabemos que si
A B _

( )
c c
B A A B =

Aplicando
P
en ambos lados de la igualdad
( ) ( ) 1 ( )
c c c
P B A P A B P A B = =
y sabemos que
c
A B = C
, disjunto por
iii.
( ) 1 ( ( ) ( ))
c
P B A P A P B = +

por 1.
( ) 1 ( ) (1 ( )) P B A P A P B =

( ) ( ) ( ) P B A P B P A =


4. Si
( ) ( ) A B P A P B _ s

de 3. Sabemos que
( ) ( ) ( ) P B A P B P A =

recordando
( ) ( ) ( ) 0 ( ) ( ) P A P B P B A P A P B = > s


5.
0 ( ) 1 P A s s
Por ii. Sabemos que
( ) 0 P A >
y
A_O
por 4.
( ) ( ) P A P s O
como
( ) 1 P O =
por i.
( ) 1 P A s 0 ( ) 1 P A s s


6.
Sean A y B dos subconjuntos cualquiera de O P.d. que
( ) ( ) ( ) ( ) P A B P A P B P A B = +


se tiene que
( ) ( ) ( ( ))
c
P B P B P B A A = O =

Como A B y
c
A B son disjuntos

(( ) ( ))
c
P A B A B = por iii.
Luego teniendo en cuenta
*
y sustituyendo en la derecha de la igualdad

( ) ( ) ( ) ( )...*
( ) ( ) ( ) ( )
c
P A B P A P B P A B
P A P A B P A B P A B
= +
= + +


Adems como A y
c
A B son disjuntos

( ( ) (( ) ( ))
c c
P A A B P A A A B = =

( ( )) ( ) P A B P A B = O =

( ) ( ) ( ) ( ) P A B P A P B P A B = +



Proposicin (Desigualdades de Boole)
Sea
{ : }
n
A ne
una
sucesin de eventos en
( , , ) F P O
. Entonces:
1.
1 1
( ) ( )
n n
n n
P A P A

= =
s

2.
1 1
( ) 1 ( )
c
n n
n n
P A P A

= =
>

Demostracin
1. Recordemos que se puede definir la sucesin { : }
n
B ne de la siguiente
forma:
1
1
n
n n k
k
B A A

=
=

con
1 1
A B =
Hemos visto antes que { : }
n
B ne es una sucesin de eventos disjuntos dos a
dos tales que
a)
n n
B A _
b) , ; ,
n m
B B n m n m = C = e
c)
1 1
n n
n n
B A

= =
=
En c) aplicando P a ambos lados de la igualdad
1 1
( ) ( )
n n
n n
P A P B

= =
=

Adems de los Axiomas de Kolmogorov tenemos que si
1 2
, ,... A A F e tal que
0,
i j
A A i j = = , , 1 i j >
1 1
( ) ( )
i i
i i
P A P A

= =
=

.
1 1 1
( ) ( ) ( )
n n n
n n n
P A P B P B

= = =
= =

Por definicin esto es
1 1
1 1 1 1 1
( ) ( ) ( ) 0
n n
n k n k
n n n k k
P A A P A A

= = = = =
= = >


Por Axiomas de Kolmogorov ( ) 0, P A A F > e
1 1
( ) ( )
n n
n n
P A P A

= =
s

2. P.d. que
1 1
( ) 1 ( )
c
n n
n n
P A P A

= =
>

Sabemos por 1. Que
1 1
( ) ( )
n n
n n
P A P A

= =
s

1 1
( ) ( )
c
c
n n
n n
P A P A

= =
s

Por ley DMorgan
1 1
1 ( ) ( )
c
n n
n n
P A P A

= =
s

1 1
1 ( ) ( )
c
n n
n n
P A P A

= =
s

1 1
( ) 1 ( )
c
n n
n n
P A P A

= =
>

Proposicin 13 Sea{ : }
n
A ne una sucesin de eventos en ( , , ) F P O .
Entonces:
1. Si
1
( ) 1, ( ) 1
n n
n
P A n P A

=
= e =
2. Si ( ) 1
n
P A = para alguna n
1
( ) 1
n
n
P A

=
=
3. Si ( ) 0
n
P A = para alguna n
1
( ) 0
n
n
P A

=
=
4. Si
1
( ) 0, ( ) 0
n n
n
P A n P A

=
= e =
Demostracin
1.-Recordemos que de la preposicin anterior
1 1
( ) 1 ( )
c
n n
n n
P A P A

= =
= y
1 1
( ) 1 ( )
c
n n
n n
P A P A

= =
>

Como ( ) 1 ( ) 0
c
n n
P A P A = =
1
( ) 1 0 1
n
n
P A

=
> >

Pero por la preposicin 11 parte V, tenemos
1
( ) 1
n
n
P A

=
=
1. Hiptesis ( ) 1
n
P A = para alguna n P.d. que
1
( ) 1
n
n
P A

=
=

Sabemos que
1
n n
n
A A

=
_

1
( ) ( )
n n
n
P A P A

=
s

por Proposicin 11, parte IV y ( ) 1
n
P A = de hiptesis
1
1 ( )
n
n
P A

=
s

Por proposicin 11, parte V
1
( ) 1
n
n
P A

=
=

2.-Sabemos que
1
n n
n
A A

=
_
por proposicin 11, parte IV

1
( ) ( ) 0
n n
n
P A P A

=
s =

por proposicin 11 parte V
1
( ) 0
n
n
P A

=
=



Por desigualdad de Boole
1 1
( ) ( )
n n
n n
P A P A

= =
s
y como
( ) 0,
n
P A n = e

1
( ) 0
n
n
P A

=
=


Observaciones
- Intersectar dos o ms eventos produce en general un evento ms pequeo
(menos elementos de
O
) o por lo menos no mayor a ninguno de los
intersectados.
- La interseccin aun infinita, de eventos con probabilidad uno produce un
evento con probabilidad uno.
- La unin de dos o ms eventos da como consecuencia un evento mayor.
- La interseccin aun infinita de eventos en donde al menos uno de ellos
tenga probabilidad cero es igual a cero.
- La unin (aun infinita) de eventos en donde al menos uno de ellos tenga
probabilidad cero implica la probabilidad de la unin es mayor o igual que
cero y menor o igual a uno, y si n e , ( ) 0
n
P A =
1
( ) 0
n
n
P A

=
= .

Continuidad de eventos
Nota Las medidas de probabilidad son funciones continuas

Proposicin 14 Sea { : }
n
A ne una sucesin no decreciente de eventos, tal
que
1 2 3
... A A A _ _

1
( ) lim ( )
n n
n
n
P A P A

=
=

Demostracin
1 n n
A A A
+
| _
1
( ) ( )
n n
P A P A
+
s

Sea
1 1
A B =
,
1 n n n
B A A

=
,
2 n >
,
ne
como
1 n n
A A

_

{ | }
n
B n e

es una sucesin de eventos disjuntos 2 a 2
1 1
n n
n n
A B

= =
=

1 1 1
( ) ( ) ( )
n n n
n n n
P A P B P B

= = =
= =

1
2
( ) ( )
n
n
P B P B

=
= +

1 1
2
( ) ( )
n n
n
P A P A A

=
= +

1 1 1
2 1
( ) ( ) ( )
n n
n n
P A P A P A A

= =
= +

1 1
2
( ) ( ( ) ( ))
n n
n
P A P A P A

=
= +

Se aplica la definicin de serie telescpica
1 1
2
( ) lim ( ( ) ( ))
m
n n
m
n
P A P A P A

=
= +

1 1
( ) lim( ) ( )
m
m
P A A P A

= +

1
( ) lim ( )
n m
m
n
P A P A

=
=


Proposicin 15 Sea { : }
n
A ne una sucesin no creciente de eventos es
decir,
1 2 3
... A A A _ _ _
1
( ) lim ( )
n n
n
n
P A P A

=
=


Demostracin
Sabemos que
Si
1 1
c c
n n n n
A A A A
+ +
_ _ la sucesin es una sucesin
1 2 3
, , ,...
c c c
A A A no decreciente

Por proposicin 11, parte IV
1
( ) lim ( )
c c
n n
n
n
P A P A

=
=

Proposicin11, parte I
1
1 ( ) lim(1 ( ))
c
c
n n
n
n
P A P A

=
=

1
1 ( ) 1 lim ( )
n n
n
n
P A P A

=
=

por ley DMorgan
1
( ) lim ( )
n n
n
n
P A P A

=
=



Convergencia de eventos

Definicin Sea { : }
n
A ne una sucesin de eventos. Si existe un evento A
talque
liminf limsup
n n
n n
A A A

= =

Se dice que la sucesin converge al evento A y se escribe como lim
n
n
A A

=

Proposicin 16 Continuidad de la probabilidad: Sea { | }
n
A ne una
sucesin de eventos convergentes al evento A
lim ( ) ( )
n
n
P A P A

=

Demostracin
Sea
{ | }
n
A ne
una sucesin de eventos, sabemos

n k
k n
A A

=
_

( ) ( )
n k
k n
P A P A

=
s

En donde
|
k
k n
A n A

=

e
`
)
es una sucesin no decreciente, considerando el lmite
superior se obtiene:
limsup ( ) limsup lim
n k k
n n n
k n k n
P A P A P A


= =
| | | |
s =
| |
\ . \ .

1
lim lim
k n k
n n
k n k n n k n
P A P A P A


= = = =
| | | | | |
= = =
| | |
\ . \ . \ .

limsup ( ) ( )
n
n
P A P A

= =
1
limsup ( )
n k
n
n k n
P A P A

= =
| |
s
|
\ .

Por otro lado, sabemos que
n k
k n
A A

=
_

1
( )
n k
n
P A P A

=
| |
>
|
\ .

En donde
|
k
k n
A n

=

e
`
)
es una sucesin no creciente, considerando el lmite
inferior de la ecuacin tenemos
liminf ( ) liminf | lim |
n k k
n n n
k n k n
P A P A P A


= =

> =
` `
) )

1
lim | | liminf
k k n
n n
k n n k n
P A P A P A


= = =

= = =
` ` `
) ) )

lim ( ) liminf
n n
n n
P A A


>
`
)

De lo anterior y considerando que la sucesin es convergente a
A
, tenemos
limsup liminf
n n
n n
A A A

= =

limsup ( ) ( ) liminf ( )
n n
n n
P A P A P A

s s

limsup ( ) liminf ( )
n n
n n
P A P A

>

liminf ( ) liminf limsup
n n n
n n n
P A P A P A

| | | |
= =
| |
\ . \ .

limsup ( ) ( )
n
n
P A P A

= =


Independencia de eventos
Definicin Sea ( , , ) F P O un espacio de probabilidad en dos eventos que
pertenecen a F , A y B , entonces se dice que son independientes( ) A B si
( / ) ( ) P A B P A =

y
( / ) ( ) P B A P B =
.

Definicin Sea
( , , ) F P O
un espacio de probabilidad, y sea
B
evento en
F
,
con probabilidad positiva, i.e.
( ) 0 P B >

( )
( / ) ,
( )
P A B
P A B A F
P B

= e
.

Proposicin 17 Sea
( , , ) F P O
un espacio de probabilidad, y sea
A
y
B
en
F
, si
A
y
B
son independientes

( ) ( ) ( ) P A B P A P B =

:
( ) ( ) ( ) P A P B P A B =
no implica que
A
y
B
sean independientes
(contraejemplo).
Definicin Dos
o
-lgebras
1
F
y
2
F
son independientes si para cada
A
en
1
F

y para cada
B
en
2
F
se cumple que


( / ) ( ) P A B P A =
y
( / ) ( ) P B A P B =

( ) ( ) ( ) P A B P A P B =


Teorema de la probabilidad total
Sea ( , , ) F P O

un espacio de probabilidad y sea
1 2 3
{ , , ,...} A A A una particin de
O
,
1 n - > el subconjunto
n
A es un elemento de
F
con ( ) 0
n
P A > . Sea B F e
1
( ) ( / ) ( )
n n
n
P B P B A P A

=
=

Demostracin
Como
1 2 3
{ , , ,...} A A A es una particin de O.

,
i j
A A i j = C = , 1, 2,... i j = y
1
i
i
A

=
= O
Adicionalmente , 1, 2,...
i
A F i e =
Por otro lado
B B O=

1 1
( )
n n
i i
i i
B A B A
= =
=

Aplicando la medida de probabilidad
P
en ambos lados de la igualdad
1 1
( ) ( ) ( )
n n
i i
i i
P B P B A P B A
= =
= =

1 1
( ) ( / ) ( )
i i i
i i
P B A P B A P A

= =
= =

ya que
( )
( / )
( )
n
n
n
P B A
P B A
P A

=
y
( / ) ( ) ( )
n n n
P B A P A P B A =

1
( ) ( / ) ( )
n n
n
P B P B A P A

=
=

Teorema de Bayes

Sea ( , , ) F P O

un espacio de probabilstico y sea
1 2 3
{ , , ,...} A A A una particin de
O
,
1 n - >
el subconjunto
n
A es un elemento de
F
con ( ) 0
n
P A > , 1 n >
.
Sea
B F e , ( ) 0 P B - > entonces para cualquier 1 m> fijo
1
( / ) ( )
( / )
( / ) ( )
m m
m
n n
n
P B A P A
P A B
P B A P A

=
=

Demostracin
Sabemos que por definicin
( )
( / )
( )
m
m
P A B
P A B
P B

= y por teorema de probabilidad

total
1
( ) ( / ) ( )
n n
n
P B P B A P A

=
=

entonces tenemos que:

1
( ) ( / ) ( )
( / )
( )
( / ) ( )
m m m
m
n n
n
P A B P B A P A
P A B
P B
P B A P A

= =

1
( / ) ( )
( / )
( / ) ( )
m m
m
n n
n
P B A P A
P A B
P B A P A

=
=

Lema de Borel-Cantelli
Su resultado es sumamente importante para la demostracin de la Ley Fuerte de
los Grandes Nmeros.

Proposicin 18 Lema de Borel-Cantelli. Sea { : }
n
A ne una sucesin de
eventos en ( , , ) F P O y defina limsup
n
n
A A

=
1. Si
1
( ) ( ) 0
n
n
P A P A

=
< =

2. Si
1 2 3
{ , , ,...} A A A son independientes y
1
( ) ( ) 1
n
n
P A P A

=
= =

Demostracin
1. Para ne , sabemos que si
1
( ) lim ( ) 0
n k
n
n k n
P A P A

= =
< =


Pero ,
k
k n
A A n

=
c
,
k
k n
A A n

=
c
( ) ( ) ( ),
k k
k n k n
P A P A P A n

= =
s s e

( ) ( )
k
k n
P A P A

=
s

( ) lim ( ) 0
k
n
k n
P A P A

=
s =

( ) 0 P A =
2.-Recordando si
1 2
.... E E
1
( ) lim ( )
i n
n
i
P E P E

=
=
Por otro lado sabemos que ( ) lim ( ) 1 lim ( )
c
k k
n n
k n k n
P A P A P A


= =
= =
Por demostrar que lim ( ) 0
c
k
n
k n
P A

=
=
( ) lim ( ) lim ( )
m m
c c c
k k k
m m
k n k n k n
P A P A P A

= = =
= =
[

Adems
lim ( ) lim {1 ( )}
m m
c
k k
m m
k n k n
P A P A

= =
=
[ [

( )
( )
lim lim 0
m
k
k k n
m P A
P A
m m
k n
e e
=

s = =
[

( ) 1 lim ( ) 1 0 1
c
k
n
k n
P A P A

=
= = =
( ) 1 P A =