Proposicion. Sea A un rectangulo en Rn , y sea f : A R una funcion continua.

Entonces f
es integrable en A.

Demostracion:
Como f es continua en A, y A es compacto, f es acotada en A, y uniformemente continua.
Dado entonces  > 0, existe > 0 tal que para todos x, y A con kx yk < se tiene
Conjuntos de
|f (x) f (y)| < /v(A).
Medida Cero y
Consideremos una particion P de A de modo que cada rectangulo tenga lado menor que .
de Contenido
Si R <P es un rectangulo cualquiera definido por P , se tiene:
Cero
Para todos x, y R, kx yk

Por ser f continua y R compacto, existen x0 , y0 en R tales que f (x0 ) = sup{f (t) : t R}
y f (y0 ) = inf{f (t) : t R}

Entonces

JJ II MR (f ) mR (f ) = f (x0 ) f (y0 ) |f (x0 ) f (y0 )| /v(A)

J I
En consecuencia
X  X
S(f, P ) S(f, P ) = (MR (f ) mR (f ))v(R) v(R) = 
R<P
v(A) R<
P
 As pues, f cumple el criterio de Riemann, y por tanto es integrable.

El resultado muestra que la integral de Riemann es una generalizacion de la integral de
Cauchy de funciones continuas. Queda abierto el problema de si ambas integrales coinciden. Mas
concretamente, se trata de estudiar si hay alguna otra funcion integrable que no sea continua (o
Conjuntos de continua a trozos, con un numero finito de discontinuidades).
Medida Cero y Este problema quedo resuelto por Lebesgue hacia 1920, gracias a una nueva interpretacion
de Contenido de los conjuntos de Rn , basada en la descripcion analtica de los conceptos de area y volumen
Cero de un cuerpo geometrico. Lebesgue introdujo una teora nueva, llamada Teora de la Medida,
que establece una ntima relacion entre los conjuntos y las funciones integrables en ellos. En
este captulo vamos a ver solo una pequena aplicacion de la teora, que nos permite resolver el
problema de la integrabilidad Riemann.
Se trata de medir el tamano del conjunto de puntos de discontinuidad de una funcion, de
una manera que no tiene que ver con conceptos metricos (acotado o no acotado,...), topologicos
(compacto,...), algebraicos (finito, numerable,...)

JJ II
Definicion (Conjuntos de Medida Cero). Sea A un conjunto en Rn . Se dice que A tiene medida
cero si verifica:
J I
Para todo  > 0 existe una familia numerable de rectangulos cerrados en Rn {Ri }iN tales
[
X
que A Ri y v(Ri ) < 
i=1 i=1
 Observacion: En la definicion pueden sustituirse los rectangulos cerrados por rectangulos
abiertos o semiabiertos.
Otra observacion evidente, es que si A y B son dos subconjuntos, con A B, y B tiene
medida cero, A tambien tiene medida cero.

Conjuntos de Ejemplos:
Medida Cero y 1) Todo conjunto numerable tiene medida cero.
de Contenido En efecto, sea A = {xm }mN , y sea  > 0. Podemos escoger para cada m N un rectangulo
Cero centrado en xm , Rm , cuyo volumen sea /2m (por ejemplo considerando enpRn la norma in-
finito, basta definir cada Rm como la bola centrada en xm , de radio r = 1/2 n /2m ) Entonces

[ X
X
A Rm y v(Rm ) = /2m = 
m=1 m=1 m=1
De hecho, tambien podemos
P sumergir A en una union numerable de rectangulos de volumen
cero, de modo que la serie m=1 v(Rm ) = 0, tomando para cada punto xm A Rm = {xm },
puesto que el conjunto formado por el punto xm es un rectangulo cerrado,

JJ II {xm } = [xm1 , xm1 ] [xmn , xmn ]

J I
y su volumen es cero.
En particular, el conjunto Q de los numeros racionales es numerable, y por tanto tiene medida
cero. Analogamente Qn Rn tiene medida cero.
2) Pero para tener medida cero no hace falta ser numerable, ni siquiera acotado:
 En Rn , un segmento paralelo a uno de los ejes, tiene medida cero. Incluso una recta paralela
a uno de los ejes coordenados, tiene medida cero:
Por ejemplo, en R2 , consideremos la recta y = y0 .
La semi-recta derecha A = {(x, y0 ), x R} la podemos sumergir en la union de los
 
rectangulos Rk = [k, k + 1] [y0 2k+3 , y0 + 2k+3 ], k N {0}, de modo que
Conjuntos de 
Medida Cero y v(Rk ) = 1
2k+2
de Contenido y

