Conjuntos

Medibles
Jordan.


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 parti-
ciones. 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 denicion
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 denicion que damos aqu no es exactamente esa, sino que aprovecha la denicion
que ya tenemos de las funciones integrables para dar una descripcion mas rapida de la clase de
los conjuntos medibles.
Denicion (Funcion Caracterstica).
Sea M un subconjunto de R
n
. Se llama funcion caracterstica de M a la funcion
M
: R
n
R
denida por:

M
(x) =

1 si x M
0 si x M
Observaciones:
Las funciones caractersticas tienen las siguientes propiedades:
Conjuntos
Medibles
Jordan.


1.-
R
n
\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,
Proposicion. Sea M un conjunto en R
n
. El conjunto de puntos de discontinuidad de
M
es la
frontera de M.
Denicion (Conjunto Medible Jordan).
Un conjunto M R
n
se dice medible Jordan si es acotado, y su frontera, Fr(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:
Teorema.
Un conjunto M R
n
es medible Jordan si y solo si existe un rectangulo A que lo contiene, tal
que
M
es integrable en A.
Conjuntos
Medibles
Jordan.


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:
M A
B
A B
Si consideramos las particiones de A y de B denidas por los vertices de A B, P
A
y P
B
, y
Conjuntos
Medibles
Jordan.


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

M
=

RR
P
A

M
=
=

AB

M
+

RR
P
A
,R=AB

M
=
=

AB

M
=
=

AB

M
+

RR
P
B
,R=AB

M
=
=

RR
P
B

M
=

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


Esto nos permite dar la siguiente denicion de volumen de un conjunto, que generaliza el
concepto de volumen de un rectangulo como producto de las longitudes de sus lados:
Denicion (Volumen).
Sea M un conjunto medible Jordan. Se llama volumen de M a
v(M) =

M
donde A es un rectangulo cualquiera que contenga a M.
Observaciones:
1.- Si R es un rectangulo, es medible Jordan, y la denicion de volumen como conjunto
medible coincide con la denicion usual de volumen de un rectangulo.
v(R) =

R
1
2.- Los conjuntos acotados en R
n
cuya frontera se puede describir como una union nita de
gracas de funciones integrables denidas en rectangulos de R
n1
son medibles Jordan (proble-
mas)
3.- Los conjuntos de medida cero pueden no ser medibles-Jordan, incluso aunque sean acota-
dos: 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.
Conjuntos
Medibles
Jordan.


Proposicion. Un conjunto M R
n
es de contenido cero si y solo si es medible Jordan, y tiene
volumen cero
Demostracion:
Supongamos en primer lugar que M tiene contenido cero. En particular M es acotado, ya
que tiene que poder sumergirse en una union nita 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 R
n
:
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 :
v(M) =

M
= 0
(este resultado se demostro dos captulos antes, entre las propiedades de los conjuntos de medida
cero y de contenido cero)
Recprocamente, supongamos que M es medible Jordan y que su volumen es cero. Sea A un
rectangulo cualquiera que contenga a M. Estamos diciendo entonces que v(M) =

M
= 0
Aplicando la denicion de la integral como el nmo 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) < .
Conjuntos
Medibles
Jordan.


Sean R
1
, . . . R
k
los rectangulos denidos por esa particion P que cortan a M. Entonces
M
k

i=1
R
i
Ademas en cada rectangulo R
i
hay alg un punto de M, donde la funcion
M
vale uno, luego
M
R
i
(f) = 1, y por tanto
k

i=1
v(R
i
) =
k

i=1
M
R
i
(f)v(R
i
) S(
M
, P) <
Luego M tiene contenido cero, como queramos demostrar.

Ademas, tienen otras propiedades:

Proposicion. 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 a un, 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.
Conjuntos
Medibles
Jordan.


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
Fr(B) = B \ B
o
M \ M
o
= Fr(M)
as que Fr(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:
v(B) =

B
=

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

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.
Proposicion. a) Sean M y N medibles-Jordan. Entonces los conjuntos MN, MN, M\N,
son medibles Jordan, y ademas
v(M N) = v(M) +v(N) v(M N)
Conjuntos
Medibles
Jordan.


En general, las operaciones conjuntistas union, interseccion y diferencia, con una cantidad
nita de conjuntos medibles-Jordan, dan lugar a un conjunto medible-Jordan.
b) Sea M medible-Jordan, y x R
n
. Entonces x+M es medible-Jordan, y v(x+M) = v(M)
es decir, el volumen es invariante por traslaciones.
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.


