Prob. 3.

21 Si A es un rectngulo cerrado, probar que C es J medible; si y slo si, para todo  > 0, existe
una particin P de A tal que: X X
v(S) v(S) < 
SS1 SS2

Donde S1 est formado por todos los subrectgulos que cortan C y S2 por todos los subrectmgulos
contenidos en C.
Prueba:

Sea A Rm un rectngulo cerrado.

) Como C es J medible, tenemos que XC : A R.

Luego, dado  > 0, existe una particin P de A tal que:

S(XC , P ) s(XC , P ) < 

X X
MS (XC )vol(S) mS (XC )vol(S) < 
SP,SC6= SP,SC

X X
vol(S) vol(S) < 
SP,SC6= SP,SC

X X
vol(S) vol(S) < 
SS1 SS2

NOTA: S(XC , P ) y s(XC , P ) provienen de la definicin de vol.ext(C) y vol.int(C)

) Sea A Rm un rectngulo cerrado y sea el conjunto C A

AFIRMACIN: C es J medible (XC es integrable)

De la hiptesis, tenemos que dado  > 0, existe una particin P de A tal que:
X X
v(S) v(S) < 
SS1 SS2

X X
vol(S) vol(S) < 
SP,SC6= SP,SC

X X
MS (XC )vol(S) mS (XC )vol(S) < 
SP,SC6= SP,SC

S(XC , P ) s(XC , P ) < 

Entonces XC es integrable. Por lo tanto C es J medible.

Prob. 3.22 Si A es un conjunto J medible y  > 0, probar que existe un conjunto compacto J medible
C A tal que:
Z
XAC < 
A

Prueba:

1
Sea F Rm un rectngulo cerrado tal que C A F y A es cerrado.

Del problema anterior, como C es J medible: dado  > 0, existe una particin P de A tal que:
X X
v(S) v(S) < 
SS1 SS2

Donde S1 y S2 se definieron anteriormente.

AFIRMACIN: C es compacto.

En efecto, por el teorema de Borel-Lebesgue,

S la frontera C del conjunto acotado C es compacto.
Tambin tenemos que int(C) = S2 C S2 es compacto, ya que cada S2 son rectngulos cerrados y
acotados.

Luego C = C int(C) es compacto.

Luego, como C A, tenemos por propiedades demostradas en el libro, CursodeAnlisis2 lo siguien-

te:
R R R R R nP o
A
XAC = vol(AC) = vol(A)vol(C) = A XA A XC = A XA A XC = inf SP,SA vol(S)
nP o P P
inf SP,SC vol(S) SP,SC6= vol(S) SP,SC vol(S) < 

Por lo tanto:
Z
XAC < 
A