to get the file

Proposición. Sea A un rectángulo en Rn , y sea f : A −→ R una función continua. Entonces f
es integrable en A.
Conjuntos de
Medida Cero y
de Contenido
Cero
Demostración:
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
|f (x) − f (y)| < /v(A).
Consideremos una partición P de A de modo que cada rectángulo tenga lado menor que δ.
Si R ∈ <P es un rectángulo cualquiera definido por P , se tiene:
• 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
J
I
MR (f ) − mR (f ) = f (x0 ) − f (y0 ) ≤ |f (x0 ) − f (y0 )| ≤ /v(A)
En consecuencia
S(f, P ) − S(f, P ) =
X
R∈<P
(MR (f ) − mR (f ))v(R) ≤
X
v(R) = v(A) R∈<
P
Ası́ pues, f cumple el criterio de Riemann, y por tanto es integrable.
Conjuntos de
Medida Cero y
de Contenido
Cero
JJ
II
J
I
El resultado muestra que la integral de Riemann es una generalización de la integral de
Cauchy de funciones continuas. Queda abierto el problema de si ambas integrales coinciden. Más
concretamente, se trata de estudiar si hay alguna otra función integrable que no sea continua (o
continua a trozos, con un número finito de discontinuidades).
Este problema quedó resuelto por Lebesgue hacia 1920, gracias a una nueva interpretación
de los conjuntos de Rn , basada en la descripción analı́tica de los conceptos de área y volumen
de un cuerpo geométrico. Lebesgue introdujo una teorı́a nueva, llamada Teorı́a de la Medida,
que establece una ı́ntima relación entre los conjuntos y las funciones integrables en ellos. En
este capı́tulo vamos a ver sólo una pequeña aplicación de la teorı́a, que nos permite resolver el
problema de la integrabilidad Riemann.
Se trata de medir el “tamaño” del conjunto de puntos de discontinuidad de una función, de
una manera que no tiene que ver con conceptos métricos (acotado o no acotado,...), topológicos
(compacto,...), algebraicos (finito, numerable,...)
Definición (Conjuntos de Medida Cero). Sea A un conjunto en Rn . Se dice que A tiene medida
cero si verifica:
Para todo > 0 existe una familia numerable de rectángulos cerrados en Rn {Ri }i∈N tales
∞
∞
[
X
que A ⊆
Ri y
v(Ri ) < i=1
i=1
Observación: En la definición pueden sustituirse los rectángulos cerrados por rectángulos
abiertos o semiabiertos.
Otra observación evidente, es que si A y B son dos subconjuntos, con A ⊆ B, y B tiene
medida cero, A también tiene medida cero.
Conjuntos de
Medida Cero y
de Contenido
Cero
Ejemplos:
1) Todo conjunto numerable tiene medida cero.
En efecto, sea A = {xm }m∈N , y sea > 0. Podemos escoger para cada m ∈ N un rectángulo
centrado en xm , Rm , cuyo volumen sea /2m (por ejemplo considerando enpRn la norma infinito, 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, también podemos
P∞ sumergir A en una unión numerable de rectángulos 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 rectángulo cerrado,
JJ
II
J
I
{xm } = [xm1 , xm1 ] × · · · × [xmn , xmn ]
y su volumen es cero.
En particular, el conjunto Q de los números racionales es numerable, y por tanto tiene medida
cero. Análogamente 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 unión de los
, y0 + 2k+3
], k ∈ N ∪ {0}, de modo que
rectángulos Rk = [k, k + 1] × [y0 − 2k+3
Conjuntos de
Medida Cero y
de Contenido
Cero
v(Rk ) = 1 ·
y
2k+2
∞
X
∞
X
= /2
v(Rk ) =
k+2
2
k=0
k=0
Análogamente, la semi-recta izquierda se puede sumergir en la unión de los rectángulos Qk =
[−k − 1, −k] × [y0 − 2k+3
, y0 + 2k+3
], y
∞
X
∞
X
v(Qk ) =
= /2
2k+2
k=0
k=0
JJ
II
J
I
Ası́ pues, la recta entera se puede sumergir en una unión numerable de rectángulos, con suma
de los volúmenes menor que También en este caso se puede hacer otra demostración sumergiendo A en una unión numerable de rectángulos de volumen cero, escogiendo por ejemplo los rectángulos Rk = [k, k + 1] ×
[y0 , y0 ] y Qk = [−k − 1, −k] × [y0 , y0 ]
Definición (Conjuntos de Contenido Cero). Sea A un conjunto de Rn . Se dice que A tiene
contenido cero si verifica:
Para todo > 0 existe una familia finita de rectángulos cerrados en Rn {Ri }ki=1 , tal que
Conjuntos de
Medida Cero y
de Contenido
Cero
JJ
II
J
I
A⊆
n
[
i=1
Ri
y
n
X
v(Ri ) < i=1
Observación:
En la definición pueden sustituirse los rectángulos cerrados por rectángulos abiertos o semiabiertos.
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úmeros
naturales N en R es de medida cero por ser numerable, pero no es de contenido cero por no ser
acotado. Más adelante veremos otros ejemplos.
También es evidente que si A y B son dos subconjuntos con A ⊆ B y B tiene contenido
cero, entonces A tiene contenido cero.
Proposición. Sea A un conjunto compacto. Entonces A tiene medida cero si y sólo si tiene
contenido cero.
Según las observaciones anteriores, sólo hay que demostrar que un conjunto compacto de
medida cero tiene contenido cero.
∞
[
Sea > 0, y sea {Ri }i∈N una familia numerable de rectángulos abiertos tales que A ⊆
Ri
Conjuntos de
Medida Cero y
de Contenido
Cero
y
∞
X
i=1
v(Ri ) < i=1
La familia {Ri }i∈N es un recubrimiento abierto de A, que es compacto, luego admite un
k
[
subrecubrimiento finito, {Ri1 , . . . , Rik }, de modo que A ⊆
Rij y
j=1
k
X
j=1
v(Rij ) ≤
∞
X
v(Ri ) < i=1
ası́ que A tiene contenido cero.
JJ
II
J
I
Proposición.
1. La unión numerable de conjuntos de medida cero tiene medida cero.
2. La unión finita de conjuntos de contenido cero tiene contenido cero.
Observaciones:
Conjuntos de
Medida Cero y
de Contenido
Cero
La unión finita de conjuntos de contenido cero tiene contenido cero, y la unión numerable
de conjuntos de contenido cero tendrá medida cero, pero puede no tener contenido cero. Como
ejemplo podemos poner otra vez el de la recta, que se puede describir como la unión 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.
Otro ejemplo es el conjunto A = Q ∩ [0, 1], que es numerable, luego es unión numerable de
conjuntos de contenido cero formados por un sólo punto cada uno, pero no tiene contenido cero.
La demostración de que no tiene contenido cero se basa en el siguiente resultado:
Proposición. 1) Sea [a, b] un intervalo real. Para toda familia finita de rectángulos {Ri }i=1,...,k
k
k
[
X
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 rectángulo en Rn y {Ri }i=1,...,k una familia finita de rectángulos tales que
k
k
[
X
Ri . Entonces v(A) ≤
v(Ri )
A⊆
JJ
II
J
I
i=1
i=1
Como consecuencia, los conjuntos de contenido cero y los de medida cero tienen que tener
interior vacı́o.
El recı́proco tampoco es cierto. Hay conjuntos con interior vacı́o, que no tienen ni contenido
cero ni medida cero:
Por ejemplo A = Q ∩ [0, 1] tiene interior vacı́o, y no tiene contenido cero. Y B = [0, 1] \ Q
tiene interior vacı́o y no tiene medida cero.
Vamos a ver algunos resultados en los que intervienen de forma fundamental los conjuntos
de medida cero:
Conjuntos de
Medida Cero y
de Contenido
Cero
Proposición. Sea A un rectángulo en Rn , y f : A −→ R integrable, tal que f ≥ 0. Entonces
Z
f = 0 si y sólo si el conjunto H = {x ∈ A : f (x) > 0} tiene medida cero.
A
Demostración:
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 partición de A tal que S(f, P ) <
A
/n. Sean R1 , . . . , Rk los rectángulos de RP que cortan a H1/n .
JJ
II
J
I
Ri
H1/n
Se tiene
H1/n ⊆
k
[
Ri
i=1
Conjuntos de
Medida Cero y
de Contenido
Cero
Por otro lado, en cada Ri hay por lo menos un punto de H1/n , luego MRi (f ) ≥ 1/n, luego
k
k
X
1X
v(Ri ) ≤
MRi (f )v(Ri ) ≤ S(f, P ) ≤ /n
n i=1
i=1
de donde
k
X
v(Ri ) ≤ i=1
JJ
II
J
I
Ası́ pues, cada H1/n tiene contenido cero, y H que es unión numerable de conjuntos de
contenido cero será de medida cero.
Recı́procamente, sea P es una partición de A, y R uno de los rectángulos de RP . Como H
tiene interior vacı́o, R tiene puntos que no están en H, donde por tanto la función vale cero, ası́
que mR (f ) = 0. En consecuencia,
para toda partición P de A se verifica S(f, P ) = 0. Y como
R
f es integrable, se tiene A f = 0
Proposición. Sea A un rectángulo en Rn , y f : A −→ R una función acotada con f ≥ 0. Si
el
Z conjunto H = {x ∈ A : f (x) > 0} tiene contenido cero, entonces f es integrable en A y
f =0
A
Conjuntos de
Medida Cero y
de Contenido
Cero
Demostración:
Veamos que f verifica el Criterio de Riemann:
Sea M una cota superior de |f |, y sea > 0. Como H tiene contenido cero, existe una
k
k
[
X
o
familia finita de rectángulos R1 , . . . , Rk tales que H⊆
y
Ri
v(Ri ) < /M
i=1
i=1
P
R2
R2
H
JJ
II
J
I
R1
H
R1
Sea P la partición de A definida por los vértices de los rectángulos Ri . Cada rectángulo de
P o bien está 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
MR (f )v(R) ≤
MR (f )v(R) =
S(f, P ) =
R∈RP
Conjuntos de
Medida Cero y
de Contenido
Cero
≤ M
k
X
R∈RP ,R⊆Ri ,1≤i≤k
=
M
v(Ri ) ≤ M
i=1
Y como f ≥ 0, S(f, P ) ≥ 0, luego
S(f, P ) − S(f, P ) ≤ S(f, P ) ≤ por tanto f verifica el Criterio de Riemann, y es integrable en A. Además,
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 sólo tiene medida cero: en concreto, no se puede deducir de
que H tenga medida cero que f sea integrable. Como ejemplo, puede considerarse la función
1
si x ∈ Q ∩ [0, 1]
f (x) =
0
si x 6∈ Q ∩ [0, 1]
Proposición. Sea A un rectángulo en Rn y f, g : A −→ R dos funciones acotadas, tales que el
conjunto H = {x ∈ A : f (x) 6= g(x)} Ztiene contenido
cero. Entonces f es integrable en A si y
Z
sólo si g es integrable en A, y además
f=
A
Conjuntos de
Medida Cero y
de Contenido
Cero
g
A
Demostración:
Consideremos la función h = f − g, y las funciones h+ = max{h, 0} y h− = − min{h, 0}.
h+ (x) ≥ 0 para todo x ∈ A, y h− (x) ≥ 0 para todo x ∈ A.
Además {x ∈ A : h+ (x) > 0} ⊆ {x ∈ A : h(x)
Z 6= 0} ⊆ H, luego tiene contenido cero. Por
h+ = 0.
la proposición anterior, h+ es integrable en A, y
A
Análogamente {x ∈ A : h− (x) > 0} ⊆ {x ∈ A : h(x)
Z 6= 0} ⊆ H, luego tiene contenido
cero. Por la proposición anterior, h− es integrable en A, y
h− = 0.
A
Z
Por tanto h = h+ − h− es integrable en A, y
h = 0.
A
JJ
II
J
I
Por último,
como
f Z= g + hZ y g = f − h, se tiene que f es integrable si y sólo si g lo es, y
Z
Z
f=
g+
h=
g
además
A
A
A
A