Vous êtes sur la page 1sur 22

Convergencia con variables aleatorias

Virgilio L. Foglia
November 25, 2007
Octubre 2006
Contents
1 Lema de Borel-Cantelli 2
1.1 Deniciones previas . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Lema de Borel-Cantelli . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Desigualdades con variables aleatorias 4
2.1 Desigualdad de Markov . . . . . . . . . . . . . . . . . . . . . . . 4
2.2 Teorema de Tchebichev . . . . . . . . . . . . . . . . . . . . . . . 4
2.3 Desigualdad de Kolmogorov . . . . . . . . . . . . . . . . . . . . . 5
2.3.1 Observacin . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3 Convergencia con variables aleatorias 5
3.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3.2 Conjunto de convergencia . . . . . . . . . . . . . . . . . . . . . . 6
3.3 Convergencia punto a punto . . . . . . . . . . . . . . . . . . . . . 7
3.3.1 Observacin . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.4 Convergencia en casi todo punto . . . . . . . . . . . . . . . . . . 7
3.4.1 Dos denicines equivalentes . . . . . . . . . . . . . . . . 8
3.5 Convergencia en Probabilidad . . . . . . . . . . . . . . . . . . . . 8
3.6 Convergencia en media Cuadrtica . . . . . . . . . . . . . . . . . 9
3.6.1 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.7 Convergencia en Distribucin . . . . . . . . . . . . . . . . . . . . 9
4 Relacin entre los tipos de Convergencia 10
4.0.1 Observacin . . . . . . . . . . . . . . . . . . . . . . . . . . 12
4.1 Ejemplos de implicaciones que no son vlidas . . . . . . . . . . . 12
4.1.1 Ejemplo 1 (A
n
c.|.
A : A
n
1
A) . . . . . . . . . 12
4.1.2 Ejemplo 2 (A
n
nc
A : A
n
1
A) . . . . . . . . . 13
4.1.3 Ejemplo 3 (A
n
nc
A : A
n
c.|..
A) . . . . . . . . . 13
1
5 Conservacin por Funciones continuas 14
6 Leyes de los grandes nmeros 15
6.1 Ley dbil de los grandes nmeros . . . . . . . . . . . . . . . . . . 15
6.1.1 Comentarios . . . . . . . . . . . . . . . . . . . . . . . . . 15
6.2 Ley fuerte de los grandes nmeros . . . . . . . . . . . . . . . . . 16
6.2.1 Comentarios . . . . . . . . . . . . . . . . . . . . . . . . . 16
7 Teorema de la Convergencia Dominada 17
7.0.2 Ejemplo A
n

A ;1(A
n
) 1(A) . . . . . . . . . . 17
8 Alcances de los tipos de convergencia 17
9 Problemas 18
9.0.3 Problema 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 18
9.0.4 Problema 2 . . . . . . . . . . . . . . . . . . . . . . . . . . 21
9.0.5 Problema 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1 Lema de Borel-Cantelli
1.1 Deniciones previas
Sea (, , 1), un espacio de probabilidad, y
1
,
2
, ...,
n
, .. una sucesin de
sucesos. Notar que cuando se efecta el experimento aleatorio -, y surge como
resultado un . , habrn algunos
n
, de la sucesin de sucesos, que se
realizarn, y otros que no. Si estamos interesados en los . , que hacen que
se realicen por lo menos uno de los
n
de la sucesin, estaremos interesados
en el suceso =
1

I =1

I
. Por otro lado si nos interesan los . , que hacen
que se realicen todos los
n
de la sucesin, estaremos interesados en el suceso
=
1

I =1

I
. En relacin a estos sucesos valen las siguientes proposiciones:
Si
n

n+1
y =
1
_
I =1

I
== 1() = |i:
n!1
1(
n
) (1)
Si
n

n+1
y =
1

I =1

I
== 1() = |i:
n!1
1(
n
) (2)
Aunque no se demuestran, son bastante naturales. Pero en temas de convergen-
cia con variables aleatorias suelen interesar otros sucesos, tambin construidos
con los
n
. Por ejemplo pueden intereasar los . , que hacen que se realicen
innitos
n
. De otra manera, no importa cuanto avancemos el indice /, siem-
pre encontraremos ms adelante, sucesos que se realizarn. Se dene entonces
el lmite superior (
1
)de una sucesin de sucesos as:
2
Lmite superior

1
=
1

| =1
1
_
n=|

n
= . : . est en innitos
n
(3)
Por ltimo, pueden interesar los . ,que hacen que se realicen todos los
n
a
partir de cierto indice.Se dene entonces el lmite inferior (
1
)de una sucesin
de sucesos as:
Lmite inferior

1
=
1
_
| =1
1

n=|

n
= . : . est todos los
n
a partir de cierto :
0
(4)
1.2 Lema de Borel-Cantelli
Sea (, , 1), un espacio de probabilidad, y
1
,
2
, ...,
n
, .. una sucesin de
sucesos.
(a) Si
1

n=1
1(
n
) < == 1(
1
) = 0
(b) Si
1

n=1
1(
n
) = y
n
son independientes == 1(
1
) = 1
Para ambas demostraciones usamos que:
1(
1
) = 1(
1

| =1
1
_
n=|

n
) pero
1
_
n=|

n
es una sucesin decreciente
en / ya que
1
_
n=1

n

1
_
n=2

n

1
_
n=3

n
.... y usando (2) 1(
1
) = |i:
| !1
1(
1
_
n=|

n
)
Dem(a):
1(
1
) = |i:
| !1
1(
1
_
n=|

n
) _ |i:
| !1
1

n=|
1(
n
) = 0 (usando la hiptesis)
Dem(b):
1(
1
) = |i:
| !1
1(
1
_
n=|

n
) = 1 |i:
| !1
1(
1

n=|

c
n
)
Pero 1(
1

n=|

c
n
) = |i:
n!1
1(
n

n=|

c
n
) = |i:
n!1
n

