Cap tulo 3

El teorema de Lebesgue
En este cap tulo estudiaremos un teorema que nos dice exactamente qu funciones son integrables y cun grande puede ser la frontera de un e a conjunto para que ste tenga volumen. La respuesta de Lebesgue a estas e dos preguntas fundamentales es la siguiente: una funcin es integrable si y o slo si el conjunto de sus puntos de discontinuidad tiene medida cero y, como o consecuencia de esto, un conjunto tiene volumen si y slo si su frontera tiene o medida cero. Se trata de uno de los resultados fundamentales de la teor a de integracin. Con este teorema, y al enfatizar la importancia del concepto o de medida cero, H. Lebesgue abri el camino para el desarrollo de la teor o a de la medida y de una teor de integracin ms exible que la de Riemann. a o a La teor de la medida y la integral de Lebesgue son objeto de estudio en a cursos ms avanzados. a Teorema 3.1 Sean A Rn acotado y f : A R una funcin acotada. o Extindase f a todo Rn poniendo f (x) = 0 para x X \ A. Entonces, f es e integrable (Riemann) si y slo si los puntos en los cuales la extensin f es o o discontinua forman un conjunto de medida cero. Antes de demostrar el teorema de Lebesgue deduciremos de este resultado algunos corolarios importantes. Corolario 3.2 Un subconjunto acotado A de Rn tiene volumen si y slo si o su frontera A tiene medida cero. Demostracin: Por la denicin de conjunto con volumen y gracias al teoo o rema anterior, basta demostrar que el conjunto de discontinuidades de la 23

24 funcin caracter o stica 1A ,

CAP ITULO 3. EL TEOREMA DE LEBESGUE

1A (x) =

1 0

si x A si x A, /

es precisamente la frontera de A, que denotamos A. Vemoslo. Por un lado, a si x A, entonces cualquier entorno de x corta tanto a A como a Rn \ A. Esto implica decir que en cualquier entorno de x hay puntos y tales que 1A (y) 1A (x) = 1, luego 1A no puede ser continua en x. Por otra parte, si x A entonces existe todo un entorno de x que o bien queda dentro de A / o bien est contenido en Rn \ A; en cualquiera de los casos resulta que 1A es a constante en todo un entorno de x y por tanto es obviamente continua en x. Por consiguiente, A = {x Rn : 1A discontinua en x}. 2 Corolario 3.3 Sea A un subconjunto acotado y con volumen de Rn . Cualquier funcin f : A R cuyos puntos de discontinuidad formen un conjunto de o medida cero es integrable. Demostracin: Sea g la extensin de f que coincide con ella sobre A y que o o vale cero fuera de A. Si denotamos por Disc(f ) el conjunto de los puntos de discontinuidad de f en A, y por Disc(g) el conjunto de discontinuidades de la extensin g en Rn , es claro (por la misma razn que en la demostracin o o o del corolario anterior) que Disc(g) Disc(f ) A, y como tanto Disc(f ) (por hiptesis) como A (por tener A volumen y o gracias al corolario anterior) tienen medida cero, su unin tiene medida o cero, y por tanto el subconjunto de esta unin Disc(g) tiene medida cero. 2 o Observacin 3.4 Ntese que en el teorema 3.1 la integrabilidad de f deo o pende de su extensin. Por ejemplo, si A es el conjunto de los racionales o del intervalo [0, 1] y f = 1, entonces f restringida a A es continua, pero su extensin cannica no es continua en ningn punto y en particular no es o o u integrable, luego f no es integrable sobre A segn la denicin que se ha u o dado. Por otra parte, en el enunciado del corolario 3.3 no es necesario extender f fuera de A porque, como se ve en la prueba, el conjunto de puntos de discontinuidad de su extensin cannica no se va a incrementar signicao o tivamente, a lo sumo se aadir la frontera de A, que es un subconjunto de n a medida cero ya que A tiene volumen. Una consecuencia inmediata del corolario anterior es lo siguiente:

