CUADERNO DE EJERCICIOS PARA

DESPUS DE UN CURSO DE TEORA DE

LA MEDIDA
DEPARTAMENTO ACADMICO DE MATEMTICAS
ITAM, 2013

Introduccin
Las siguientes pginas contienen una coleccin de 100 ejercicios de Teora de
la Medida e Integracin de Lebesgue. Una gran cantidad de ellos estn acompaados con sugerencias que a mi juicio son suficientes para su solucin, aunque no
necesariamente son el nico camino hacia ella. Tambin debo mencionar que he
procurado no incluir ejercicios estndar, lo que ha convertido este trabajo en uno
que requiere de un lector que conozca bien la teora. En trminos gastronmicos,
se trata del postre, ms que del aperitivo.
Se incluye al final una bibliografa recomendada que contiene an ms ejercicios.
Deseo hacer patente mi agradecimiento a Javier Sagastuy, por su paciente
labor.

ITAM Febrero de 2013

Dr. Guillermo Grabinsky S.

Ejercicios
1. Una clase no vaca M P(X) se dice que es montona (en el sentido de
Halmos) si para cualquier sucesin creciente (o decreciente) (En ) P(X)
1
se tiene: [1
n=1 En 2 M (\n=1 En 2 M). Pruebe:
a) Todo
anillo es una clase montona, y todo anillo que sea clase
montona es un
anillo.
b) La interseccin arbitraria de clases montonas es una clase montona.
(NOTA: Esto nos permite considerar la clase montona generada por
una subclase E P(X) denotada M(E)).
2. Sea R un anillo, entonces M(R) = S(R).
(Sugerencia: Por 1. a) M(R) S(R); para la otra contencin es suficiente probar que M(R) es un
anillo. Proceda como sigue: para F X
defina: K(F ) = {E X : E F, F E, E [ F 2 M(R)}. Pruebe que
K(F ) es una clase montona que contiene a R y as M(R) K(F ). Note
que E 2 K(F ) () F 2 K(E) 8 F 2 M(R) y 8 E 2 K(F ). Concluya
el resultado.)
(NOTA: El siguiente corolario es llamado en ocasiones el lema de las clases
montonas. COR: Si M es una clase montona y M R, entonces
M
S(R). Este resultado da lugar a un mtodo alternativo, con frecuencia muy til, para verificar que una clase de conjuntos constituye una
lgebra).
3.

a) Sea S P(N) una

lgebra. Pruebe: existe una particin a lo ms
numerable P S tal que S = S(P).
(Sugerencia: Para cada n 2 N sea Sn = {E 2 S : n 2 E}. Defina
una relacin de equivalencia en N N poniendo n m () m 2
E 8 E 2 Sn . Denote por [n] la clase de equivalencia de n. Considere
P = {[n] : n 2 N}.)
b) Pruebe que la particin P es nica salvo por el orden de los elementos.

c) Sea S P(N) una

lgebra infinita y P = {An }1
n=1 la particin
numerablePtal que S = S(P). Pruebe: f : N ! R es S medible
1
() f = n=1 cn An con cn 2 R.
2

p
4. Sea f 2 M+ (X, S). Pruebe que f 2 M+ (X, S) usando (y probando) la
na
o
p
1
siguiente identidad: a = nf r2Q
+r .
2
r
a
(Sugerencia: Considere ' : (0, 1) ! R dada por '(x) = + x y derive).
x
Generalice a otras potencias.
5. Sea (X, S) un espacio medible y f, g : X ! R S medibles. Si
H : R R ! R es continua, entonces h(x) = H(f (x), g(x)) es S medible.
6. Sea f : [0, 1] [0, 1] ! R continua en cada variable. Pruebe que f es Borel
medible.
8
0
<f (0,
x)
si s =
(Sugerencia: Defina F (n) (s, x) =
k 1
k 1 k (k =
:f
,x
si s 2
,
n
2
2n 2n
0, ..., 2n ). Entonces lmn!1 F (n) = f . Note que basta que fs : [0, 1] ! R
sea Borel medible 8 s en algn subconjunto denso de [0, 1] y f x : [0, 1] ! R
sea continua por la derecha (o por la izquierda).)
7. P
Sea (X, S, ) un espacio de medida y (An )1
n=1 una sucesin en S tal que
1
1
(A
)
<
1.
Sea
C
=
{x
2
[
A
n
k
n=1 n : x pertenece a al menos k
n=1
conjuntos An }. Pruebe:
P1
1
a)
n=1 (An ) = ([n=1 An ) () (C2 ) = 0 .
P1
"
b) Si n=1 (An ) ([1
(k 2) .
n=1 An ) + ", entonces (Ck )
k 1
1
1
(Sugerencia: ([n=1 An ) \ Ck = {x 2 [n=1 : An (x) k 1} (k 2)
.)

P
8. Sean f 2 M+ (X, S) y E 2 S fijos. Pruebe: E f d = sup j nf{f (x) :
x 2 Ej }(Ej ) donde el supremo se toma sobre todas las particiones finitas
medibles = {E1 , ..., En } de E.
(NOTA: La anterior es una definicin alternativa de la integral de Lebesgue.)
9. Sea X infinito y : P(X) ! [0, +1] la medida de conteo. Para
f : X ! [0, +1] dada, defina: (E) = E f d 8 E X. Pruebe: (E) =
sup{ F f d : F E, F finito}.

10. Sea f 2 M(X, S).

Pruebe: f 2 L1() () { |fr |d : r > 0} est acotado, en cuyo caso: f d = lmr!1 fr d, donde fr = mn{r, max{f1 , r}}
es el truncamiento de f determinado por r.
11. Sea (X, S, ) un espacio de medida y f, g 2 M+ (X, S). Pruebe:

a) ( f g r d)m t ( f g t d)m r ( f g m d)r t si 0 < t < r < m. (Desigualdad de Rogers (1888))

m t
m t
1 1
(Sugerencia: Si p =
yq=
, entonces + = 1 .)
m r
r t
p q
3

b) La desigualdad de Hlder usual es consecuencia de la desigualdad de

Rogers.
1
1
(Sugerencia: Sea m = 2, t = 1, ahora tome p =
yq=
.)
2 r
r 1
12. Pruebe el siguiente resultado de
fijo y
F. Riesz (1910): Sea
p 2 (1, 1)
A, B > 0 constantes, entonces: |f |p d A ()
|f g|d A1/p B 1/p
8 g 2 M(X, S) con |g|q d B. Es cierto el resultado correspondiente
para p = 1 o p = +1?
13. Sea f 2 Lp () (1 < p < 1) fija y defina g = (||f ||
el exponente conjugado de p. Pruebe:

p/q

(sgn f )|f |p

con q

a) g 2 Lq ().

b) ||g||q = 1.

