Conjuntos

Medibles
Jordan.

JJ

II

La construccion de la integral de Riemann que hemos estudiado se basa en los rectangulos

como dominio de las funciones integrables, por la comodidad de sub-dividirlos mediante particiones. Es evidente que un procedimiento de integracion debe abarcar dominios mas generales.
La posibilidad de utilizar una clase mas amplia de conjuntos, pasa por la posibilidad de
utilizar familias de rectangulos para descomponer el conjunto. Esta idea da lugar a la definicion
de los llamados Conjuntos Medibles Jordan, que son conjuntos cuyo area de puede aproximar
mediante la construccion de polgonos formados como union de rectangulos, contenidos en el,
o que lo contengan, siguiendo los metodos de calculo de areas de los antiguos matematicos
griegos. La definicion que damos aqu no es exactamente esa, sino que aprovecha la definicion
que ya tenemos de las funciones integrables para dar una descripcion mas rapida de la clase de
los conjuntos medibles.
Definici
on (Funcion Caracterstica).
Sea M un subconjunto de Rn . Se llama funcion caracterstica de M a la funcion M : Rn R
definida por:

1
si x M
M (x) =
0
si x 6 M
Observaciones:
Las funciones caractersticas tienen las siguientes propiedades:

Conjuntos
Medibles
Jordan.

1.- Rn \M = 1 M
2.- AB = A B
3.- AB = A + B AB
4.- A\B = A AB = A (1 B )
5.- (M )2 = M
Y ademas,
Proposici
on. Sea M un conjunto en Rn . El conjunto de puntos de discontinuidad de M es la
frontera de M .
Definici
on (Conjunto Medible Jordan).
Un conjunto M Rn se dice medible Jordan si es acotado, y su frontera, F r(M ), tiene contenido
cero.
Observese que la frontera de un conjunto acotado es un conjunto compacto, as que tiene
contenido cero si y solo si tiene medida cero. Eso nos lleva a la siguiente caracterizacion, basada
en el Teorema de Lebesgue:

JJ

II

Teorema.
Un conjunto M Rn es medible Jordan si y solo si existe un rectangulo A que lo contiene, tal
que M es integrable en A.

Observaciones:
De hecho, si existe un rectangulo A que contiene a M en el que M es integrable, entonces
tambien es integrable en cualquier otro rectangulo que lo contenga, y el valor de la integral es el
mismo:
Conjuntos
Medibles
Jordan.

AB

JJ

II

B
Si consideramos las particiones de A y de B definidas por los vertices de A B, PA y PB , y

aplicamos las propiedades de la integral de Riemann, que ya hemos demostrado,

Z
X Z
M =
M =
A

RRPA

Z
Conjuntos
Medibles
Jordan.

M +

=
AB

RRPA ,R6=AB

Z
M =
R

Z
=

M =
ZAB

M +
AB

X
RRPB ,R6=AB

X Z
RRPB

Z
M =
R

Z
M =

M
B

ya que en los rectangulos distintos de A B la funcion M vale cero.

JJ

II

Esto nos permite dar la siguiente definicion de volumen de un conjunto, que generaliza el
concepto de volumen de un rectangulo como producto de las longitudes de sus lados:

Conjuntos
Medibles
Jordan.

Definici
on (Volumen).
Sea M un conjunto medible Jordan. Se llama volumen de M a
Z
M
v(M ) =
A

donde A es un rectangulo cualquiera que contenga a M .

Observaciones:
1.- Si R es un rectangulo, es medible Jordan, y la definicion de volumen como conjunto
medible coincide con la definicion usual de volumen de un rectangulo.
Z
1
v(R) =
R

JJ

II

2.- Los conjuntos acotados en Rn cuya frontera se puede describir como una union finita de
graficas de funciones integrables definidas en rectangulos de Rn1 son medibles Jordan (problemas)
3.- Los conjuntos de medida cero pueden no ser medibles-Jordan, incluso aunque sean acotados: por ejemplo, el conjunto Q [0, 1] en R, tiene medida cero, ya que es numerable, pero no
es medible Jordan, puesto que su frontera es todo el intervalo [0, 1], que no tiene medida cero.

Proposici
on. Un conjunto M Rn es de contenido cero si y solo si es medible Jordan, y tiene
volumen cero

Conjuntos
Medibles
Jordan.

Demostracion:
Supongamos en primer lugar que M tiene contenido cero. En particular M es acotado, ya
que tiene que poder sumergirse en una union finita de rectangulos cerrados. Ademas tambien la
adherencia de M , M , tiene contenido cero, y por lo tanto la frontera, que es un subconjunto de
la adherencia, tambien tiene contenido cero. Por tanto M es medible Jordan.
Ademas si A es un rectangulo que contiene a M , el conjunto de puntos donde la funcion M
es positiva es M , M = {x Rn : M (x) > 0} y por hipotesis tiene contenido cero, luego M
es integrable en A (ya lo sabamos, por ser M medible Jordan) y la integral vale cero :
Z
v(M ) =
M = 0
A