25 Corolario 3.5 Sea A un subconjunto acotado y con volumen de Rn . Cualquier funcin f : A R cuyos puntos de discontinuidad formen un conjunto o nito o numerable es integrable. La mayor de las funciones que se manejan en la prctica son continuas o a a continuas a trozos (es decir, continuas salvo en un conjuto nito de puntos), y por tanto, segn el corolario anterior, son tambin integrables. u e Antes de pasar a la demostracin del teorema de Lebesgue, y para cono cluir con la exposicin de los resultados principales de este cap o tulo, probaremos otros dos teoremas que complementan los anteriores. Teorema 3.6 Sea A un subconjunto acotado y de medida cero de Rn , y sea f : A R una funcin integrable. Entonces o f = 0.
A

Demostracin: Sea S un rectngulo que contenga a A, y extendamos f a S o a poniendo f (x) = 0 para x S \ A. Sea P una particin cualquiera de S en o subrectngulos S1 , ..., SN , y sea M una cota superior de f en A. Entonces a se tiene
N N

L(f, P ) =
i=1

m(f, Si )v(Si ) M
i=1

m(1A , Si )v(Si ).

Supongamos que m(1A , Si ) = 0 para algn i; entonces Si A; pero esu to es imposible, pues ningn conjunto de medida cero puede contener un u rectngulo (ver ejercicio 2.16). Por tanto, m(1A , Si ) = 0 para todo i, y en a N u particular i=1 m(1A , Si )v(Si ) = 0, lo que seg n la desigualdad anterior implica que L(f, P ) 0. Por otra parte, como M (f, Si ) = m(f, Si ), se tiene que
N N

U (f, P ) =
i=1

M (f, Si )v(Si ) =
i=1

m(f, Si )v(Si ) = L(f, P );

pero por la misma razn que antes, L(f, P ) 0, luego L(f, P ) = o U (f, P ) 0. As hemos probado que, para toda particin P de S, , o L(f, P ) 0 U (f, P ) y, como f es integrable, esto signica que
Af

= 0. 2

26

CAP ITULO 3. EL TEOREMA DE LEBESGUE

Teorema 3.7 Si f : A R es una funcin integrable tal que f (x) 0 o para todo x, y adems A f (x)dx = 0, entonces el conjunto a {x A : f (x) = 0} tiene medida cero. Demostracin: Para cada m N, probaremos que el conjunto Am = {x A : o f (x) > 1/m} tiene contenido cero. En efecto, sea > 0. Sea S un rectngulo a que contenga a A, y extendamos f a S poniendo f (x) = 0 para x S \ A como de costumbre. Sea P una particin de S tal que U (f, P ) < /m; existe o una tal particin porque A f = 0. Sean S1 , ..., SK los subrectngulos de la o a particin P cuyas intersecciones con Am son no vac o as; entonces se tiene mM (f, Si ) > 1 para i = 1, ..., K, y por tanto
K K

v(Si )
i=1 i=1

mM (f, Si )v(Si ) mU (f, P ) < .

Es decir, los rectngulos S1 , ..., SK forman un recubrimiento de Am tal que a K v(Si ) < . Esto prueba que Am tiene contenido cero. En particular, i=1 Am tiene medida cero, para todo m N. Ahora bien, como

{x A : f (x) = 0} =
m=1

Am ,

y puesto que la unin numerable de conjuntos de medida cero tiene medida o cero, se deduce que este conjunto tiene medida cero. 2 El resto de este cap tulo lo dedicaremos a la demostracin del teorema de o Lebesgue 3.1. Sea B un rectngulo que contenga a A. Debemos probar que a la funcin f es integrable en A si y slo si el conjunto de discontinuidades o o de la funcin extendida g (que coincide con f sobre A y es cero fuera de A) o tiene medida cero. Para probar esto, es util tener una medida de cun mala es una discon a tinuidad determinada. A tal n, denimos la oscilacin de una funcin en o o un punto. Denicin 3.8 Sea h : W R una funcin denida sobre un abierto W o o de Rn . Se dene la oscilacin de h en un punto x0 W como o O(h, x0 ) = nf{sup{|h(x) h(y)| : x, y U } | U es un entorno de x0 }.