c) f gd = ||f ||p .

d ) Concluya que ||f ||p = max{ f gd : g 2 Lq (), ||g||q = 1}.

e) Existe un anlogo si p = 1 y q = 1 o p = 1 y q = 1?

14. Sea (X, S, ) un espacio de medida y sea f : X ! R S-medible dada.

Sea
w(t) = {x
t}. Pruebe: Si f 2 Lp (), entonces

1 2 X : |f |(x)
|f |p d = p 0 tp 1 w(t)d (p > 1).

1 p
(Sugerencia: verifique que |f |p d =
t dw(t). Ahora integre por
0
partes.)
15. Sea t > 0 fijo. Pruebe:
1
.
t
(Sugerencia: si t a > 0, entonces e tx e ax 2 L1 (0, 1).)
1
b) 0 xn e x d = n!.
(Sugerencia: use el T.C.D. para justificar la diferenciacin dentro de
la integral.)

a)

1
0

tx

d (x) =

16. Sean f, g 2 L1 ([0, 1]). Pruebe

p o proporcione un contraejemplo para las siguientes afirmaciones: f 2 , |f |, |mid{ 1, f, 1}|1/2 , tan 1 (f ), max{ln |f |, 0},
p
p
|f |
f g, |f g|,
, 1 + f 2 pertenecen a L1 ([0, 1]).
1 + |g|
17. (La integral de Marcinkiewicz)
Sea F (a, b) cerrado (a < b en R). Para > 0 fija, defina:
d (x, F )
M (x) =
d (y): donde d(x, F ) = distancia de x a F . Pruebe:
|x y|1+
a) Si x 2
/ F , entonces M (x) = 1.

b) M es finita c.d. en F , M 2 L1 (F ) y

2
M (x)d
((a, b) \ F ).
(a,b)

(Sugerencia: Si x 2 F , entonces d(x, F ) = 0. Recuerde

|d(x, F ) d(y, F )| |x y| .)
18. Sea p 2 (0, 1) fija. Pruebe que la bola B" (0) = {f 2 Lp (0, 1) : ||f ||p "}
no es convexa.
(Sugerencia: Sea f = (0,"p ) g = ("p ,2"p ) , entonces f, g 2 B" (0) pero
1
(f + g) 2
/ B" (0).) Por qu un resultado as no es posible si p 2 [1, 1)?
2
19. Sea (X, S, ) un espacio de medida. Pruebe: (X) < 1 () 9
1
M+ (X, S) tal que f y 2 L+
1 ().
f

f 2

20. Sea : A ! [0, 1] una casi-medida

finita y S P(X) tal que: A S
y |S : S ! [0, +1] es aditiva, entonces S A .
(Sugerencia: Si E 2 S y (E) < 1 entonces E = C \ (C \ E) con
C 2 S(A) una cubierta medible y (C \ E) = 0.)
21. Sea : P(X) ! [0, +1] la medida exterior generada por una casi medida
: A ! [0, 1]. Sean E, F 2 A con (E \ F ) = 0, entonces 8 A E
y B F se tiene (A [ B) = (A) + (B).
(Sugerencia: Usa cubiertas medibles.)
22. Suponga que F A 2 A , entonces:
(F ) + (A) = (F \ A) + (F [ A). Pruebe con ejemplos que el
resultado es falso si F y A 2
/ A .
23. Sea : P(X) ! R una medida exterior. Un conjunto C X se llama
completamente no medible (c.n.m.) con respecto a D 2 A si 8 E D
con E 2 A y (E) > 0 se tiene que E \ C 2
/ A . Pruebe:
a) Si C es c.n.m. con respecto a D, entonces C 2
/ A y (E) = 0

8 E 2 A con E C.

b) Si C 2
/ A y (F ) = 0 8 F 2 A con F C, entonces existe
D A tal que C es c.n.m. con respecto a D.
(Sugerencia: Sea D una cubierta medible de C.)
c) Si C es c.n.m. con respecto a D entonces D es una cubierta medible
de C.

d ) Si C es c.n.m. con respecto a D1 y a D2 entonces (D1 D2 ) = 0.

24. Sea : A ! una casi-medida. Defina 0 : P(X) ! R poniendo 0 (B) =
nf{(A) : B A, A 2
/ A}. Entonces:
a) 0 |A = .
b) 0 .

c) Si es
d ) Es
25.

finita, entonces = 0 .
sub-aditiva?

a) Sea (X, S) un espacio medible y E 2 P(X)\S. Pruebe: S(S [{E}) =

{(A \ E) [ (B E) : A, B 2 S}.

b) Sea : A ! R una casi medida finita y : A ! R la medida

generada por . Suponga que E 2 P(X) A y defina
: S(A [ {E}) ! R poniendo: ((A \ E) [ (B E)) = (A \ E) +
(B E) . Pruebe:
1) est bien definida y |A = .
2) es una medida .

26. Sea : A ! R una casi medida finita y y las medidas exterior e

interior generadas por (respectivamente). Pruebe: Para todo B X:
a) (B) = sup{(E) : E B, E 2 A } .
b) (B) = nf{(F ) : B F, F 2 A } .

27. Sea : S ! R una medida, entonces todo A X admite la siguiente

descripcin: A = B [ C (disjuntos) con:
a) B 2 A .

b) C 2
/ A y c.n.m. con respecto a algn D 2 A .

c) B \ D = ;.
(Sugerencia: Sea Z = {E : E A, E 2 A }. Aplicar el lema de Zorn
a (Z, ).) Nota: Algn B, C o D podra ser vaco.

d ) La descomposicin es nica c.d. (en ).

28. Sea E R tal que

(E) > 0. Pruebe:

a) 8 2 (0, 1) 9 un intervalo abierto I R tal que (E \ I) (I).

(Sugerencia: Sea A R abierto tal que E A y (E)
(A).
I
(unin
disjunta
de
intervalos
abiertos).
Suponga que A = [1
n=1 n
Algn In cumple con el resultado.)
b) Sea N R tal que 9 2 (0, 1) tal que 8 intervalo (a, b), el conjunto
N \ (a, b) puede ser cubierto con una cantidad a lo ms numerable
de intervalos abiertos de longitud total menor que (b a). Pruebe:

(N ) = 0.
c) Si (E) > 0, entonces E E = {x y : x, y 2 E} contiene un
intervalo abierto ( , ). (Teorema de Steinhaus)
(Sugerencia: Por a) existe I un intervalo abierto tal que
9