(este resultado se demostro dos captulos antes, entre las propiedades de los conjuntos de medida
cero y de contenido cero)
JJ

II

Recprocamente, supongamos que M es medible Jordan y que su volumen es cero.

R Sea A un
rectangulo cualquiera que contenga a M . Estamos diciendo entonces que v(M ) = A M = 0
Aplicando la definicion de la integral como el nfimo de las sumas superiores de Riemann,
dado  > 0 existira alguna particion P de A tal que la suma superior asociada sea menor que ,
S(M , P ) < .

Sean R1 , . . . Rk los rectangulos definidos por esa particion P que cortan a M . Entonces
M

k
[

Ri

i=1

Conjuntos
Medibles
Jordan.

Ademas en cada rectangulo Ri hay algun punto de M , donde la funcion M vale uno, luego
MRi (f ) = 1, y por tanto
k
X
i=1

v(Ri ) =

k
X

MRi (f )v(Ri ) S(M , P ) < 

i=1

Luego M tiene contenido cero, como queramos demostrar.


Ademas, tienen otras propiedades:
JJ

II

Proposici
on. Si M es medible-Jordan, tambien lo son su interior y su adherencia, M o y M , y
ademas v(M o ) = v(M ) = v(M ). Mas aun, si B es un conjunto tal que M o B M , entonces
B es medible-Jordan y v(B) = v(M )
Demostracion:
Basta logicamente que demostremos la segunda parte del resultado, ya que la primera es un
caso particular, cuando B = M o o cuando B = M .

En primer lugar, si M es medible Jordan, en particular es acotado, luego la adherencia M

tambien es acotado, y por tanto B M tambien es acotado.
Ademas M o M 0 y B M , luego
F r(B) = B \ B o M \ M o = F r(M )
Conjuntos
Medibles
Jordan.

as que F r(B) tambien tiene contenido cero. Por tanto B es medible Jordan.
Ademas, las dos funciones caractersticas B y M son iguales salvo quiza en puntos de la
frontera de M , que es un conjunto de contenido cero, luego las dos tienen misma integral:
Z
Z
v(B) =
B =
M = v(M )
A

donde A es un rectangulo cualquiera que contenga a M , y por tanto a M y a B.

JJ

II


Observese que en este resultado, los conjuntos B y M se diferencian solo en puntos de la
frontera de M : Si M es medible Jordan, da igual considerar su interior, su adherencia, o poner
o quitar alguna parte de su frontera, que seguira siendo medible Jordan.
Proposici
on. a) Sean M y N medibles-Jordan. Entonces los conjuntos M N, M N, M \ N ,
son medibles Jordan, y ademas
v(M N ) = v(M ) + v(N ) v(M N )

En general, las operaciones conjuntistas union, interseccion y diferencia, con una cantidad
finita de conjuntos medibles-Jordan, dan lugar a un conjunto medible-Jordan.
b) Sea M medible-Jordan, y x Rn . Entonces x+M es medible-Jordan, y v(x+M ) = v(M )
es decir, el volumen es invariante por traslaciones.
Conjuntos
Medibles
Jordan.

JJ

II

Demostracion:
a) Si M y N son medibles Jordan, entonces son acotados, y por tanto M N , M N y
M \ N tambien son acotados.
Ademas las fronteras de los tres conjuntos M N , M N y M \ N estan contenidas en la
union de la frontera de M y la frontera de N , as que todas tienen contenido cero.

Conjuntos
Medibles
Jordan.

F r(M N )

F r(M N )
M

JJ

II

F r(M \ N )

Por tanto los tres conjuntos son medibles Jordan.

Ademas, por las propiedades de las funciones caractersticas, si A es un rectangulo que con-

tiene a M N , tenemos
Z
Z
v(M N ) =
M N = (M + N M N =
A
Z
Z A
Z
M +
N
M N = v(M ) + v(N ) v(M N )
=
Conjuntos
Medibles
Jordan.

JJ

II

b) Observemos primero que si A es un rectangulo cualquiera en Rn , A = [a1 , b1 ] [an , bn ],

y x = (x1 , . . . , xn ) es un punto, el conjunto x + A es un rectangulo, y v(x + A) = v(A)

x2 + b2

Conjuntos
Medibles
Jordan.

x+A

x2 + a2
b2

x2

x
a2

a1

JJ

II

b1

x1 x1 + a1

x1 + b1

