Professional Documents
Culture Documents
Teoremas de Convergencia
En este capı́tulo consideraremos otras condiciones bajo las que sea cierta la
fórmula 24.1. A lo largo de él hemos de tener presente que siempre que unas
determinadas hipótesis conduzcan a la validez de la igualdad anterior, esas
hipótesis restringidas a un conjunto medible B garantizan también, si no se
dice nada en contra, la validez de la misma sobre B, es decir
Z Z
(24.2) lim fk = lim fk ,
B B
De igual modo, estas hipótesis sólo deberán ser verificadas normalmente en
casi todo punto.
Convergencia monótona
El teorema de la convergencia monótona para funciones no negativas propor-
ciona, invirtiendo las hipótesis, un teorema de convergencia para funciones
no positivas. Por lo que, hasta aquı́, tendrı́amos un teorema de convergen-
cia para sucesiones no decrecientes de funciones no negativas (0 ≤ fk %), y
otro para sucesiones no crecientes de funciones no positivas (0 ≥ fk &). En
general las hipótesis de estos dos teoremas no podrán ser intercambiadas.
Ası́, para una sucesión no creciente de funciones no negativas (0 ≤ fk &)
no es seguro que la fórmula 24.1 sea válida:
239
240 Teoremas de Convergencia 24.1
fk (x) = 1/k.
y por tanto Z Z Z
+∞ = lim fk 6= lim fk = 0 = 0.
0 ≤ fs − fk % f − fk (c.s.)
se tendrı́a
Z Z Z Z Z Z
lim fs − fk = f− fk ⇒ lim fs = f.
V
Demostración. (a) Sea gk = j≥k fj . Obviamente, {gk } es una sucesión no
decreciente de funciones medibles y no negativas y
lim gk = limfk ,
luego Z Z Z Z
limfk =lim gk = lim gk ≤ lim fk ,
R R
donde la desigualdad, lim gk ≤ lim fk , se obtiene ası́: De la definición
de gk se deduce que gk ≤ fj , para cada j ≥ k, por tanto
Z Z Z Z Z Z
gk ≤ fj , ∀j ≥ k ⇒ gk ≤ inf fj ⇒ lim gk ≤ lim fk .
j≥k
Convergencia dominada
Teorema 24.4 Sea {fk } una sucesión de funciones medibles que converge
puntualmente a la función f y supongamos que existe una función integrable
F tal que |fk | ≤ F , entonces
(a) f es integrable.
Z Z
(b) f = lim fk .
En el teorema anterior hemos hecho referencia a una versión fuerte del mis-
mo, pareciendo indicar con ello que
Z Z Z
lim |fk − f | = 0 ⇒ lim fk = f ?
k→∞ k→∞
Z
Esto es verdad, pero siempre que existan las integrales fk , concretamente:
R
Demostración. Para ε > 0 sea ν ∈ N tal que |fk − f | < ε si k ≥ ν. Supon-
gamos en primer lugarRque todas lasR funciones
R fk , k ≥ ν son integrables.
Entonces, se tiene que (fk − f ) = fk − f , por lo que podemos escribir
Z Z Z Z
¯ ¯ ¯ ¯
¯ fk − f ¯ = ¯ (fk − f )¯ ≤ |fk − f | < ε,
R R
luego, limk→∞ fk = f . R
Supongamos que existe p ≥ ν tal que fp = ∞ y escribamos f =
(f − fp ) + fp . De las hipótesis y del
R teorema de aditividad de la integral
(Proposición 23.13) se deduce que f existe y
Z Z Z
(24.4) f = (f − fp ) + fp = ∞.
244 Teoremas de Convergencia 24.6
fk = (fk − f ) + f
R
vemos que
R fkR = ∞, para todo k ≥ ν. Luego, también en este caso,
limk→∞ fk = f .
R
Ejemplos triviales que muestran que laR condición limk→∞ |fk − f | = 0 no
implica la existencia de las integrales fk , pueden construirse sin más que
tomar fk = f para todo k, y f una función medible, cuya integral no existe
(por ejemplo f (x) = −1, si x ≤ 0; f (x) = 1, si x > 0). R
R Por otra parte, el nuevo Rejemplo prueba que la condición limk→∞ fk =
f no implica que limk→∞ |fk − f | = 0.
Ejemplo. Sea fk = −1/k X[−k,0] + 1/k X[0,k] ; f = 0.
R
Como fk = 0, se tiene que
Z Z
lim fk = f = 0.
k→∞
En cambio, Z
lim |fk − f | = 2 6= 0.
k→∞
(i) Existe una constante M tal que |fk (x)| ≤ M , para cada x ∈ B.
(ii) La sucesión {fk } converge uniformemente en B a la función f .
Entonces, Z
lim |fk − f | = 0.
k→∞ B
|fk XB | ≤ M XB .
24.9 Teoremas de Convergencia 245
R
Puesto que la función F = M XB es integrable ( M XB = M ·m(B) < ∞)
y {fk XB } → f , aplicando el teorema de la convergencia dominada, se tiene
que Z Z
0 = lim |fk XB − f XB | = lim |fk − f |.
k→∞ k→∞ B
Consecuencias
24.8 Si {fk } es una sucesión de funciones medibles, no negativas, entonces
Z X XZ
fk = fk .
se deduce que Z XZ XZ
f X∪Bk = f XBk = f.
Bk
246 Teoremas de Convergencia 24.9
R
En el caso general, supongamos por ejemplo que ∪Bk f + < ∞, entonces
Z Z Z XZ XZ
+ − +
f= f − f = f − f −,
∪Bk ∪Bk ∪Bk Bk Bk
R
que nos dice que ∪Bk f es la diferencia de dos series de términos positivos,
siendo la primera de ellas convergente. Se tiene entonces que
Z XZ XZ XZ Z XZ
+ − + −
f= f − f = ( f − f )= f.
∪Bk Bk Bk Bk Bk Bk
24.12 Sea {Bk } una sucesión de conjuntos medibles, tal que lim m(Bk ) =
k→∞
0. Entonces, si f es una función integrable, se tiene que
Z
lim f = 0.
k→∞ Bk
Por tanto Z Z
lim |f | ≤ |f | , ∀α > 0,
Bk Cα
en particular, Z Z
lim |f | ≤ |f | , ∀p = 1, 2, . . .
Bk Cp
R
Pero la sucesión de integrales, Cp |f |, tiende a 0 en virtud de 24.11, ya que
R
obviamente C1 ⊃ C2 ⊃ . . .. Se deduce pues que lim Bk |f | = 0.
Ejercicios
24A Sea f una función integrable y Bp = {x : |f (x)| ≥ p}.
(a) Probar que limp→∞ p m(Bp ) = 0.
(b) Probar que
∞
X
p m(Bp+1 \ Bp )) < +∞.
p=0
24C (a) Probar que si {fk } es una sucesión de funciones integrables que conver-
ge uniformemente a una función f sobre un conjunto B de medida finita,
entonces f es integrable sobre B y
Z Z
f = lim fk .
B B
24D Probar que si Bk y B son conjuntos medibles tales que m(Bk ∆B) → 0,
entonces Z Z
lim f=
k→∞ Bk B
(a) Probar que se trata de una sucesión de funciones medibles que converge c.s.
¿hacia qué función?
(b) ¿Se puede aplicar el teorema de la convergencia dominada en B = {(x, y) : 0 <
y < x < 1}.
24G Probar que si f es una función medible sobre el intervalo [a, b] y para cada
Rx c.s.
x ∈ [a, b] se tiene que a f =R0, entonces f = 0.
indicación. Observar que I f = 0 para cada semintervalo contenido en [a, b] y
utilizar la continuidad absoluta de la integral.
24H Sea f ∈ L 1 (R) derivable en 0 y tal que f (0) = 0. Probar que la función
g(x) = f (x)/x es integrable en R.
24K Sea fk una sucesión de funciones medibles “no negativas”que converge pun-
tualmente a una función integrable f y sea para cada k, Bk = {x : f (x) ≥ fk (x)}.
(a) Probar que Z
lim (f − fk ) = 0.
k→∞ Bk