27 Alternativamente, si esta denicin resulta algo indigesta, para cada entorno o U de x podemos denir la oscilacin de h en U como o O(h, U ) = sup{|h(x) h(y)| : x, y U }, y la oscilacin de h en el punto x0 ser entonces o a O(h, x0 ) = nf{O(h, U ) | U es un entorno de x0 }. Claramente se tiene que O(h, x0 ) 0. Cuanto ms grande sea este nmero, a u peor ser el comportamiento de la funcin h en las proximidades de x0 . a o Como cabe esperar, una funcin es continua en un punto si y slo si su o o oscilacin en ese punto es cero. o Lema 3.9 Sea h : W R una funcin denida sobre un abierto W de o Rn , y sea x0 W . Entonces, h es continua en x0 si y slo si O(h, x0 ) = 0. o La demostracin de este lema es sencilla y se deja como ejercicio. Ahora ya o podemos comenzar la demostracin del teorema de Lebesgue. o Paso 1. Supongamos que el conjunto de discontinuidades de g tiene medida cero, y veamos que g es integrable. Fijemos un > 0 arbitrario. Sea M tal que |g(x)| M para todo x B. Denotemos por D el conjunto de los puntos de discontinuidad de g. Sea D = {x B : O(g, x) }. Por el lema anterior, se tiene que D D. Es fcil ver que D es compacto (ejercicio 3.13). a Como D tiene medida cero (por ser un subconjunto de D, que tiene medida cero), existe una coleccin numerable de rectngulos B1 , B2 , ... tales o a que D int(Bi ) y v(Bi ) < . Pero D es compacto, luego existe i=1 i=1 N N tal que D N int(Bi ) y, por supuesto, N v(Bi ) < . i=1 i=1 Ahora, sea P0 una particin de B tal que cada subrectngulo de P0 o o a bien est contenido en alguno de los Bi o bien su interior es disjunto con a los Bi . Podemos dividir los subrectngulos de P0 en dos clases C1 y C2 (no a necesariamente disjuntas): C1 = {Q P0 | i {1, ..., N } : Q Bi }, y C2 = {Q P0 | Q D = }, de modo que P0 = C1 C2 . Sea S un subrectngulo de C2 ; entonces la oscilacin de g en cada punto a o de S es menor que . Por tanto, para cada x S, existe un entorno abierto Ux de x tal que MU (g) mU (g) = sup{|g(z) g(y)| : y, z U } < ,

28

CAP ITULO 3. EL TEOREMA DE LEBESGUE

donde MU (g) = sup{g(z) : z U } y mU (g) = nf{g(z) : z U }. Ahora, como S es compacto y S xS Ux , existe una cantidad nita de puntos xs , ..., xs s S tal que 1 K
Ks

S
i=1

Uis ,

donde se denota Uis = Uxs . Escojamos una particin PS de S tal que cada o i subrectngulo de PS est contenido en alguno de los Uis (esto es siempre a a posible; ver el ejercicio 3.15). Sea ahora P una particin de B tal que cada subrectngulo Q de P o a o bien est contenido en alguno de los subrectngulos de las particiones Ps a a anteriores o bien su interior es disjunto con los subrectngulos de las Ps y, en a este caso, Q est contenido en alguno de los rectngulos que son miembros a a de la clase C1 . Una tal particin puede denirse utilizando todos los lados o de todos los miembros de C1 y de las particiones Ps . Podemos dividir esta particin P en dos clases (ahora disjuntas, aunque esto no tenga especial o relevancia), C2 y C1 , segn se d una u otra de las dos posibilidades, es u e decir, C2 = {Q P | S C2 R Ps : Q R}, y C1 = {Q P | S C2 R S : int(Q) R = , y T C1 : Q T }, de forma que P = C1 C2 . Para esta particin P tenemos que o U (g, P ) L(g, P ) (MQ (g) mQ (g))v(Q) +
QC2 QC1

(MQ (g) mQ (g))v(Q)

