Conjuntos de

Medida Cero y
de Contenido
Cero


Proposicion. Sea A un rectangulo en R
n
, 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 |x y|

< se tiene
[f(x) f(y)[ < /v(A).
Consideremos una particion P de A de modo que cada rectangulo tenga lado menor que .
Si R '
P
es un rectangulo cualquiera denido por P, se tiene:
Para todos x, y R, |x y|

Por ser f continua y R compacto, existen x
0
, y
0
en R tales que f(x
0
) = supf(t) : t R
y f(y
0
) = inff(t) : t R
Entonces
M
R
(f) m
R
(f) = f(x
0
) f(y
0
) [f(x
0
) f(y
0
)[ /v(A)
En consecuencia
S(f, P) S(f, P) =

R
P
(M
R
(f) m
R
(f))v(R)

v(A)

R
P
v(R) =
Conjuntos de
Medida Cero y
de Contenido
Cero


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
continua a trozos, con un n umero nito de discontinuidades).
Este problema quedo resuelto por Lebesgue hacia 1920, gracias a una nueva interpretacion
de los conjuntos de R
n
, basada en la descripcion analtica de los conceptos de area y volumen
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 peque na aplicacion de la teora, que nos permite resolver el
problema de la integrabilidad Riemann.
Se trata de medir el tama no 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 (nito, numerable,...)
Denicion (Conjuntos de Medida Cero). Sea A un conjunto en R
n
. Se dice que A tiene medida
cero si verica:
Para todo > 0 existe una familia numerable de rectangulos cerrados en R
n
R
i

iN
tales
que A

i=1
R
i
y

i=1
v(R
i
) <
Conjuntos de
Medida Cero y
de Contenido
Cero


Observacion: En la denicion 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.
Ejemplos:
1) Todo conjunto numerable tiene medida cero.
En efecto, sea A = x
m

mN
, y sea > 0. Podemos escoger para cada m N un rectangulo
centrado en x
m
, R
m
, cuyo volumen sea /2
m
(por ejemplo considerando en R
n
la norma in-
nito, basta denir cada R
m
como la bola centrada en x
m
, de radio r = 1/2
n

/2
m
) Entonces
A

m=1
R
m
y

m=1
v(R
m
) =

m=1
/2
m
=
De hecho, tambien podemos sumergir A en una union numerable de rectangulos de volumen
cero, de modo que la serie

m=1
v(R
m
) = 0, tomando para cada punto x
m
A R
m
= x
m
,
puesto que el conjunto formado por el punto x
m
es un rectangulo cerrado,
x
m
= [x
m
1
, x
m
1
] [x
mn
, x
mn
]
y su volumen es cero.
En particular, el conjunto Q de los n umeros racionales es numerable, y por tanto tiene medida
cero. Analogamente Q
n
R
n
tiene medida cero.
2) Pero para tener medida cero no hace falta ser numerable, ni siquiera acotado:
Conjuntos de
Medida Cero y
de Contenido
Cero


En R
n
, 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 R
2
, consideremos la recta y = y
0
.
La semi-recta derecha A = (x, y
0
), x R la podemos sumergir en la union de los
rectangulos R
k
= [k, k + 1] [y
0

2
k+3
, y
0
+

2
k+3
], k N 0, de modo que
v(R
k
) = 1

2
k+2
y

k=0
v(R
k
) =

k=0

2
k+2
= /2
Analogamente, la semi-recta izquierda se puede sumergir en la union de los rectangulos Q
k
=
[k 1, k] [y
0

2
k+3
, y
0
+

2
k+3
], y

k=0
v(Q
k
) =

k=0

2
k+2
= /2
As pues, la recta entera se puede sumergir en una union numerable de rectangulos, con suma
de los vol umenes 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 R
k
= [k, k + 1]
[y
0
, y
0
] y Q
k
= [k 1, k] [y
0
, y
0
]
Conjuntos de
Medida Cero y
de Contenido
Cero


Denicion (Conjuntos de Contenido Cero). Sea A un conjunto de R
n
. Se dice que A tiene
contenido cero si verica:
Para todo > 0 existe una familia nita de rectangulos cerrados en R
n
R
i

k
i=1
, tal que
A
n

i=1
R
i
y
n

i=1
v(R
i
) <
Observacion:
En la denicion 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 n umeros
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.
Tambien es evidente que si A y B son dos subconjuntos con A B y B tiene contenido
cero, entonces A tiene contenido cero.
Proposicion. Sea A un conjunto compacto. Entonces A tiene medida cero si y solo si tiene
contenido cero.
Conjuntos de
Medida Cero y
de Contenido
Cero


Seg un las observaciones anteriores, solo hay que demostrar que un conjunto compacto de
medida cero tiene contenido cero.
Sea > 0, y sea R
i

iN
una familia numerable de rectangulos abiertos tales que A

i=1
R
i
y

i=1
v(R
i
) <
La familia R
i

iN
es un recubrimiento abierto de A, que es compacto, luego admite un
subrecubrimiento nito, R
i
1
, . . . , R
i
k
, de modo que A
k

j=1
R
i
j
y
k

j=1
v(R
i
j
)

i=1
v(R
i
) <
as que A tiene contenido cero.

Proposicion. 1. La union numerable de conjuntos de medida cero tiene medida cero.

2. La union nita de conjuntos de contenido cero tiene contenido cero.
Observaciones:
Conjuntos de
Medida Cero y
de Contenido
Cero


La union nita 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 A
k
= [k, k] y
0
; es evidente que cada uno de estos segmentos es un conjunto de
contenido cero, y sin embargo la recta no lo es.
Otro ejemplo es el conjunto A = Q [0, 1], que es numerable, luego es union numerable de
conjuntos de contenido cero formados por un solo punto cada uno, pero no tiene contenido cero.
La demostracion de que no tiene contenido cero se basa en el siguiente resultado:
Proposicion. 1) Sea [a, b] un intervalo real. Para toda familia nita de rectangulos R
i

