La construcción de la integral de Riemann que hemos estudiado se basa en los rectángulos

como dominio de las funciones integrables, por la comodidad de sub-dividirlos mediante parti-
ciones. Es evidente que un procedimiento de integración debe abarcar dominios más generales.
La posibilidad de utilizar una clase más amplia de conjuntos, pasa por la posibilidad de
utilizar familias de rectángulos para descomponer el conjunto. Esta idea da lugar a la definición
Conjuntos de los llamados Conjuntos Medibles Jordan, que son conjuntos cuyo área de puede aproximar
Medibles mediante la construcción de polı́gonos formados como unión de rectángulos, contenidos en él,
Jordan. o que lo contengan, siguiendo los métodos de cálculo de áreas de los antiguos matemáticos
griegos. La definición que damos aquı́ no es exactamente esa, sino que aprovecha la definición
que ya tenemos de las funciones integrables para dar una descripción más rápida de la clase de
los conjuntos medibles.
Definición (Función Caracterı́stica).
Sea M un subconjunto de Rn . Se llama función caracterı́stica de M a la función χM : Rn −→ R
definida por:

1 si x ∈ M
JJ II χM (x) =
0 si x 6∈ M
J I

Observaciones:

Las funciones caracterı́sticas tienen las siguientes propiedades:

 1.- χRn \M = 1 − χM
2.- χA∩B = χA · χB
3.- χA∪B = χA + χB − χA∩B
4.- χA\B = χA − χA∩B = χA (1 − χB )
5.- (χM )2 = χM
Conjuntos Y además,
Medibles Proposición. Sea M un conjunto en Rn . El conjunto de puntos de discontinuidad de χM es la
Jordan. frontera de M .

Definición (Conjunto Medible Jordan).

Un conjunto M ⊆ Rn se dice medible Jordan si es acotado, y su frontera, F r(M ), tiene contenido
cero.

Obsérvese que la frontera de un conjunto acotado es un conjunto compacto, ası́ que tiene
contenido cero si y sólo si tiene medida cero. Eso nos lleva a la siguiente caracterización, basada
en el Teorema de Lebesgue:
JJ II
J I Teorema.
Un conjunto M ⊆ Rn es medible Jordan si y sólo si existe un rectángulo A que lo contiene, tal
que χM es integrable en A.
 Observaciones:

De hecho, si existe un rectángulo A que contiene a M en el que χM es integrable, entonces

también es integrable en cualquier otro rectángulo que lo contenga, y el valor de la integral es el
mismo:
Conjuntos
Medibles
Jordan. A∩B

M A

JJ II
J I B
Si consideramos las particiones de A y de B definidas por los vértices 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 R∈RPA R
Z X Z
= χM + χM =
Conjuntos A∩B R∈RPA ,R6=A∩B R
Medibles Z
Jordan. = χM =
ZA∩B X Z
= χM + χM =
A∩B R∈RPB ,R6=A∩B R

X Z Z
= χM = χM
R∈RPB R B

ya que en los rectángulos distintos de A ∩ B la función χM vale cero.

JJ II
J I
 Esto nos permite dar la siguiente definición de volumen de un conjunto, que generaliza el
concepto de volumen de un rectángulo como producto de las longitudes de sus lados:
Definición (Volumen).
Sea M un conjunto medible Jordan. Se llama volumen de M a
Z
Conjuntos v(M ) = χM
A
Medibles
Jordan. donde A es un rectángulo cualquiera que contenga a M .

Observaciones:

1.- Si R es un rectángulo, es medible Jordan, y la definición de volumen como conjunto

medible coincide con la definición usual de volumen de un rectángulo.
Z
v(R) = 1
R

JJ II 2.- Los conjuntos acotados en Rn cuya frontera se puede describir como una unión finita de
J I
gráficas de funciones integrables definidas en rectángulos de Rn−1 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.
 Proposición. Un conjunto M ⊆ Rn es de contenido cero si y sólo si es medible Jordan, y tiene