n=|
(1 1(
n
))
pero \j, 0 _ j _ 1 vale 1 j _ c

luego
1(
1

n=|

c
n
) _ |i:
n!1
n

n=|
c
1(.n)
= |i:
n!1
c

n=k
1(.n)
= 0 (por hiptesis)
Luego resulta que 1(
1
) = 1.
3
1.2.1 Corolario
Si aplicamos leyes de Morgan a
1
=
1
_
| =1
1

n=|

n
resulta
(
1
)
c
=
1

| =1
1
_
n=|

c
n
= (
c
)
1
Luego si en lugar de la sucesin
1
,
2
, ...,
n
, ..consideramos la sucesin de
complementos, o sea
c
1
,
c
2
, ...,
c
n
, .el Lema de Borel-Cantelli queda
expresado:
(a) Si
1

n=1
1(
c
n
) < == 1(
1
) = 1
(b) Si
1

n=1
1(
c
n
) = y
n
son independientes == 1(
1
) = 0
2 Desigualdades con variables aleatorias
Ahora se presentan algunos teoremas que permiten en condiciones muy gen-
erales, acotar el calculo de ciertas probabilidades.Como no se asume el conocimiento
de las distribuciones de las v.a. involucradas, solo algunas medias y desvos, las
cotas proporcionadas son en general muy malas desde un punto de vista prctico.
Sin embargo, son muy tiles para estudiar convergencia con variables aleatorias.
2.1 Desigualdad de Markov
Sea A una v.a.
q : R R
0
, y par
q no decreciente en mdulo
1(q(r)) <
_