Fr(M \ N)
Fr(M N)
N
Fr(M N)
M
M
N
N
M
Por tanto los tres conjuntos son medibles Jordan.
Ademas, por las propiedades de las funciones caractersticas, si A es un rectangulo que con-
Conjuntos
Medibles
Jordan.


tiene a M N, tenemos
v(M N) =

MN
=

A
(
M
+
N

MN
=
=

M
+

MN
= v(M) +v(N) v(M N)
b) Observemos primero que si A es un rectangulo cualquiera en R
n
, A = [a
1
, b
1
] [a
n
, b
n
],
y x = (x
1
, . . . , x
n
) es un punto, el conjunto x +A es un rectangulo, y v(x +A) = v(A)
Conjuntos
Medibles
Jordan.


A
x +A
x
a
1 b
1
x
1
+a
1
x
1 x
1
+b
1
a
2
b
2
x
2
x
2
+a
2
x
2
+b
2
x +A = {(x +y, y A} =
= {(x
1
+y
1
, . . . , x
n
+y
n
), y = (y
1
. . . , y
n
) A} =
= [x
1
+a
1
, x
1
+b
1
] [x
n
+a
n
, x
n
+b
n
]
Conjuntos
Medibles
Jordan.


y
v(x +A) =
n

i=1
(x
i
+b
i
x
i
a
i
) =
n

i=1
(b
i
a
i
) = v(A)
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

x+M
(y) =

1 si y x +M
0 si y x +M
=
=

1 si y x M
0 si y x M
=
M
(y x)
entonces
y Fr(x +M)
x+M
no es continua en y

M
no es continua en y x
y x Fr(M) y x +Fr(M)
Como Fr(M) tiene contenido cero, dado > 0 existe una familia nita de rectangulos
R
1
, . . . R
k
tales que Fr(M)
k

i=1
R
i
y la suma de sus vol umenes
k

i=1
v(R
i
) es menor que .
Conjuntos
Medibles
Jordan.


Pero entonces
x +Fr(M)
k

i=1
(x +R
i
)
union nita de rectangulos, y la suma de los vol umenes es
k

i=1
v(x +R
i
) =
k

i=1
v(R
i
) <
Luego Fr(x +M) = x +Fr(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 = {P
1
, . . . , P
n
}, entonces x + P = {x
1
+ P
1
, . . . , x
n
+ P
n
} es una particion de x + A,
(obtenida trasladando cada punto de las particiones de los segmentos [a
1
, b
i
] sumandoles x
i
, la
coordenada i-esima de x). Y los rectangulos denidos por la particion x + P son todos de la
forma x +R con R un rectangulo denido por P en A
Conjuntos
Medibles
Jordan.


A
x +A
x
a
1 b
1
x
1
+a
1
x
1 x
1
+b
1
a
2
b
2
x
2
x
2
+a
2
x
2
+b
2
P
1
x
1
+P
1
x
2
+
P
2
P
2
R
x +R
Ademas, si R R
P
,
m
x+R
(
x+M
) = inf{
x+M
(y), y x +R} =
= inf{
M
(y x), y x M} = m
R
(
M
)
Conjuntos
Medibles
Jordan.


y analogamente
M
x+R
(
x+M
) = sup{
x+M
(y), y x +R} =
= sup{
M
(y x), y x M} = M
R
(
M
)
Entonces
S(
M
, P) =

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

RR
P
m
x+R
(
x+M
)v(x +R) =
= S(
x+M
, x +P)

x+A

x+M
S(
x+M
, x +P) =
=

RR
P
M
x+R
(
x+M
)v(x +R) =

RR
P
M
R
(
M
)v(R) =
= S(
M
, P)
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 nmos,
queda
v(M) =

M
=

x+A

x+M
= v(x +M)
Esto termina la demostracion.
Conjuntos
Medibles
Jordan.

Para terminar este tema, la denicion 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:
Denicion (Integral sobre conjuntos medibles-Jordan).
Sea f : R
n
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 alg un rectangulo A que contenga a M.
En este caso, se llama integral de f en M a

M
f =

A
f
M
Observaciones:
La denicion es correcta, en el sentido de que no depende del rectangulo A que contiene a
M.
Ademas se pueden demostrar facilmente algunas propiedades, como por ejemplo que si M y
N son dos conjuntos medibles Jordan,

MN
f =

M
f +

N
f

MN
f
Conjuntos
Medibles
Jordan.
Contenido


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 vol umenes de conjuntos.