i=1,...,k
tal que A
k

i=1
R
i
se tiene b a
k

i=1
v(R
i
). En particular, si a < b, [a, b] no tiene contenido
cero.
2) Sea A un rectangulo en R
n
y R
i

i=1,...,k
una familia nita de rectangulos tales que
A
k

i=1
R
i
. Entonces v(A)
k

i=1
v(R
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:
Conjuntos de
Medida Cero y
de Contenido
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:
Proposicion. Sea A un rectangulo en R
n
, y f : A R integrable, tal que f 0. Entonces

A
f = 0 si y solo si el conjunto H = x A : f(x) > 0 tiene medida cero.
Demostracion:
Pongamos H =

n=1
H
1/n
, donde H
1/n
= x A : f(x) 1/n, y veamos que cada H
1/n
tiene contenido cero.
Para n N jo, y sea > 0. Como

A
f = 0, existe P una particion de A tal que S(f, P) <
/n. Sean R
1
, . . . , R
k
los rectangulos de R
P
que cortan a H
1/n
.
H
1/n
R
i
Conjuntos de
Medida Cero y
de Contenido
Cero


Se tiene
H
1/n

k

i=1
R
i
Por otro lado, en cada R
i
hay por lo menos un punto de H
1/n
, luego M
R
i
(f) 1/n, luego
1
n
k

i=1
v(R
i
)
k

i=1
M
R
i
(f)v(R
i
) S(f, P) /n
de donde
k

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

A
f = 0

Conjuntos de
Medida Cero y
de Contenido
Cero


Proposicion. Sea A un rectangulo en R
n
, y f : A R una funcion acotada con f 0. Si
el conjunto H = x A : f(x) > 0 tiene contenido cero, entonces f es integrable en A y

A
f = 0
Demostracion:
Veamos que f verica el Criterio de Riemann:
Sea M una cota superior de [f[, y sea > 0. Como H tiene contenido cero, existe una
familia nita de rectangulos R
1
, . . . , R
k
tales que H
k

i=1
R
o
i
y
k

i=1
v(R
i
) < /M
P
R
1
R
2
H
R
1
R
2
H
Sea P la particion de A denida por los vertices de los rectangulos R
i
. Cada rectangulo de
Conjuntos de
Medida Cero y
de Contenido
Cero


P o bien esta contenido en alguno de los R
i
, o bien verica R R
o
i
= para todo i = 1, . . . , k
Si R R
o
i
= para todo i, entonces R H = , luego M
R
(f) = 0. Entonces
S(f, P) =

RR
P
M
R
(f)v(R) =

RR
P
,RR
i
,1ik
M
R
(f)v(R)
M
k

i=1
v(R
i
) M

M
=
Y como f 0, S(f, P) 0, luego
S(f, P) S(f, P) S(f, P)
por tanto f verica el Criterio de Riemann, y es integrable en A. Ademas,
0

A
f S(f, P)
para todo > 0, luego tiene que ser

A
f = 0

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
f(x) =

1 si x Q [0, 1]
0 si x , Q [0, 1]
Conjuntos de
Medida Cero y
de Contenido
Cero


Proposicion. Sea A un rectangulo en R
n
y f, g : A R dos funciones acotadas, tales que el
conjunto H = x A : f(x) ,= g(x) tiene contenido cero. Entonces f es integrable en A si y
solo si g es integrable en A, y ademas

A
f =

A
g
Demostracion:
Consideremos la funcion h = f g, y las funciones h
+
= maxh, 0 y h

= minh, 0.
h
+
(x) 0 para todo x A, y h

(x) 0 para todo x A.

Ademas x A : h
+
(x) > 0 x A : h(x) ,= 0 H, luego tiene contenido cero. Por
la proposicion anterior, h
+
es integrable en A, y

A
h
+
= 0.
Analogamente x A : h

(x) > 0 x A : h(x) ,= 0 H, luego tiene contenido

cero. Por la proposicion anterior, h

es integrable en A, y

A
h

= 0.
Por tanto h = h
+
h

es integrable en A, y

A
h = 0.
Por ultimo, como f = g + h y g = f h, se tiene que f es integrable si y solo si g lo es, y
ademas

A
f =

A
g +

A
h =

A
g