_
== 1([A[ _ -) _ 1(q(r)),q(-)
Dem:
Como q(r) _ q(-) para [A[ _ -
y q(r) _ 0 para [A[ < -
Resultar q(r) _ q(-) 1
jj:
(A)
luego 1(q(r)) _ q(-) 1(1
jj:
(A)) = q(-)1([A[ _ -)
2.2 Teorema de Tchebichev
Si A es una v.a. con o
2
< == 1([A j[ _ -) _ o
2
,-
2
Dem:
Resulta de tomar en la desigualdad de Markov la v.a, A j y q(r) = r
2
.
4
2.3 Desigualdad de Kolmogorov
A
1
, A
2
, .., A
n
v.a. indep.
1(A
I
) = 0 \ ar(A
I
) <
o
I
=
I

|=1
A
|
_

_
==
1(: ar[o
I
[
1 I n
_ -) _ \ ar(o
n
),-
2
2.3.1 Observacin
Si aplicamos la desigualdad de Tchebichev a la v.a. o
n
resulta
1([o
n
[ _ -) _ \ ar(o
n
),-
2
Pero en la desigualdad de Kolmogorov aparece 1(: ar[o
I
[
1 I n
_ -). Sin embargo
como
[o
n
[ _ -
_
: ar[o
I
[
1 I n
_ -
_
resulta 1([o
n
[ _ -) _ 1(: ar[o
I
[
1 I n
_ -)
Luego la armacin de Kolmogorov es ms fuerte, ya que
1([o
n
[ _ -) _ 1(: ar[o
I
[
1 I n
_ -) _ \ ar(o
n
),-
2
3 Convergencia con variables aleatorias
3.1 Introduccin
Sea un experiento aleatorio -, y un espacio de probabilidad (, , 1). Se dene
la sucesin de variables aleatorias
A
1
: R
A
2
: R
. . . . . . . . . . . .
A
n
: R
. . . . . . . . . . . .
y A : R
Queremos analizar en que sentido podemos hablar de convergencia de la se-
cuencia A
1
, A
2
, ...A
n
.... a A. Obviamente la intencin es ver si para n grande,
podemos reemplazar A
n
por A en algn sentido y, en caso armativo, precisar
el alcance de este reemplazo. O sea podremos para : grande:
aproximar 1(A
n
5 a) por 1(A 5 a) ?
aproximar 1(A
n
) por 1(A) ?
si 7 es otra v.a. denida en el mismo espacio, aproximar j
n,2
por j
,2
?
5
Ejemplo Sea el experimento -:"tirar innitas veces una moneda", y supngase
denido un espacio de probabilidad (, , 1).
Luego, un resultado del experimento -, tiene el aspecto:
. = (c, :, :, c, :, c, c, c.:, :, c, :, ......)
Sea la variable aleatoria A: "probabilidad de cara en el primer tiro", que en
realidad
es la constante 1/2.
Se denen para cada . :
A
1
(.): "(nmero de caras en la primera tirada de . )/ 1"
A
2
(.): "(nmero de caras en las dos primeras tiradas de . )/ 2"
A
3
(.): "(nmero de caras en las tres primeras tiradas de . )/ 3"
.......................................................................................
A
n
(.): "(nmero de caras en las : primeras tiradas de . )/ n"
....................................................................................
En este ejemplo queremos investigar, la posible convergencia
de la secuencia de variables aleatorias a la constante 1/2.
3.2 Conjunto de convergencia
Como las variables aleatorias A
1
, A
2
, ...A
n
, ..y A, son en realidad todas fun-
ciones de R, notar que para cada . , A
1
(.), A
2
(.), ...A
n
(.), ..es una
sucesin de nmeros reales, y A(.) es tambin un nmero real. Entonces .
ser un punto de convergencia de la sucesin A
n
(.) a A(.) sii
\- 0, :
o
N, tq. si : _ :
o
== [A
n
(.) A(.)[ < -
Si designamos , el conjunto de puntos . , en que se da la convergencia
puntual
= . : \- 0, :
o
N, tal que si : _ :
o
== [A
n
(.) A(.)[ < -
en palabras: . ser un punto de convergencia, si \- 0, a partir de cierto :
o
se cumple siempre
[A
n
(.) A(.)[ < -
Pero se expresar este conjunto de otra forma.
=
_
_
_
. : \- 0, :
o
N, con

n=n0
([A
n
(.) A(.)[ < -)
_
_
_
=
_
_
_
. : \- 0,
1
_
n0=1

n=n0
([A
n
(.) A(.)[ < -)
_
_
_
(5)
6
Como nos vemos en la necesidad de vericar el cumplimiento de una innidad
de condicines, denimos para cada - 0, la sucesin de sucesos

:
n
= . : [A
n
(.) A(.)[ < -
y entonces como
_
n0=1

n=n0
([A
n
(.) A(.)[ < -) =
_
n0=1

n=n0

:
n
=
:
1
= . : \- 0, .
:
1
(6)
3.3 Convergencia punto a punto
Esta denicin de convergencia es la clsica del anlisis, para la convergencia
de sucesiones de funciones
A
n
A sii = (7)
O sea, la sucesin de variables aleatorias A
1
, A
2
, ...A
n
, ..converge a la variable
aleatoria A, cuando la sucesin real A
1
(.), A
2
(.), ...A
n
(.), ..converge a A(.),
en todo punto . .
Notar que en esta denicin, si bin suponemos que tanto las A
1
, A
2
, ...A
n
, .como
A, pertenecen a un mismo espacio de probabilidad (, , 1), no interviene para
nada el 1 del espacio de probabilidad.
3.3.1 Observacin
Esta denicin de convergencia es demasiado fuerte. Notar que exige, para
todo resultado . ,la convergencia de la sucesin de nmeros reales A
1
(.),
A
2
(.), A
3
(.), .......A
n
(.)... a A(.) Si en el ejemplo, al efectuar el experimento
aleatorio, el resultado es
. = (c, c, c, c, c, c, c, c.c, c, c, c, .....)
(o sea salen todas caras), la sucesin de valores de las A
n
(.) sera 1,1,1,1,1,1,. . .que
claramente no converge a 1/2. La pregunta aqu es: sern "muchos" los .
en que no se da la convergencia?
3.4 Convergencia en casi todo punto
Esta es la primera denicin de convergencia en que haremos uso del concepto
de probabilidad. Aqu s interviene el 1 del espacio (, , 1). Debemos aceptar
que a veces, como en la observacin anterior, obtendremos como resultado del
experimento aleatorio, un . en que no se logra la convergencia. Pero si el
conjunto de estos resultados tiene probabilidad cero, no estaremos restringiendo
mucho la denicin de convergencia (o, lo que es lo mismo, si el conjunto ,
de resultados en que se da la convergencia tiene probabilidad 1).Deniremos
entonces:
A
n
c.|..
A sii 1() = 1 (8)
7
3.4.1 Dos denicines equivalentes
Si recordamos el conjunto de . , en que se da la convergencia puntual
= . : \- 0, :
o
N, tal que si : _ :
o
== [A
n
(.) A(.)[ < -
que en (5) lo expresamos como:
=
_
_
_
. : \- 0,
1
_
n0=1

n=n0
([A
n
(.) A(.)[ < -)
_
_
_
obviando detalles, la condicin 1() = 1, equivale a pedir que
\- 0, 1(
1
_
n0=1

n=n0
([A
n
(.) A(.)[ < -)) = 1
o sea
Primera denicin: \- 0, 1(
:
1
) = 1
(9)
y tambin usando (1), esto equivale a:
Segunda denicin: \- 0, |i:
n0!1
1(

n=n0
([A
n
(.) A(.)[ < -)) = 1 (10)
Notar que para vericar el cumplimiento de la primera denicin, se puede
usar la parte (a) del Corolario de Borel-Cantelli, ya que si se cumple :
\- 0
1

n=1
1(
:c
n
) =
1

n=1
1([A
n
(.) A(.)[ _ -) < == 1(
:
1
) = 1
Por otro lado, el cumplimiento de la parte (b) del Corolario de Borel-
Cantelli da una condicin suciente para el no cumplimiento de la con-
vergencia en c.t.p. ya que implica 1(
:
1
) = 0 ,= 1.
Respecto de la segunda denicin, quiere decir que \- 0, se podr
encontrar un :
0
, tal que el conjunto de los . en que vale [A
n
(.) A(.)[ <
- desde :
0
en adelante, tendr probabilidad tan cercana a 1 como se
quiera.
3.5 Convergencia en Probabilidad
Analizando el ltimo comentario, todava podemos disminuir las exigencias en
una denicin de convergencia, que sin embargo sea til para las variables aleato-
rias. Eliminando la parte en negrita del comentario (a la segunda denicin de
convergencia en casi todo punto), queda la denicin de convergencia en prob-
abilidad:
A
n
1
A sii \- 0, |i:
n!1
1([A
n
A[ < -) = 1 (11)
8
Ejemplo En el problema de las monedas, si C
n
:"nmero de caras en las :
primeras tiradas de ." resulta C
n
v 1
I
(:; 1,2). Y como A
n
= C
n
,:, tambin
1(A
n
) = 1,2, y o(A
n
) = 1,(2
_
:). Luego por Tchebishev
\- 0, 1 _ 1([A
n
(.) 1,2[ < -) _ 1 1,(4:-
2
)
y tomando lmite para : , resulta que A
n
1
1,2
3.6 Convergencia en media Cuadrtica
Dada la sucesin A
1
, A
2
, .., A
n
, .. y A, todas en el mismo espacio (, , 1). Se
dene convergencia en media cuadrtica:
A
n
1c
A sii |i:
n!1
1(A
n
A)
2
= 0 (12)
Notar que esta denicin de convergencia, a diferencia de la convergencia en
probabilidad, requiere la existencia de las esperanzas 1(A
n
A)
2
.
3.6.1 Teorema
|i:
n!1
1(A
n
) = 0
|i:
n!1
\ ar(A
n
) = 0
_
==
A
n
1c
0
Dem:
1(A
n
0)
2
= \ ar(A
n
) + (1(A
n
) 0)
2
y tomando lmite.
Este teorema es til en estadstica, ya que si se tiene una sucesin de
estimadores que son asintticamente insesgados,o sea A
1
, A
2
, . . . , A
n
, . . . con
1(A
n
) 0, cuya varianza \ ar(A
n
) 0, resultar A
n
1c
0, y tambin, como
se ver en (14) esto implica que A
n

0, o sea la sucesin de estimadores ser
consistente.
3.7 Convergencia en Distribucin
En los cuatro tipos de convergencia estudiados hasta ahora tenamos la sucesin
A
1
, A
2
, A
3
, ...A
n
, .. y A, todas denidas en el mismo espacio (, , 1), y
la convergencia resultaba de exigir distintas condiciones de cercana entre los
miembros de la sucesin y A. Y en el caso de convergencia en casi todo punto,
y en probabilidad, la vericacin de la convergencia sola no ser tarea fcil, ya
que exiga conocer el comportamiento probabilstico conjunto de los elementos
de la sucesin y de A. Que tal si ahora consideramos la sucesin de funciones
de distribucin de las variables que integran la secuencia:
1
1
, 1
2
, 1
3
, ......1
n
, ...
y que esta sucesin de funciones converge a una funcin de distribucin 1
Y
,(que
no tiene porque coincidir con 1

, ya que no hicimos intervenir para nada a A


en esta convergencia, es mas, podemos desconocer a A).Se dice entonces que
A
n
1
1. Pero notar que esto es un abuso de notacin por dos motivos:
9
en realidad la convergencia es entre 1
n
1
Y
la variable 1 es una variable dummy, representa cualquier variable aleato-
ria que tenga por funcin de distribucin a 1
Y
. No tiene porqu estar
denida en el espacio (, , 1). La denicin de convergencia en distribu-
cin exige adems una condicin de continuidad:
A
n
1
1 sii
_
_
_
1
Y
funcin de distribucin, tal que
\j, punto de continuidad de 1
Y
|i:
n!1
1
n
(j) 1
Y
(j)
(13)
Observacin Considerese dos variables aleatorias A, e 1,ambas N(0;1),
independientes, y denidas en un mismo espacio de probabilidad (, , 1).
Se dene la sucesin:
A, A, A, ...., A, .... (o sea A
1
= A, A
2
= A, .... etc.)
Notar que A
n
1
1 pero A
n
no converge a 1 en ninguno de los cuatro
primeros tipos de convergencia.Y esto es debido a que al ser A
n
e 1
independientes, no es posible asegurar su cercana para ningun . .
(por supuesto, aunque es trivial, vale la convergencia A
n
A,para los
cuatro tipos de convergencia estudiados).
4 Relacin entre los tipos de Convergencia
Si A
1
, A
2
, ...A
n
, ..y A, estn denidas en un mismo espacio (, , 1) :
A
n
A ==
(o)
A
n
c.|.
A ==
(b)
A
n
1
A ==
(c)
A
n
1
A
(J)
]
A
n
nc
A
(14)
Dem(a):
Si = entonces 1() = 1() = 1
Dem(b):
Como

n=n0
([A
n
(.) A(.)[ < -) ([A
n0
(.) A(.)[ < -), resultar
1
_
_

n=n0
([A
n
(.) A(.)[ < -)
_
_
_ 1([A
n0
(.) A(.)[ < -) _ 1
como \- 0 el lado izquierdo tiende a 1, resulta la tesis.
Dem(c):
10
tomando r, punto de continuidad de 1

, notar que si
[A
n
A[ < - y A r +-
resultar
A - < A
n
< A +- y A r +-
luego r = (r +-) - < A - < A
n
< A +- == A
n
r, o sea:
([A
n
A[ < -) (A r +-) (A
n
r)
y complementando
(A
n
_ r) ([A
n
A[ _ -) ' (A _ r +-)
luego 1
n
(r) _ 1([A
n
A[ _ -) + 1

(r + -) y tomando |i:
n!1
(ya que en r,
no tenemos asegurada la convergencia de 1
n
(r))
|i:
n!1
1
n
(r) _ 1

(r +-) (usando que A


n
1
A)
y tendiendo - 0, (usando la continuidad de 1

en r)
|i:
n!1
1
n
(r) _ 1

(r) (15)
en forma similar, pero partiendo de
(A < r -) (A
n
_ r) ' ([A
n
A[ _ -)
y tomando lmite inferior se llega a:
1

(r) _ |i:
n!1
1
n
(r) (16)
luego juntando (15) y (16)
___
|i:
n!1
1
n
(r) _ 1

(r) _ |i:
n!1
1
n
(r)
y de aqu sale que |i:
n!1
1
n
(r) = 1

(r)
Dem(d):
Si usamos la desigualdad de Markov aplicada a A
n
A y q(r) = r
2
,
1([A
n
A[ _ -) _
J(n)
2
:
2
que por hiptesis 0, cuando : .
11
4.0.1 Observacin
En la denicin de convergencia en distribucin se exigi una condicin
de continuidad. Veamos el porqu de esta exigencia. Consideremos la
sucesin de v.a. constantes
A
n
=
1
:
, o sea:
1
1
,
1
2
,
1
3
, . . . . . . ,
1
:
, . . .
Claramente A
n
converge a A = 0, en los cuatro primeros tipos de con-
vergencia. Pero veamos que pasa con la convergencia en distribucin:
para r 0, 1
n
(r) 1 = 1

(r)
para r < 0, 1
n
(r) 0 = 1

(r)
pero para r = 0, que no es punto de continuidad de 1

(r), resulta
1
n
(0) 0 ,= 1 = 1

(0). Luego la exigencia de convergencia solo en


los puntos de continuidad de 1

(r), permite la validez de la implicacin


(c) anterior.
En (c), si A es una constante, vale el == . O sea vale:
A
n
1
c == A
n
1
c
Se vern ahora algunos ejemplos de implicaciones que no son ciertas.
4.1 Ejemplos de implicaciones que no son vlidas
4.1.1 Ejemplo 1 (A
n
c.|.
A : A
n
1
A)
Sea la sucesin A
1
, A
2
, .., A
n
, .. de v.a. independientes con: 1(A
n
= 0) = 1
1
n
y 1(A
n
= 1) =
1
n
probar que A
n
1
0 pero sin embargo A
n
c.|.
9 0.
Solucin:
Como \- 0, |i:
n!1
1([A
n
0[ < -) = |i:
n!1
(1
1
n
) = 1 resulta que
A
n
1
0. Veamos la convergencia en casi todo punto. Deno
\- 0,
:c
n
= [A
n
0[ _ - , con 1(
:c
n
) =
1
:
Como
1

n=1
1(
:c
n
) =
1

n=1
1
n
= == 1(
:
1
) = 0 ,= 1. Luego A
n
c.|.
9 0.
Observacin:
Notar que si la funcin de probabilidad de las A
I
fuese 1(A
n
= 0) = 1
1
n
2
y 1(A
n
= 1) =
1
n
2
resultara tambin que A
n
1
0 (ya que |i:
n!1
(1
1
n
2
) = 1)
y adems A
n
c.|.
0 ya que ahora
1

n=1
1(
:c
n
) =
1

n=1
1
n
2
< == 1(
:
1
) = 1.
12
4.1.2 Ejemplo 2 (A
n
nc
A : A
n
1
A)
Sea la sucesin A
1
, A
2
, .., A
n
, .. de v.a. independientes con: 1(A
n
= 0) = 1
1
n
y 1(A
n
= :) =
1
n
probar que A
n
1
0 pero sin embargo A
n
nc
9 0.
Solucin
Como \- 0, |i:
n!1
1([A
n
0[ < -) = |i:
n!1
(1
1
n
) = 1, resulta que
A
n
1
0. Veamos ahora la convergencia en media cuadrtica.
|i:
n!1
1(A
n
0)
2
= |i:
n!1
1(A
n
)
2
= |i:
n!1
_
0
2
(1
1
:
) +:
2
1
:
_
= |i:
n!1
: =
luego no se cumple la convergencia en media cuadrtica.
4.1.3 Ejemplo 3 (A
n
nc
A : A
n
c.|..
A)
Sea l v l(0; 1) y se dene la sucesin de v.a. A
n
= :I
I <
1
n

.Vericar que
la sucesin converge c.t.p. a 0, pero no en media cuadrtica.
Solucin:
Por de pronto notar que se trata de una sucesin de v.a. no independientes,
ya que todas las A
I
, dependen de la misma variable aleatoria l. Para aplicar el
corolario de Borel-Cantelli deno:
\- 0,
:c
n
= [A
n
0[ _ - =
_
:1
I <
1
n

_ -
_
=
_
1
I <
1
n

_
-
:
_
como siempre
:
n
0,
1(1
I <
1
n

_
-
:
) = 1(1
I <
1
n

= 1) = 1(l <
1
:
) =
1
:
luego
1

n=1
1(
:c
n
) =
1

n=1
1
n
= . Como esta serie no es convergente, no podemos
concluir que 1(
:
1
) = 1, como queramos. Pero tampoco que 1(
:
1
) = 0, ya
que la segunda implicacin del corolario de Borel-Cantelli exige que los
:
n
sean
independientes, y aqu esto no es cierto. Sin embargo notar que \n 0, todas
las A
n
= 0 a partir de :
1
u
. Luego A
n
c.|..
0. Veamos la convergencia en
media cuadrtica.
|i:
n!1
1(A
n
0)
2
= |i:
n!1
1(:1
I <
1
n

)
2
= |i:
n!1
:
2
1( 1
2
I <
1
n

)
= |i:
n!1
:
2
1(l <
1
:
) = |i:
n!1
:
2
1
:
= |i:
n!1
: =
Luego no se cumple la convergencia en media cuadrtica.
13
5 Conservacin por Funciones continuas
Tanto la convergencia punto a punto, en casi todo punto como en probabilidad
se conservan a travs de las funciones continuas.O sea:
Si q : R
2
R es continua, valen:
A
n
A, 1
n
1 == q(A
n
, 1
n
) q(A, 1 )
A
n
c.|.
A, 1
n
c.|.
1 == q(A
n
, 1
n
)
c.|.
q(A, 1 )
A
n

A, 1
n

1 == q(A
n
, 1
n
)

q(A, 1 )
(17)
Dem: (solo para convergencia c.t.p.)
Sea

= . : A
n
(.) A(.) con 1(

) = 1

Y
= . : 1
n
(.) 1 (.) con 1(
Y
) = 1
como
0 _ 1(


Y
)
c
= 1(
c

'
c
Y
) _ 1(
c

) +1(
c
Y
) = 0
Luego resulta tambin que 1(


Y
) = 1. Pero si .


Y
,es punto de
convergencia de A
n
(.) y de 1
n
(.),y al ser q continua, ser punto de convergencia
tambin de q(A
n
, 1
n
). O sea,
. . : q(A
n
, 1
n
) q(A, 1 )
luego vale la inclusin


Y
. : q(A
n
, 1
n
) q(A, 1 )
y tomando probabilidad
1 = 1(


Y
) _ 1 . : q(A
n
, 1
n
) q(A, 1 ) _ 1
Luego 1 . : q(A
n
, 1
n
) q(A, 1 ) = 1, y resulta la tesis.
En particular si A
n
c|
A, 1
n
c|
1 valdrn tambin:
A
n
+1
n
c|
A +1
A
n
1
n
c|
A1
A
n
,1
n
c|
A,1 (si 1(1 = 0) = 0)
Y si A
n

A, 1
n

1 valdrn tambin:
A
n
+1
n

A +1
A
n
1
n

A1
A
n
,1
n

A,1 (si 1(1 = 0) = 0)
14
Notar que este teorema de conservacin no vale para la convergencia en
distribucin, o sea
A
n
J
A, 1
n
J
1 ;q(A
n
, 1
n
)
J
q(A, 1 )
ya que al ser tanto A como 1, variables dummy, no conocemos su compor-
tamiento conjunto, y por lo tanto tampoco el de q(A, 1 ).
Sin embargo vale
A
n
J
A == q(A
n
)
J
q(A)
6 Leyes de los grandes nmeros
6.1 Ley dbil de los grandes nmeros
Sea la sucesin de v.a.no correlacionadas A
1
, A
2
, A
3
, ..., A
n
, ...con
1(A
I
) = j
I
y \ ar(A
I
) = o
2
I
Sea A
n
=
1
n
n

I=1
A
I
, y la nueva sucesin A
1
, A
2
, A
3
, ..., A
n
, . . . Luego si:
|i:
n!1
\ ar(A
n
) = 0
==
_
A
n
1(A
n
)
_

0
Dem:
Usando Tchebichev 1(

A
n
1(A
n
)

_ -) _ \ ar(A
n
),-
2
,y tomando lmite.
6.1.1 Comentarios
Notar que si las o
2
I
estn acotadas, o sea si \i, o
2
I
_ 1
\ ar(A
n
) =
1
:
2
(o
2
1
+.. +o
2
n
) _
1
:
2
:1 = 1,: 0
luego vale la ley dbil.
Sean A
1
, A
2
, A
3
, ., A
n
, observaciones i.i.d de una v.a. A con media j,
y desvo o. Como 1(A
n
) = j y \ ar(A
n
) = o
2
,: 0. Resulta que
_
A
n
j
_

0
o sea
A
n

j
Notar que esto justica el tomar el promedio de observaciones independi-
entes de una v.a. A, como una estimacin de su media j.
15
Supngase un experiento aleatorio -, y un espacio de probabilidad (, , 1).Sea
, un suceso del cual queremos estimar 1(). Ahora se repite en
forma independiente el experimento -, registrando cada vez el valor de la
v.a.
A
I
= 1
.
(.
I
) =
_
1 si .
I

0 si .
I
,
luego
1(A
I
) = 1(1
.
(.
I
)) = 1() y \ ar(A
I
) = \ ar(1
.
(.
I
)) = 1()(11())
Se tiene entonces la sucesin de v.a. i.i.d. 1
.
(.
1
), 1
.
(.
2
), ..., 1
.
(.
n
)..con
media 1() y desvo
_
1()(1 1()). Segn el resultado anterior re-
sultar 1
.
(.
n
)

.1().Pero:
1
.
(.
n
) = (1
.
(.
1
) +1
.
(.
2
) +... +1
.
(.
n
)),:
= (# realizaciones de A en las n repeticionesde -),:
= frecuencia relativa de A = )
:

Luego
)
:


1()
6.2 Ley fuerte de los grandes nmeros
Sea la sucesin de v.a.independientes A
1
, A
2
, A
3
, ..., A
n
, ...con
1(A
I
) = j
I
y \ ar(A
I
) = o
2
I
Sea A
n
=
1
n
n

I=1
A
I
, y la nueva sucesin
__
A
1
,
__
A
2
,
__
A
3
, ...,
__
A
n
. . . , .Luego si:
1

I =1
o
2
I
,i
2
< ==
_
A
n
1(A
n
)
_
c.|.
0
6.2.1 Comentarios
Notar que si las o
2
I
estn acotadas, o sea \i, o
2
I
_ 1,
1

I =1
o
2
I
,i
2
_
1

I =1
1
2
,i
2
_ 1
2
1

I =1
1,i
2
<
luego vale la ley fuerte.
Por este motivo se aplican los comentarios hechos respecto de la ley dbil
y valdrn
A
n
c.|..
j
y
)
:

c.|..
1()
.
16
Se mencionar la Ley fuerte de Kolmogorov. Sea la sucesin de v.a
iid A
1
, A
2
, A
3
, ..., A
n
, ...con 1(A
I
) = j. Sea A
n
=
1
n
n

I=1
A
I
,y la nueva
sucesin A
1
, A
2
, A
3
, ..., A
n
, .Luego :
A
n
c.|..
j
Notar que este teorema agrega la exigencia que las variables esten idn-
ticamente distribudas,con media comn j, pero que no requiere la
existencia de o
2
.
7 Teorema de la Convergencia Dominada
Una sucesin de v.a.A
n
puede converger a otra v.a. A, sin embargo no siempre
ocurre que la sucesin de medias 1(A
n
) converge a 1(A).Las condiciones para
esto se dan en el siguiente Teorema(Lebesgue).Sean la sucesin A
1
, A
2
, ..., A
n
, ...
y las v.a. A y 7, todas en el espacio (, , 1).Con
7 _ 0, 1(7) < , y [A
n
[ _ 7 \:
Luego s:
A
n

A == 1(A
n
) 1(A)
7.0.2 Ejemplo A
n

A ;1(A
n
) 1(A)
Sea A
1
, A
2
, . . . , A
n
, . . .con 1(A
n
= 0) = 1
1
n
y 1(A
n
= :) =
1
n
. Probar que
A
n

0 pero 1(A
n
) 91(A) = 0.Como:
\- 0, |i:
n!1
1([A
n
0[ < -) = |i:
n!1
(1
1
:
) = 1 luego A
n

0
pero:
\:, 1(A
n
) = 0(1
1
:
) +:
1
:
= 1 luego 1(A
n
)
n!1
1 ,= 0 = 1(A)
8 Alcances de los tipos de convergencia
Planteamos en la introduccin, en el caso de convergencia, si para n grande
podremos en algn sentido reemplazar A
n
, por A, precisando el alcance de
este reemplazo. O sea si podemos:
Aproximar 1(A
n
5 a) por 1(A 5 a) ?
Si se cumple A
n
1
A, resultar |i:
n!1
1
n
(r) = 1

(r) en todo x de
continuidad.de 1

(r).Esto es |i:
n!1
1(A
n
5 a) = 1(A 5 a) O sea, ya
que la convergencia en distribucin es la ms dbil de los cuatro tipos de
17
convergencia estudiados, la aproximacin de 1(A
n
5 a) por 1(A 5 a)
ser vlida para las cuatro convergencias, solo con la restriccin que 1

(r)
sea continua en a.
Aproximar 1(A
n
) por 1(A) ?
Vimos que si se cumplen las hiptesis del Teorema de Convergencia Dom-
inada la aproximacin de 1(A
n
) por 1(A) s ser posible.
si 7 es otra v.a. en el mismo espacio, aproximar j
n,2
por j
,2
?
Dado que j
n,2
= [1(A
n
7) 1(A
n
)1(7)] ,
_
1(A
2
n
) 1
2
(A
n
)
_
o
2
2
aqu
nuevamente necesitaremos el Teorema de Convergencia Dominada, para
asegurar el cumplimiento de:
1(A
n
7)

1(A7), 1(A
n
)

1(A), 1(A
2
n
)

1(A
2
)
y desde ya, suponiendo que o
2

,= 0, y o
2
2
,= 0.
9 Problemas
9.0.3 Problema 1
Supongase que la concentracin de una substancia en un producto
medicinal es una variable aleatoria C v (j
c
; o
c
), en p.p.m.(partes
por milln).Y que para determinar esta concentracin se utiliza un
instrumento, que tiene un error aleatorio 1 v (0; o
t
).Para atenuar
el efecto del error del instrumento, se propone efectuar : determi-
naciones de concentracin y promediarlas. Dado que en cada deter-
minacin el valor que proporciona el instrumento es A
I
= C + 1
I
,
el promedio de : determinaciones ser
__
A
n
=
(C +1
1
) + (C +1
2
) + (C +1
3
) +.... + (C +1
n
)
:
= C +
1
1
+1
2
+1
3
+...1
n
:
Se quiere estudiar la posible convergencia de
A
1
, A
2
, A
3
, ....., A
n
, . . . C
Notar que en trminos prcticos, esto justicara la propuesta de
efectuar : determinaciones y promediarlas, ya que esto atenua el
efecto del error del instrumento. Podemos tomar como experimento
aleatorio a
- : "tomar un producto y determinar la concentracin una innidad de veces"
y el espacio muestral en que estn denidas todas estas variables
aleatorias a:
= . : . = (c, c
1
, c
2
, c
3
, ....., c
n
, .....), c = "concentracin", c
I
= "errores"
18
(a) Convergencia punto a punto
Tomemos un producto cuya concentracin es c =10 ppm, y supongamos que
en todas las determinaciones del instrumento el error es c
I
=2 ppm, luego
. = (10, 2, 2, 2, ....., 2, .....)
y la sucesin A
1
, A
2
, A
3
, ....., A
n
, . . .quedara 12, 12, 12, ..., 12, ... 910
claramente no convergente. Luego no se cumple la convergencia funcional.
ya que ,= .
(b) Convergencia en probabilidad
Tenemos que ver si \- 0, |i:
n!1
1(

A
n
C

< -) = 1
pero 1(

A
n
C

< -) = 1(

C +
J1+J2+J3+...Jn
n
C

< -)
= 1(

J1+J2+J3+...Jn
n

< -)
= (-
_
:,o
t)
(-
_
:,o
t)
= 1 2(-
_
:,o
t)
1(para : )
Luego A
n
1
C.
(c) Convergencia en casi todo punto
Habra que ver s
\- 0, |i:
n0!1
1(

n=n0
(

__
A
n
C

< -)) = 1
Pero mejor utilicemos la otra denicin: \- 0, 1(
:
1
) = 1,tratando de
apoyarnos en el corolario del Lema de Borel-Cantelli. Denimos

:c
n
=
_
. :

__
A
n
C

_ -
_
Luego
1(
:c
n
) = 1(

__
A
n
C

_ -) = 2(-
_
:,o
t)
O sea:
1

n=1
1(
:c
n
) =
1

n=1
2(-
_
:,o
t)
Pero a partir de cierto n
0
vale (n) _ 1,n
4
luego ( PROBARLO)
1

n=1
1(
:c
n
) _
n01

n=1
2(-
_
:,o
t)
+
2o
4
t
-
4
1

n=n0
1
:
2
que es convergente, entonces por el corolario de Borell-Cantelli resulta que
1(
:
1
) = 1, y de aqu sale que
__
A
n
c.|..
C.
19
(d) Convergencia en media cuadrtica
Tengo que analizar |i:
n!1
1(
__
A
n
C)
2
= |i:
n!1
1(
J1+J2+J3+...Jn
n
)
2
=
|i:
n!1
_
1
2
(
J1+J2+J3+...Jn
n
) +\ ar(
J1+J2+J3+...Jn
n
)

= |i:
n!1
_
0 +
c
2
e
n
_
= 0
Luego
__
A
n
nc
C.
(e) Convergencia en distribucin
Consideremos la sucesin 1
_ _
1
, 1
_ _
2
, 1
_ _
3
, ......1
_ _
n
, ...
Como
__
A
n
= C +
J1+J2+J3+...Jn
n
resultar
__
A
n
~(j
c
;
_
o
2
c
+o
2
t
,:)
Luego 1
_ _
n
(n) = ((n j
c
),
_
o
2
c
+o
2
t
,:)
pero |i:
n!1
(n j
c
),
_
o
2
c
+o
2
t
,: = (n j
c
),o
c
y al ser funcin continua
resulta |i:
n!1
1
_ _
n
(n) = ((n j
c
),o
c
) = 1
c
(n)
Luego
__
A
n
J
C.
(b) y (c) de otra forma
Considrese la sucesin de variables aleatorias independientes
1
1
, 1
2
, 1
3
, ..., 1
n
, ... co:1(1
I
) = 0 \ ar(1
I
) = o
2
t
y la sucesin de
__
1
n
=
1
n
n

I=1
1
I
como
\ ar(
__
1
n
) =
o
2
t
:

n!1
0 vale la Ley dbil y
__
1
n

0
Adems como
1

I =1
o
2
t
,i
2
= o
2
t
1

I =1
1,i
2
< vale tambin la Ley fuerte y
__
1
n
c.|..
0
Consideremos ahora la sucesin de variables aleatorias C, C, C, ..., C, ...se tendr
tambin que
C

C y C
c.|..
C
Luego aplicando la conservacin de la convergencia a travs de funciones con-
tinuas(y la suma lo es)
C

C,
__
1
n

0 == (C +
__
1
n
)

C o sea
__
A
n

C
C
c.|..
C,
__
1
n
c.|..
0 == (C +
__
1
n
)
c.|..
C o sea
__
A
n
c.|..
C
20
9.0.4 Problema 2
Sean A
1
, A
2
, ..., A
n
, .. v.a. i.i.d. l(0; 0). Se denen:
A
(1)n
= :i:(A
1
, A
2
, .., A
n
), A
(n)n
= : ar(A
1
, A
2
, .., A
n
)
l
n
= :A
(1)n
, \
n
= :(0 A
(n)n
)
Probar que:
(a) A
(1)n

0
(b) A
(n)n

0
(c) l
n
J
l, con l v G(1;
1
0
)
(d) \
n
J
\, con \ v G(1;
1
0
)
En lo que sigue se usar lo siguiente:
1

(1)n
(r) = 1(A
(1)n
_ r) = 1 1(A
(1)n
r)
= 1 1 [(A
1
r) (A
2
r) (A
n
r)]
= 1
n

I=1
1(A
I
r) = 1
_
0 r
0
_
n
= 1
_
1
r
0
_
n
1

(n)n
(r) = 1(A
(n)n
_ r) = 1 [(A
1
_ r) (A
2
_ r) (A
n
_ r)]
=
n

I=1
1(A
I
_ r) = (
r
0
)
n
Sol(a):
\- 0, |i:
n!1
1(

A
(1)n
0

< -) = |i:
n!1
1(A
(1)n
< -)
= |i:
n!1
1

(1)n
(-) = |i:
n!1
_
1
_
1
:
0
_
n

= 1
Sol(b):
\- 0, |i:
n!1
1(

A
(n)n
0

< -) = |i:
n!1
1((A
(n)n
0) < -)
= |i:
n!1
1(A
(n)n
0 -) = 1 |i:
n!1
1(A
(n)n
_ 0 -)
= 1 |i:
n!1
1

(n)n
(0 -) = 1 |i:
n!1
(
0:
0
)
n
= 1 |i:
n!1
(1
:
0
)
n
= 1
Sol(c):
Analicemos 1
In
(n) = 1(l
n
_ n) = 1(:A
(1)n
_ n) = 1(A
(1)n
_
u
n
)
= 1

(1)n
(
u
n
) = 1
_
1
u
n0
_
n
= 1
_
1
u/0
n
_
n
|i:
n!1
1
In
(n) = |i:
n!1
_
1
_
1
u/0
n
_
n
_
= 1 c

pero si 1
I
(n) = 1 c

resulta l~G(1;
1
0
), luego resulta la tesis.
Sol(d):
Analicemos 1
\n
() = 1(\
n
_ ) = 1(:(0A
(n)n
) _ ) = 1(A
(n)n
_ 0
u
n
)
= 1 1

(1)n
(0
u
n
) = 1 (1
u
n0
)
n
= 1
_
1
u/0
n
_
n
luego |i:
n!1
1
\n
() = |i:
n!1
_
1
_
1
u/0
n
_
n
_
= 1 c

pero si 1
\
() = 1 c

resulta \ v G(1;
1
0
), luego resulta la tesis.
21
9.0.5 Problema 3
Sean A
1
, A
2
, ..., A
n
, .. v.a. i.i.d. l(0; 0). Hallar el lmite en c.t.p. de
1
n
= (
n

I=1
A
I
)
1
n
Sol: expresando
1
n
= c
1
n
n
P
i=1
ln i
y como la sucesin de v.a. independientes .lnA
1
, lnA
2
, .., lnA
n
, ..tiene
1(lnA
I
) =
_
0
0
lnr
1
0
dr = ln0 1, y \ ar(lnA
I
) = o
2
<
y
1

I=1
o
2
I
,i
2
= o
2
1

I=1
1,i
2
<
por la Ley Fuerte resulta
1
n
n

I=1
lnA
I
c.|..
ln0 1, y por el Teorema
de Conservacin. de Convergencia para funciones continuas
1
n
= c
1
n
n
P
i=1
ln i
c.|..
c
ln 01
= 0c
1
22