(E \ I)
(I). Sea E0 = E \ I0 . Si E0 no contiene un intervalo
10
( , ) entonces 9 > 0 suficientemente pequeo tal que E0 y
E0 + son ajenos. Examine la contencin (E0 [(E0 +)) (I[(I+))
y las medidas.)
6

3
1
29. Sea E 2 A (0, 1) con (E) >
y F 2 A (0, ) arbitrario de medida
4
2
1
1
mayor que . Pruebe que 8 2 [0, ] existen puntos x 2 E y y 2 F
4
2
tales que |x y| = .
(Sugerencia: Basta probar que (E \ (F + )) > 0. Empiece en el caso
1
1
1
= 0. Si 2 [0, ], F = F + (, + ) (0, 1). Si 2 [0, ), F y
2
2
2
E no pueden ser ajenos. )
30. Pruebe que todo intervalo [a, b] contenido en [0, 1] contiene a su vez un
1
intervalo abierto (, ) con

(b a) y ajeno al conjunto ternario

5
clsico de Cantor.
P1 xr
31. Sea k 2 N fijo y Sk = {x 2 (0, 1) : x = r=1
con xr 2 {0, 1, ..., k}}.
r!
Pruebe que (Sk ) = 0 y concluya que
P 1 br
{x 2 (0, 1) : x = r=1 , (br ) N acotada} = 0.
r!
P1 xi
32. Sea C = {x 2 [0, 1] : x = i=1 i con xi 2 {0, 3}}. Pruebe:
4
a)

=0.
(C + C)

(Sugerencia: Considerar:

1 1
C + C .)
2
2

1
3
b) C + C = [0, ] .
2
2
2
1
(Sugerencia: Pruebe: (C + C)
= [0, 1].)
3
2
P1 w r
33. Sea F = { r=1 r : wr = 0 o 1}. Pruebe:
4

a) F es perfecto, denso en ninguna parte y tiene medida cero.

b) Si Sx = {w + 2x : w 2 F } (x 2 R), entonces Sx y Sy son en general
disjuntos (hay casos especiales, indquelos) .
1
(Sugerencia: Sea M = {y 2 R : F \ Sy 6= ;}, note que M = (F F )
2
y muestre que M tiene medida cero. )
c) [0, 1] puede escribirse como la unin no numerable disjunta de conjuntos no numerables de medida cero.

34. (No-medibles extremos) (Halmos)

Pruebe: Existe M R tal que (M \ E) = 0 y
8 E 2 AR estableciendo los siguientes incisos:

(M \ E) =

(E)

a) Sea un irracional fijo y si A = {n+m : n, m 2 Z}, B = {n+m : n

es par , m 2 Z} y C = {n + m : n es impar, m 2 } entonces: A, B y
C son densos en R, A es un subgrupo numerable de R bajo la adicin,
A = B [ C (unin ajena) y C = B + 1.
7

b) x A y () x y 2 A es una relacin de equivalencia. Denote

por E0 el conjunto no-numerable que consiste de exactamente un
representante de cada clase, entonces: E0 + a y E0 + a0 (a, a0 2 A)
son ajenos si a 6= a0 y R = [{E0 + a : a 2 A}. Concluya que E0 es
no-medible (Similar al conjunto de Vitali.)
c) Si F0 E0 es un boreliano, entonces: (F0 ) = 0.
(Sugerencia: Si (F0 ) > 0 se sigue del teorema de Steinhaus 28 c)
que: (F0 F0 ) \ A 6= ; lo cual es imposible.)

d)

(E0 )

= 0 (Use el c) .)

e) Sea M = E0

B, entonces:

1)

(M ) = 0
((F F ) \ C = ; para todo boreliano F M )
2) (R \ M ) = 0
(Sugerencia: (R \ M ) = M + 1 y use el c) )

f ) Concluya el resultado.
(Sugerencia: (E \ M ) +

(E \ M ) =

(E) )

35. Sea F 2 AR con (F ) < 1 fijo. Defina gF : R ! R como sigue: gF (x) =

(F (F + x)). Pruebe que gF es uniformemente continua siguiendo los
siguientes pasos:
"
4
(" > 0 dada) (Regularidad de ). Use la compacidad de K para
obtener = (") > 0 tal que K + x A 8 x 2 ( , ).
"
b) Pruebe: si |x y| < , entonces ((K + x) (K + y)) < .
2
(Sugerencia: ((K + x) (K + y)) = ((K + x y) \ K) + ((K + y
x) \ K) .)
"
c) Concluya que |gF (x) gF (y)| 2 (F \ K) + .
2

a) Sean K compacto y A abierto tales que K F A y (A \ C) <

36. Hiptesis y notacin como en el anterior. Sea F 2 AR con (F ) < 1 y

gE,F (x) = (E (F + x)).
a) Pruebe: gE,F es uniformemente continua.
(Sugerencia: |gE,F (x) gE,F (y)| gF (y x))

b) Si fE,F (x) = (E \(F +x)) entonces: |fE,F (x) fE,F (y)| gF (y x)

.

37. Pruebe las siguientes afirmaciones sobre subconjuntos de R:

a) Si V [0, 1] es un conjunto no-medible de Vitali, entonces:
(V V ) \ Q = {0} pero R = [q2Q V + q .
b) Si F R es de primera categora, entonces: R = (R \ F )
8

(R \ F ) .

c) Existen E, F R de medida de Lebesgue cero y de primera categora

tales que: R = E F .
(Sugerencia: E = [n2Z C +n y F = C donde C es el conjunto ternario
de Cantor.)
d ) Existe G R denso en ninguna parte y que no es Lebesgue medible.
(Sugerencia: Sea C un conjunto tipo Cantor de medida positiva, C
contiene algn no-medible.)
e) Existe H R Borel medible, de segunda categora y de medida cero.
(Sugerencia: Sea
1
1
Q = {r1 , r2 , ...} una enumeracin. Sea H = \1
, rn +
m=1 [n=1 (rn
n+m
2
1
). Pruebe que R \ H es de primera categora y use el Teorema
2n+m
de Baire.)
38. (W. Rudin) Sea I R un intevalo. Pruebe:
a) I contiene un abierto F (I) tal que (F (I)) =

1
(I) y
2

F (I) \ J = ; 8 J I, J intervalo abierto.