v(B) +
QC1

2M v(Q) v(B) + 2M ,

ya que QC v(Q) N v(Bi ) < . Como v(B) y M no dependen de i=1 1 , y es arbitrario, utilizando el criterio de integrabilidad de Riemann se concluye que g (y por tanto f ) es integrable. Paso 2. Ahora supongamos que g es integrable, y veremos que el conjunto D de los puntos de discontinuidad de g tiene medida cero. Es claro que D = D1/n , donde D1/n = {x B : O(g, x) 1/n}. n=1 Puesto que la unin numerable de conjuntos de medida cero tiene medida o cero, bastar probar que cada uno de estos conjuntos tiene medida cero. a

29 Vemoslo. Fijemos n N. Dado > 0, como g es integrable, existe una a particin P de B tal que o U (g, P ) L(g, P ) =
SP

(MS (g) mS (g))v(S) <

. 2n

Ahora podemos escribir D1/n = E1 E2 , donde E1 = {x D1/n | S P : x S}, y E2 = {x D1/n | S P : x int(S)}; aqu S e int(S) denotan la frontera y el interior del rectngulo S, respec a tivamente. Es claro que la frontera de un rectngulo tiene volumen cero a (ejercicio 3.16), y como E1 est contenido en una unin nita de fronteras a o de rectngulos, se deduce que E1 tiene volumen cero; por tanto existe una a coleccin de rectngulos C1 tales que E1 RC1 R y RC1 v(R) < /2. o a Por otra parte, sea C2 el conjunto de los subrectngulos de P que tienen en a su interior algn elemento de D1/n (de E2 para ser ms precisos). Entonces, u a si S C2 , existe zs en el interior de S tal que zs D1/n , y por tanto, MS (g) mS (g) = O(g, S) O(g, zs ) de donde deducimos que 1 n
SP

1 , n

v(S)
SC2 SC2

(MS (g) mS (g))v(S) , 2n

(MS (g) mS (g))v(S) <

y as SC2 v(S) < /2. Entonces, C = C1 C2 es una coleccin nita de o rectngulos que recubre el conjunto D1/n , con a v(R)
RC RC1

v(R) +
RC2

v(R) <

+ = . 2 2

Esto prueba que D1/n tiene volumen cero.

Problemas

30

CAP ITULO 3. EL TEOREMA DE LEBESGUE

3.10 Sea f (x) = sin(1/x) si x = 0, y f (0) = 0. Probar que O(f, 0) = 2. 3.11 Sea f (x) = 1 si x Q, y f (x) = 0 si x R\Q. Probar que O(f, x) = 1 para todo x R. 3.12 Sea h : W R una funcin denida sobre un abierto W de Rn , y o sea O(h, x) la oscilacin de h en x. Probar que h es continua en x0 si y slo o o si O(h, x0 ) = 0. 3.13 Sea D = {x B : O(g, x) }, donde g es una funcin acotada o denida en un rectngulo B. Demostrar que D es compacto para cada a > 0. 3.14 Sea g una funcin acotada denida en un rectngulo abierto B, y o a para cada abierto U contenido en B denamos MU (g) = sup{g(z) : z U } y mU (g) = nf{g(z) : z U }. Probar que MU (g) mU (g) = sup{|g(z) g(y)| : y, z U } := O(g, U ), y por tanto O(g, x) = nf{MU (g) mU (g) | U entorno abierto de x}. 3.15 Sea S un rectngulo cerrado, y G1 , ..., Gk un recubrimiento nito de S a por conjuntos abiertos. Probar que existe una particin P de S tal que cada o subrectngulo de P est contenido en alguno de los abiertos Gi . Indicacin: a a o para cada x S existen i {1, ..., k} y x > 0 tales que B (x, x ) Gi ; entonces S xS B (x, x ). Usar ahora que S es compacto, y recordar que las bolas B (x, r) tienen forma de cubos. 3.16 Demostrar que la frontera de un rectngulo tiene siempre volumen a cero. 3.17 Demostrar que si A y B tienen volumen, entonces A B, A B y A \ B tambin tienen volumen. e 3.18 Sea f (x, y) = 1 para x = 0, y f (0, y) = 0 para todo y. Probar que f es integrable en cualquier rectngulo de R2 , y hallar estas integrales. a 3.19 Sea f (x) = sen(1/x) para x > 0, y f (0) = 0. +Es f integrable en [0, 1]?