volumen cero
Demostración:
Supongamos en primer lugar que M tiene contenido cero. En particular M es acotado, ya
que tiene que poder sumergirse en una unión finita de rectángulos cerrados. Además también la
Conjuntos adherencia de M , M , tiene contenido cero, y por lo tanto la frontera, que es un subconjunto de
Medibles la adherencia, también tiene contenido cero. Por tanto M es medible Jordan.
Jordan. Además si A es un rectángulo que contiene a M , el conjunto de puntos donde la función χM
es positiva es M , M = {x ∈ Rn : χM (x) > 0} y por hipótesis tiene contenido cero, luego χM
es integrable en A (ya lo sabı́amos, por ser M medible Jordan) y la integral vale cero :
Z
v(M ) = χM = 0
A

(este resultado se demostró dos capı́tulos antes, entre las propiedades de los conjuntos de medida
cero y de contenido cero)
JJ II
J I
Recı́procamente, supongamos que M es medible Jordan y que su volumen es cero. R Sea A un
rectángulo cualquiera que contenga a M . Estamos diciendo entonces que v(M ) = A χM = 0
Aplicando la definición de la integral como el ı́nfimo de las sumas superiores de Riemann,
dado  > 0 existirá alguna partición P de A tal que la suma superior asociada sea menor que ,
S(χM , P ) < .
 Sean R1 , . . . Rk los rectángulos definidos por esa partición P que cortan a M . Entonces
k
[
M⊆ Ri
i=1

Conjuntos Además en cada rectángulo Ri hay algún punto de M , donde la función χM vale uno, luego
Medibles MRi (f ) = 1, y por tanto
Jordan. k k
X X
v(Ri ) = MRi (f )v(Ri ) ≤ S(χM , P ) < 
i=1 i=1

Luego M tiene contenido cero, como querı́amos demostrar.


Además, tienen otras propiedades:

Proposición. Si M es medible-Jordan, también lo son su interior y su adherencia, M o y M , y

JJ II además v(M o ) = v(M ) = v(M ). Más aún, si B es un conjunto tal que M o ⊆ B ⊆ M , entonces
J I B es medible-Jordan y v(B) = v(M )

Demostración:
Basta lógicamente 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
también es acotado, y por tanto B ⊆ M también es acotado.
Además M o ⊆ M 0 y B ⊆ M , luego

F r(B) = B \ B o ⊆ M \ M o = F r(M )
Conjuntos ası́ que F r(B) también tiene contenido cero. Por tanto B es medible Jordan.
Medibles Además, las dos funciones caracterı́sticas χB y χM son iguales salvo quizá en puntos de la
Jordan. 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 A

donde A es un rectángulo cualquiera que contenga a M , y por tanto a M y a B.


Obsérvese que en este resultado, los conjuntos B y M se diferencian sólo en puntos de la
frontera de M : Si M es medible Jordan, da igual considerar su interior, su adherencia, o poner
JJ II o quitar alguna parte de su frontera, que seguirá siendo medible Jordan.
J I
Proposición. a) Sean M y N medibles-Jordan. Entonces los conjuntos M ∪ N, M ∩ N, M \ N ,
son medibles Jordan, y además

v(M ∪ N ) = v(M ) + v(N ) − v(M ∩ N )

 En general, las operaciones conjuntistas unión, intersección 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.

Demostración:
Conjuntos a) Si M y N son medibles Jordan, entonces son acotados, y por tanto M ∪ N , M ∩ N y
Medibles M \ N también son acotados.
Jordan. Además las fronteras de los tres conjuntos M ∪ N , M ∩ N y M \ N están contenidas en la
unión de la frontera de M y la frontera de N , ası́ que todas tienen contenido cero.

JJ II
J I
 M M

N N
Conjuntos
Medibles
Jordan.
F r(M ∪ N ) F r(M ∩ N )

JJ II
J I F r(M \ N )

Por tanto los tres conjuntos son medibles Jordan.

Además, por las propiedades de las funciones caracterı́sticas, si A es un rectángulo que con-
 tiene a M ∪ N , tenemos
Z Z
v(M ∪ N ) = χM ∪N = (χM + χN − χM ∩N =
ZA Z A Z
= χM + χN − χM ∩N = v(M ) + v(N ) − v(M ∩ N )
A A A
Conjuntos
Medibles
Jordan. b) Observemos primero que si A es un rectángulo cualquiera en Rn , A = [a1 , b1 ]×· · ·×[an , bn ],
y x = (x1 , . . . , xn ) es un punto, el conjunto x + A es un rectángulo, y v(x + A) = v(A)