(Sugerencia: Sea C I un conjunto generalizado de Cantor tal que
1
(C) =
(I). Sea F (I) = I o C. )
2
b) I contiene un subconjunto de N de medida 0 tal que I N es la
unin numerable de conjuntos que son densos en ninguna parte.
(Sugerencia: Considere a F como operador (I ! F (I)) y aplquelo
repetidamente. )
39. Construya un conjunto F de primera categora y de tipo F con
(F ) < 1 tal que 0 < (F \ I) < (I) 8 I R intervalo.
(Sugerencia: Sea {In : n 2 N} una enumeracin de todos los intervalos
abiertos con centro racional y radio racional. Defina inductivamente una
sucesin ajena de cerrados y densos en ninguna parte (Dk ) de medida
positiva tales que:
a) D2k 1 [ D2k Ik
P
b)
j (Dj ) < 1.
Ahora tome F = [1
k=1 D2k .)
40. Sea P R un conjunto no vaco y perfecto (i.e. P = P 0 ). Pruebe que P
contiene un subconjunto no vaco y perfecto de medida cero.
41. Construya un subconjunto abierto A [0, 1] tal que la medida de Lebesgue
de la frontera de A sea positiva (i.e. (@(A)) > 0). (NOTA: f = A no es
Riemann-integrable).
(Sugerencia: Considere un conjunto tipo Cantor de medida positiva.)
42. Sea B R una base de Hamel de R sobre Q. Pruebe:
9

a)

(B) = 0

b
, b 2 B}. Si
b0

(B) > 0 entonces (B0 ) > 0 por lo que existen b1 6= b2 tal que
b1 b2 = q 2 Q (Steinhaus). As pues, b1 = b2 + qb0 lo cual viola la
independencia de la base. )
= hB \ {b0 }i el espacio vectorial sobre Q generado
b) Sea b0 2 B fijo y B
2
por B \ {b0 }, entonces B
/ A .
2 A , entonces (B)
> 0, pues
(Sugerencia: Supongamos que B
x
+ qb. Sea B0 = {
Entonces B0 2 A
R = [q2Q B
: x 2 B}.
b0
y (B0 ) > 0 tambin; por lo que existen x 6= y 2 B0 tales que
y b0 x = b0 y + b0 q lo cual
x y = q 2 Q. Entonces b0 x, b0 y 2 B

contradice la definicin de B .)
(Sugerencia: Sea b0 2 B fija y B0 = {x 2 R : x =

c) Existe N un subconjunto propio de R tal que 8 y 2 R dado, la

familia de traslaciones {N + ny : n 2
es finita.
PN}
n
(Sugerencia: Sea N = {x 2 R : x = P
i=1 i bi : i 2 Z, bi 2 B y n 2
n
N}. Sea y 2 N, y 6= 0. Entonces y = i=1 i bi . Sea =m.c.d.{i }.
Como y y x + y 2 N 8 x 2 N, entonces toda x 2 N se puede
escribir como (x y) + y con (x y) 2 N es decir, N + y = N .
As pues, slo N, N + y, ..., N + ( 1)y podran ser admitidos.)
d ) Existe T un subconjunto propio de R tal que el conjunto de traslaciones {T + t : t 2 R} es a lo sumo numerable.
(Sugerencia: Sea T = {x 2 R : la descripcin de x no requiere de
b0 2 B}. Claramente T + t = T si t 2 T . Si t = t0 + qb0 , t0 2 Q entonces: T +t = T +qb0 , por lo que los nicos traslados de T diferentes
de T son de la forma T + qb0 .)
e) Decimos que un nmero real diferente de cero tiene peso k si su
expresin en trminos de B requiere de k de sus elementos. Denote
por Xn al conjunto de nmeros reales diferentes de cero con peso
2n (n = 0, 1, 2, ...). Pruebe que Xn+1 = Xn Xn 8 n y concluya
que para alguna n, Xn es medible pero Xn+1 ya no lo es.
(Sugerencia: Observe que Xn no contiene intervalos, ahora use el
Teorema de Steinhaus.)
(NOTA: La existencia de una base de Hamel equivale al AXIOMA
DE ELECCIN.)
43. Sea I = [0, 1], A I no medible y B = I A. Pruebe:
b
b
b
b
R a A (t)dt + R a B (t)dt < 1 < R a A (t)dt + R a B (t)dt donde

R y R denotan las integrales inferior y superior de Riemann. Adems,

b
b
R a C (t)dt = R a C (t)dt () (@(C)) = 0.
(Sugerencia: Pruebe: (A) + (B) < 1 < (A) + (B) o bien, si h
y g son la envoltura superior e inferior de A respectivamente, entonces:
h = A y g = Ao .)
10

(NOTA: Un conjunto acotado C se le llama Jordan - medible si C es Riemann integrable. De acuerdo con lo que se enuncia en el ejercico anterior,
C es Jordan - medible si y slo si (@(C)) = 0 .)
44. Sea f : [0, 1] ! R una funcin Riemann - integrable y E = {x 2 R :
f 1 ({x}) no es Jordan - medible}. Pruebe que E es finito o numerable.
(Sugerencia: Sea D = {t 2 [0, 1] : f es discontinua en t}. Por hiptesis,
que si r 6= s, entonces: @(f 1 ({r})) \ @(f 1 ({s})) D y
P(D) = 0. Note
1
({x})) 1 .)
x2E (@(f
45. Pruebe que g(x) = lmm,n!1
Riemann - integrable.

1
2 L1 ([0, 1]) pero no es
1 + n sin(m!x)
8
<0

si x = 0
. En1
:x3 sin
si x 6= 0
|x|5/2
tonces, |f 0 (x)| es acotada, no es Riemann - integrable pero s Lebesgue integrable.

46. Sea f : [ 1, 1] ! R dada por f (x) =

47. Sea f : [0, 1] ! [0, 1] dada por f (x) = d(x, C) donde C es el conjunto
ternario clsico de Cantor. Pruebe:
1
.
28
b) f (x) 1/3 2 L1 ([0, 1]) (si x 2 C, convenimos en poner f (x) 1/3 = 0 ).
(
x
si x 2
/M

48. Sea M 2
/ A (0, 1) y defina f (x) =
. Pruebe: f (E)
x + 1 si x 2 M
tiene medida cero 8 E (0, 1) de medida cero, pero f (E) podra no ser
medible an si E lo es.
P
49. Sea {r1 , r2 , ...} una enumeracin de Q \ (0, 1) y sea f (x) = {n:x>rn } 2 n .

Halle gd P
8 g : (0, 1) ! R continua.
f
1
(Solucin: n=1 g(rn )2 n .)
a)

[0,1]

f (x)dx =

50. Sea (X, S, ) un espacio de medida y (An )1

n=1 una sucesin en S y sean
A = lmn!1 An , A = lmn!1 An . Pruebe:
a)

An

b)

An

c)

An

d)

An

! 0 (en ) () (An ) ! 0 .
! 0 c.d. () (A ) = 0 .
!

c.d. () A, A y A difieren entre si por nulos.

! f (en ) () f =

c.d.

e) Si adems (X, S, ) es un espacio de probabilidad y (An )1

n=1 son
eventos
independientes,
entonces:
!
0
c.d.
()
A
n
P1
n=1 (An ) < 1.
(Sugerencia: Usar las dos partes del lema de Borel-Cantelli.)
11