31 3.20 Sea f : R2 R denida por f (x, y) =

1 x2 + sen y si y = 0 x2 si y = 0.

Probar que f es integrable en el c rculo unidad abierto, A = {(x, y) R2 : 2 + y 2 < 1}. x 3.21 Decidir si las functiones que siguen son integrables en los conjuntos indicados: (a) f : A R denida por f (x, y) = con A = {(x, y) :
x2 2

y si x R \ Q; x si x Q,

y2 3

1}.

(b) g : B R denida por g(x, y) = 0 si x2 + y 2 < 1/2 o bien y = 0; 1 x sin( y ) en otro caso,

con B = {(x, y) : x2 + y 2 1}. (c) h : C R denida por h(x, y) = con C = {(x, y) : |x| 1, |y| 1}. 3.22 Sea f : [0, 1] R denida por f (x) = 0 si x es irracional, y f (x) = 1/m cuando x es racional y est expresado en la forma x = n/m con n y m a primos entre s Probar que f es continua en x si y slo si x es irracional. . o Concluir que f , pese a ser discontinua en un subconjunto denso de [0, 1], es integrable en [0, 1]. 3.23 Para cada B Rn denamos

1 si x y; x si y < x,

(B) = nf{
i=1

v(Si ) | (Si ) recubrimiento de B por rectngulos abiertos}. a

Probar que si B tiene volumen entonces (B) = v(B). Observacin: A se le llama medida exterior de Lebesgue en Rn . o

32

CAP ITULO 3. EL TEOREMA DE LEBESGUE

3.24 Si (Bi ) es una sucesin de conjuntos con volumen que son disjuntos o dos a dos y B = i=1 Bi tiene volumen, entonces

v(B) =
i=1

v(Bi ).

Indicacin: Usar el problema anterior. o 3.25 Sea r1 , r2 , ... una enumeracin de los racionales de [0, 1], y sea o

U=
k=1

(rk

1 1 ,r + k) k k 5 5

Probar que U es un subconjunto abierto de R que no tiene volumen. Indicacin: usar el problema 3.23. o 3.26 Sea A un subconjunto abierto y con volumen de Rn , y sea f : A R continua, tal que f (x) 0 para todo x. Supongamos que existe x0 A tal que f (x0 ) > 0. Demostrar que entonces A f > 0. 3.27 Sean f, g : A Rn R funciones integrables. Supongamos que A |f g| = 0. Probar que entonces f (x) = g(x) para casi todo x, es decir, salvo en quizs en un subconjunto de A de medida cero. a 3.28 Sean A un subconjunto acotado de Rn , y (fk ) una sucesin de funo ciones que converge uniformemente en A a otra funcin f . Sea S un rectnguo a lo que contenga a A, y extendamos cada una de estas funciones a S hacindolas e valer cero en S \ A, como de costumbre. Para cada k N, sea Dk el conjunto de los puntos de discontinuidad de la funcin fk (extendida). Demostrar o que el conjunto D de los puntos de discontinuidad de f est contenido en a Dk . Indicacin: Recordar que el l o mite uniforme de una sucesin de o k=1 funciones continuas en un conjunto es continuo en ese conjunto. 3.29 Utilizando el problema anterior, probar que si A es un subconjunto acotado de Rn , y (fk ) una sucesin de funciones integrables que converge o uniformemente en A a otra funcin f , entonces f es tambin integrable en o e A. 3.30 En las hiptesis del problema anterior, probar que adems se tiene o a que
k A

l m

fk =
A

f.

Indicacin: La prueba usual que se da de este hecho para funciones de una o variable se generaliza sin dicultad al caso de funciones de varias variables.