x + A = {(x + y, y A} =
= {(x1 + y1 , . . . , xn + yn ), y = (y1 . . . , yn ) A} =
= [x1 + a1 , x1 + b1 ] [xn + an , xn + bn ]

y
n
n
Y
Y
v(x + A) =
(xi + bi xi ai ) =
(bi ai ) = v(A)
i=1

Conjuntos
Medibles
Jordan.

JJ

II

i=1

Entonces si M es medible Jordan, y A es un rectangulo que contiene a M , x + A contiene a

x + M , y por tanto x + M es acotado tambien.
Ademas, utilizando la descripcion de la frontera de un conjunto como el conjunto de puntos
de discontinuidad de su funcion caracterstica,y teniendo en cuenta que

1
si y x + M
x+M (y) =
=
0
si y 6 x + M

1
si y x M
=
= M (y x)
0
si y x 6 M
entonces
y F r(x + M ) x+M no es continua en y
M no es continua en y x
y x F r(M ) y x + F r(M )
Como F r(M ) tiene contenido cero, dado  > 0 existe una familia finita de rectangulos
k
k
[
X
R1 , . . . Rk tales que F r(M )
Ri y la suma de sus volumenes
v(Ri ) es menor que .
i=1

i=1

Pero entonces
x + F r(M )

k
[

(x + Ri )

i=1

Conjuntos
Medibles
Jordan.

union finita de rectangulos, y la suma de los volumenes es

k
X
i=1

JJ

II

v(x + Ri ) =

k
X

v(Ri ) < 

i=1

Luego F r(x + M ) = x + F r(M ) tambien tiene contenido cero.

As pues, x + M es medible Jordan. Nos queda por demostrar que ambos conjuntos tienen
el mismo volumen.
Ahora bien, escojamos un rectangulo A que contenga a M . Si P es una particion de A,
P = {P1 , . . . , Pn }, entonces x + P = {x1 + P1 , . . . , xn + Pn } es una particion de x + A,
(obtenida trasladando cada punto de las particiones de los segmentos [a1 , bi ] sumandoles xi , la
coordenada i-esima de x). Y los rectangulos definidos por la particion x + P son todos de la
forma x + R con R un rectangulo definido por P en A

x2 + b2

x2 + P2

x+A

x2 + a2
b2

x2

P2

Conjuntos
Medibles
Jordan.

x+R

R
a2

a1

JJ

II

P1

b1

x1 x1 + a1

x1 + P1

Ademas, si R RP ,
mx+R (x+M ) = inf{x+M (y), y x + R} =
= inf{M (y x), y x M } = mR (M )

x1 + b1

y analogamente
Mx+R (x+M ) = sup{x+M (y), y x + R} =
= sup{M (y x), y x M } = MR (M )
Entonces
Conjuntos
Medibles
Jordan.

S(M , P ) =

mR (M )v(R) =

RRP

mx+R (x+M )v(x + R) =

RRP

Z
= S(x+M , x + P )
x+M S(x+M , x + P ) =
x+A
X
X
=
Mx+R (x+M )v(x + R) =
MR (M )v(R) =
RRP

RRP

= S(M , P )

JJ

II

Esta cadena de desigualdades es cierta para cualquier particion P de A. Tomando en la parte

izquierda supremos al variar P entre todas las posibles particiones de A, y a la derecha nfimos,
queda
Z
Z
v(M ) =
M =
x+M = v(x + M )
A

x+A

Esto termina la demostracion.


Para terminar este tema, la definicion de esta clase de conjuntos nos permite generalizar la
construccion de la integral de Riemann a una clase mucho mas amplia de conjuntos que los
rectangulos con los que hemos trabajado hasta ahora:
Conjuntos
Medibles
Jordan.

Definici
on (Integral sobre conjuntos medibles-Jordan).
Sea f : Rn R una funcion acotada, y M un conjunto medible -Jordan. Se dice que f es
integrable en M si el producto f M es integrable en algun rectangulo A que contenga a M .
En este caso, se llama integral de f en M a
Z
Z
f=
f M
M

Observaciones:
La definicion es correcta, en el sentido de que no depende del rectangulo A que contiene a
JJ

II

M.

Ademas se pueden demostrar facilmente algunas propiedades, como por ejemplo que si M y
N son dos conjuntos medibles Jordan,
Z
Z
Z
Z
f=
f+
f
f
M N

M N

y si M y N son disjuntos, la integral en M N es la suma de las integrales en M y en N . Esta

propiedad se llama aditividad respecto al dominio de integracion, y es una de las propiedades
fundamentales de la integral, si ha de servir para medir volumenes de conjuntos.
Conjuntos
Medibles
Jordan.

Contenido

JJ

II