51. Pruebe fn ! f (en ) () toda subsucesin de (fn )1

n=1 admite a su vez
otra subsucesin que converge a f c.d (rel. ).
52. Sea (X, S, ) un espacio de medida y (fn : X ! R)1
n=1 una sucesin de
funciones S medibles. Supongamos que fn ! f (en ) y que
h = lmn!1 fn . Pruebe que f = h c.d.
(Sugerencia: Pruebe: 8" > 0 {x 2 X : |h f |(x) > "} {x 2 X :
lmn!1 |fn f |(x) > "} = lmn!1 {x 2 X : |fn f |(x) > "})
53.

a) Sea (X, S, ) un espacio de medida. Supongamos que (fn : X !

R)1
n=1 es montona y fn ! f (en ), entonces fn ! f c.d.
b) Pruebe que f podra ser distinto de lmn!1 fn si la sucesin no es
montona.
(Sugerencia: X = [0, 1), S = B[0,1) , =medida de Lebesgue. Sea
f1 = [0,1/2) , f2 = [1/2,1) , f3 = [0,1/3) , ... )

54. Sea f 2 L+
q},
1 ([0, 1]) y sea q 2 (0, 1) fijo. Si Sq = {E 2 B[0,1] : (E)
entonces nf E2Sq { E f d } > 0.
(Sugerencia: Suponga que 9 q 2 (0, 1) tal que el nfimo es cero. Sea

(Eq(n) )1
mn!1 Eq(n) .
n=1 Sq tal que Eq(n) f d < n . Considere E = l
2

Concluya que E f d = 0, pero (E) q.)

55. (Equivalencia de Khintchine)
1
Sea (X, S, ) un espacio de medida y (fn )1
n=1 y (gn )n=1 dos sucesiones
de funciones S medibles.
que (fn ) y (gn ) son equivalentes, dePDecimos
1
notado: (fn ) (gn ) si
n=1 {x 2: fn (x) 6= gn (x)} < 1. Pruebe: si
(fn ) (gn ) entonces:
a) (lmn!1 {x 2 X : fn (x) 6= gn (x)}) = 0 .
P1
b)
(fn gn ) converge c.d.
Pn=1
P1
1
c)
n=1 fn converge c.d. ()
n=1 gn converge c.d.

56. Hiptesis y notacin como en el anterior.

a) Si fn ! f c.d. y (fn ) (gn ) no implica que gn ! f c.d.

(Sugerencia: Sea X = [0, 1), S = B[0,1) y = . Sea fn =
c.d. pero fn 9 1 c.d. Sea cn =
[0,1)\[n,n+1) entonces fn !
1
1
+ ... + n y gn = [0,1)\[n,n+cn ) , entonces (fn ) (gn ) y gn ! 1
2
2
c.d.)
b) Pruebe: fn ! f (en ) y (fn ) (gn ) ) gn ! f (en ).
57. (E. H. Lieb)
Supongamos que f, fn 2 L1 () y que fn ! f c.d., entonces:
a) lmn!1 |||fn f ||1 ||fn ||1 ||f ||1 | = 0
(Sugerencia: 8 s, t 2 R: ||s t| |s| |t|| 2|t|)
12

b) Si
adems fn 0c.d. entonces:

f d = lmn!1 fn d
|fn

f |d lmn!1

fn d .

58. N [a, b] es
nulo () 9 (fn )1
1 L1 ([a, b]) no-decreciente tal que
fn (x) ! 1 8 x 2 N y ( [a,b] fn d )1
n=1 converge en R.

(Sugerencia: )) Tome fn = n N . () Note que ( [a,b] fn d )1

n=1 es acotada.)
59. Sea (X, S, ) un espacio de medida y (fn : X ! R)1
n=1 una sucesin de
funciones S medibles tal que: |fn (x)| < 1 c.d. (rel. ). Pruebe: 9 una
fn
sucesin de nmeros reales positivos tal que
! 0 c.d. (rel. ).
cn
fn (x)
1
1
(Sugerencia: Sea cn > 0 tal que ({x 2 X :
> }) < n y aplique
cn
n
2
el lema de Borel-Cantelli.)
Pn 1
d 1 t x 1
( 0 e t
d (t))|x=1 = lmn!1 {log n
r=1 } (el valor
dx
r
del lmite anterior se conoce como la constante de Euler-Mascheroni).
1
n
t n
(Sugerencia: Justifique 0 e t log td = lmn!1 0 (1
) log tdt e inn
tegre por partes.)

61. Pruebe: Si ||fn f ||p ! 0 (n ! 1) (fn , f 2 Lp ()), entonces fn gd !

f gd 8 g 2 Lq () con q el exponente conjugado de p. Es cierto el
recproco?
60. Pruebe:

62. Sea (X, S, ) un espacio de medida finita y f 2 M(X, S) dada. Pruebe:

a) lmn!1 |f |n d < 1 () {x 2 X : |f | > 1} = 0. En cuyo caso

el lmite anterior es igual a {x 2 X : |f | = 1}.

b) Si f n d = c 8 n = 2, 3, 4, ... entonces f = A c.d. para alguna

A 2 S.

63. Sea f : R ! R no-negativa tal que R f d < 1. Es cierto que lm|x|!1 f (x) =
0? Si f es continua? Justifique sus respuestas.
64. Pruebe el lema de Fatou con parmetro continuo.
(NOTA: As fue probado originalmente en 1906.)
65. Pruebe: 8

g 2 C([a, b]), lmn!1 ,

b
a

| sin(nx)|g(x)d =

1 b
g(x)d . (L.
a

Fejer)
(Sugerencia: Aproxime g con funciones escalonadas.)
P1
66. Sea f 2 M+ (R, SR ). Suponga que
+ n) pertenece a L1 (R),
1 f (xP
1
|n|
entonces f = 0 c.d. Por otro lado,
si g(x) =
1 f (2 x) < 1 c.d. y

f 2 L1 (R), entonces gd = 3 f d .
13

x
67. Sea f : R ! R una funcin acotada tal que F (x) = 0 f (t)d es acotada
en R. Pruebe:

a) lmr!1 [a,b] f (rt)d = 0 8 a < b en R.

b) Si ' 2 L1 (R), entonces lmr!1 R '(t)f (rt)d = 0.

c) Obtenga el lema de Riemann-Lebesgue,
a saber: Si ' 2 L1 (R), en

sin rt
tonces lmr!1 [ ,] '(t)
d = 0.
cos rt

d ) Calcule lmn!1 ( 1)[nt] '(t)d , donde [x] = parte entera de x.

68. Sea (fn ) M una sucesin de funciones tal que fn ! f en medida.