JJ II
J I
 x2 + b2
x+A

x2 + a2
Conjuntos b2
Medibles A
Jordan. x2

x
a2

a1 b1 x1 x1 + a1 x1 + b1

JJ II
J I x + A = {(x + y, y ∈ A} =
= {(x1 + y1 , . . . , xn + yn ), y = (y1 . . . , yn ) ∈ A} =
= [x1 + a1 , x1 + b1 ] × · · · × [xn + an , xn + bn ]
 y
n
Y n
Y
v(x + A) = (xi + bi − xi − ai ) = (bi − ai ) = v(A)
i=1 i=1

Entonces si M es medible Jordan, y A es un rectángulo que contiene a M , x + A contiene a

Conjuntos x + M , y por tanto x + M es acotado también.
Medibles Además, utilizando la descripción de la frontera de un conjunto como el conjunto de puntos
Jordan. de discontinuidad de su función caracterı́stica,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
JJ II ⇔ χM no es continua en y − x
J I ⇔ y − x ∈ F r(M ) ⇔ y ∈ x + F r(M )
Como F r(M ) tiene contenido cero, dado  > 0 existe una familia finita de rectángulos
k
[ k
X
R1 , . . . Rk tales que F r(M ) ⊆ Ri y la suma de sus volúmenes v(Ri ) es menor que .
i=1 i=1
 Pero entonces
k
[
x + F r(M ) ⊆ (x + Ri )
i=1

unión finita de rectángulos, y la suma de los volúmenes es

Conjuntos
Medibles k
X k
X
Jordan. v(x + Ri ) = v(Ri ) < 
i=1 i=1

Luego F r(x + M ) = x + F r(M ) también 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 rectángulo A que contenga a M . Si P es una partición de A,
P = {P1 , . . . , Pn }, entonces x + P = {x1 + P1 , . . . , xn + Pn } es una partición de x + A,
(obtenida trasladando cada punto de las particiones de los segmentos [a1 , bi ] sumándoles xi , la
JJ II coordenada i-ésima de x). Y los rectángulos definidos por la partición x + P son todos de la
J I forma x + R con R un rectángulo definido por P en A
 x2 + b2
x+A

x2 + P2
x+R

x2 + a2
Conjuntos
b2
Medibles A
Jordan. x2

P2 R
x
a2

a1 b1 x1 x1 + a1 x1 + b1
P1 x1 + P1
JJ II
Además, si R ∈ RP ,
J I
mx+R (χx+M ) = inf{χx+M (y), y ∈ x + R} =
= inf{χM (y − x), y − x ∈ M } = mR (χM )
 y análogamente
Mx+R (χx+M ) = sup{χx+M (y), y ∈ x + R} =
= sup{χM (y − x), y − x ∈ M } = MR (χM )
Entonces
Conjuntos X X
Medibles S(χM , P ) = mR (χM )v(R) = mx+R (χx+M )v(x + R) =
R∈RP R∈RP
Jordan. 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) =
R∈RP R∈RP

= S(χM , P )
Esta cadena de desigualdades es cierta para cualquier partición P de A. Tomando en la parte
izquierda supremos al variar P entre todas las posibles particiones de A, y a la derecha ı́nfimos,
JJ II
queda
J I Z Z
v(M ) = χM = χx+M = v(x + M )
A x+A

Esto termina la demostración.

 
Para terminar este tema, la definición de esta clase de conjuntos nos permite generalizar la
construcción de la integral de Riemann a una clase mucho más amplia de conjuntos que los
rectángulos con los que hemos trabajado hasta ahora:

Definición (Integral sobre conjuntos medibles-Jordan).

Conjuntos Sea f : Rn −→ R una función acotada, y M un conjunto medible -Jordan. Se dice que f es
Medibles integrable en M si el producto f · χM es integrable en algún rectángulo A que contenga a M .
Jordan. En este caso, se llama integral de f en M a
Z Z
f= f · χM
M A

Observaciones:

La definición es correcta, en el sentido de que no depende del rectángulo A que contiene a

JJ II M.
J I Además se pueden demostrar fácilmente 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 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 integración”, y es una de las propiedades
fundamentales de la integral, si ha de servir para medir volúmenes de conjuntos.

Conjuntos
Medibles
Jordan.

Contenido

JJ II
J I