Cero X X 
v(Rk ) = k+2
= /2
k=0 k=0
2
Analogamente, la semi-recta izquierda se puede sumergir en la union de los rectangulos Qk =
 
[k 1, k] [y0 2k+3 , y0 + 2k+3 ], y

X X 
v(Qk ) = = /2
k=0 k=0
2k+2
JJ II As pues, la recta entera se puede sumergir en una union numerable de rectangulos, con suma
J I de los volumenes menor que 
Tambien en este caso se puede hacer otra demostracion sumergiendo A en una union numer-
able de rectangulos de volumen cero, escogiendo por ejemplo los rectangulos Rk = [k, k + 1]
[y0 , y0 ] y Qk = [k 1, k] [y0 , y0 ]
 on (Conjuntos de Contenido Cero). Sea A un conjunto de Rn . Se dice que A tiene
Definici
contenido cero si verifica:
Para todo  > 0 existe una familia finita de rectangulos cerrados en Rn {Ri }ki=1 , tal que
n
[ n
X
A Ri y v(Ri ) < 
Conjuntos de i=1 i=1
Medida Cero y
de Contenido Observaci on:
Cero En la definicion pueden sustituirse los rectangulos cerrados por rectangulos abiertos o semia-
biertos.
Los conjuntos de contenido cero son acotados.
Evidentemente, todo conjunto de contenido cero tiene medida cero, pero hay conjuntos de
medida cero que no son de contenido cero. Por ejemplo, la recta paralela a uno de los ejes en
el plano, no puede tener contenido cero ya que no es acotada, y el conjunto de los numeros
naturales N en R es de medida cero por ser numerable, pero no es de contenido cero por no ser
acotado. Mas adelante veremos otros ejemplos.
JJ II Tambien es evidente que si A y B son dos subconjuntos con A B y B tiene contenido
J I cero, entonces A tiene contenido cero.

Proposicion. Sea A un conjunto compacto. Entonces A tiene medida cero si y solo si tiene
contenido cero.
 Segun las observaciones anteriores, solo hay que demostrar que un conjunto compacto de
medida cero tiene contenido cero.
[
Sea  > 0, y sea {Ri }iN una familia numerable de rectangulos abiertos tales que A Ri
i=1

X
Conjuntos de y v(Ri ) < 
Medida Cero y i=1
La familia {Ri }iN es un recubrimiento abierto de A, que es compacto, luego admite un
de Contenido k
Cero
[
subrecubrimiento finito, {Ri1 , . . . , Rik }, de modo que A Rij y
j=1

k
X
X
v(Rij ) v(Ri ) < 
j=1 i=1

as que A tiene contenido cero.


JJ II
J I Proposici
on. 1. La union numerable de conjuntos de medida cero tiene medida cero.

2. La union finita de conjuntos de contenido cero tiene contenido cero.

Observaciones:
 La union finita de conjuntos de contenido cero tiene contenido cero, y la union numerable
de conjuntos de contenido cero tendra medida cero, pero puede no tener contenido cero. Como
ejemplo podemos poner otra vez el de la recta, que se puede describir como la union de los
segmentos Ak = [k, k] y0 ; es evidente que cada uno de estos segmentos es un conjunto de
contenido cero, y sin embargo la recta no lo es.
Conjuntos de Otro ejemplo es el conjunto A = Q [0, 1], que es numerable, luego es union numerable de
Medida Cero y conjuntos de contenido cero formados por un solo punto cada uno, pero no tiene contenido cero.
de Contenido La demostracion de que no tiene contenido cero se basa en el siguiente resultado:
Cero
Proposicion. 1) Sea [a, b] un intervalo real. Para toda familia finita de rectangulos {Ri }i=1,...,k
[k X k
tal que A Ri se tiene b a v(Ri ). En particular, si a < b, [a, b] no tiene contenido
i=1 i=1
cero.
2) Sea A un rectangulo en Rn y {Ri }i=1,...,k una familia finita de rectangulos tales que
k
[ Xk
A Ri . Entonces v(A) v(Ri )
i=1 i=1
JJ II
J I Como consecuencia, los conjuntos de contenido cero y los de medida cero tienen que tener
interior vaco.
El recproco tampoco es cierto. Hay conjuntos con interior vaco, que no tienen ni contenido
cero ni medida cero:
 Por ejemplo A = Q [0, 1] tiene interior vaco, y no tiene contenido cero. Y B = [0, 1] \ Q
tiene interior vaco y no tiene medida cero.
Vamos a ver algunos resultados en los que intervienen de forma fundamental los conjuntos
de medida cero:
on. Sea A un rectangulo en Rn , y f : A R integrable, tal que f 0. Entonces
Proposici
Z
Conjuntos de
f = 0 si y solo si el conjunto H = {x A : f (x) > 0} tiene medida cero.
Medida Cero y A
de Contenido Demostracion:
Cero [
Pongamos H = H1/n , donde H1/n = {x A : f (x) 1/n}, y veamos que cada H1/n
n=1
tiene contenido cero. Z
Para n N fijo, y sea  > 0. Como f = 0, existe P una particion de A tal que S(f, P ) <
A
/n. Sean R1 , . . . , Rk los rectangulos de RP que cortan a H1/n .

JJ II Ri
H1/n
J I
 Se tiene
k
[
H1/n Ri
i=1

Conjuntos de Por otro lado, en cada Ri hay por lo menos un punto de H1/n , luego MRi (f ) 1/n, luego
Medida Cero y k k
de Contenido 1X X
v(Ri ) MRi (f )v(Ri ) S(f, P ) /n
Cero n i=1 i=1

de donde
k
X
v(Ri ) 
i=1

As pues, cada H1/n tiene contenido cero, y H que es union numerable de conjuntos de
contenido cero sera de medida cero.
JJ II
Recprocamente, sea P es una particion de A, y R uno de los rectangulos de RP . Como H
J I
tiene interior vaco, R tiene puntos que no estan en H, donde por tanto la funcion vale cero, as
que mR (f ) = 0. En consecuencia,
R para toda particion P de A se verifica S(f, P ) = 0. Y como
f es integrable, se tiene A f = 0

 on. Sea A un rectangulo en Rn , y f : A R una funcion acotada con f 0. Si
Proposici
Z conjunto H = {x A : f (x) > 0} tiene contenido cero, entonces f es integrable en A y
el
f =0
A

Demostracion:
Conjuntos de Veamos que f verifica el Criterio de Riemann:
Medida Cero y Sea M una cota superior de |f |, y sea  > 0. Como H tiene contenido cero, existe una
de Contenido k
[ k
X
Cero o
familia finita de rectangulos R1 , . . . , Rk tales que H Ri y v(Ri ) < /M
i=1 i=1

R2 R2

H H
JJ II
J I R1 R1

Sea P la particion de A definida por los vertices de los rectangulos Ri . Cada rectangulo de
 P o bien esta contenido en alguno de los Ri , o bien verifica R Rio = para todo i = 1, . . . , k
Si R Rio = para todo i, entonces R H = , luego MR (f ) = 0. Entonces
X X
S(f, P ) = MR (f )v(R) = MR (f )v(R)
RRP RRP ,RRi ,1ik
k
Conjuntos de
X 
M v(Ri ) M =
Medida Cero y i=1
M
de Contenido Y como f 0, S(f, P ) 0, luego
Cero
S(f, P ) S(f, P ) S(f, P ) 
por tanto f verifica el Criterio de Riemann, y es integrable en A. Ademas,
Z
0 f S(f, P ) 
A
Z
para todo  > 0, luego tiene que ser f =0
A
JJ II 
J I Este resultado no es cierto si H solo tiene medida cero: en concreto, no se puede deducir de
que H tenga medida cero que f sea integrable. Como ejemplo, puede considerarse la funcion

1 si x Q [0, 1]
f (x) =
0 si x 6 Q [0, 1]
 on. Sea A un rectangulo en Rn y f, g : A R dos funciones acotadas, tales que el
Proposici
conjunto H = {x A : f (x) =
6 g(x)} Ztiene contenido
Z cero. Entonces f es integrable en A si y
solo si g es integrable en A, y ademas f= g
A A

Demostracion:
Conjuntos de Consideremos la funcion h = f g, y las funciones h+ = max{h, 0} y h = min{h, 0}.
Medida Cero y h+ (x) 0 para todo x A, y h (x) 0 para todo x A.
de Contenido Ademas {x A : h+ (x) > 0} {x A : h(x)
Cero Z 6= 0} H, luego tiene contenido cero. Por
la proposicion anterior, h+ es integrable en A, y h+ = 0.
A
Analogamente {x A : h (x) > 0} {x A : h(x) Z 6= 0} H, luego tiene contenido
cero. Por la proposicion anterior, h es integrable en A, y h = 0.
Z A

Por tanto h = h+ h es integrable en A, y h = 0.

A
Por uZltimo, como
Z f Z= g + hZ y g = f h, se tiene que f es integrable si y solo si g lo es, y
JJ II
ademas f= g+ h= g
J I A A A A