Suponga
que 8 " > 0 se tiene que
P1
({x
2 X : |fn (x) f (x)|
"}) < 1. Pruebe que fn ! f casi
n=1
uniformemente.
(Sugerencia: Si An (") = {x 2 X : |fn (x) f (x)| "}, entonces se sigue
que (lmn!1 An (") = 0 .)
69. Use el teorema de Egorov para probar el teorema de la convergencia dominada suponiendo que (X) < 1 y que {||fn ||1 : n 2 N} es acotado.

70. Sea f : [a, b] ! R medible tal que [a,b] f (x)g(x)d = 0 para toda g :
[a, b] ! R que sea Riemann-integrable.
a) Pruebe que ({x 2 [a, b] : |f (x)| > "}) = 0 8 " > 0 .
b) Es cierto el inciso anterior si " se reemplaza por 0 ?
(Sugerencia: Basta suponer que f es no negativa. Sea C" = {x : f (x) > "}
y C" (r) = {x : d(x, C" ) r} 8 r > 0. Note que cada C" (r) es cerrado,
C(") = \r>0 Cr (") y @(C" (r)) = {x : d(x, C" ) = r}. Ms an, 9 una
sucesin (rn ) tal que rn ! 0 y (C" (rn )) = 0 8 n . Sea 'n = C(rn )
entonces 'n es Riemann-integrable en [a, b] y 'n ! C" . El resto es
ya inmediato usando la desigualdad de Tchebyshev.)

Pn 1
71. Sea f 2 L1 ([a, b]). Pruebe: j=0 | [xj ,xj+1 ] f d | ! [a,b] |f |d si la norma de la particin P = (a = x0 < x1 < ... < xn = b) tiende a cero.
(Sugerencia: Empiece con f continua y aproxime en el caso general.)
72. Sea (X, S, ) un espacio de medida y (fn ) M(X, S) una sucesin de
funciones. Suponga que fn ! f 2 M(X, S) en medida.
a) Pruebe que: lmn!1 {x 2 X : fn (x) t}
= {x 2 X : f (x) t} 8 t tal que {x 2 X : f (x) = t} = 0 ...() .
(NOTA: La convergencia descrita en () se llama convergencia en
distribucin.)
(Sugerencia: Pruebe la siguiente desigualdad 8 " > 0 : {f t "}
{|fn f | "} {fn t} {f t + "} + {|fn f | "} . El
resto se sigue tomando lmites inferior y superior y luego haciendo
tender " a cero.)
14

b) Muestre que el recproco del inciso anterior es falso.

(Sugerencia: Sea X = [0, 1], f = [1/2,1] y fn = [0,1/2] 8 n 2 N .)
73. Pruebe la siguiente versin continua del teorema de D.F. Egorov. Si f :
[0, 1] [0, 1] ! R es continua y '(x) = lmt!0 f (x, t) existe y es finito
8 E [0, 1] medible, entonces 8 " > 0 existe F E cerrado tal que
(E F ) < " y f (x, t) ! '(x) (t ! 0) uniformemente en F .
(Sugerencia: Considere E", = {x 2 E : |f (x, t) '(x)| " 8 t < } con
0 < < 1. Muestre que es medible.)
74. Existe f : R ! R en L1 ( ) tal que 8a < b en R y 8 M > 0
([x 2 (a, b) : f (x) M }) > 0.

(x rk )
(Sugerencia: Sea
una enumeracin de Q. Defina fk (x) =
0

P1
y sea f = k=1 fk , entonces f d = 2 y 8M > 0 9 q < r en Q con
(q, r) (a, b) con f (x) M 8 x 2 (q, r).)
(rn )1
n=1

75. Sea f : [a, b] ! R una funcin. Pruebe: f satisface una condicin de

Lipschitz en [a, b] () 8 " > 0 9 = (") > 0 tal que si {(ai , bi )]ni=1
es una coleccin
finita de subintervalor
Pn
Pnabiertos no necesariamente ajenos
tal que i=1 (bi ai ) < entonces: i=1 |f (bi ) f (ai )| < ".
(NOTA: Compare con la definicin de continuidad absoluta.)
76. (La indicatriz de Banach)
Sea f : [a, b] ! R continua y sea Ay = {x 2 [a, b] : f (x) = y}. Defina
Nf : R ! N[{0, 1} poniendo Nf (y) = #(Ay ). Pruebe: R Nf d = Vab (f )
(En particular, si f es de variacin acotada, Nf es finita c.d.).
(Sugerencia: Sea (Pn ) una sucesin crecienteP
de particiones de [a, b] tal
mn
que las normas tienden a cero. Sea Nn =
k=1 Bn,k donde Bn,k =
(n)
(n)
(n)
(n)
1
f ([xk 1 , xk ]) y Pn = (a = x0 < ... < xmn = b). Pruebe que
Nn ! Nf c.d. y use el T.C.M.)
77. Existe f : [0, 1] ! R continua tal que no sea de variacin acotada y sin
embargo Nf sea finita salvo en un punto? En ningn punto?
78. Sea F 2 AC([a, b]). Pruebe:

a) Vcb (F ) = [a,b] |F 0 |d .
(Sugerencia:
suponer que F 0 existe c.d., pertence a L1 ([a, b])
Puede
0
y F (x) = [a,x] F d + F (a). Use el ejercicio 70.)

b) Pab (F ) = [a,b] (F 0 )+ d y Nab (F ) = [a,b] (F 0 ) d .

1
(Sugerencia: x+ = (x + |x|). Use el inciso a) y el ejercicio 71. )
2
(NOTA: Pab (F ) y Nab (F ) denotan la variacin positiva y negativa de
F , respectivamente. )

15

1/2

si x 2 (rk , rk+1 )
si x 2
/ (rk , rk+1 )

79. Sea f 2 BV ([a, b]) continua tal que f 2 AC([, ])

Pruebe que f 2 AC([a, b]).
(Sugerencia: Use la propiedad (N ) de Luzin.)

8<

en (a, b).

80. Sean f, g funciones absolutamente continuas en sus dominios (f : [c, d] !

R y g : [a, b] ! [c, d] ). Pruebe: f g 2 AC([a, b]) () f g 2 BV ([a, b]).
(Sugerencia: Use la propiedad (N ) de Luzin.)
(NOTA: El resultado anterior es de G.M. Fichtenholtz.)

p
1
2
81. Sea f (x) = x sin
, f (0) = 0 y g(x) = x (definidas en [0, 1] ).
x
Entoncesf, g 2 AC([0, 1]), f g 2 AC([0, 1]) pero g f 2
/ AC([0, 1]) .
82. Si f, g son absolutamente continuas y g es montona, entonces f
absolutamente continua.

g es

83. Sea f : R ! R acotada y diferenciable con derivada acotada y mayor que

