1 Teorema 1 (M as de Continuidad y Lema de Fatou) Consideremos An B , para n 1.

1. (i) Lema de Fatou: Tenemos las siguientes desigualdades P lim inf An lim inf P(An )
n n

lim sup P(An ) P lim sup An .

n n

(1)

(ii) Si An A, entonces P(An ) P(A). Demostraci on Evidentemente (ii) es consecuencia de (i), en efecto, si An A, entonces lim sup An = lim inf An = A = lim An
n n n

Si (i) es cierto, tenemos P(A) = P lim inf An lim inf P(An )

n n

lim sup P(An ) P(lim sup An )

n n

= P(A). Ahora demostraremos (i). Denamos los siguientes conjuntos Bn = kn Ak y Cn = kn Ak , entonces tenemos Bn An Cn An para cada n P(Bn ) P(An ) para cada n P(Bn ) P(An ) para cada n. para cada n. (2) (3)

Denamos los siguientes conjuntos: Pn = {P(An ), P(An+1 ), . . . }, Pn = {P(Bn ), P(Bn+1 ), . . . }, Pn = {P(Cn ), P(Cn+1 ), . . . },

2 son conjuntos acotados. Denamos n = inf Pn , n = inf Pn , entonces {n }, {n } son sucesiones num ericas no-decrecientes y la Ecuaci on (2) implica para cada n, n n , o mejor a un P(Bn ) n = inf Pn = inf P(An ), por otro lado, Bn lim inf An P(Bn ) P ( lim inf An ),
n n

(Propiedad 7(i) de Continuidad)

y obtenemos

P lim inf An = P
n n=1 kn

Ak

= P( lim Bn ) = lim P(Bn )

n n

lim n = lim inf Pn = lim inf P(An ),

n n n

as , hemos demostrado que P lim inf An lim inf P(An ).

n n

De la misma manera, si se denen las sucesiones num ericas no-crecientes {n } y {n } con n = sup Pn y n = sup Pn , ya que para cada n, n n tenemos lim inf P(An ) lim sup P(An ).
n n

Adem as de la Ecuaci on (3) se deduce para cada n, P(Cn ) n . Por otro lado Cn lim sup An P(Bn ) P ( lim sup An ),
n n

(Propiedad 7(ii) de Continuidad)

Luego

P lim sup An
n

=P
n=1 kn

Ak

=P

lim Cn = lim P(Cn )

n

lim n = lim sup Pn = lim sup P (An )

n n n

con lo que se tiene demostrado el Lema de Fatou, (Propiedad 8 del libro).