cero. Pruebe que f (E) es medible 8 E R medible.
(Sugerencia: Pruebe que f tiene la propiedad (N ) de Luzin.)
84. Si f 2 AC([a, b]), entonces |f |p 2 AC([a, b]) 8 p 2 [1, 1). Suponga
ahora que mn{|f (x)| : x 2 [a, b]} > 0. Se sigue que |f |p 2 AC([a, b]) si
p 2 ( 1, 1)?
85. Sea E Rn acotado y f : E ! Rm tal que 8 x 2 E y 8 " > 0 9 =
(x, ") > 0 tal que ||f (x) f (y)|| < "||x y|| 8 y 2 E con ||x y|| < .
Pruebe que (n) (f (E)) = 0.
(Sugerencia: Escriba E = [1
n=1 En con En = {x 2 E : (x, ") > 1/n} .)
86. (La funcin maximal de Hardy-Littlewood)
Sea f : R ! R una funcin integrable. Para cada intervalo abierto acotado
1
|f |d y Mf (x, I) =
I R y x 2 I fijos, definimos: mf (x, I) =
(I) I
supI {mf (x, I) : x 2 I}. Pruebe:
a) Mf = M|f | y Mf +g Mf + Mg .

b) Mf es semicontinua superiormente (en consecuencia es Borel medible).

c) Si {I}I2J es cualquier familia finita de intervalos abiertos acotados,
existe una subfamilia P
{I1 , I2 , ..., Ir } consistente de intervalos ajenos
r
tal que: ([I2J I) 2 i=1 (Ii ) .
(Sugerencia: Sea l0 = max{ (I) : I 2 J} y sea Ii un intervalo de J
con l0 = (I1 ). Sea J1 = {I 2 l : I \ I1 = ;}, l1 = max{ (I) : I 2 J1 }
y sea I2 2 J1 tal que (I2 ) = l1 . Continuando de este modo, hallamos
un ltimo r 2 N tal que: Jr 1 = {I 2 J : I \ (I1 [ ... [ Ir 1 ) = ;} no
es vaca. Sea Ir 2 J tal que (Ir ) = max{ (I) : I 2 Jr }. Si I denota
el intervalo abierto con el mismo centro que I pero del doble de su
longitud, pruebe que: [I2J I [ri=1 Ii ).
16

d)

2
|f |d
8 a > 0 (Desigualdad maximal).
a
(Sugerencia: Si K {Mf > a} es compacto, cbralo con cierta
cubierta abierta finita y utilice el inciso c).)
{x 2 R : Mf (x) > a}

e) t {x 2 R : Mf (x) > t} 2 L1 ( ), en particular Mf < 1 c.d. ( e) dice

que Mf es de tipo dbil L1 ).
(NOTA: Si f 2 L1 ( ) no necesariamente se sigue que Mf 2 L1 ( ),
sin embargo si f 2 Lp ( ), entonces ||Mf ||p K||f ||p con K > 0
constante absoluta (p > 1).)
87. (Los teoremas de Lebesgue)
1
f (t)d = f (x) c.d. x 2 R
(I) I
donde I denota un intervalo que contiene a x.
(Sugerencia: Si f es continua, el resultado es inmediato. En el caso
general, halle una sucesin de funciones continuas (fn ) L1 ( ) tales
1
que ||f fn ||1 ! 0. Si denotamos F (I) =
f (t)d y anloga(I) I
mente con Fn (I), entonces: lm (I)!0 |F (I) f (x)| lm (I)!0 (|F (I)
Fn (I)| + |Fn (I) fn (x)| + |fn (x) f (x)|). El segundo trmino no
presenta problema, para el primero observe que |F (I) Fn (I)|
Mf fn (x). Para " > 0 denote: E" = {x 2 R : lm (I)!0 |F (I)
f (x)| "} y observe que E" est contenido en: {x 2 R : Mf fn (x)
"/2} [ {x 2 R : |fn (x) f (x)| "/2}. Aplique la desigualdad maximal y la de Tchebyshev para concluir que (E" ) = 0. Pase al lmite
con " para concluir el resultado.)
1
b) Pruebe: Si f 2 L1 ( ) entonces: lm (I)!0
|f (t) f (x)|d (t) =
(I) I
0 c.d. x 2 R.
(Sugerencia: Por el inciso a), para cada r 2 Q el conjunto: Nr = {x 2
1
R : lm (I)!0
|f (t) r|d (t) = |f (x) r|} tiene medida cero.
(I) I
Sea N = {x 2 R : x 2 Nr o |f (x)| = 1}, entonces N tiene medida
cero y fuera de l, el resultado se sigue.)
(
1 si x 2 E
(E \ I)

c) Si E 2 AR , entonces c.d. x 2 R: lm (I)!0

=
(I)
0 si x 2
/E
.

a) Sea f 2 L1 ( ), entonces: lm

(I)!0

88. (La integral de Steklov)

Para ' 2 L1 ([a, b]) ponga '(x) = 0 8 x 2
/ [a, b] y defina 'h : R ! R
1
como sigue: 'h (x) =
'(t)d . Pruebe:
2h [x h,x+h]

a) [a,b] |'h (x)|d [a,b] |'(x)|d .

17

b) Si ' 2 Lp ([a, b]), entonces 'h 2 Lp ([a, b]) y ||'h ||p ||'||p (p > 1) .
(Sugerencia: Note primero que 'h es continua. Para
supo a) empiece

niendo que ' 0 y entonces: 2h [a,b] 'h (x)d = [a,b] d [ h,h] '(x+

t)d = [ h,h] d [a,b] '(x + t)d [ h,h] d [a,b] '(x)d . El caso '
general se sigue de lo ya considerado. Para b) use la desigualdad de
Hlder y el inciso anterior. )
89. Notacin
como en en ejercicio anterior. Si p 1 y ' 2 Lp ([a, b]) entonces:
lmh!0 |'h (x) '(x)|p d = 0.
(Sugerencia: Empiece con el caso p = 1: Use el hecho de que casi todo
punto es un punto de Lebesgue de ' para obtener 'h (x) ! '(x) c.d. y
concluya el caso usando el T.C.D. El caso p > 1 es ya inmediato. )
(NOTA: La integral de Steklov es usada para caracterizar la compacidad
de subconjuntos de Lp . El caso p = 2 fue introducido inicialmente por
Kolmogorov. )
90. Construya f : [0, 1] ! R absolutamente continua que no sea montona en
algn intervalo.

(Sugerencia: Sea F como en el ejercicio 39 y sea f (x) = [0,x] ( F

F c )d
.)
91. Describa a

(la medida de Lebesgue-Stieltjes) si:

a) g(x) = arctan x (en R).

1 x
2
b) g(x) = p
e t /2 d (en R).
1
2
c) g(x) = la funcin singular de Lebesgue (en [0, 1]) con g(x) =
.
92.

0 si x < 0
1 si x > 1

a) Sea f : ( 1/2, 1/2) ! ( 1, 1) dada por f (x) = sin 2x. Defina:

v : B( 1,1) ! R poniendo v(B) = (f 1 (B)). Muestre que v << y
dv
halle
.
d
dv
1
(Solucin:
(t) = p
)
d
1 t2
b) Igual que en a) pero considere af con a > 0.

93. Sea N [a, b] un subconjunto de medida cero. Pruebe que existe ' :
[a, b] ! R continua no decreciente tal que '0 (x) = 1 8 x 2 N .
(Sugerencia: Para cada n halle Gn abierto acotadoP
tal que N Gn con
1
(Gn ) < 2 n , sea 'n (x) = (Gn \ [a, x]) y sea ' = n=1 'n . Note que si
h > 0 es suficientemente pequea para que (x h, x + h) Gn (x 2 N ),
'n (x h) 'n (x)
entonces
= 1 .)
h

18

94. Sea f 2 L1 ([0, 1]) y g 2 BV ([0, 2]). Pruebe que F (x) =

es absolutamente continua en [0, 1].

[0,1]

f (t)g(x+t)d

95. (La funcin singular de Lebesgue)

Sea f : [0, 1] ! [0, 1] la funcin singular de Lebesgue. Pruebe:
a) |f 0 (x)| 1 c.d. pero f no es de Lipschitz en [0, 1].
n
(Sugerencia: f 0 (x) = 0 c.d. y f (x)
8 x 2 (3 n , 2(3 n )) y
= 2

3
n 1

f
3 n
3
3
2
n
n

f
3
= 2 . As pues,
=
que tien3
2
2
3 n
2
de a infinito con n.)
b) Existe g : [0, 1] ! [0, 1] continua, estrictamente creciente y singular.
(Sugerencia: Extienda a f a todo R poniendo f (y) = 0 si y
0 y f (y) = 1 si y
1. Sea Q = {r1 , r2 , ...} una enumeracin.
P1 f (2n (x rn ))
Sea g(x) = n=1
, entonces la serie converge unifor2n
memente, si x1 < x2 existe rn tal que x1 < rn < x2 de donde
g(x1 ) < g(x2 ). Por el teorema de diferenciacin de series de Fubini,
P1 f 0 (2n (x rn ))
g 0 (x) = n=1
c.d. )
2n

96. Para toda funcin f : [0, 1] ! R existe g : R ! R Lebesgue medible y

h : [0, 1] ! R Borel medible tal que: f = g h.
P

1 xn
(Sugerencia: Sea h : [0, 1] ! [0, 1] dada por h(0) = 0 y h
=
n=1 n
2
P1 2xn
donde la expansin binaria no tiene cola de ceros. h es esn=1
3n
trictamente creciente y h([0, 1]) es nulo. Sea g : [0, 1] ! R dada por:
g(x) = f (h 1 (x)) si x 2 h([0, 1]) y g(x) = 0 de otro modo.)
97. Sea X 6= ; y = {(x, x) : x 2 X}. Pruebe: Si 2 P(X) P(X) entonces
#(X) c.
(Sugerencia: 9 E0 X numerable tal que 2 S(E0 E0 ). Defina l : X !
P(E0 ) como sigue: l(x) = {E 2 E0 : x 2 E} y verifique que es inyectiva.)
98. Pruebe que no existe h 2 L1 (R) tal que h f = f 8 f 2 L1 (R).
(Sugerencia: Suponga lo contrario, halle a > 0 tal que [ 2a,2a] |h|d < 1.

Sea f = [ a,a] , entonces f (x) = [x a.x+a] h(t)d , pero 8 x 2 [ a, a],

f (x) = 1 y adems [x a, x + a] [ 2a, 2a]. Obtenga una contradiccin.)
8
<0
si x = t
99. a) Sea f : [ 2, 2] [ 2, 2] ! R dada por: f (x, t) =
xt
: 2
si x 6= t
x
t2
2
2 @f
. Sea F (t) = 2 f (t, x)dx. Pruebe: F 0 (0) = 0 pero
(x, 0)dx
2 @t
no existe. Explique el fenmeno.
19

8
<0

si (x, t) = (0, 0)
.
x|t|
:
si (x, t) 6= (0, 0)
2
2
x +t
2
Sea F (t) = 2 f (t, x)dx. Entonces F 0 (0) no existe. Qu ocurre con
2 @f
(x, 0)dx ?
2 @t

b) Ahora sea f : [ 2, 2][ 2, 2] ! R dada por: f (x, t) =

100. Sea E (Rn acotado y sea fr : Rn ! R dada como sigue:

1 si 9 e 2 E tal que ||x e|| < 1/r
fr (x) =
. Pruebe:
0 en caso contrario

a) fr 2 L1 (Rn ) .

b) Rn fr d (n) ! (n) (E) () ( (n) )(@(E)) = 0.

n
(Sugerencia: Pruebe antes que E = \1
r=1 {x 2 R : fr (x) = 1} y
aplique el T.C.D.)

20

Bibliografa
[1] The Elements of Integration and Lebesgue Measure, R.G. Bartle, Wiley
Classics (1995)
[2] Functional Analysis, G. Bachman, L. Narici, Academic Press (1966)
[3] Measure and Integration, S. K. Berberian, Chelsea (1970)
[4] Measure Theory, D. L. Cohn, Birkhuser, Boston (1980)
[5] Measure Theory, P.R. Halmos, Springer G. T. M. #18 (1974)
[6] Real and Anstract Analysis, E. Hewitt, K. Stromberg, Springer G. T. M.
#25 (1965)
[7] The Theory of Functions of a Real Variable, R. L. Jeery, Dover (1985)
[8] Modern Theories of Integrations, M. H. Kestelman, Dover, (1960)
[9] The Theory of Functions of a Real Variable, I. P. Natanson, Ungar Vols. I,
II (1974)
[10] Measure and Category, J. C. Oxtoby, Springer G. T. M. #2 (1980)
[11] Real Analysis, H. L. Royden, Macmillan, Third Edition (1998)
[12] Real and Complex Analysis, W. Rudin, McGraw Hill (1974)
[13] Integral Measure and Derivative: A Unified Approach, G. E. Shilov, B. L.
Gurevich, Dover (1977)
[14] General Theory of Functions and Integration, A. E. Taylor, Dover (1985)
[15] Measure and Integral, R. L. Wheeden, A. Zygmund, Marcel Dekker Vol. 43
(1997)
[16] Counterexamples in Probability and Real Analysis, G. L. Wise, E. B. Hall,
Oxford University Press (1993)

21