Variables Reales - Murray Spiegel - Color
Variables Reales - Murray Spiegel - Color
REALES
TEORÍA y
problema:
resueltos
dran
>[EN 2)...
ASRIEGEL
msmc
mel
MEDIDA E INTEGRACION DE LEBESGUE
con aplicaciones a las series de Fourier
V POR
EDGAR PEREZ
Profesor de Matemáticas
Universidad Pedagógica
REVISION DK
LIBROS McGRAW-HILL
MEXICO PANAMA MADRID BOGOTA SÁO PAULO NUEVA YORK
LONDRES TORONTO SIDNEY JOHANNESBURG
DUSSELDORF SINGAPUR AUCKLAND
Queda terminantemente prohibido reproducir este libro, total
o parcialmente, sin autorización escrita del editor
0-07-091878-3
Impreso en Colombia
M. R. SPIEGEL
Rensselaer Polytechnic Institute
Octubre de 1969,
CONTENIDO
Página
Capítulo Z CONCEPTOS FUNDAMENTALES
Conjuntos. Subeonjuntos. Conjunto universal y conjunto vacío, Números reales. Axioma
de plenitud o de mínimo mayorante. Diagramas de Venn, Operaciones con conjuntos.
Algunos teoremas sobre conjuntos. Principio de dualidad. Productos cartesianos. Funcio-
nes. Función inyectiva. Correspondencia biyectiva. Enumerabilidad, Cardinal. El con.
junto de Cantor. Espacios Euclidianos de n dimensiones. Espacios métricos. Algunas
definiciones importantes sobre conjuntos de puntos. Algunos teoremas
importantes sobre
conjuntos de puntos. Conjuntos compactos. Límites de funciones. Funciones continuas
Teoremas sobre funciones continuas. Continuidad uniforme, Sucesiones. Límite
superior
y límite inferior. Intervalos encajados. Sucesiones de Cauchy. Plenitud. Sucesiones de
is
funciones, Convergencia uniforme. Series,
FUNCIONES MEDIBLES ..
Ade
Definición de una función medible. Teoremas sobre funciones medibles.
Teorema de Egorov.
Eon
Clases de Baire.
44
SS
Capítulo LA INTEGRAL DE LEBESGUE PARA FUNCIO)
ACOTADAS . A
54
La integral de Riemann. Def le la integral do Lebesgue para funciones ac
medibles. Interpretación geométrica de la integral de Lebesgue. Notación para las in-
tegrales de Riemann y de Lebesgue. La integral de Lebesgue definida sobre un conjunto
medible. La integral de Lebesgue como límite de una suma. Teoremas sobre la integral de
Lebesgue. Teorema de Lebesgue sobre convergencia acotada. Teorema de convergencia
acotada para series infinitas, Relación entre las integrales de Riemann y de Lebesgue.
la re dedo
Ei
La integral de Lebesgue para funciones no negativas y no acoladas. La integral de Lebes-
gue para funciones arbitrarias no acotadas. Teoremas sobre integrales de Lebesgue de
funciones no acotadas. Teorema de convergencia dominada de Lebesgue. El teorema de
convergencia dominada para series infinitas. Teorema de Fatou. Teorema de convergencia
monótona. Aproximación de funciones integrables por funciones continuas, La integral
de Lebesgue sobre conjuntos o intervalos no acotados. Teoremas para integrales de Le-
besgue sobre conjuntos no acotados. Comparación con la integral de Riemnn para con-
juntos no acotados.
CONTENIDO
Página
Capítulo: 6 DERIVACIÓN E INTEGRACION Riemann. Funciones
- 97
Integrales indefinidas. Teoremas sobre integrales indelmidas de
monótonas. Teoremas sobre funciones monótonas. Funciones de variación acotada. Teo
temas sobre funciones de variación acotada. Derivadas de una función. Derivadas de
funciones de variación acotada. Continuidad absoluta. Algunos teoremas sobre conti
muidad absoluta. Teoremas sobre integrales indefinidas de Lebesgue. Integración por
partes. Cambio de variables.
Indice .
Aa e ,
de
eee 189
Capítulo 1
Conceptos fundamentales
CONJUNTOS
En matemáticas es fundamental el concepto de conjunto que puede considerarse como
una colección de objetos llamados elementos del conjunto. En general, a menos que se espe-
cifique de otra manera, denotamos un conjunto por una letra mayúscula tal como A, B, X, S,
etc., y un elemento por una letra minúscula tal como a, b, x, ete. Si un elemento a pertenece
a un conjunto escribimos a E S. Si a no pertenece a S escribimosa (E S. Si a y b pertene-
$
Ejemplo 1.
El conjunto de todas las vocales del alfabeto español se puede escribir por extensión como
fa, e, á, o, u| o por comprensión como x:x es una vocal], que se lee "el conjunto de to-
|
dos los elementos x tales que x es una vocal”. Obsérvese que el símbolo:se lee “tal que”.
SUBCONJUNTOS
Si cada elemento de un conjunto A pertenece también a un conjunto B llamamos a A
un subconjunto de B, lo que se escribe AC BoB) A, y se lee “A está contenido en B”
o “B contiene a A” respectivamente. Si A C By BC A decimos que A es igual a B y
escribimos A = B,
Si no es igual a B escribimos A
A B.
Ejemplo 3.
Ejemplo 4.
(a,
[£
í, u| es un
a, e, u] es un
0,
subconjunto propio de fa, e, í, 0,
subconjunto pero no propio de
|.
|a, e, á, o, u| y en efecto los dos
conjuntos son iguales. Obsérvese que una simple reordenación de los elementos no cambia
el conjunto,
1
2 CONCEPTOS FUNDAMENTALES [CAP. 1
espacio denotado por'U. Los elementos de un espacio se suelen llamar puntos del espacio.
Es útil considerar un conjunto que no tiene elementos. Se llama conjunto vacío"o con-
junto nulo y se denota por“: Es subconjunto de cualquier conjunto.
NUMEROS REALES
Uno de los conjuntos más importantes para los propósitos de este libro es el conjunto
R de los números reales. Se supone que el estudiante ya está familiarizado con muchas pro-
piedades de los números reales por el cálculo. La intuición geométrica la da frecuentemente
el hecho de que todo número real se puede representar por un punto sobre una recta llamada
recta real y recíprocamente [véase figura 1-1]. Esto nos permite hablar de conjuntos de
puntos o conjuntos puntuales en vez de conjuntos de números reales y recíprocamente.
en
Por ejemplo [xa < x < b| es un intervalo abierto en R y se denota brevemente
a<x<bo]a,bl; (x:a s x S b);
esunintervalo cerrado R que se denota brevemente
asx<bola
micerrados] en R.
bj; [x:a< xs
bj o[x:a Ss x< bj son intervalos semiabiertos [o se-
ya
[
ela
y
.
Y
| |
Fig. 1-1
Muchas veces es conveniente prolongar el conjunto de los números reales de modo que
incluya —= y
(o, 0) es R.
o0 0. Así < x < | que se denota brevemente por == < x<
[x:—= o
DIAGRAMAS DE VENN
Un universoY se puede representar geo-
métricamente por el conjunto de puntos situa- u
dos dentro de un rectángulo. En tal caso los
subconjuntos de U [tales como A y B que se
muestran sombreados en la figura 1-2] están
representados por conjuntos de puntos situa-
dos dentro de círculos. Tales diagramas, lla-
mados diagramas de Venn, sirven con frecuen-
cia para proporcionar intuición geométrica con
Fig. 12
respecto a las posibles relaciones entre con-
juntos.
u u u
ACE
Fig. 1-3 Fig. 1-4 Fig 1-5
2. Intersección. El conjunto de todos los elementos que pertenecen tanto a A como a B se
llama intersección de A y B y se denota por A)
B [sombreada en la figura 1-4].
Dos conjuntos A y B tales que B=
AM H ¡é. que no tengan elementos en co-
mún, se llaman conjuntos disjuntos. En la figura 1-2, A y B son disjuntos.
3. Diferencia. El conjunto que consta de todos los elementos de A que no pertenecen a
B se llama la diferencia de A y B y se denota por A — B [sombreada en la figura 1-5].
4. Complemento. Si BC A, entonces A — B se llama el complemento de B en A
y se denota Ba [sombreado en lá figura 1-6]. Si A = U, el conjunto universal, nos
referimos a U — B simplemente como el complemento de B y lo denotamos por B
[sombreado en la figura 1-7].
El complemento de AU B se denota (AU BJ”.
PRINCIPIO DE DUALIDAD
Cualquier resultado verdadero sobre conjuntos es verdadero también si remplazamos
uniones por intersecciones, intersecciones por uniones, conjuntos por sus complementos
y si intercambiamos los signos de inclusión C y D
PRODUCTOS CARTESIANOS
El conjunto de todos los pares ordenados (x, y) donde E A y y E Bse llama producto
x
€ X
para los cuales f(x) E B se llama la imagen recíproca de B por f y se denota f-1 (B).
Si X es una clase de conjuntos [o sea un conjunto cuyos elementos son conjuntos]
entonces una función f:X — Y se llama función de gonjunto.
o
Si X y Y son conjuntos de números reales, f o f(x) se llama función real.
Una función Y se puede definir también como un subconjunto del producto
car-
tesiano X x Y tal que si (x1, y1) y (12, y2) están en este subconjunto y x1 = x2, enton-
ces Yi = Ya.
ENUMERABILIDAD
Dos conjuntos A y B se llaman equivalentes, y se escribe A =— B si hay corresponden-
cia biunívoca entre A y B,
O
Ejemplo 5. Los conjuntos A = (1,2,3] y B.= (2,4, 6] son equivalentes porque hay la correspon-
dencia. biwnívoca que se muestra a continuación.
AE
oyo 4
Si A — B, entonces B
— A. También si
A=
ByB= C, entonces A C.
Un conjunto que sea equivalente al conjunto (1, 2, 3, n), para algún número na- ...,
CARDINAL
El cardinal del conjunto [1, 2, 3, n] y de cualquier conjunto equivalente es n, por
...,
EL CONJUNTO DE CANTOR
Considérese el intervalo cerrado [0, 1]. Triséquese el intervalo por los puntos 1/3,
»/3'y remuévase el intervalo abierto 1/3, 2/3[ o tercio medio. Obtenemos así
el conjunto
K, = (0,1/3) U [2/3, 1). Trisecando los intervalos [0, 1/3] y [2/3, 11 y removiendo
de muevo los tercios medios abiertos, obtenemos Xz = [0, 1/9] U 12/9, 1/3) U (2/3, 7/9]
U (8/9, 1]. Continuando de esta manera obtenemos los conjuntos Ki, K2,-... El con-
junto de Cantor, denotado K, es la intersección de K1, Ka,
Parece que no hubiera quedado nada en el conjunto K. Sin embargo, resulta (ver el
problema 1.22] que el conjunto tiene cardinal c, o sea que es equivalente a [0, 1]. Tiene
muchas otras propiedades notables [ver el problema 1.109 por ejemplo]
Va a+ (a
Y2s
entre x y y se define como
dy) = +
Para n = 1,
díx,y) = |x — y | donde |a| denota el valor absoluto
de a [igual aa sia 2 0ya—a
ia<0)
El conjunto de puntos (x:d(x, y) < r] se llama esfera abierta de radio r con centro en y
y se llama a veces entorno esférico de y. Si remplazamos el < por $ es una esfera cerrada
de radio r con centro en y. Para n = 1 la esfera abierta o cerrada se reduce a un intervalo
abierto o cerrado respectivamente.
ESPACIOS METRICOS
Un espacio métrico es una generalización de un espacio euclidiano en el cual hay una
función distancia d(x,
y) definida para dos elementos cualesquiera [indicados por x, y, 2]
del espacio, que satisface las siguientes propiedades.
un lenguaje apropiado para R (p.e. la distancia entre x y y es |x — y], etc.], debe destacar-
se que muchos de los conceptos se pueden generalizar fácilmente a R* o a otros espacios
métricos usando, por ejemplo, esferas abiertas o cerradas en lugar de intervalos].
1. Entormos. Un ¿-entorno de un punto a es el conjunto de todos los puntos x tales que
lx — al < ó donde ¿ es cualquier número positivo dado. Un ¿-entorno reducido de
a es el conjunto de todos los puntos x tales que 0 < |x — a] < 5, esto es donde a misma
está excluida.
Es posible evitar el concepto de entorno remplazándolo por un intervalo abierto
[o esfera abierta en espacios de más dimensiones].
2. Puntos interiores. Un punto a E $ se llama punto interior de S si existe un ¿-en-
torno de a cuyos puntos pertenezcan todos a S. Alternativamente, a es un punto interior
de $ si existe un intervalo abierto 7 C $ tal que a €
El conjunto de puntos interiores de S se llama el interior de S.
3. Conjuntos abiertos. Un conjunto se dice abierto si cada uno de sus puntos es un pun-
to interior.
A.
CONJUNTOS COMPACTOS
Un conjunto S se llama compacto si todo recubrimiento abierto de S tiene un subrecu-
brimiento finito. Para R”, compacto es equivalente a cerrado y acotado.
LIMITES DE FUNCIONES
Un número ! llama límite de f(x) cuando x se acerca a a si para
se todo« > 0 existe
un >0 tal que
5
|f(+)— 1] <esiempre
que 0< |x— a] < 5. Ental caso escribimos límf(x) = l.
Teorema 1-22. Si un límite existe es único.
Teorema 1-23, Si límf()=l, límfa(x) =l, entonces
FUNCIONES CONTINUAS
Definición: Una función f:R — R se llama continua en vn punto a si dado cualquier
e
> existe ó > 0 tal que f(x) — f(a)| < e siempre que |x — a] < 3. Se puede decir en forma
O |
0
equivalente que f [o f(x)] es continua en a si (1) lím f(x) existe, (2) f(a) existe y (3)
lím f(=) = fa).
Llamamos a f función continua sobre un conjunto S si f es continua en todo punto de S.
Á veces es útil la siguiente definición alterna de continuidad
[vea el problema 1.41]
Definición: Una función f:R —+ R es continua en A si dado cualquier conjunto
abierto A que contenga a fía), existe un conjunto abierto B que contiene a a tal que
ÑNB)CA.
Teorema 1-25. [Valor intermedio]. Si f es continua en (a, b], entonces toma todo
valor comprendido entre (a) y f(b). En particular toma sus valores má-
ximo y mínimo en [a, 5].
Teorema 1-26. Si f es continua sobre un conjunto cerrado S, entonces f es acotada, ¡.e
existe un número real M tal que |f(x)| < M para todo x E 5.
Teorema 1-27. Una función f es continua si y solamente si la imagen inversa de cual-
quier conjunto abierto es también abierta.
CONTINUIDAD UNIFORME
existe
Una función f:R — R se dice uniformemente continua sobre S si dado cualquier« > 0
un número ¿> Otal que
f(x)— f(y)| < siempre que |[x— y] < ¿dondexE S,yyE S.
| e
SUCESIONES
Una sucesión es una función cuyo dominio es el conjunto de los números naturales. Se
.-.
denota por a1, az, 43, o brevemente (dm).
Una sucesión de números reales (d,)se dice que converge a a o que tiene por límite a a
si dado cualquiere > 0 existe un entero positivo no tal que |a, — a| < e siempre que n > no
Si un límite existe es único y la sucesión se dice convergente a este límite, denotado
por
lím a, = a o brevemente por lím a, = a,
Teorema 1-29. Silím a, = a, lím b, = b, entonces lím (a, +0n) = a+ b, lím a,b, = ab,
lim ar/b, = a/b si b% 0.
Teorema 1-30. Si (a,) es acotada [i.e. existe una constante
M
tal que |a,|
< M] y si (an)
es monótona creciente o monótona decreciente [i.e. An+r 2 4/
a»), entonces (dr) es convergente.
001S
Teorema 1-31, Una sucesión convergente es acotada.
Si una sucesión no es convergente se llama divergente.
yores que 7 + e para cualquier e > 0. Denotamos el límite superior de (a,) por lím sup a,
o Km 0,
Un número ¿es el límite inferior de una sucesión (a,) si hay infinitos términos de la
sucesión que son menores que J + e mientras que solo un número finito de términos de la
sucesión son menores que ] — e para cualquiere > 0. Denotamos el límite inferior de (a»)
por lím inf a, o líma.
Si hay infinitos términos de (as) que exceden a cualquier número positivo M, escribi
mos Tím
a, = «. Si hay infinitos términos que sean menores que — M, donde M es cualquier
húmero positivo, escribimos lím a, =—
Teorema 1-32. Toda sucesión acotada siempre tiene un lím sup [o Tím] finito y lím
inf [o lím] finito y la sucesión converge si los dos son iguales.
10 CONCEPTOS FUNDAMENTALES (CAP. 1
INTERVALOS ENCAJADOS
Teorema 1-33. Seal, = [a1, bi], Lo = [a2, ba), La una sucesión
Aa, dal,
de intervalos tales que LD) hb D D D
++
hhEntonces +...
si
lím (a, — 0,) = 0 existe uno y sólo un punto común a todos los in-
tervalos. Los intervalos en tales casos se llaman intervalos encajados.
SUCESIONES DE CAUCHY
La sucesión (a,) de números reales es una sucesión de Cauchy si dado cualquier
<> 0 existe un entero positivo na tal que la, — a] < e siempre quep > no, > Mo q
PLENITUD
Un conjunto S de números reales se dice completo si toda sucesión de Cauchy tiene un
límite que pertenece a 5.
Teorema 1-35. Toda sucesión de Cauchy de números reales es convergente.
Ejemplo 8. El conjunto Q de los números racionales no es completo, pero por el teorema 1-35 el con.
SERIES
Sea (a,) una sucesión dada y consideremos una nueva sucesión (8) donde
8 = My 2 = 040, 2 = Qta+ay 2...
Problemas resueltos
CONJUNTOS Y NUMEROS REALES
11 Sea us de números reales cuyos cuadrados son iguales a 25. Mostrar cómo
conjunto
quex2 =
describe
(a) S = [
xix? = 25) que se lee, “el conjunto de todos los elementos x tales 25”.
(b) Comox = 2paraz= y x — —5, podemos escribir = 5, —5], .0. 5 se dando efectivamente
S
sus elementos.
12. Sea A= (x
Como y? — Bx + 16
es un entero impar], B
=00(2 — Dz 5) = Osiy
(r:x2
si x =
—
solamente
+15
Bx= 0].
Mostrar
que BC A.
(3,5) 30 = 5, tenemos= B
deB
—
ces BD A.
da) El emunciado es falso. Cualquier objeto particular se supone igual a sí mismo. Así que no hay
objeto que no sea igual a sí mismo, Entonces (z:x /4 x) — Q, el conjunto vaci
El error consiste en escribir [D] en lugar de P, ya que [9] es un conjunto no vacío que consta.
del conjunto vacío,
(6) Obsérvese que esto so lec “A es el conjunto de todos los x tales que x2 ya> 7
Como no hay múmero x tal que x
= 4 [07 =2,—2] y x > 9, sigue se que = f.
A Además, como
el conjunto vacío es un subconjunto de Lodo conjunto, se sigue que C Bo A
BD A y el enunciado
es verdadero.
156. Sea S= (44,4...) Hallar: (a) una cota superior, (b) una mínima
rior, (c) una cota inferior (d) una máxima cota inferior para S.
y
cota supe-
(a). Como todos los elementos de S son menores que 2 (por ejemplo] podemos decir que 2 es una cota
nú-
superior. En realidad cualquier número mayor que 2 es también una cota superior y hay algunos
meros menores que 2 [p. €. 14, 11, 1) que son cotas superiores.
(b) El número 1 es una cola superior del conjunto $ y además es la mínimo de las cotas superiores. Se
concluye que 1 es la mínima cota superior (1. e. 4.), o supremo, (sup) de S. Obsérvese que no es un
1
elemento de S.
(e) Como todos los elementos de $ son mayores que 0 [por ejemplo] podemos decir que 0 es una cota
inferior. En realidad cualquier número menor 0
que
es también una cota inferior (p. e. —1, —3] y hay
algunos números mayores que 0 [p. e. 1, 1] que son cotas inferiores
(a El número 4 es tna cota inferior del conjunto S y además es la mayor de las cotas inferiores. Se si-
ue que $ es la máxima cola inferior (m, e. i), 0 fnfimo (ín0), de S. Obsérvese que $ es un elemento
de $.
12 CONCEPTOS FUNDAMENTALES [CAP. 1
hallar:
Y —
y
()
4UB (-V2,7,0)u
= (8,4: V2,-4)
AUB)AC = (V/2,5,0,5,4,4)
= (-v2,7,0,5,4,-4)
N
(4.4) = (4,0) usando el resultado de la parte (a)
(2) É
— el conjento de todos ls E que no ostán en 8 = (0, +]
elementos de
€ — conjunto de todos los elementos de U que no están en C= (0, r,
el
- va
Bu
5
Entonces CT
= (0,1) U(0,r,5,-V2) = (0,7,5,Y2).
(e) A— B= el conjunto de elementos de A que no están en B = (0, £]
Otro método. Por el teorema 1-3, tenemos
Obsérvese que un diagrama de Venn no es una demostración tal como la que se dio en la parte (al
Sin embargo, sirve para observar posibles relaciones entre
conjuntos que luego pueden demostrarse por
métodos semejantes a los que se dieron en (a).
CONCEPTOS FUNDAMENTALES 13
CAP. 1
1.9. Demostrar
la primera ley distributiva, teorema 1-
NBUCO=ANBULIAN
O).
Tenemos AN(BUO) = : 764, 7€BUC)
(e: EA, EB o 26C)
(6: x6A,7EB 0 16A,2€C)
= (e: EAMB o zEANC)
(ANB)U(ANC)
1.11. Si A, B, C son conjuntos del problema 1.7, hallar los productos cartesianos: (a) AX C.
(0) Ox A.
(a) AXC=
(2,1): 784,480) = (VZP, (=$), (0, Y. (2, 4), (0,9) 12,4),
(0) CXA = (la,1): A) = (4,-V2), (-4,V2), 47), 4,7), (4,0), 4,0)
260,46
Obsérvese que A x (2 C Xx A en este caso.
FUNCIONES
1.12, Determinar si está definida una función de conjunto X en el conjunto Y para cada
diagrama en: (a) figura 1-10. (b) figura 1-11.
A ==
RES ==
PX
E
PAR
ig 1:10 Fig La
(a) No está definida una función de en X Y, ya que al elemento xa de X lo están asignados dos elementos
os distintos yy y ya de Y.
(6) No está definida una función de X en Y, pues no hay elemento de Y que esté asignado al elemento xa
de X.
3
E
1.13. (a) Mostrar que el diagrama de la figura 1-12
define una función f del conjuntoX en el con-
junto Y, ie. f:X — Y. (b) Hallar /(c). (c) Si se
da un subconjunto de X por A = (a, d, b), ha-
llar f(4). (d) Hallar f(X). (e) Hallar el dominio
de f. (£) Hallar el conjunto de valores de f. (g) Fig. 1-12
¿Es f una función sobreyectiva? Explicar. (A)
Si B= (1,2), hallar f-1 (B).
14 CONCEPTOS FUNDAMENTALES [CAP. 1
1.14, Sea f una función cuyo valor en cualquier punto x está dado
por f(x) = 3x2 —4x + 2
donde — 1 S x
(a) El dominio
S 2. Hallar: (a) el dominio de
f. (D) la imagen de f. (c) £(1). (d) £(3)
de /es X=
(8) La imagen de fas
(x:—13 2 3 2), que escribiremos brevemente,
— [f60:
Y
x
5
—1£ x 5 2], ol conjunto de todos los valores /(x) con =1 3 x 5
15 2.
2.
(0) $1) =
32
—4(1)+2 1
(d) [(0) no está definido, ya que x = 3 no está en el domi
de
1.15. Determinar si la función del problema 1.13 es inyectiva.
Una función es inyectiva, si asigna diferentes imágenes a diferentes elementos del
dominio. Como
esto es cierto para la función del problema 1-13, es una función
inyectiva, Obsérvese, sin embargo, que no
es una función sobreyectiva [ver el problema
1.13(g)].
El
+
eee
Y
4
ae ao BO
t
1
1.17. Demostrar el teorema 1-14: Jna unión enumerable de conjuntos enumerables es enu-
merable.
Consideremos los conjuntos
(pia
conjuntos Si,
0d
Sa,
(sa, do 0
Ahora podemos
escribir los elementos en la forma siguiente
CAP. 1] CONCEPTOS FUNDAMENTALES 15
donde se ve que el primer elemento está caracterizado porque la suma de sus subíndices es igual a 2; los
dos siguientes tienen por suma 3; los tres siguientes tienen por suma 4, etc. Como esto establece una co-
rrespondencia biyectiva con los números naturales, está demostrado el teorema.
118. Q denota el conjunto de los números racionales, demostrar que los siguientes con-
juntos son enumerables: (a) [x:x € Q,x 2 1). (6) [x:1€ Q,x2 0]. (c) el conjun-
to Q.
(a) Sea x cualquier número racional tal que x 2 Entonces a cada x corresponde unoy solo un número
1.
zacionaly = 1/2 tal que < y $ 1. Pero como el conjunto [y:y E Q,0< y $ 1] es enumerable, tam
O
Q=(r:1EQ,1>0)U
lema 1.7 y el hecho que
fe: 280,2 (2: <0)U 2=0)
vemos que Q es enumerable,
Suponemos que los números cuyos desarrollos decimales terminan, tal como 0,7324, se escriben
018240000... que esto es lo mismo que 0,73239999,
y
Si todos los números reales de [0, 1] se pueden contar, entonces podemos ponerlos en correspon-
dencia biyectiva con los múmeros naturales como en la siguiente enumeración:
10 Optio.
2.6 aragón.
3-0 0,2 lanar:
16 CONCEPTOS FUNDAMENTALES [CAP. 1
ES 0)
donde cada
lo
a es 0 0 2 [vea el problema 198].
binario (desarrollo en
Por otra parte todo
el sistema de base 2) de la forma
número de [0, 1] tiene un desarro-
3.
donde cada ba es 0.0 1 y donde suponemos que no todos los ba son después de un cierto término (la se:
a
rie no termina).
Ahora establecemos una correspondencia biunivoca entre (1) y (2) tal que d, — 0si a, = 0y dh = 1
si a, = 2. Entonces, como el conjunto de los números reales de [0, 1] no es enumerable [tiene cardi
nal e] tampoco lo es el conjunto de Cantor
1.24. Sea $ el conjunto de números irracionales de [O, 1]. (a) ¿Cuáles son los puntos lí-
mite de S, si los hay? (b) ¿Es S abierto? (c) ¿Es S compacto?
(a) Si a es un número racional de entonces todo entorno 4 de a contiene puntos de S. Así que
[0, 1],
todo múmero racional de [0, 1] punto límite. es un
De modo análogo, si a es cualquier número irracional de [0, 1], entonces todo entorno ¿ de
a contiene puntos de S. De modo que todo número irracional de [0, 1] es un punto límite,
(b) Todo entorno 3 de un punto a E 8 contiene puntos que pertenecen a $ y puntos que no pertenecen a
$. Así que todo punto de $ es punto frontera, Entonces, como no hay puntos interiores, S no puede ser
abierto.
(e) En el espacio cuclídeo R”, compacto es lo mismo que cerrado
y acotado, Entonces como $ es acotado
pero no cerrado [pues no contiene sus puntos-límite], S no es compacto,
luly
0
El resultado se puede extender a cualquier número finito de conjuntos abiertos Si, ..., S, por Sa,
inducción. El que no pueda extenderse a cualquier número no finito de conjuntos se indica en el problema
1.103,
e
abiertos.
Guam ¿Si Sia 5
Sa
Por la primera lay de De
conjunto cordon: de modo
Mogan povorlizada
qua par el
a cualjuiar
ina 116, US
número de conjuntos [ver piblemaa
iO:
E (8,5) = >>
Entonces como [SL os abierto por el problema 12, se sigue que (3, 5) es abierto de modo que
¿Sa es cerrado,
18 CONCEPTOS FUNDAMENTALES [CAP. 1
(ms) = US,
Entonces como Y 3, es abierto por el problema 1.27, se sigue que (1 Sa es cerrado,
131, Sea S un conjunto abierto y supongamos que el punto p E S. Demostrar que: (a) exis-
te un intervalo abierto mayor que todos /, tal que CS l, y pE (b)S=UL,
(a) Como S es abierto, entonces por definición existen intervalos abiertos en S, sean Jo,, d,], que
contienen a p, Sen a — extremo inferior a, y b = extremu superior B, [puede suceder que a = —=,
b=
=], Entonces el intervalo l, Ja, b[ es el mayor intervalo abierto que pertenecea S y contiene ap.
—
(6) Todo punto p E S también pertenece a U Í, y todo punto p E U 1, tambión pertenece a S. De mo-
do que S=
UI,
1,32. Con referencia al problema 1.31, sean 1,, la los mayores intervalos abiertos
contienen puntos p y q respectivamente. (a) Demostrar que se cumple £,
S que
= 7, o
de
LM 1, = 9. (b) Demostrar entonces que S= UU 1, donde los 7,, llamados inter-
valos componentes, son disjuntos.
(a) Como p E ly, tenemos también p E LU Jas si suponemos que ni T, — Im 1,
L¿= D, se sigue
que IL, U 1, es un intervalo abierto que contiene p y que es mayor que 1,, contradiciendo el hecho
de que I, es el mayor de tales intervalos. Así se sigue el resultado pedido.
(b) Esto se sigue inmediatamente de la parte (a) y del problema 1.31
1.33. Demostrar que los intervalos componentes 1, del problema son enumerables. 1.32(5)
“Todo intervalo [, contieno un número racional. Entonces, como los intervalos son disjuntos, con-
tienen diferentes números racionales, es decis, que a tudo intervalo /, Le corresponde un número racional.
Como el conjunto de los números racionales es enumerable, también lo son los intervalos componentes.
LIMITES CONTINUIDAD
Y
1.36. Si (a) = fía)
(0) ft)
fe, 22 demostrar que lim f(x)
lá 423
»
CAP. 1 CONCEPTOS FUNDAMENTALES 19
Debemos demostrar que dado cualquier « > 0, podemos hallar ¿> 0 tal que |z sen (1/1) — 0] < e
cuando 0< [x= 0|< 2,
Si 0< [x] < 3, entonces |x sen (1/x)] = |x| sen (1/2)| < |x|] < pura todo
5 pues |sen (1/x)| < 1
10.
Escogiendo 4 = +, vemos que [xsen (1/3)| < « cuando 0.< |x| <5, con lo que se completa la de-
(El 28
1.38. Sea f(x) =
1o e. des »
(a) Hacerla gráfica de la función. (6) Hallar lím f(x).
ma
(e) Hallar Jm£(o. (4) Hallar lim f(1)
Para 2 <3,
Entonces la gráfica que se muestra en la figura
adjunta, 1-14, consiste en las rectas y = 1, x > 3
3-1, x< 3 y ol punto (3, 0). (5,0)
a 1
.
(6) Cuando 2— 3 por la derecha, f(=) + 1, o sen que
lim fa) =
como aparece claramento en la gráfica, Para demos-
trar esto debemos mostrar que dado cualquier « > 0,
que
podemos hallar $ > 0 tal que |f()— 1| < e siem: Fig. 1-14
pre 0< x= 1< 5
Ahora, puesto que x > 1, fíx) =
siempro que 0< x—1< 5
1 así que la prueba consistó en la irivialidad de que
[1 1] <<
(e) Cuando
mo en (b)
(a) Como lim
23
por la izquierda, f(z)
lim(2) no
Jl,lía)
+
—
exist.
1, ie.
a
lim /(z) = —1. Se puede formular una demostración co-
ins [2 242
1.39. Investigar la continuidad de (a) f(x) = x?, (b) f() =
lo, 2=2 "==
(a) Método 1. Por el problema
lim /(+) = 4 = /(2), o sen que, el
límite de
1.35, [(=) cuando x— 2 0s
igual valor de [(2)
al así que [[o f(x)] es continua en x= 2
en x = 2,
Método 2. Tenemos f(2) = 4, Entonces dado e > O existe ¿> 0 tal que [x* — 4] < cuando e
[x — 2] < a, por una demostración parecida a la del problema 1.36, Así que /(z) es continua x
= en
(6) Método 1. Por el problema 1,5, lím
/G) = 4 /(2) [pues f() = DJ. Así que el límite de /()
20 CONCEPTOS FUNDAMENTALES (CAP. 1
Método 2. Dado« >podemos mostrar que no hay ¿> 0 tal que [/(x) — 0] = [x*l <
0, e para
Lx — 2] < 5,
Entonces f(x) no es continua [o sea que es discontinua] en x = 2.
270
:
[msen (1/a),
1.40. Investigar la continuidad de (a) f(x) = xsen(1/x), (6) [(0)
(o)
(Un, 2 20
asentUz),
(e) = [ en
=3
l
A
«e
0,
la) Como fx)
no está definida para x — 0, f(x) no puede ser continua en x — 0.
(b) Por el teorema 1,37, lim, f(x) — 0.7% f(0) de modo que f(x) no es continua en o.
0
Obsérvese que la función /(d definida en (e) es continua on todo intervalo finito,
f(0) de modo que f(x) es continua para x = 0,
1.41. Demostrar que las dos definiciones dadas en la página 8 para continuidad en un pun-
to a son equivalentes.
El resultado se sigue como consecuencia de los siguientes enunciados equivalentes.
(1), f(x) es
continua
en a si dado «> 0 existoun ¿> 0 tal que
en
—
fla)| < e siempreque [x=
existe un >0 tal que fía) — e < fla) < fla) + ésiempre que
[f() aj<ó.
a icr<a+ó
(2) fla) es continua a sí dado « > 0 3
(9)
en
f(x) es continua a si dado > 0 existe un ¿> 0 tal que /(0) E (fía) — e, fla)+ +) siempre que
3Ea-50+
+
0)
(4) (2)continua en a si
es flla — 5, a + 8)] está contenido en (fla) — e, fla) + 0)
(6) f(x) es continua en a sí dado cualquier conjunto abierto A que contenga f(a) existe un conjunto abier
to B que contenga
a tal que [(B) C A. [Obsérvese que A= (/(a) — ef(a)+ 0), + 3.1 B=(a0—
50
1.42. Demostrar que f(x) = x2 es uniformemente continua en 0< x< L
Método 1, con la definición.
Debemos mostrar que dado cualquier > 0 podemos hallar 3 > 0 tal que «
x—
xal donde á depende solamente de « y no de xo. Por consiguiente f(x) = x* es uniformemen-
<
3,
te continua en 0< 1 < 1
Método 2:
La función f(x) = x* es contínua en el intervalo cerrado O
5 x 3 1.
Entonces por el teorema 1-28,
es uniformemente continua en 0 5 x 5 1 y portanto en O<x< 1.
Método 1:
Supongamos que f(x) es uniformemente continua en el intervalo dado. Etonces para cualquier « > 0
debemos poder hallar digamos 0 y 1, tal
, entre
que [/(x)— flza)| < e cuando ¡2= sol < 3 para todo
9
x y zo en el intervalo.
Sean
0 y
to GE,
Btonces je= a] = =7
<3
Lele
[11
pil =>. ocaon
8
Sin embargo, mo —
pues 0<3< 1
|!
pues
Tenemos entonees una contradicción y se si ue que f(x) — 1/x no puede ser uniformemente conti
mua en OS z< 1
CAP. 1] CONCEPTOS FUNDAMENTALES 21
Método 2:
Seen zo y zo + dos puntos cualesquiera de 10,11. Entonces
seta
5
— fran
puede hacerse mayor que cualquier número positivo tomando zo suficientemente cereano a
ón nd puede ser uniformemente continua.
== |L-
l- | = => 0, Por tan-
SUCESIONES Y SERIES
1.44. Demostrar que si lím a, existo, debe ser único.
Debemos demostrar que sí lím a, = líma, = l2, entonces li = ly la
Por hipótesis, dado cualquier « > 0 podemos hallar un entero positivo no tal que
(al >
|< qe cuandom > mp [041 < fe cuando
apta
no
Debemos
para todo n >
demostrar
no.
que para cualquier
Tenemos
« > 0, podemos hallar no > 0 tal que |(a, +85) — la +0) < e
donde para no se toma el mayor de n, y ni. De este modo se obtiene el resultado pedido,
lo,
Dado lím a; = a, debemos que M para todo n.
Abra, 07%
la] = la,—a+ta] = al + Ja]
Pero por hipótesis podemos hallar no tal que la, — al < e para todo n > mo, Le,
la,l < e+lo] para
todo
n > no
...,
Se sigue que Jo,| <-M para todo n si escogemos M como el mayor delos números a, 69,
yy «+ al
1.47. Hallar: (a) extremo superior. (b) extremo inferior. (c) lím sup (Im), y (d) lím inf (m)
para la sucesión 2, —2, 1, —1,1,—1, 1,1,
(a) Extremo superior = 2, pues todos los términos son menores o iguales a 2 mientras que por lo menos
un tármino (el primero) es mayor que 2 — « para cualquier« > 0.
(6) Extremo inferior = —2, ya que todos los términos son iguales o mayores que —2 mientras que por lo
menos un término (el segundo) es menor que —2 + « para cualquier« > 0.
o TA = 1, pues hay infinitos términos de la sucesión mayores que 1 — «
(e) lím sup para cualquier« > 0
(todos los unos de la sucesión) mientras que sólo un número finito de términos son mayores que 1 + «
1.48. Demostrar que a todo encaje de intervalos [a,, b,], n = 1, 2, 3,..., le correspon-
de uno y sólo un número real.
Por definición de encaje de intervalos, «
dps 3
Sy Basi Edy n= 1,2, 8, 0 y lim lo, — da) = 0.
Entonces a, $ 0, $ d. S br, y las sucesiones (0,) y [b,] son acotadas y respoctivamente monó:
tona creciente y deereciente; por tanto convergen a a y a B.
(00)
Para demostrar que a = b y probar así el resultado pedido, observamos que
ba = (0,07) + (a, 2)
+ Mm
4
de lo que resulta que
=(0-0/2
lim (b,
dia
— ap)
=
= 0.
(ba/2= 0-0/2,
Este conjunto de intervalos encajados, por el problema 1.48 corresponde a un número real que rapro-
dy —
0, = (6 0)/2m
S
de S M Lo, eto, Obtenemos así una sucesión x1, z2, xa,
donde xn E L.. Como L(L,)
— 0 cuando n — «»,
.
es claro que Jím, xa = p lo que significa
.
de puntos distintos que pertene
p que
"77
es un punto límite de S. Pero como$ es cerrado, se sigue
puesto que
p E 5.
que
Entonces, $está recubierto por el conjunto de intervalos abiertos, habrá uno de estos inter
valos tal que
abiertos p E J. Si h es suficientemente grande, L. = (04, 04] E Y así que (SP 4) CA
CAP. 1] CONCEPTOS FUNDAMENTALES 23
1.51, (a) Demostrar el teorema Toda sucesión convergente es una sucesión de Cauchy.
1-34:
(b) Demostrar el teorema 1-35: Toda sucesión de Cauchy de números reales es con-
vergente, es decir, el conjunto R es completo.
(a) Supongamos que la sucesión (ay) converge a 1,
Entonces dado cualquier «
0
Mo,
la = lay D +
(al 5 lay] +
lla) < d2+d2=.«
(6) Supongamos que a,
— ay] < e para todos los
p, q > no y cualquier «> 0. Entonces todos los nú
meros App Gnp+1, --
están en un intervalo finito, o sea que el conjunto es
consiguiente, por el teorema de Weierstrass-Bolzano hay por lo menos un punto
acotado e infinito, Por
límite, sea a.
Si a »s el único punto límite, tenemos la demostración pedida y
Jia
Supongamos que hay dos puntos límite distintos, digamos
a y b y supongamos b > a (vea la figura 1-18). Por definición
de
puntos límite tenemos
Jo.=al < (6 — e)/3 para infinitos valores de p (0)
Obsérvese que los teoremas 1-34 y 1-35 pueden enunciarse como uno solo:
Una sucesión de numeros reales converge si y solamente si es una sucesión de Cauchy.
Tenemos además que |fa(x)| = nxe—1=* tiene un máximo en £ = 1/V2% (por las reglas usuales
del cálculo elemental); el valor de este máximo os 5722. Por tanto cuando n— «», fa(z) no puede
hacerse arbitrariamente pequeño para todo x de modo que la sucesión no converge uniformente hacia 0.
(6) El teorema que quesemos demostrar es el siguiente: Si las funciones /.(1) son continues en un con-
junto A y sl Y/G) converge uniformemente a $() en 4, entonces s(=) es continua en A. De.
mostremos dl íeorema para el caso en que A = a, 0]
Primero observamos que si s,(+) es la n-ósima suma parcial de la serie y r,(x) es el residuo
de la serie después do n términos, entonces
slo) = ana) + rula)
de modo que
y s(0+ Mate)
ala+A) =
=
ofoh
alahi)—
ihr)+A)
enla) + ralz rate) 0)
donde tomamos h de modo que tanto x como x + h estén en [a, b] (si x = b, por ejemplo, esto exige
que h< O).
Como s,(z) es suma de un número de funciones continuas, debe ser también contínua. Enton-
fínito
A
Como la serie, por hipótesis, es uniformemente convergente, podemos tomar no dependiente
de pero no de z de modo que
A
lle]
«
dd
(a) El sesiduo de la serie
otra parte
J)/,(2) después de n términos es rl) =f (d+ GlFs== Por
El = tl
1) La
cena ant e
Problemas propuestos
CONJUNTOS Y NUMEROS REALES
158. Sea $ el conjunto de los números naturales
(b) por comprensión.
pares comprendidos entre 6 y 15. Describir S (a) por extensión,
fut
Resp.
(a) S= [6,8, 10,12, 14), (8) [ez x es par, 5 < x < 15)
137. Sea A
dr 20), Bo fx0o? 5 16). Dotes narsi AC Bono.
CAP. 2 CONCEPTOS FUNDAMENTALES 2
158. Demostrar que para todo conjunto A se tiene ACA.
1.59. Discutir la verdad o falsedad de los siguientes enunciados. (a) si A y E son dos
3
conjuntos cualesquiera
entonces AC BA DB, 0 A= B, (b) Six y y son dos números reales cualesquiera, entonces, o
o
2>y 0% y
160. Demostrar que cualquier subconjunto del conjunto vacío es vacío,
161. SerA =
(1,4, 4.41. ...). Hallar: (0) extremo superiorA.
Resp. (8) 1,(6) —4-
(5) extremo inferior4.
1562. Dar un ejemplo de un conjunto para el cual: (a) El extremo superior pertenece a S pero no el extremo infe
sior. (0) El extremo superior no pertenecea S pero el extremo inferior sí. (c) Tanto el extremo
superior como
el extremo inferior pertenecen a $. (4) Ninguna de las dos
pertenecea 5.
163, Dar un ejemplo para mostrar que un conjunto no vacío de números racionales puede tener mayorantes pero
no un mínimo mayorante. Relarionar esto con el axioma de plenitud.
1584, Mostzar que entre dos números racionales diferentes a y b existe: (a) por lo menos un número racional.
(b) Por lo menos un número irracional. ¿Cuántos números racionales e irracionales se espera que haya
entre a y 6? Explicar.
1.86. Sea «el clase de todos los conjuntos que no son elementos de sí mismos. (a) Demostrar que
conjunto
,
o
si J Ed, entonces Ec. (6) Demostrar que si ej E entonces JE «Y. Esta paradoja se llama
paradoja de Russell y muestra que los conjuntos no deben ser “demasiado grandes”. (c) Tlustrar la paradoja
discutiendo la situación del barbero de una ciudad pequeña que afeita a todos los hombres que no se a
tan a sí mismos. En particular tratar de responder a la pregunta “¿Quién afeita al barbero?”.
x 6), BA
(xix es un en-
(xix
=—
(A
teropar, 15 < B — cs un número primo, 0 < x 5 4). Hallar: (0) AJYB. (0) AMB.
Resp.
(AB
(0)
(a) (2,3, 4), (0) [2], (0) [x:2x
(NA
2 0,2% 2,9,4),
DU(B-A).
(0) 14), (e) 13), () (3,4)
1.59. Demostrar: (a) el teorema 1-2. (5) El teorema 1-3. (e) El toorema 1-4.
170. Demostrar la segunda ley de De Morgan, teorema 1-125 y (5) ilustrar por medio de un diagrama de Venn.
175. Demostrar que AU B= (A— AN BJU (B— AN B) e ilustrar por medio de un diagrama de Venn.
177 Con referencia al problema 1.67, hallar: (a) AX B. (5) BX A. (0) AXBX C. 0
FUNCIONES
1,80. Determinar sí está definida una función del conjunto X en el conjunto Y para el diagrama de la figura 1-16.
LR
EF ¡A
Fig. 1-16 Fig. 1-17
181. (a) Mostrar que el diagrama de la figura 1-17 define una función del conjunto X en el conjunto Y. (9) Ha:
llar f(2). (c) Hallar FO). (d) Hallar el dominio de j. (e) Hallar la imagen £. (f) SIA es el subconjunto de
(2, 5) de X, hallar f(A). (2) Hallar F(XO. (4) ¿Es / función sobreyectiva? Explicar. (1) Hallar la imagen de
1
/.
por 4) Hallar /-2(2. (6) Si B = (0, 1), hallar /-* (8). (1) Hallar la imagen recíproca de 1 porf. (m)
¿Está definida una función recíproca f-1 de Ben A, con B= (0,1 y A = [2,3)?
Resp. (0) 1
(e) no está deinida
(011294
(e) 10,2,2) —
101
(9 (0.1.2)
08
(0
Gra
00 11,23)
ota
(m) No
gen de
f, (0) [(3), (8) F(9), (e) 00), (1) [D, la) F(A) con A = [xif < x < 3)
Resp. (a) 1>0, (b) [:0<x5 1, 2=2), (0)4, (4) 2, (e) no definida, (/) no definida, (4) [x:4<
xs Le=2)
183, Ses f: R= R ona función definida por
1 7
de fs rmtencon
racional
190. Probar que hay correspondencia biunívoce entre los puntos del intervalo 0.5 2 5 1 y (al 45156
(b) 4 < x < 8, ¿Cuél es el número cardinal de cada conjunto?
191. (a) Demostrar que el conjunto de todos lo: satimeros irracionales de [O, 1] no es enumerable y (5) hallar
el número cardinal.
CAP. 1 CONCEPTOS FUNDAMENTALES
192. (a) Demostrar que el número cardinal de puntos interiores a un cuadrado es igual al número cardinal del
conjunto de puntos de un lado. (5) Generalizar el resultado a mayores dimensiones.
199, Un número algebraico es un número que es raíz de una ecuación
polinómica ayer +ajan=t+ >>> hay
O donde ao, as, ..,0, son enteros, Un número trascendente es un número que no es algebraico.
(a)
Demostrar que VZ 4 VI es algebraico pero no racional. (5) Demostrar
que el número cardinal del conjun
to de números algebraicos es o sea
Ny,
que el conjunto es infinito enumerable. (e) Demostrar
de números trascendentes tiene número cardinal Ny <=
que el
conjunto
194, Sean a y g números cardinales de los conjuntos disjuntos A y B respectivamente, Entonces definimos
a+ 8 y
2-8 0 ag como los números cardinales de los conjuntos AY B y
Ax B respectivamente
Demostrar que (4) K9+ My
=p, (0) Mo"Mo = Mo, (0) Ny
tc =0, (d) oro=0.
195, Si e $ son los números cardinales del problema 1.9%, definimos a? como el número cardinal del
y
con
justo de todas las funciones sobre B con valores en A. Por ejemplo si A=
(0,1) y B= (a. 8,0), en.
tonces el conjunto de funciones sobre
,
con valores en A es el conjunto de ternas ordonadas (0, 0, 0),
conjunto
E
196, (a) Demostrar que todo número real de (0, 1] se puede expresar en el sistema de buse 2 o sea en de-
sorrllo Binario, como 3,
ba/2% donde los ba son
0001
(6) Demostrar que el conjunto de todos los desarrollos binarios de a) tene número cardinal 2%.
(£) Demostrar que 20 =<
2%>
es
« Demostrar €
si
Deducir de (5) que hay infinitos números trasfinitos,
198, Demostrar que cada número del conjunto de Cantor se puedo expresar como una serie [desarrollo ¿erna-
vio) de la forma Y ay/3t donde los a, son 0 0.02
1.99, Sea S el conjunto de números racionales de [0, 1]. (a) ¿Cuáles son los puntos interiores, exteriores
y
frontera de 5? (b) ¿Cuáles son los puntos de acumulación o límite de S, si los hay? (c) ¿Es S abier-
Lo? (a) ¿Es S cerrado? (e) ¿Cuál es el conjunto derivado, S'2
(f) ¿Cuál es la clausura 3? (4) ¿En S'ce-
rado? (4) Son los puntos límite de interiores, exteriores o frontera de S?
S
1.100. Hacer el problema 1.99 si $ es: (a) el conjunto de los números irracionales de (0, 1] y (B) el conjunto de
los números reales de [0, 1)
1.101, Demostrar que el conjunto de números reales R es tanto abierto como cerrado.
1.102, (a) Si un punto límite de un conjunto no perteneco al conjunto, demostrar que debe ser punto frontera del
conjunto,
(b) Dar una definición de punto límite por intervalos abiertos en vez de entornos $
y usar esta definición
para dar una demostración del resultado de (a)
demostrar que la intersección de un conjunto enumerable de conjuntos abiertos no necesita ser abierto
y compérese con el toorema del problema 1.23.
1.104, Dar un ejemplo que muestre que la unión enumerable de conjuntos cerrados no es necesariamente cerrada.
1.106. Demostrar que todo conjunto enumerable so puede expresar como unión enumerable de conjunto cerrados.
1.107, Sea h =
(1
de números naturales 1, 2,
1,23.
que
k+P.k=
es un
un conjunto de intervalos abiertos que recubre el conjunto
conjunto cerrado, (a)
9,... ¿Hay
(b) Contradice la respuesta a (a) el teorema de Heine-Borel? Explicar,
un subrecubrimiento
N'
finito de N?
LIMITES Y CONTINUIDAD
a
LALO, Si fla) — e? + óx + 5, hallar lim fx) con la definici
EA
(021 .<o
1AIZ, Sea
fl) Á
0, =D, Hallar (o) Bit), (0) lim lim 60,
[Go (e) ORO (2) lr (o,
O
(e) li
to
Resp. (a) 9, (6) —10, (e) 5, (d) —1, (e) no existe
1.113. Demostrar (a) el teorema 1-22, (D) el teorema 1-23, (c) el teorema 1-24,
1.114. Demostrar que lim f(x) existe en x = a si y solamente si lím [0 — lim £(s),
_
el limite por la derecha
1.116, que
Demostrar f(x) = x/(x + 2) es continua en todos los puntos del intervalo: (2) 1< 2 < 9, (b) -2<
230
1.117. Demostrac que la suma de dos o más funciones continuas es continua,
1.118. Demostrar que: (a) el producto y (5) el cociente de dos funciones continuas es
función continua siempre que
se excluya la división por cero.
1.124, Senn [(e), gx) uniformemente continuas en a 5 x 5 Demostrar que: (0) flz) b. + £(e). (0) flo) gta)
(e) ft/gia, gta) D
son uniformemente continuas en a 5 x E b
IONES Y SERIES
.. Utilizar la definición de límite de una sucesión para demostrarque
CAP.1] CONCEPTOS FUNDAMENTALES 2
1.128, Si lim ba by 0, demostrar que existe un número ns tal que [5,1 > 19] para todo
>
Ea
—
no
1.191. (a) Demostrar que el límite de una sucesión existe si y solamente el límite inferior y el límite
superior
de la sucesión son iguales, (b) Demostrar que si 2. 2 0 y Tima, = 0 entonces lima, =0,
(a) Demostrar el toorema 1-37. (») Dar un ejemplo de una serie convergente que no sea absolutamente
convergente,
.. Si 3 aye" converge para x= 19, demostrar que converge absoluta y uniformemente en el intervalo
le < lxs donde [xl < [201
1.197,
tasa a
Resp.
convergencia vato:
(a) Uniformomento convergente en —1:5 x 5
(9) 3
E, 0 1.
(b) Uniformemente convergente para todo x,
Hz paty
1 1
1.139, Demostrar que la serie — ++: es uniformemente convergente pero no abso-
1.140, Dar un ejemplo de serie que sea absolutamente convergente pero no uniformemente convergente.
Capítulo 2
Teoría de la medida
LONGITUD DE UN INTERVALO
6 — a.
Definimos
la
longitud
de los intervalos a<x<b,azxz3b,0s3x<b,a<xs como
La longitud de un intervalo infinito tal como x > a o x 5 b sedefine como ». En
bh
AREA Y VOLUMEN
La ¡dea de longitud se generaliza fácilmente a dos, tres y más dimensiones en espacios
euclídeos. Por ejemplo, si consideramos dos dimensiones, podemos pensar en un rectángulo
como un intervalo generalizado a < x < b, e < y < d [o alguna variación obtenida rempla-
zando < por <] y el área del rectángulo como una longitud generalizada (b — a)(d— 0).
De modo parecido en tres dimensiones podemos considerar el volumen como una longitud
generalizada.
Aunque en lo que sigue nos restringiremos a intervalos y longitudes de intervalos en un
espacio euclídeo unidimensional, o sea la recta real, debe observarse que pueden hacerse
generalizaciones a espacios de más dimensiones,
20
CAP. a] TRORIA DE LA MEDIDA 31
Si se restringe O de modo que esté situado en algún intervalo fundamental I = [a, b],
entonces la serie de (1) converge hacia un número no negativo menor o igual que b —
esto es,
L(0) 5 05 b-a e)
LONGITUD DE UN CONJUNTO CERRADO
Como un conjunto cerrado C contenido en [a, b] es complemento de un
conjunto
abierto, llegamos a la siguiente definición
EL CONCEPTO DE MEDIDA
Una generalización del concepto de longitud a conjuntos arbitrarios de la recta real lleva
al concepto de medida de un conjunto. Por analogía con la longitud
parece deseable que
la medida de ul. conjunto E, denotada por m(5), satisfaga los siguientes requisitos ideales.
A-1. m(E) está definida para todo conjunto E.
A-2. m(E) z 0.
A-3. [Aditividad finita]. Si E= Ú, E, donde E, son mutuamente disjuntos, entonces
me) = Emb)
A-4 [Aditividad enumerable]. Si E = Ú E, donde E, son mutuamente disjuntos,
E
entonces
me) = Emp)
A-5 [Monotonía]. Si E, C Ez, entonces m(E¡) s m(Ez)
A-6 [Invariancia por traslación]. Si cada punto de un conjunto E se traslada dis-
tancias iguales en la misma dirección sobre [Link] real, la medida del segmento tras-
ladado es la misma m (E).
A-7. Si E es un intervalo, entonces m(E' L(E), la longitud del intervalo.
Obsérvese que si se cumple el requisito A-4, entonces A-3 también se cumple. Sin em-
bargo, la recíproca no se cumple necesariamente. Los dos requisitos A-3 y A-4 juntos, se
llaman a veces requisitos de aditividad enumerable. Podemos mostrar que el requisito
A-5 se sigue de los otros requisitos [ver problema 2.31].
Es posible mostrar que para conjuntos de puntos en general sobre la recta real no pode-
mos satisfacer todos estos requisitos. Así, si queremos que todos los requisitos de A-2 a
A-7 se cumplan, debemos concluir que no todos los conjuntos tienen medida. De modo pa-
recido, si queremos que todos los conjuntos tengan medida, entonces debemos sacri
uno o más de los requisitos A-2 a A-T.
CONJUNTOS MEDIBLES
La medida exterior, aunque definida para todos los conjuntos, no satisface en general
los requisitos A-3 y A-4, como hemos observado. Sabemos ahora que todo conjunto T puede
escribirse en la forma [véase el problema 1.10]
T = (PMEJU(TNÉ) 10)
Así, si queremos tener posibilidad de satisfacer los requisitos de aditividad, debemos tener
para todos los conjuntos T, pues TN E y TM É son disjuntos. El resultado (5) se cumplirá
[si acaso] sólo para una clase restrictiva de conjuntos E. Esto lleva a la siguiente
Delfin ión 2.5. Un conjunto E se dice medible, o más precisamente medible con res-
pecto a una medida exterior, para todos los conjuntos T'
si
máT) = m(TNE)
+
En tal caso me(E) = m(E) se llama medida de
mATONÉ)
E.
(6)
Podemos mostrar que si nos restringimos a conjuntos medibles, entonces se satisfacen los
requisitos ideales anteriores para la medida.
Puesto que es cierto que para todo T [vea el problema 2,8]
maAT) E m(TNE) + m(TNE)
máT) E
MAINE) +m(IND) (m
Lo que se usa con frecuencia en la práctica para mostrar que un conjunto es medible,
Los conjuntos T de las definiciones anteriores se llaman con frecuencia conjuntos de
prueba pues se usan para probar el carácter medible.
o
OE sea el extremo inferior de las longitudes de todos los conjuntos abier-
tos O que contienen E
CAP. 2] TEORIA DE LA MEDIDA 33
MEDIDA DE LEBESGUE
Definición 2.8. Si un conjunto E es medible con respecto a la medida exterior de Le-
besgue de la definición 2.7, entonces decimos que E es medible
según
Lebesgue y definimos la medida de Lebesgue de E como m(E) = ma(B),
En este libro trataremos solamente con la medida exterior de Lebesgue o medida de
Lebesgue de conjuntos, a menos que se especifique otra cosa. En consecuencia, nos referi-
remos solamente a la medida exterior o medida sin mencionar explícitamente el nombre de
Lebesgue.
En sus investigaciones, Lebesgue no usó en realidad la definición 2.5 dada
anterior-
mente para definir conjuntos medibles. En su lugar consideró conjuntos E en el intervalo
acotado [a, b] y definió primero la medida interior de un conjunto E
como
mE) = b=a — mel) 6)
Entonces llamó a E medible si las medidas interior y exterior son iguales,
es decir, si
meE) = b—a— mE) 0)
Ahora, si hacemos I= [a,b], (9) se puede escribir
me(1) MINE) + m(INE) (0)
que es un caso especial de (6) con T = Así que la definición que en realidad usó Lebesgue
1.
es caso especial de (6). Como Lebesgue comenzó con conjuntos contenidos en [a,
b],
o sea conjuntos acotados, deben hacerse modificaciones apropiadas para conjuntos
no
acotados. Tales modificaciones, sin embargo, no se necesitan si se usa la definición 2.5.
Además la definición 2.5 tiene la ventaja de que puede usarse en teorías más generales de
medida. En consecuencia usaremos la definición 2.5 en varias demostraciones. Es
intere-
sante que si (10) se satisface, entonces (5) se satisface también [ver problema 2.18]
Debe mencionarse que a veces se usa una modificación del procedimiento de
Lebesgue,
De acuerdo con esto la medida interior de un conjunto E se define
como
m,(E) = mínimo mayorante L(C) para todos los conjuntos cerrados CC E (11)
o sea el extremo superior de las longitudes de todos los conjuntos cerrados C contenidos
en E. Entonces E se llama medible si m,(E) = m,(E) donde m.(E) está dada
por la
definición Son posibles también otros procedimientos [ver problemas
2.7.
2.42-2.44]
Todos estos procedimientos son equivalentes como puede demostrarse.
Debe observarse también que para cualquier conjunto E, m,(E) y m.(E)
siempre exis-
ten y que
m(E) <=
maE) u2)
Este resultado es equivalente a (7) con T
34 TEORIA DE LA MEDIDA [CAP. 2
Teorema 2-14. Si Es, Es, Es, ... son conjuntos medibles tales que Er C Es
Es C++», entonces E = | E, es medible y
m( 3,2) = lmmB)
Teorema Es... son conjuntos medibles tales que E, D Ls D
Es, y por lo menos uno de los E, tiene medida finita, entonces
£,En es medible y
m( 5,2) = lmm(E,)
CONJUNTOS DE BOREL
La clase de conjuntos que pueden obtenerse tomando uniones o intersecciones nu-
merables de conjuntos abiertos o cerrados se llama clase de conjuntos de Borel. Tenemos
el siguiente
CONJUNTOS NO MEDIBLES
Por los resultados anteriores parecería que todos los conjuntos de R son medibles. Sin
embargo, esto no es cierto, o sea que hay conjuntos de R que no son medibles. Para un
ejemplo de un conjunto no medible, ver problema 2.21
Problemas resueltos
LONGITUDES DE CONJUNTOS
2.1. Hallar la longitud del conjunto 012
SS al
O
1
<D A= <p
La) =l-no n+1
1
de modo que EU) = 1-4 109 =4=4 0.
Entonces, puesto que los 4, son mutuamente disjuntos,
zo %] =
31 =
0-p+4pt +(-) =1-++5
Así que
25 1) = límL[
36 TEORIA DE LA MEDIDA [CAP. 2
MEDIDA EXTERIOR
2.2, Demostrar que si S es un conjunto abierto, entonces m.(S) = L(S).
Supongamos que O es un conjunto abierto que contiene a $, o sea O DS. Entonces cada uno de
los intervalos componentes de $ está contenido en algún intervalo componente de O, Además $ es el
conjunto abierto más pequeño que se contiene a sí mismo, o ses S DS. Entonces por definición de
medida exterior tenemos
melS) = 1.05. L(O) donde 0) S=
115)
Demostrar el teorema 2-1: Si E es cualquier conjunto dado, entonces dado «> 0 exis-
te un conjunto abierto O D E tal que: (a) m.(E) <m.(0) +e y (0) m.(0) 2 ma(E)
(a) Por definición de medida exterior de Lebesgue,
mE) = mies, L(O) para todos los conjuntos abiertos 0) E
Como el extremo inferior existe, se sigue que m,(E) existe y por definición de extremo inferior
tenemos para cualquier «> 0
2.4, Demostrar que la definición de Lebesgue de medida exterior satisface al axioma B-3
para medida exterior.
Debemos mostrar que cualesquiera sean los conjuntos Es, Es,
A]
/
me (Y Es
La desigualdad es trivial en el caso de que uno de los conjuntos tenga medida exterior infinita, de
modo que podamos restríngimos al caso en que todos los conjuntos lemgan medida exterior finita.
En tal caso dado «> D existen conjuntos ab 0, D Es donde E 1,2...
ss
tales que [ver
2
problema 231
m0) mE) +
dlmE
LLO) = <
Entonces
100
LLO) = m0) =
my 2) my a) = Emd0) E
PEN+ BARS AMB) +
De modo que como + se puede tomar arbitrariamente pequeño,
jet
mente. Así que
Mz) E
FA =e
Como e puede tomarse arbitrariamente pequeño, so sigue que m.(E) — 0.
Bicilndaccióó
di cole.
mardiliBii ni 1d
dandelámos cli ceros Éuparionds:que 109 lento ue
E
fu] Ll
0
Sumando m.(Tf E.) a ambos miembros se obti
3 maras
e N
= 3)
Por otra parte como E, es medible, tenemos para cada conjunto T
máT) = Mm
(TONE) + m TO) 14)
(ro(gm)) =
¿mozo 5
Por consiguiente el resultado es cierto pura n conjuntos sí es cierto para n— 1 conjuntos. Pero
como es cierto para 1 conjunto, se sigue que es cierto para 2 conjuntos, 3 conjuntos, ete.
Para que E sea medible debe mostrarse que para cada conjunto 7
Pero (2)
ml)
es idéntico con
=
mT0B)
mI
(1).
+
Entonces É es medible.
O(Ey) meTOE) + m (POE) 0)
Recíprocamente, si adoptamos la definición 2.6, entonces en vista de (2) vemos que E es medible
de acuerdo con la definición 23.
máTOE) E mE) = 0
38 TEORIA DE LA MEDIDA [CAp. 2
=>
,,
Por otra parte, como cualquier unión finita de conjuntos medibles es medible, tenemos para cual-
Fr es medibie
2.13. Demostrar que si E¡, E», — son conjuntos medibles mutuamente disjuntos, en-
tonces
m( 3,2) = FmBs)
Esto se sigue inmediatamente del problema 2.12 tomando 7 R.. el conjunto de los números reales.
CAP. 2] TEORIA DE LA MEDIDA 39
2.15. Demostrar que una unión enumerable de conjuntos enumerables tiene medida nula.
Como una unión enumerable de conjuntos enumerables es un conjunto enumerable, la medida de
este conjunto es mula por el problema 2.14,
2.16. Dados los conjuntos medibles E, D Ez D Es D ==> donde m(E,) es finita, de-
mostrar que
MEE)
Como Es —
Em Es — En... son mutuamente disjentos y todos los conjuntos son medibles, tenemos
por el problema 2.13
MEE) = + mE ED A +0
d
Entonces como Ey D E, Ey
D Fs, Es D Es, (2) se puede escribir
ME,mE)
...,
Ahora, bion, en ol primer paso se quita 1 intervalo de longitud 1/3. En el segundo paso se quitan
2
intervalos de longitud 1/9*. En general, después de n pasos se quitan 29=! intervalos de longitu.
des 1/3". Se sigue que la medida total del conjunto K' de Cantor es
m(X) = Ya
Una de las propiedades interesantes del conjunto de Cantor es que sin ser enumerable [ver proble-
ma 1.22) tiene medida nula.
2.18. Sea I el intervalo [a,b]. Demostrar que una condición necesaria y suficiente
para que un conjunto E contenido en ] sea medible es que
Necesidad.
ml) =
máE)
mE) +
Suficiencia. Sea Tun conjunto y supúngase que G es un conjunto medible que contiene a 7 tal
que m.(T) — míG) [ver problema 245). Como G es medible, tenemos
Debe observarse que el teorema aquí probado lo está en la hipútesis de que para cualquier coojun-
to T existe un conjunto medible G tal que m,(7) = m(G). Esto es cierto para la medida exterior de
Lebesgue como aparece en la definición 27 [ver problema 2.45). Una medida exterior para la cual
esto se verilica se luma frecuentemente medida exterior regular.
de las longitudes de tados los intervalos de ¿Y que son disjuntos de /.. Denotamos por Lx un intervalo
de S que es disjunto de y cuya longitud es muyor que 4h», LU) > 1h
%,
3 1u0 = m0) E
lim LU) =0 km hi =0
Consideremos ahora
pertenece
el conjunto 5 — E —
Dl que no es vacio. Six ES, entonces perentoe
y
no a hi lo, lo
Por defíición de recubrimiento de Vitali habrá algún iotercalo
bién Fes disjunto de L,-.,7
TEORIA DE LA MEDIDA
n
El intervalo /debe tener por lo menos un punto en común con algún intervalo
Z, con h > SiL m.
E
0-.
LID S ha y h=
0 de medo que To sería un intervalo,
lim
TT
para
Podemos suponer que en el primer intervalo de la sucesión (L,) con la cual tiene 7
puntas comunes
es Zas1» Vemos que en tal caso
LD E hasr > 2£ilp am
y
+0)
—
Como x El, vemos figura2-1 que la distancia
ona
z
de al punto medio de 7,1
no puede sobrepesar
FL;
x
Í
largo, vemos que x E Jy41 Fig. 2-1
De esto se sigue que todos los puntos x
pertenecientes
a E — UI,
también pertenecena Ó Juie
“0
Entonces por el problema 2.25,
m (5-8, 1)
Pero como 3 LI) converge, se sigue que dado «> O
exist un número nu al qu la Gima soma
se puede hacer menor que «/5 para n > no, o sea que
m(2- 31) =0
o que los intervalos mutuamente disjuntos Li, la, recubren E casi en todas
partes
El resultado (5) del problema 2.19 se puede expresar en forma equivalente como
CONJUNTOS NO MEDIBLES
2.21, Demostrar la existencia de un conjunto no medible.
Mostratemos que existe un conjento no medible en el intervalo (0, 1]. Por comodidad, para
llegar a este conjunto aplicaremos este intervalo sobre la circunferencia C "de
yn círculo de modo que
a cada punto de [0,1] le corresponda uno y sólo un punto de C y recíprocamente.
Denotemos con x, y dos puntos de C. Decimos que x, y son equivalentes si el arco que los une tiene
longitud racional y en tal caso escribimos x= y.
Ahora consideramos subconjuntos de C, denotados por A, que tengan la propiedad de que dos
puntos x, y están en el mismo A, si x = y. Los conjuntos A. se llaman clases de equivalencia. Co.
mo los números racionales son enumerables, es claro entonces que cada A, contiene un conjunto infi.
nito enumerable de puntos.
Los conjuntos A, son también mutuamente disjuntos. En efecto, si el mismo punto x pertenece a
dos conjuntos diferentes
que Ag, es idéntico a Any
A,
y Ag, entonces todos los puntos de
A, y
Como los conjuntos Al. mutuamente disjuntos, se sigue que hay un conjunto no enumerable de
son
sales conjuntos. Para ver esto simplemente tenemos que observar que cada conjunto debe contener un
número irracional distinto y que el conjunto de los números irracionales no es enumerable.
Sabemos construir un conjunto que consta de uno y aólo un punto x, de cada uno de los con-
$
juntos A. de modo que dos puntos distintos de S, cualesquiera, no son equivalentes. Para hacer esto
debemos valemos del axioma de elección. El conjunto $ es el conjunto no medible requerido.
Para mostrar que 5 no es medible consideremos primero el conjuntu de números racionales com:
prendidos entps O y 1, denotado por ri, ra, 7a, ...
Para simplificar tomamos 5 = 0. Para cualquier
ontero positivo k sea S, el conjunto de puntos de C que obtenemos por una rotación de S en sentido
contrario al movimiento de las manecillas del reloj sobre un arco de longitud 7,. Es claro que $ = $
y que los Sa son congruentes de modo que todos son medibles o todos son mo medibles.
Los conjuntos Se no Lienen puntos en común, o sea son mutuamente disjuntos, Para ver esto con:
sideremos dos S, cualesquiera, para efectos dol razonamiento, Sa y S,- Si Si y S, no son disjuntos
existe algún punto común, digamosp.
del arco desde p hastay es ra. También, como p Puesto
que p E Se existo un olomentoy E parael cual Ja longitud
S; existe un elemento 2 E $ para el cual la longitud de
E
5
arco desdep hasta 2 €s r,. Asi que la longitud del arco desde y hasta z es racional, es decir, — Es. y 2.
o, sin embargo, contradice el hecho de que no hay dos puntos de 5 que puedan ser equivalentes, así que
debemos tener y — 2 de mado que », =>», lo que es imposible. Fita contradicción muestra que los
S, son mutuamente diajuntos.
Por otra parte si tomamos cualquier punto x E €, entonces tenemos x E A, para algún a. Como
x. E A,, se sigue que la longitud del arco desde x hasta x, es igual a ra para algún entero positivo k de
modo que x E Sp. Asi que cada punto de C perteneco a algún S,
Concluimos pues que € =_Ú, Se dende los S, son mutuamente disjuntos. Entonces si los
les tenemos m(S) = m(S) miSal =
MS)+===,
y
Problemas propuestos
LONGITUDES DE CONJUNTOS
2.22, Hallar las longitudes de cada uno de los siguientes conjuntos.
(0)
Resp.
(e:
(018
25250)
(B14 (o) 9
() (r:3E235)U(ASIS2) (0) (e: -3<e<a pu ds
MEDIDA EXTERIOR
25, Si Es C Ez,
demostrar que mE) S mE
26. Demostrar que si Tes un intervalo cerrado [a,b], entonces m1) = LU) =
2.32. Demostrar que todo subconjunto de los números racionales €) es medible y hallar su medida
2.33. Demostrar que el conjunto de los números irracionales de [0, 1] es medible y hallar su medida, ¿Es
medible algún subconjunto de los números irracionales? Justificar la respuesta.
2:34. Demostrar que todo intervalo / es medible y que tiene medida igual a su longitud, o sea m(N) = ZA.
2.40. Usar el problema 2.5 para demostrar que el conjunto de puntos de [0,1] no es enumerable,
2.44, Demostrar que un conjunto E es nedible sí y solamente si para todo « > 0 existe un conjunto abierjp
0 >E y un conjunto cerrado C CE tales que m(0— C) <<
2.45. Si A es un conjunto, demostrar que existe un conjunto medible BD A tal que m.(4) = m(B)
Vea el problema 2.18.
2.46, Suponiendo todos los números comprendidos entre cero y uno expresados como fracciones decimales in
finitos, demostrar que la medida del conjunto de tales números en el cual se omite una cifra particular
[digamos 5] es nula.
2.49, Mostrar cómo se pueden demostrar algunos de los teoremas, de 2-2 a 2-15, si partimos de la definición
de que E es medible si existe un conjunto abierto O D E tal que m.(0 — E) < [eompárese con el <
problema 2.42)
Efectuar el problema 2.49 si se usa la definición de que E es medible sí existen un conjunto abierto
ODE y un conjunto cerrado CCE tales que m(0— C)<e [compárese con el problema 2:44]
Capítulo 3
Funciones medibles
/
TEOREMAS SOBRE FUNCIONES MEDIBLES
Teorema 3-1. La función f(x) es medible sobre E si y solamente si para todo número
real x es medible uno de los siguientes conjuntos
() El) <x,
Elfo) = 4), (0) Elfo) =
(0) «]
En virtud de este teorema una función f(x) se puede definir como medible sobre E
si uno
de los conjuntos E [f(2)
>x], E(f(2) < xl, El/(x) < £), E[f(x) z e] es medible para todo «.
Teorema 3-7. f(x) y felx) son medibles sobre E, entonces Elfi(x) > fa(x)] es
medible.
Teorema 3-8. Una función constante es medible.
43
CAP. 3] FUNCIONES MEDIBLES 45
tona
si
la
o
Teorema 3-18. Sea (fu(x) una sucesión de funciones medibles sobre E. Entonces
lím f, (x) y Lim
f. (x) son medibles sobre E.
Teorema 3-19. Sea (f(x) una sucesión de funciones medibles sobre E tal que
= lím f,0) = f(x). Entonces f(x) es medible sobre £. El resultado es
también válido en
Teorema 3-20. Si fi(x)
el caso
CLASES DE BAIRE
Por los teoremas anteriores vemos que todas las funciones continuas son medibles y
todos los límites de sucesiones de funciones medibles son medibles. Se sigue que los lími-
tes de sucesiones de funciones continuas, que pueden ser discontinuos, son medibles y
que los límites de estas funciones discontinuas son medibles, etc. Así obtenemos una
jerarquía de funciones medibles
Esto ha llevado a Baire a dar una clasificación de funciones. Se dice que tina función
pertenece a la clase de Baire de orden cero [o brevemente clase de Baire 0] si es con-
tinua. Una función que es límite de una sucesión de funciones continuas [funciones que
pertenecen a la clase 0 de Baire] pero que no es ella misma continua, pertenece a la clase
de Baire de orden uno [o brevemente clase de Baire 1]. En general, se dice que una
46 PUNCIONES MEDIBLES [CAP. 3
TEOREMA DE EGOROV
Teorema 3-21, [Egorow] Sea (fn(=)) una sucesión de funciones medibles que conver-
ge a un límite finito f(x) en todas partes sobre un conjunto E de
casi
Problemas resueltos
3.1. Demostrar que f(x) es medible sobre E si y solamente si
para todo número real £ el
conjunto E[f(x) s e] es medible
Si fts) es medible sobre E, entonces
para todo número real « el conjunto E(/(x) > x] es medible,
Entonces por el teorema 2-2, su complemento con respecto a E dado
por E[/(x) S e] es medible.
Reciprocamente si _Blflx) 5 e] es medible, también lo es
sobre E,
> e], o Elf)/(x) es medible
sen,
1]
5)
0,5 [10 =
BO >«
es medible, o sea que fix) es medible sobre E.
Entonces x.
por el problema 32, Elftx)
2 e] es medible y por tanto su complemento con respecto a É dado por
Elfte) < x) es mecible,
Recíprocamente sí E[fte) <x] es medible, ontonces su complemento
con respecto a E dado por
Elf) = «l es medible de modo que por el problema
32 ¡(x) es medible sabre E
CAP. 31 FUNCIONES MEDIBLES
3.4, Demostrar que si f(x) es medible sobre E, entonces E[f(x) = x] es medible para
todo número real x
El
Tenemos
Ela) = Elf =x 0
Como los conjuntos del segundo miembro son medibles, su intersección es también medible y se obtiene
asíel resultado,
3.5. Demostrar que si f(x) es medible sobre E, entonces (a) E[f(x) = >] y (6) E[f(x) =
—»] son medibles.
(2) Tenemos Elle) =8] = Elfo) > «
y como una intersección enumerable de conjuntos medibles es medible, se sigue el resultado pedido.
(0) Tenemos
y se sigue el
Elf) ==>] =
resultado pedido como en la parte (a).
Bl <
3.6. Dar un ejemplo para mostrar que si E[f(x) = x] es medible para todo número real x,
puede ser cierto que f(x) no sea medible sobre E. Comparar con el problema 3.4,
Supóngase que S es un conjunto no medible [ver pmblema 2.21, por ejemplo] y que este con-
“junto se haga corresponder biunivecamente con algún subconjunto del conjunto de puntos para 1os cuales
x> 0. Supóngase además que el complemento de S, $, ss corresponde de una manera biunivoca con
algún subconjunto del conjunto de puntos para los cuales x 5 0.
Suponemos ahora definida una función f(x) por estas correspondencias biunívocas. Entonces si e
es cualquier número real, el conjunto E(/() = «] no contiene más de un punto y por Lanto es medible
Sin embargo, E[/(2) > 0] que os el mismo S, no es medible, es decir, f(x) no es medible,
3.7. Demostrar el teorema Una función f(x) es medible sobre E si: (a) E[f(x) >x]
3-4:
es medible para todo número racional x o (6) E[f(x) 2 £] es medible para todo
número racional x
E0>) =D
EN>«
Entonces, como cada uno de los conjuntos del segundo miembro es mediblo, su unión enumerable
es también medible y por tanto [(z) es medible sobre E,
(b) Esto se sigue como en la parte (a), ya que podemos escribir
Ef) 34 = 0 Elo) E xl
3.8. Demostrar el teorema 3-7: Si f(x) y /2(x) son medibles sobre E, entonces E [f.(x) >
fa(x)] es medible,
se sigue que elconjunto del primer miembro es medible ya que los del segundo miembro lo sos.
Tenemos ahora
fe(x).
Ed >
fa]
donde la unión del segundo miembro se toma sobre todos los números racionales r Lales que
=
UE) >r>
f(x) > r >
Puesto que el conjunto de los números racionales es enumerable, el segundo miembro de (2) es
0 a
una unión enumerable de conjuntos medibles, que es medible,
39. Demostrar que si f(x) es medible sobre E, entonces para toda constante real e, f(x) + e
es medible sobre E.
Como ftz) es medibie sobre E, tenemos que Elf(x)
es medible y por tanto [(x) + e es medible sobre E.
>= e] es medible. Así que Pl/(E) +0>x]
3,10, Demostrar que si f(x) es medible sobre E, entonces para toda constante real e, e f(x)
es medible sobre E.
Sic > 0, Blefto) > x] = E(fx) > «/c] que es medible.
Sie < 0, Elefta) > e] = Elfo) < «/c] que es medible,
Si e = 0, e flz) =0 que es medible.
De modo que e f(x) es medible sobre £ para toda constante real c
3.11. Demostrar que si f,(x) y f=(x) son medibles sobre E, entonces f, (x) + fa(x) es medible
sobre E.
Método 1.
x=
problema 3.5 el segundo miembro de
(1) es medible, de modo que fu(x) + fa(x) es medible sobre E.
Método 2.
Tenemos para cada número real
3.12, Demostrar el teorema 3-10; Si f(x) es medible sobre E, entonces [f(x)]2 es medible
sobre E,
Tenemos
y se sigue el
Elf > e] EIC)
resultado pedido ya que la unión de conjuntos medibles es medible.
> Y%] U Elfta) <—v%)
3.13. Demostrar que si fi(x) y fa(x) son medibles sobre E, entonces fi(x)fa(x) es
medible sobre E.
JU
Tencmos
f(x) f:(x)
+
fat
es medible sobre
—
(la
E.
Jete
CAP. 3) FUNCIONES MEDIBLES 49
fa) Ex. Vemos entances que el punto límite xo pertenece al conjunto E[/(x) 3 «]. Entonces este
conjunto es cerrado ya que contiene Lodos sus puntos límites. So sigue que Elf(z) Za] es medible ya
que todo conjunto cerrado lo es. Así que el complemento E(f(x)
medible sobre E.
>]
es medible y por tanto f(x) es
3.15. Sea f(x) medible sobre E y sea O un conjunto abierto. Demostrar que el conjunto
E[flx)
€ 0] es medible.
Sea 0
Se sigue que
= Úl
FL
donde
l = (a,b) son intervalos componentes disjuntos [ver teorema 1-19]
Eli») e 0) Denon] = 9
ca
Elo >] 0
El <o
Comolos conjuntos E[/(«) > as] y E(fIx) < Ba] son medibles, se sigueque E[/(x) E 00] es medible.
Elf >] =
Elfala)
0! 0)
donde 0=
tu: A0>)
es abierto ya que f1 es continua [vea el problema 1.41). Entonces como el segundo miembro de (1)
es medible, se sigue el resultado pedido,
3.17, Demostrar el teorema 3-16: Sea (fn(x)) una sucesión de funciones medibles sobre E.
Entonces F(x) = extremo superior [f,(x)| = extremo superior (f(x), fte), ---|
Entonces, como una unión enumerable de conjuntos medibles es también medible, se sigue el resultado
pedido,
Un razonamiento semejante muestra que G(x) = extremo inferior f,(x) es medible sobre E [ver
problema 3.45]
3.18. Si f(x) y f=(x) son medibles sobre E, demostrar que: (a) máx [f(»), f2(x)] y
(b) mín (f(x), f(x)], donde máx y mín denotan el máximo y el mínimo, son tam-
bién medibles sobre E.
(a) Tonemos
máx (fito), falal) = extremo superior. (J1 (2), fol)
de modo que se sigue el resultado pedido del problema 3.17.
(0) Tenemos
3.19. Demostrar el teorema 3-17: Si (f(x) es una sucesión monótona de funciones medi-
bles sobre E tal que lím f,(x) = f(x), entonces f(x) es medible sobre E.
Considérese el caso en que para todo x E E,
y se sigue
2limnoz.)] =
Ema
resultado pedido ya que una unión enumerable de conjuntos medibles es medible,
el
3.20, Demostrar el teorema 3-18: Sea (fa(z)) una sucesión de funciones medibles sobre E,
Entonces lim f, (x) y lím f(x) son medibles sobre E.
Llamamos
Fi() =m008. (0 falo), -..)
así
y sucesivamente. Se sigue que F.(x) 2 Es(2) 2 Pito) 2
3.21. Demostrar el teorema 3-19: Sea (f(x) una sucesión de funciones medibles
tales que lím f,(x) = /(1). Entonces f(x) es medible sobre E
sobre £
Por el problema 3.20 Tn Jato y £,(x) son medibles sobre E. Si lím /,(x) = fla), entonces
qe es
lie 13ES si
CLASES DE BAIRE
3.23. Sea f.(1) = E
y
1+ para todo número real x. (a) ¿A cuál clase de Baire pertenece
Fw
A>
(0) Para [ef <1, JómfG) = Para [x[>1, lmfate) = 0. Para fe| xi =
L
= 1,
0 sea que 1
funciones
gx) per-
*
El mismo argumento se puede usar para demostrar el resultado para cualquier valor de p.
TEOREMA DE EGOROV
3.25. Demostrar el teorema 3-21 [teorema de Egorov]: Sea (fa(x)) una sucesión de fun-
ciones medibles que converge a un límite finito f(x) casi en todas partes sobre un
conjunto E de medida finita. Entonces dado cualquier número ¿> 0, existe un con-
junto F de medida mayor que m(E) — á sobre el cual f,(x) converge hacia f(x)
uniformemente.
Supongamos que el conjunto de todos los x E E para los cuales f.(x) converge a f(x) se denota por
H. Entonces tenemos
la
A
Sea
Ha = (>. 25H, <vara
A
Si fijamos a p se sigue que
y 4 = Dé
Entonces por el teorema 2-14, tenemos.
Mn mf) = mie)
dle modo que debe haber un número natural (2) para el cual
ME Boj) < 3 1)
Si llamamos F= [oso
vemos que sobre F'
Inn < > para todon 2 (p)
esto es f(x) converge hacia /(=) uniformemente sobre .
Tenemos ahora que mostrar solamente que
miE — F) < 3. Para esto observamos que m(F) > m(E)— 50, de manera equivalente, que
HPC DEE)
de modo que por (1, 9 y el icrema 23, tenemos
Problemas propuestos
Demostrar el teorema 3-3. s
Demostrar que f(x) es medible sobre E si y solamente si E[/(=) <e] es medible para todo número
racional e
Demostrar que toda función definida sobre un conjunto de medida cero es medible
Demostrar que la suma y el producto de un número finito de funciones medibles es también medible.
¿Es cierto el resultado del problema 3.53 para un número infinito de funciones medibles? Explicar.
Demostrar que si fix) y f(x] son medibles sobre E, entonces /1(x)/f2x) es medible sobre E sí
htar 0,
Si ¡(a) es medible, demostrar que toda potencia entera positiva do fís) es también medible.
donde <, y cz son constantes, es medible en (a, bJ. Esta fonción es un ejemplo de función esca
lonada.
344. Supongamos que [a, es la unión de un conjunto numerable ¿e conjuntos disjuntos Es, Ez,
bj
modo que [(1) = cs sobre E, donde c, es una constante dada. Demostrar que fx) es medible en
de .
fa, BJ. Ol )sérvese que si son intervalos, entonces f(x) es una función escalonada [problema
Es,
Es,
340
3.48, Demostrar el resultado del problema 3.47 si g(x) es monótona decreciente [L.e. g(22)
$ gtes) para xs > 21]
Luego probar el resultado si £lx) es monótona [monótona creciente o monótona
decreciente)
Mostrar que lím lim (cospl xx), es medible
Sea fala) =e2n para 0 5 5 Ly 508 F(x) = lim 4,(2). ¿A cuáles clases de Baire pertenecen las fun-
ciones (a) fa(x) y (5) Ple)?
352, Sea S un conjunto no medible, Supongamos que para cada pE-S definimos una función /,(x) =
Demostrar que si /G) es de clase p de Bairo, entonces también lo son: (a) 1/(1, (6) [/60J2
Demostrar que si fa(2) y /a(x) son de clase p de Baire, entonces también lo son: (a) máx [/1(2), fe(0)] y
[fo [/(, ol,
3140 160 HO
(6) mín feta], Indicación: fat0] = + £60l +
[£, fa]
máx
—
amo = FAO +01 — f26011
3,59, Sea — una sucesión de funciones de clasep de Baire que converge uniformemente a /(z). Demostrar que
f(x) es también de clase p de Baire
3.60, ¿Es verdadero el resultado del problema 3,59 en el caso en que la convergencia no sen uniforme? Explicar.
Capítulo 4
La integral de Lebesgue para
funciones acotadas
LA INTEGRAL DE RIEMANN
La integral que se trata usualmente en los cursos introductorios de cálculo se llama
integral de Riemann por el matemático que contribuyó extensamente a su desarrollo. En el
Apéndice A se hace un estudio de esta integral y sus propiedades, para quienes deseen
hacer un repaso.
La integral de Riemann tiene ciertos defectos que pueden remediarse con la integral
de Lebesgue, como veremos en este y en posteriores capítulos. Aunque es posible definir
la integral de Lebesgue de muchas maneras, adoptaremos un procedimiento que se ciñó en
lo posible a la definición dada en el Apéndice A para la integral de Riemann. La diferencia
principal entre las integrales de Lebesgue y de Riemann es que la primera usa intervalos y
sus longitudes mientras que la segunda usa conjuntos de puntos más generales y sus me-
didas. Así que no es sorprendente que la integral de Lebesgue sea más general que la inte-
gral de Riemann.
<a
---,Y1-1 tales que
a=P4on<4< =B (m
Obsérvese que estos valores están representados geométricamente por puntos situados so-
bre el eje y como se indica en la figura 4-1. Un conjunto particular de subdivisión de puntos
se designa frecuentemente como partición, red o grado de subdivisión.
Sea E»,k = 1,2, ..., n, el conjunto los
de todos ya,
x de (a, 5] tales que ye-1 5 f(x) <
Es =
(ins=f)<w) k=12
Como f(x) es medible, estos conjuntos son medibles y, como puede verificarse fácilmente,
son disjuntos.
Consideremos las sumas superior e inferior S y s respectivamente definidas por
$ = Zuma) (2)
s = Dnmomes 1)
CAP. 4] LA INTEGRAL DE LEBESGUE PARA FUNCIONES ACOTADAS 55
1= ftajas, 3 Sraas 0)
Si 1 = J, decimos que f(x) es integrable según Lebesgue sobre [a, b] y denotamos el valor
común por
Sres o
que se llama integral definida de Lebesgue de fx) sobre [a, 5]
Tenemos el siguiente teorema:
Teorema 4-1. Si f(x) es acotada y medible sobre [a,b], entonces la integral de
Lebesgue (5) existe y decimos que /(x) es integrable según Lebesgue o
simplemente integrable sobre (a, 5].
Si (5) existe, se escribe a veces
$ so de <o (6)
Fig. 4-1
Eu]
|
$. (Fut) de = E Suma
RELACION ENTRE LAS INTEGRALES DE RIEMANN Y DE LEBESGUE
Teorema 4-17. Si f(x) es integrable según Riemann en [a, b], entonces también es in-
tegrable según Lebesgue en [a,b] y las dos integrales son iguales,
esto es,
Teorema 4-19. Si f(x) es continua casi en todas partes en [a, b], entonces es integra-
ble según Lebesgue en [a, b].
CAP. 4) LA INTEGRAL DE LEBESGUE PARA FUNCIONES ACOTADAS 59
Problemas resueltos
DEFINICION DE LA INTEGRAL DE LEBESGUE PARA
FUNCIONES ACOTADAS MEDIBLES
4.1. Demostrar que para el mismo grado de subdivisión o partición, una suma inferior s
no es mayor que una suma superior S, s < S.
Usando la notación de la página 54 tenemos
MaS Y
2 = Mane) S
Dune) =
4.2. Demostrar que para el mismo grado de subdivisión o partición: (a) una suma superior
tiene minorante y (b) una suma inferior tiene mayorante,
(a) Parak = 1,....n
UME) E amEy
Sumando de k= 1 a n se obtiene
donde E=
DEL = (2: «</0<0).
Entonces un minorante de S es am(5).
(6) Parak = 1,...,n tenemosya-1 5 8 de modo que
Vi ME) S ME)
Sumando de k — 1 an se obtiene
4.3. Demostrar que para todos los posibles grados de subdivisión o particiones: (a) las su-
mas superiores tienen extremo inferior 1 y (5) las sumas inferiores tienen un extremo
superior y.
(a) Por el problema 4.2(0), las sumas superiores para todos posibles grados de subdivisión tienen un los
minorante inferior a m(£) y deben tener entonces un máximo minorante que podemos por 7 denotar
(6) Por el problema 2(2), las sumas inferiores para todos los posibles grados de subdivisión tienen un
mayorante 8 m(E) y por tanto deben tener un mínimo mayorante que podemos denotar y.
4.4. Un refinamiento de una partición dada o grado de subdivisión se obtiene usando pun-
tos adicionales de subdivisión. Si S es la suma superior correspondiente a una par-
tición dada en tanto que Si es la suma superior correspondiente a un refinamiento
de esta partición, demostrar que S; S S. Demostrar así que en un refinamiento de una
80 LA INTEGRAL DE LEBESGUE PARA FUNCIONES ACOTADAS [CAP. 4
Supongamos
a=M<4<
o <n=4
que el otro punto de subdivisión ocurre en el intervalo (y)-1, 3) y se denota por u de
modo que yy, <U< y
La contribución a la suma superior correspondiente a los puntos de subdivisión del intervalo
03-139) 0s
Ya ME,) wm
MED) + y me) 0)
donde
E:yis/<, EP =:us1<4) 0)
y es claro que
= MEA ME)
Por (4) podemos escribir
Ey =
(1)
EPUED,
como
mE)
s
Y ME?) + ya m(8)) 0)
El cambio es la suma superior original debido al nuevo punto de subdivisión está dado por la dife
rencia entes (2) y 6).
A
(4) mE") 0)
Como ésta es negativa ó cero [porque > u y E 0), ae
y, m5)
sigue que la suma superior no pue.
de aumentar agregando un punto de subdivisión con lo cual queda demostrado el resultado pedido,
4.5. Demostrar que una suma superior para cualquier partición, no es menor que una su-
ma inferior correspondiente a [Link] o a otra partición.
El resultado pedido ha sido demostrado ya cuando las particiones son las mismas (problema 4.1]
Para demostrar el resultado para diferentes particiones, supongamos que las sumas superior e info.
rior correspondientes a una partición están dadas por Sz, sz mientras que las sumas superior e infe-
rior correspondientes a la otra partición están dadas por Ss, 3
o sen la partición
Consideremos la partición obtenida superponiendo las dos particiones anteriores,
obtenida al tomar la unión de todos los puntos de subdivisión] y denolemos las sumas correspondien
tes superior e inferior por Si, si. Como esta nueva partición es un refinamiento de cada una de las
particiones dadas, tenemos por el problema 44,
Así que
53% E)
por (1)
y (21 tenemos
lo Ss Z ss
SE
intercambiando los subíndices 2 y 3], o sea que una suma superior pare cualquier
E)
par.
ición, no es menor que una suma inferior para cualquier otra partición:
SzlzaJz=s8
Como
es el máximo minorante de todas lus sumas superiores, debemos tener S E L
T
el mínimo mayorante de todas las sumas inferiores, debemos tener J = a. También
Como J es
por el problema
46tenemos 12 J. Asíque S2lz2JZS
4.8. Demostrar que f(x) es integrable según Lebesgue si y solamente si
para cualquier
«> 0 existe una partición con sumas superior e inferior S, s tal
que S— e. 5<
Si para cualquier > O
existe una partición tal que 5 < entonces por
« 3 e, el problema 4,7,
0S 1-13 S-a<e
de modo que f = J [puesto que « puede ser arbitrariamente pequeño]. Entonces f(x) es integrable
según Lebesguo.
supongamos que [= J. Entonces, sí «> 0 existe una partición tal que S<¿+9/2
10 minorante de todas las
sumas superiores] y $ > J— ¿/2 [ya que Y es el míni
mo mayorante de todas las sumas inferiores]. Entonces
a CS a SB
MSNSRMS
y consideramos conjuntos: (2)
Ej = (2: 9-15 < 4)
Ahora consideremos la figura 4-3, donde las líneas gruesas indican la gráfica de f(«) en (0, 1),
y las punteadas muestran los puntos de subdivisión tomados sobre el eje y [compárese con la figura
4-1]. Aunque ciertamente no es necesario apelar a un diagrama, este aclara las ideas en juego,
LA INTEGRAL DE LEBESGUE PARA FUNCIONES ACOTADAS [CAP. 4
1er
Es claro en este diagrama que los únicos conjuntos no vacíos son [suponiendo a 0, 8>1,
nd <
EL = (omS/=<w)
y En = le
1 1 < 0)
El conjunto E, es el de los números irracionales en [0, 1] en tanto que el conjunto E, es
23,
elconjunto de los números racionales de [0, 1]. Se sigue por consiguiente que m(Es) = 1 y
míE,] = 0 en tanto que m(E,) = 0 para k= L
Entonces como una suma superior y una suma inferior están definidas respectivamente por
52
Zumby .= Aun,
ea
S=% s=w
Vasisndo partición es claro entonces que como y.
la cualquier número > 0 en tanto que
Yo = a es cualquier número 0,
De modo que como 7 O vomos que fle) os intograblo según Lebesgue en [0, 1]
0 Como el valor común de las integrales auperior e inferior Ty] es 0, se sigue que la integral de Lebes-
gue de fix) en (O, 1] es 0, Le,
fora =>
4.10, Demostrar que si f(x) es acotada y medible sobre [a, b], entonces es integrable
según Lebesgue sobre [a, b]
Usando la notación de la página 54, tenemos
S-0= Imon-imb
Podemos ciertamente construir una partición u grado de subdivisión de modo que ya —
yea <
Asi podemos decir que
4.5,
fte) vs
mz) =
n3lst=k wm
Además
5 Dm, 9
3 man
de modo que
os = (noma) a
Entonces dado > 0 podemos escoger 1 > ny de modo que
y a) para h
+
—
Así que para 1 > mo.
O sea que lím(S,— 5,) =0. Por tanto por (1) vemos que
lim L, = lim
J = 1
Am(E) S S fajdz Ss
Bm(E)
Porlos problemas 42 y 4.7,
Amas S fas 3 m0
4.13. Demostrar el teorema 4-6: Si E = E, U Es donde E, y Es son disjuntos, entonces
el comiunto E se divide en
IWS
mubronjuntos
NS
E, donde E,
<A y Es se dividen en subconjuntos disuntos
EP Ef tales que Es = EPUEO y
4.14. Demotrar el teorema 4-6, sin tratar la integral de Lebesgue como límite de una suma
[ver problema 4.13]
a
Supongamos que para x € E, a < flx) < 8 en tanto que para E, y Ey qu < f(x) < 8 y
respectivamente. Podemos tomar a a Como cl menor de aq, as y 8 como el mayor de Au Ba
< a fla)
Tomemos como grado de subdivisión de Ja, AI los puntos a = yo
presentarse dos casos.
<y = 8. Pueden
<a
(1) Algunos de estos son puntos de subdivisión de
para laz, af Ju,
8] y los restantes son puntos de subdivisión
[104 + f 10 o
De (1) y (2) deducimos que
Sos = f 1d S, Ho) da
So =
Sims $ 100
>
fines f nmdes $
ross
Por el teorema 45 [el teorema del valor medio] como ¡flX)] SM,
ls,
£ ños] 5 36m o
el límite cuando n— « en (5), hallamos que
CAP. 41 GRAL DE LEBESGUE PARA FUNCIONES ACOTADAS 65
Entonces
Se = $ 100+ 5, 10002 +
4.16. Demostrar que si f(x) es acotada y medible sobre E, y c es una constante, entonces
Supongamos que subdivisión de « < f(x) < 8 se hace por medio de los puntos a =
el grado de
o <
So < yn = 8. Entonces la suma superior correspondiente a f(x) es
S= Eume) o
o)
donde Ey = (2:2€E,
De modo semejunte la suma superior correspondiente a f(x)
y 5 /(2)<
+
9)
e es
a
5 = PMtoma =
3
es decir, S, = S+cm(B)
Tomando el límite cuando n= =, tenemos
Denndo
sam Syria 3, visores =
” AS, tuerotaae
= mms + ES st DA
Sh1oazs Sora
Como g(x) — f(x) no es negativo sobre E, 2(x) — /(x) E 0, tenemos
S [s) — flaJ] de = 0
esto es,
Ss sf
omde
4.19. Demostrar el teorema 4-11: Si f(x) es acotada y medible sobre E, entonces |/(x)| es
integrable según Lebesgue sobre E. Recíprocamente si |f(x)| es acotada y medible
sobre E, entonces f(x) es integrable según Lebesgue sobre E.
Si [(x) es acotada y medible sobre E, ontonces también lo es |/(x)| [ver teorema 3-19]. De mo.
do que |f(e)] es intograblo según Lobosgue sobre E,
De modo parecido si |/(=3] es acotada y medible sobre E, entonces también lo es /(+). De modo
que f(x) es integrable según Lebesgue sobre E.
rema 4-11.
Método 1.
Tenemos
ita!
Entonces por el problema 4.18 se obtieno integrando sobre el conjunto E,
Synarie =
[100 < Siene
Miss | £
noae| Saved
s
|
UN def
ot drá $,
ifiaide = $. le)! de
CAP. 4 'RAL DE LEBESGUE PARA FUNCIONES ACOTADAS
A
Método L.
Puesto que f(x) es acotada, uxiste una constante M tal que 0 5
[ld M. Considérense los conjuntos
La
=(:/0=0, Loros
1
E, =4=
RUE
Como los conjuntos son medibles
Bo=da
y
ia)
disjuntos,
ME) = ME) + ME) A
” Pere
rro
MX
mE,
Por la desigualdad de la izquierda y el hecho de que la integral sobre El, no puede sobrepasar la integral
sobre E, tonemos
es decir, que la medida del conjunto para el cual f(x) 3 0 es nula, de modo que f(x) = 0 casi en todas
partes,
Método 2.
Supongamos que existe un conjunto A, contenido en E, de medida positiva para ol cual f(x) > 0. En
(> pe
tonces podemos expresar como la unión de conjuntos medibles mutuamente disjuntos.
A
A =(:10>D, 4 =
(:0>p, A =
Como míA) = míA) + mí)
+ > y mía) > 0, se sigue que existo algún conjunto A tal que
m(4,) es un múmero positivo p, por ejemplo.
Entonces por el teorema del valor medio y como la integral sobre A, no puede ser mayor que la
integral sobre £, tenemos
Som =
n(e)de =
Sos
Por ser [f,60)] 5 M y Jimf,lo) = flo), se sigue
En S, 106) —
Fale)de = 0
0
68 LA INTEGRAL DE LEBI [CAP. 4
on que | $, 1o=rne =
f o-1tod
se tendrá si podemos demostrar que
ln Sn hatelidz = 0 o
Representemos a E como unión de los conjuntos disjuntos medibles
Es IS
ES telíoAl<a lñl<e
Ba=
(als
to
IA
A
Sho
Ahora sobre Sa tenemos [f(x]
piolde
—
fal]
=
< «.
$Sa star
También como Ifatx)l £ M
+
y
d
$a. (10101
1/(=)1 SM, tenemos sobre
El
1160 —
fulls 1/61 + 1/60] < 2M. Así que (8) se trasforma, con el teorema del valor medio, en
Sinonimia s ms) +
me) “0
esto e,
lo que demuestra el resultado pedido,
de $,
101 = o
4.23. Demostrar que las condiciones del problema 4.22 pueden debilitarse de modo que val-
gan casi en todas partes.
Esto se mbtiene inmediatamente, ya que los conjuntos de medida nula no afectan los”valores de las
integrales de fla) y f,(2) sobre E.
4.24. Dar un ejemplo de una sucesión de funciones (fo(z)) tales que lim f(x) = f(0 y
que tengan la propiedad de que
se Lea
Lim (8) S
falaJdz
CAP. 4] LA INTEGRAL DE LEBESGUE PARA FUNCIONES ACOTADAS 69
Denotemos (ra) una sucesión que represente todos los números racionales de [0,1]. [Esto
es posible ya que el conjunto de los números racionales de [0, 1 es emumerable]. Definamos una
sucesión de funciones (fa(z)) en (0, 1] tal que
IN IOtencolju
1
o
Í
Enea x es un número racional de 1]
(0,
AA E
A qa e
Además por la definición de /,(r) tenemos
S rias = 0 y
o cmo ln
y también por el problema
49, ft lim =
fas = 0
Así que
eS, fa) de
DSi
no existe. Así que
Mm as, Mm fala) de
a=4<m<m<oo<m=b 7)
Consideremos las funciones
A =
Ml)
donde mí" y M£” son el extremo inferior y el extremo superior de f(z) en
Se utiliza el superindice n para insistir en que hay n subdivisiones,
= ME, 2
el intervalo
0]
xa < z 5 Xw0
Sutod =
¿mp a
FM
Estas integrales son respectivamente las sumas inferior y superior de Riemana de /(z). Puesto que [G)
0
es
ln, S Yala) da
se sas
sn
= 0 yf sordo o
LA INTEGRAL DE LEBESGUE PARA FUNCIONES ACOTADAS [CAP, 4
10 S ende >
Lua 0 0 o
de modo que restando, S IM) M2)] dz = 0 dl
Pero como Y(x) = $(x), so sigue del probleme 421 que Y(x) = Y(r) casi en todas partes en [a, 5]
Ahora es elaro que $62) S f(x) 3 víz), a partir de lo cual vemos que /(x) = $(x) casi en todas partes
y que flz) es medible ya que p(x) lo es
4.26. Demostrar el teorema 4-17: Si f(x) es integrable según Riemann en [a, 5], enton-
cos: (a) es integrable según Lebesgue en (a, b] y (6) las integrales de Riemann
y Lebesgue de f(x) en [a, b] son iguales.
Con la notación del problema 425, tenemos
153 Ss La) de
Df ma
Así que = (2)
y quedan demostrados los resultados pedidos,
4.27. Demostrar el teorema 4-18: Una función f(x) es integrable según Riemann en [a, 5]
si y solamente si el conjunto de discontinuidades de f(x) tiene medida nula, es decir
si f(x) es continua casi en todas partes
Si fia) es continua en un punto x, entonces, con la notación del problema 4.25 debemos tener
víz) =+(2). Reciprocamente si 4(x) =+(x) en x entonces f(x) es continua en x. O ses que
Fo es continua en x si y solamente si = v() en x.
P(x)
Ahora a partir de los resultados del problema 4.26 vemos que /(x) es integrable según Riemann en
la, BJ si y solamente si (ver las igualdades (5), (6) y (7) del problema 425]
0 sen Qíx) =
Lune =
10 $ vana
víx) casi en todas partes, L.e. f(x)
—
es
=
fue
continua casi en todas partes.
4.28. Demostrar el teorema 4-19: Si f(x) es continua en casi todas partes en [a, b], en-
tonces es integrable según Lebesgue en [a, 5]
Esto se sigue inmediatamente de los problemas 4.26y 4.27.
CAP. 4] LA INTEGRAL DE LEBESGUE PARA FUNCIONES ACOTADAS El
Problemas propuestos
Vote doma
a coile
4:31, Efectuarel problema =>] 3 2<254,
A 4<235
4.32. Demostrar que en cualquier refinamiento de una partición o grado de subdivisión las sumas inferiores no
pueden decrecer [vea el problema 4.4).
4.33. Dar una demostración del teorema del problema 4.6 sin referirse a un diagrama.
caleta |
4.34. Mostrar cómo se puede hacer el problema 4.9 sin referirse a diagrama.
ses pto
S
108 08 un mimo irracional
del do fas
438,
4.38
CRA
54 es
.
independiente de la elección de
ay
8 siompre que a <
f)<8.
4.59. Demostrar ol recíproco del resultado del problema 4.11.
le0
Ed
063 l
+EE,
donde er z ez son
a
constantes dadas,
4.44. Utilizar los problemas 4.42 6 4.43 para hacer: (a) el problema 4.9. (8) El problema 4.30, (c) El problema
431. (8) El problema 435
4.46. Demostrar si es cierto o no que: Si fíx) es continua sobre un conjunto medible E, entonces existe un
número tal que
E
$ seas = soma
Capitulo 5
La integral de Lebesgue para
funciones no acotadas
Entonces para todo p, [f(x)], es acotada y medible y por tanto integrable según Le-
besgue. Definimos la integral de Lebesgue de /(x) sobre E como
A fajda = lim
f [r)jode e
El límite puede ser un número no negativo o puede ser infinito. Si límite es un número no
el
negativo, entonces la integral de Lebesgue de f(x) existe y es igual a este número y decimos
que f(x) es integrable según Lebesgue o brevemente integrable sobre E. Si el límite es infini-
to decimos que f(x) no es integrable según Lebesgue sobre E o que la integral no existe.
Sea = —S,
eds
donde la integral del segundo miembro se obtiene como antes ya que |f(x)| 3 0.
7)
a
L
=
O
para todo x E E tal que /(x) 20 (5)
fa) para todo x E E tal que f(x) E o
donde debe observarse que f*(x) y f(x) son ambos no negativos. Entonces se sigue que
o) =
P()-f() (6)
CAP. 5) LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS
Esto nos lleva a definir la integral de f(x) sobre E como la diferencia de las integrales de
funciones no negativas, esto es,
$14 = $
10 Sea - y)
La primera integral de (7) existe ciertamente cuando las otras dos integrales existen y en
tal caso diremos que f(x) es integrable según Lebesgue o brevemente integrable sobre E.
Debe mencionarse que en caso de que f(x) sea acotada la definición dada
por (7) se re-
duce a la dada en el capítulo 4 [ver problema 5.43].
Si |f(:)] < g(x) donde g(x) es integrable sobre E, entonces f(x) es tam-
bién integrable sobre E y
Sede Soto) de
El resultado es también cierto si |f(x)] S g(x) casi en todas partes sobre E.
Teorema 5-3. — Una función /(x) es integrable sobre E si y solamente si |f(x)| es integra-
ble sobre E y en tal caso
[£ ro] s $, reja
Por esto decimos que f(x) es integrable sobre E si y solamente si es absolutamente in-
tegrable sobre E.
S, rra
76 LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS [CAP, 5
Teorema 5-6. —
Si
fro
A
dx existe y si A es un subconjunto medible de E, entonces
Sorera s $, reojas
Teorema 5-7. Si E = Ei U Ez donde Er y Es son disjuntos, entonces
Teorema 5-8. Si E = EU EzU +** donde E,, Ez,... son mutuamente disjuntos,
entonces si
Sto az existo
(u)da = JE Fa)da + S. Ha)dz + +.
El resultado no es necesariamente cierto si f(x) es integrable sobre E,, Ex, sin
mención específica de su integrabilidad sobre E [ver problema 5.16].
Teorema 5-9
a) +otolas = S, 19de + f, ona
El resultado se generaliza fácilmente a cualquier número finito de funciones.
Teorema 5-11. Si f(x) es integrable sobre E y g(x) es acotada, entonces f(x) g(x) es in-
tegrable sobre E.
Soros
y la existencia de una integral implica la existencia de la otra.
=$
aa
Teorema 5-13, Si f() 3 0y f, fléddx=0, entonces f(x) — O casi en todas partes
sobre E. El resultado es cierto también si f(x) 2 0 casi en todas partes
sobre E.
Teorema 5-14. Si f(x) es integrable sobre E, entonces dado « > 0 existe un ¿> 0 y
un conjunto A C E tal que si mí(A) < 5
|
S $2) de <s
Teorema 5-15. Sea f(x) integrable en E. Si (%;) es una sucesión de conjuntos conter
en E tales que lím m(Es) = 0, entonces
lím ),
Arde = 0
CAP. 5] LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS 7
TEOREMA DE CONVERGENCIA DOMINADA DE LEBESGUE
El siguiente teorema es una generalización del teorema de convergencia acotada de Le-
besgue [teorema 4-15].
Teorema 5-17. Si urls), k = 1,2,..., son medibles sobre E y si existe una función
integrable sobre E M(x) tal que [sn(x)] S M(x) donde s.(x) =
Bula) y si lím sa(x) = s(x), entonces
E ce
S.
1%É sa(2)) de = 0)
|
Tenemos también el siguiente teorema que es muy útil.
Teorema 5-18. Si
Í unta) es tal que [sto] =
TEOREMA DE FATOU
Teorema 5-19. [Fatou]. Sea (f(2) una sucesión de funciones medibles no ne-
gativas definidas sobre E y supongamos que lím f. (x) = f(x). Entonces
Sade (10)
Obsérvese que el teorema es también cierto si lím f,(x) = f(x) casi en todas partes.
Si f(x) no es integrable, el primer miembro de (10) es infinito.
lim Safe) de
siempre que sean finitos ambos miembros.
=
Sta an
LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS [CAP. 5
S Hut) de = ES uma un
siempre que cada lado de la igualdad converja.
Teorema 5-22. Sea f(x) integrable en [a, b]. Entonces dado cualquier e
> 0, existe
una función continua g(x) en a, b] tal que
Saa = SPyás
donde ft (x), f- (x) son no negativas y decimos que /(x) es integrable sobre Ja, «o[ sí
us)
cada una de las integrales del segundo miembro de (16) existe de acuerdo con la definición
(15).
Se pueden hacer extensiones obvias para los intervalos |—o, b[
último, por ejemplo, consideramos ]a, b[ y luego hacemos a— — =>, b—
y |-w, o(. Enel
Si el conjunto
do
«».
Stma = fa) de 1)
CAP. 5) LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS
Teorema 5-24. Una función f(x) es integrable sobre E si y solamente si |f(x)| es integra-
ble sobre E ya sea E acotado o no y en tal caso tenemos
So pozas
no existe [ver problemas A.32 y A.33). Así que la integral de Riemann puede existir
cuando la integral de Lebesgue no existe. Sin embargo, tenemos el siguiente teorema im-
portante.
Teorema 5-25. Si |f(x)| es integrable según Riemann sobre E, entonces f(x) es integra-
ble tanto según Riemann como según Lebesgue sobre E y las dos inte-
grales son iguales.
Problemas resueltos
DEFINICION DE LA INTEGRAL DE LEBESGUE PARA FUNCIONES
NO NEGATIVAS Y NO ACOTADAS
5.1. Demostrar que la función [f(x)], definida en la página 74 se puede expresar como
mín [f(x),p] donde mín denota mínimo.
Tenemos
para todo x€ E tal que fa) 5 p
Wa = dEAp paratodo CE tal que fia)>p
LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS
[CAP. 5
Entonces si f(x)
|
es menor o igual que p, [f(2)]» = /(a) = E/Go, p] en tanto que f(x) es mayor
que p, (/(o)], =p
= mín
(6),
p
Demostrar que [f(x)], es acotada y medible, y por tanto integrable para todo p si
f(x) es medible.
p.
Por el problema 5.1 vemos que [/(2)1, $ p y €s por tanto acotada para todo
También como [f(=)), = mín [/(2), p| donde f(x) y p son medibles, se sigue del problema 3.18,
que [/(2)), es medible.
El último resultado se puede también demostrar directamente a partir de la definición de función
fo
me.
dible [vea el problema 5.39]
Entonces
O ais lim Se) az
e
en
ec
>
ingre (E
miga £E,]
Así que la integral existe y tiene el valor 6, Obsérvese que las integrales anteriores de Lebesgue se
pueden calcular como lus de Riemann por el teorema 4-17.
il [gol]
Obsérvese también que la integral de Riemann EE, existe
(R) S como integral impropia definida,
. Va
cmo
la
E — = am[o ho] =
e
integral de Lebesgue de antes [vea el Apóndico AJ. La integral de Lebesgue dada antes no es sin
ño ino str
embargo una “integral impropia”, aunque el integrando no es acotado,
Las gráficas de [(2) y [/(2)l, se indican en las figuras 5-1 y 5-2 respectivamente. La fur ción
1/(2)], se llama función truncada ya que [flxIl» si f(x) > p.
=p
CAP. 5) LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS 81
El valor
smS pde =
rl
5.6. Demostrar que las funciones f*(x) y f-(x), página 74, se pueden definir por medio de
Fe) = máx [1(1),0), f-(x) = máx (0, —f(0)]
fa) para todos lo: tales que 60 3.0
Bornos O
para todos lo: ales que f(x) <0
máx
Entonces si
[/(2),0]. En
[G) 2 0,
todo caso
tenemos f*() = f(x) — máx (/(4), 0] en tanto que si /(x) < 0,/*) =0=
fets) = máx | ((2),0]
Con un razonamiento semejante demostramos que f(x) = máx (0, —/()|
5.7. Demostrar que (a) f(x) = f*(2) —f7(2), (b) [f=)] = f*(2) +$-(2).
(a) Tenemos (1) = /G0 si 0) 3 0 y f7(0 =0 si f(x) 3 Entonces fla) = f(x) — FG si flo 30
0.
De modo análogo tenemos f=(1) = 0 si f(2)>0 y f-(0) =—f2) si f(2) < Entonces f(a).=
1)
0.
—
FG si f(2 < 0. Asi que en todos los casos (1) = f+(x) — f-(2)
(0) Si f(x) 3 0, entonces |/(+) | = /(1) = f*G) /=60. Si fx) <0, entonces |£(2)] =—/(2) —
FG0. Así que en todos los casos |/G0] = fee) + f760
+
(04
TEOREMAS SOBRE INTEGRALES DE LEBESGUE PARA FUNCIONES
NO ACOTADAS
5.8. Demostrar el teorema 5-1: Si f(x) > 0, entonces ye f(x) dx existe si y solamente si
S, [/(x)]» dx es uniformemente acotada.
AS
A partir de la definición de [f(z)], se ve que
Oh 3 Vol = m
De modo que w
Así que la sucosión cuyo término de lugar p es
S, onzas a
es una sucesión monótona creciente. Se sigue que si esta sucesión es uniformemente acotada, o sea que, si
existe una constante M tal que para todop.
S Vide < M
entonces
sn S, Voyde 1) de
existe,
+, entonces, como [/(«)], 5
/(z) tenemos
ib Valde =
$ fjde < M
82 LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS [CAP. 5
Demostrar el teorem: , para el caso en que (a) [(«) E 0, (5) f(x) tiene signo arbi-
trario.
(a) SI O S f(x) S ata), entonces [/(4)l» $ [8(2)]a- Así que
Entonces tomando el
S,
límite cuando p==
Velada
«=, obtenemos.
toda 0
Snow sf moá a
(b) Esto se sigue inmediatamente de la parte (a) remplazando ((x) por 1/(:)] que es no negativo.
$ ds = tm mms a
Ahora, si m(S) > 0, (2) dará una contradicción ya que por ipótesis J/ (0 dz es finita. Debemos toner
por tanto m(S) = 0, 0 ses que f(x) es finita casi en todas partes.
Para una demostración del teorema cuando f(x) tiene signo arbitrario ven el problema 547.
Tenemos
S,veoias 5 $ tipa “
Eto tomando; ol limito:guando
piu sigue
S, hdd 5 $ fade a
es decir, que la integral del primer miembro de (2) existe ya que la integral del segundo existe,
Demostraremos el teorema para cualquier unión finita de conjuntos disjuntos, esto es, con E =
EJUEy! VE, y EnEp.. mutuamente disjuntos. Como el teorema es cierto para funciones
O
En
S. [Helpde = S
Entonces tomando el límite cuando p ==, tenemos como se pedía
ro
El resultado del problema 5.12 es cierto para [*(x) y /"(x), de modo que lenemos
14
Sres f riosrot f =
stos
Emoncs secando
sultado pedido
y obserando que
f, gorar= $,
ura SJ eráa, omnomos a e
Sra f 1004 S, = 10) de
w S, Vias ++ $ popa
Entonces haciendo p— a, Lenemos
S. tapas <
f sor
O
de modo que sumando respecto de R,
oa s S, sde +, Hadas 0
|
A partir de (2) y (9) se sigue que
S 1d =f oder nod
5.15. Demostrar el teorema 5-8, para el caso en que f(x) tiene signo arbitrario.
SI
Por el problema 5.14 tenemos
$ ros Z S. Pinde +
a
34 LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS [CAP 3
Esos
resultado
«l
trio e o eS, na
pando pedido
y
$, 106060, ndo,
5.16. Dar un ejemplo para mostrar que el teorema 5-8, no es necesariamente cierto si no
se hace mención de la integrabilidad de f(x) sobre E,
Ses 2n
En
fa n= 1,2
ei
= para
z E
mp1? <=
Así que
ala alo + (ot)o E [eeilap
Tomando p==
S mias
o», hsllamos
2 S, mejpde
$, tordo eS, ns
S,
sa de+ fome <= fría dz
CAP. 5] LA INTEGRAL DB LEBESGUE PARA FUNCIONES NO
ACOTADAS
5.18. Demostrar el teorema 5-9, para el caso en que f(x) y g(x) tengan signo arbitrario.
En el caso de que f(x) y g(x) tengan signo arbitrario y h(x) = /(u) + glx), se pueden presentar Jos
seis casos siguientes:
() /()50, =0
pla) 30, M2) (0) 1)50, g(2)<0, Me) <o
() fa) <0, 0(2)<0, he) <0 (5) 1) <0 0130, Ma Z0
(8) 1) 50, p(2)<0, Mo) =0 (6) f()<0, gl) 50, Me) <0
Denotemos con £i, Es,
Ea los conjuntos respectivos en los cuales se presentan cada uno de
-..,
estos
casos. Es claro entonces que E= Y E,
$ posemos mostrar que
an
S, [Md
gta) + de = 5 [Ha] de
S, (0(a)] dz m)
para =
A
1,2,...
8ae obtendrá el susltado pedido
pr
adición y teniendo en cuenta el prablema 5.6
Hemos establecido ya (1) para el caso k = 1, o ses, el
conjunto £, del problema 5.17. El resultado se
Puede establecer también de una manera análoga para cualquiera de los otros valores de Como ejem. %.
ra,
Con el teorema 5-10 esto se trasforma on
5.19. Demostrar teorema 5-3: (a) f(x) es integrable según Lebesgue sobre E si y sola-
el
mente si |f(x)]| es
(a) Por
integrable según Lebesgue sobre E. (b)
el problema 5.18 tenemos
fo)Jdo| [falda 1 » s $*
S, Mede = S, rua -S Fa) de
S, ones =
[Sra] [fo os $
1
ES +|£ os 7
$ ros fre +
S, vena
Entonces
letal = MIA
S ratas = 2 $ ode
y se obtiene el resultado pedido ya que f(2), y por tanto |/(z)), es integrable sobre E.
5.21. Demostrar el teorema 5-14: Si f(x) es integrable sobre E, entonces dado « > 0 exis-
te un 3> 0 y un conjunto A C E tales que
|
SES <3
simíA)< 5.
Por el problema es incegrable sobre Así que dado e, > 0 existe un número
Ira)
5.19 se sigue que [/(x)| E.
Dicallyy de E poema)
Ahora, sea 4;
lí f Alda = S sora
Por ser [f.(x)] 5 M2), tenemos |f(=)| 5 Mtz) de modo que f(z) es integrable. Ahora, puesto que
JS, 10 ratalida = 0
m
Para hacer esto utilizamos los conjuntos del problema 42, y escribimos
= S, mnda
m(S,) = m(E), hallamos a partir de
to + f, Mae
(3)
+ fade
ES o-riolé 3 emo
Entonces haciendo0 «— obtenemos (1) como se pedía,
TEOREMA DE FATOU
5.23. Demostrar el teorema de Fatou [teorema 5-19]: Sea (f(x) una sucesión de fun-
ciones medibles no negativas definidas sobre E y supongamos que
Entonces
lm Li) = f(x).
E
Como, f.(x)
Mm = flz), tenemos
la tala = Va
Así que por el teorema de Lebesgue sobre convergencia acotada,
sm S, into = $] tipa w
Sana z $, tros o)
IS
Pero como el límite cuando n— «> del segundo miembro de (3) existe como en (1), tenemos
dm Std 3 S,
ade 0)
Supongamos que mf] /,(s) de es finito. Entonces por el teorema de Patos tenemos
$ maes de 15
de modo que el primer miembro de ln izquierda de (1) existe. Entonces, como f,(+) £ /(o), tenemos
$g ninas = $ nerds o)
.
de modo que tomando el límite cuando n—»» en (2) tenemos
S (1) de a
po, toas s = E
vergencia dominada de Lebesguo,
sf no
Así queda demostrado el resultado pedido,
= Sm rte Sra
APROXIMACION DE FUNCIONES INTEGRABLES POR FUNCIONES
CONTINUAS
l 1,:Eh
5.25, Sea I, [a1, b1] un intervalo contenido en / = [a, 5]. Definimos f(x)
LT
CAP, 5] LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS
89
Demostrar que dado e > 0 existe una función continua g(x) definida sobre T tal que
Sea gíz) la función cuya gráfica está representada por AP:4,B,Q,8 en la figura 53, Le
1+ (o
o
ap/a
S-s
<a
sí = 1
Sh
1—(—bp/8 sh+s
o s5
F |f(2)—9(2)|
de = =28B<0.
y se obtieno el resultado pedido
E
5.26. Sean l, = [ax, b1),k = 1, 2 , n, n intervalos disjuntos contenidos en [ =
a biota Sea ga(6) Demnostr
Demostrar que lado«
dado > 0
dí
existe una funció
función
seur"
la
.
e]
.
o
inte
a
J
Sm saya <
tal
tl
queso
fuuen=otajas < 2d
Sta
2
1)
Así que tomando g(x) = 8a(x), tenemos.
— gl) de = S Fa) —
3 guía) de
<.
9 LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS [CAP. 5
S 1) -alejida < +
Ahora, por el teorema 1-19, el conjunto ( puede expresarse como unión enumerable de intervalos disjuntos
I, de modo que
me) =
mr, 3, 00 ma <
£,,, ..;
a 3,
Em)
y
mM <
Y
<
hagamos
mete
«a
10)
0)
de
1 ze UL
Id =
loo.
Entonces por el problema 5.28 existe una función continua g(z) tal que
(—etzlde <a 6
Sea Es = EC hi k= 1,2, de modo que E Ea. Ahora, siA = 1,2, ..., nu tenemos que
como l=
(4 — Ev EU
S 101 to! de
para x €
S la
Así que utilizando (3) y (4)
" y
LA INTEGRAL GUE PARA FUNCIONES NO ACOTADAS
9
=
o
3 mMIYAE)
[may]
[3 100 me]
DE +
+
[ur
S
ma,
- E muño] +, 3,
m0
0)
”
MEA E
a
A mito
E
S
=
atata
da
IN
De modo que teniendo en cuenta (5) hallamos,
Bate
s la () ota dz
= de
Tomando e; = «/4, se obliene el resultado pedido.
1, 2 EEs El
Por el problema 527, dado «y > 0 podemos hallar una función continua ga(x) tal que
Id —odalde < a k
Definamos ví) =
2 0ka)
Entonces
acoja = [| Darro] de
JU
»
¿lol ds
asas.
<
03 lol
marin
Suo-omtd <.
5.29. Sea f(x) acotada y medible y por tanto integrable en ] — (0, b]. Demostrar que
dado e > 0 existe una función continua g(x) tal que
States <<
LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS (CAP. 5
aMSN a
<= Ln
Supongamos que el mayor de los valores
yu—
Ex= (mE
a
Estos conjuntos son medibles pues f(x) es medible,
TEE
sen
0 mio)
do
[7
y
o
Ml) =
3 Mil
de modo que Ho) =
di PoR,
Añor, oral
pb 65, dedos >exi u ocn conti 2) 1 qu
Sio—eres <a
Tomando á
como el mayor de los números AY, = Y+— Yi-1, hallamos
Senora
.
omar ota
»
”= $ + $ no de
A
3S vo-nmndr+a
m y +
Ss
Mata
Así queda demostrado
Se.
resultado pedido.
si tomamos e =0/2 y 8< ./26b— a). el
5.30. Sea f(x) no acotada e integrable en [a, b]. Demostrar que dado e > 0, existe una
función continua g(x) tal que
de modo que
q
fla) =
FI
E1d
fas) y
1030
10
A pa
Lie.
ose
19 50
A A
Sra de = f jteras
E LE)
A
Definamos
EN
Entonces F,(x) y Felx) son acutadas medibles en ja, 5]. De modo que por el problema
y 5.29 dado
+
> D, existen funciones continuas f(x) y ga(e) tales que
Furia am Se
(Fla ds < «a
E
CAP. 5) LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS
93
fo)Fr) 90)
Si llamamos g(x) = gs(x) — £2(2), entonces
001 = ll)
Al) =P (0 +
+94]
9ta)l + [fata) Falo) + Foto) — 922)
S
to) Patol + Fat + lfa(o) Fetal + Foto) — ala)
Sand
ml
<a Fig 54
También como g(x) es continua en [e, d], se sigue que para todo e; > 0 existe un 5
> 0 tal que
para todo x en [a, b),
lote+2) —
921 < ¡E siempre que lA] <3
donde podemos suponer que |A| es menor que el mínimo dea — c y d — 5. De modo que
Alora
Joer —etrde =
14D JH)
de lo cual obtenemos
= (+N acto] + [9(2 +2) —
ol] + (ote) — M0]
Snerm=rd
.
= fne+rn—0+mes
:
+ f
a
lote+m— atea
:
+ no ote de
So
> Sigo
asa
—otode + fletes ato
E
— ds
+ ote —
+
Sn —
otade
<
=
atar
ae
A
9 LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS ¡Car. o
S fajdel s S |(a)| de
Por el problema 5.19 tenemos
Problemas propuestos
DEPINICION DE LA INTEGRAL DE LEBESGUE PARA FUNCIONES NO ACOTADAS
Y"
5.33. Determinar (/(<)], iz [(x) 1/4. (6) (a) [00 =e para x>0,
*
de "
o VE
1 os
535. Demostrar que [LE no existo
5.38. Demostrar que si f(x) es acotada, medible y no negativa, entonces la definición (2) de la página 74 para
la integral de Lebesgue se reduce a la dada en el capítulo 4.
5.39. Hacer el problema 5.3 usando directamente la definición de función medible, o sea sin valerse del proble-
me 3.5
540, Demostrar
ecuaciones
ques
(2 y
(al (fo):
5
12 del problema 58
(ñas 0). Sale fadladaE ===,
Verificar las
541. Demostrar que si f(2) 3 0 entonces: (a) (ft), 5 160) y (0) /, ioipas =$ ferde si /60 esn
tesrabl sobre E
5.56. Generalizar el
S tartoranine
problema 5.55 a
= 0
cualquier número finito de funciones
f 100 + o $ pe
557. 50 S, 1160 —
61 de — 0, demostrar que [o = 5) casi en todas partes sobre E.
5.58. Demostrar el teorema 5-15.
» 195258)
5.50. Ses falo = ( o 03 <1UN o
8<z1
(a) Demostrar que, As) = O
en (0, 1) pero que la convergencia no es uniforme,
581.
en E
Supongamos que
donde M(x)
laintegrablo= es
/a(2) f(2) casi en todas partes en E y que |fa(x)|
sobre E. Si y(x) es acotada y medible sobre E, demostrar que
5 Mx) casi en todas partes
TEOREMA DE FATOU
5.68, Sea
fla 0,
( 0, ISS
1 ES =8p0
Be sl
=
052<1MM 0
to a $ sane $ o
ra
INTEGRALES DE LEBESGUE SOBRE CONJUNTOS ACOTADOS
559, Demosrarqoe exit como |
de E y
ita! Tabo her su valor
po
520. que [7 MEE
Demostrar qa exit como integral de
Labs y como integra d Tieman
5.71. Demostrar el teorema de convergencia dominada de Lebesgue para el caso en que el conjunto E sea no
acotado.
5:15. ¿Podemos definir un valor principal de Cauchy para integrales de Lebesgue? Explicar,
5:76. Demostrar el teorema 5-2,
Capitulo 6
Derivación e integración
INTEGRALES INDEFINIDAS
Si f(x) es integrable, llamamos a
una integral indefinida o brevemente una integral de f(x). Obsérvese que el símbolo u se usa
para evitar confusión con la x del límite superior de integración. Si se suma una constante
al segundo miembro de (1) el resultado también se. llama una integral definida.
Teorema 6-1. Si f(x) es acotada e integrable según Riemann sobre |a, b], entonces
7
Pla) = S 7 du
es continua en (a, b]
Teorema 6-2. Si f(x) es acotada e integrable según Riemann sobre [a, b], entonces
FP)
"
JO) af” (du
du), Fx) 2
en cada punto de continuidad de f(x).
Teorema 6-3. [Teorema fundamental del cálculo]. Sea f(x) integrable según
Riemann sobre [a, b] y supongamos que existe una función F(x) con-
tinua sobre (a, b] tal que f(x) = F'(x). Entonces
o
Sra = Fa - Fa
El propósito de este capítulo es investigar la relación entre derivación e integración
0)
que corresponde a los teoremas anteriores para el caso de integrales indefinidas de Lebesgue.
FUNCIONES MONOTONAS
Una función f(x) en [a, b] se dice monótona creciente si f(x2) 2 f(x) para xa > %1,
y monótona decreciente si f(x2) S f(x1) para x2 > x1. Si f(x) es monótona creciente o
monótona decreciente, se llama monótona.
e
98 DERIVACIÓN E INTEGRACION [CAP. 6
Y If) — Fcn—a)l 5)
Teorema Si f(x) es de variación acotada en [a, b], entonces es acotada en [a, b].
Teorema 6-8. —
Si f(x) y g(x) son de variación acotada en (a, 5], también lo son f(x) +
81), Fx) — glo), f(x) glx) y f(x)/g(x) donde en el último caso g(x)
0.
>
punto c de (a, b) existen los límites a derecha y a izquierda lím f(x) =
Ho+ 0) y lím f(x) = [le — 0)
CAP. 6] DERIVACIÓN E INTEGRACION
2
Teorema 6-11. Si fíx) tiene derivada acotada en [a, b], entonces f(x) es de va
riación acotada en [a, b]. Sin embargo, si f(x) es continua en [a, b]
no necesita ser de variación acotada [véase el problema 65]
mii
La derivada de f(x) se define por
Df) = fa) = 6
y puede o no existir. Definamos cuatro cantidades
Vet
E
Du) =
"
Df) =
q 5)
negativamente infinitas.
En caso de que D*f() = Defía)
entonces f(x) tiene una derivada a la derecha denotada por f(x).
En caso de que Dafa) = D-f(e)
entonces f(x) tiene una derivada a la izquierda que se denota por f(x).
En caso de que D*f(x) = D+f(e) = D"f(x) = D-f(a)
entonces f(x) tiene una derivada /'(x). Recíprocamente si f(x) tiene derivada, entonces
todas las cuatro derivadas son iguales,
Teorema 6-12, una función es monótona, entonces tiene derivada casi en todas
partes
Teorema 6-14. Si 2,fulz) es una serie de funciones de variación acotada que con-
verge a síx) en [a, b], entonces, casi en todas partes en [a, 5],
s(a) =
Ea
100 DERIVACION E INTEGRACION (CAP, 6
CONTINUIDAD ABSOLUTA
De una función f(x) se dice que es absolutamente continua en [a, b] si dado e
> 0
existe ¿> 0 tal que
$ life + hu) —
fal < e un
para todo conjunto finito de intervalos (xa, xa + hs) tales que
Y mi <a 12)
Teorema 6-16. Si f(x) y g(x) son absolutamente continuas en [a, b], también lo son
160 + £(a), $62) — £l2), FG) g(2) y F)/e(x) donde en el último caso
El) 0
Teorema 6-17. Una función absolutamente continua es de variación acotada pero el re-
cíproco no es necesariamente cierto.
Teorema 6-18. Una función absolutamente continua tiene una derivada en casi todas
partes,
En relación con los teoremas 6-15 y 6-17 es interesante observar que aun una función
continua de variación acotada puede no ser absolutamente continua
Fla) = S (0d)de
es continua y de variación acotada en (a, b).
Sosa = 0
para todo x en (a, b], entonces g(x) = 0 casi en todas partes en [a, b]
CAP. 6) DERIVACIÓN E INTEGRACION 101
Teorema 6-23, Si g(x) es continua y monótona creciente en [a, b], entonces g'(x)
es
O)
integrable sobre [a, b] y
de 92) de
o remplazando b por x,
Saw 9-00
s
Teorema 6-24. Una función F(x) es una integral indefinida si y sólo si es absolutamen-
te continua,
o sustituyendo b
Sra
por x,
= 70-70
Só Fiwd = Fe) - Fa)
Teorema 6-26. Si F(x) existe en todas partes en [a, b] y es acotada, entonces
o
S “Pude = F(a) - Fa)
So =
femme
donde a y $ son tales que Bla) = 0,
=
2(8)=b.
fred
102 DERIVACIÓN E INTEGRACION (CAP. 6
Problemas resueltos
A
FUNCIONES MONOTONAS
6.1. Sea flx) monótona creciente en [a, 6] y supongamos que se han tomado puntos
de subdivisión tales que a< x < < xa-1 < b. Demostrar que
Ha+0) —
f(a) +
2 [fax+0) = flen=0)] + F(0) —
$000) <= £(b)—
fía)
EA
Escojamos puntos co, ---,Ca-1> tales que
E
Tomemos puntos ca, ++, Ca-+ tales que
fa+0)= Ha) 5 fed) —
a)
Fa 40) fle,—0) E flo) —
fe)
Fra k0)— fla20) = fo) —
fte
Mena +0) —
6.2. Demostrar el teorema 6-4: Si f(x) es monótona creciente en [a, b], entonces puede
haber a lo más un número finito de discontinuidades con salto mayor que cierto
«> 0 dado.
Supongamos que el número de discontinuidades con salto mayor que « es p. Entonces por el proble
ma 6.1 tenemos
pe S F(8) —
a)
a partir de lo cual vemos que p debe ser finito
Para el en que f(x) sen monótona decreciente, véase el problema 6.97.
a-= Dn
Pero como cada uno de los conjuntos A, puedo tener a lo más un número finito de discontinuidades
por
el problema 6,2, se sigue que Á puede tener a lo más un conjunto enumerable de discontinuidados.
Para la demostración del caso en que /(%) es monótona deere nte véase problema 6,34,
3
Ideal = 3 (0 ta = 10) fia)
CAP. 6) DERIVACIÓN E INTEGRACION 103
son acotadas para todas las particiones posibles de [a, b] dp modo que f(x) es de variación acota
da en a,b]
obtiene
3 Veo=itaol =
resultado pedido como en la parte (a)
3 ltd) = 1) 100
E
y se el
6.5, Dar un ejemplo para mostrar que una función continua no es necesariamente de va-
riación acotada.
sen (1/2), 0< 25 2/e
Consideramos (2) = E
ato,
y tomemos para partición de 10, 2/e]
2/2] los para pa
[0,
1
as
puntos
(+
*
tl
que podemos denotar, respectivamente, xo, Xi, -::5
2gnyyo Entonces
3 =2l424 2
idol+)
irte)
6.6. Demostrar el teorema 6-7: Si f(x) es de variación acotada en [a, 6], entonces es aco-
tada en [a,b]
Tomamos como puntos de subdivisión de [a, BJ los puntos a, x, 0 donde a S x S b. Entonces co.
mo f(x) es de variación acotada, existe una constanto M tal que
0-01 + 110—f] = M
(Al
así que
OKA Ss M
Entonces.
ol = 10-10 +10] = + fa] = M+10)1
es decir, f(x) es acotada,
6.7. Demostrar que la suma de dos funciones de variación acotada es también de varia-
IS
ción acotada.
Sean f(x) y g(x) las funciones y h(x) — f(x) + g(x). Entonces como f(x) y g(x) son de variación aco-
tada, existen constantes Mi y Ma tales que para todas las particiones posibles
zz lí) Hp
ER
— 5 My
Entonces como
tenemos
[tad Mara 5 1/9
—
01 + [000 —
oleo
6.8. Demostrar que el producto de dos funciones de variación acotada es también de va-
riación acotada.
Tenemos
1/20 02) —
Fr) oral [fa 02) —
Me 02) + Fr ol) Aia glo —
[ota0llf29 —
Fa ler 0l + lo(e) — 0te—a)l
el problema 6.5.
ale Entonces sumando desde
h — 1 hasta n tenemos
3, Um ate) —
Fey oleo 231600 Sol +
0 3, lote) —
otero!
” PM, + QM,
pues /(x) y glx) son de variación acotado. Así que f(x) g(x) es de variación acotada.
6.9. Sea f(t) = G(x)H(x) donde G(x) y H(x) son acotadas y monótonas crecientes en
E
—
Hoy— Glez) + —
He)
UR
Slax) —
Gra) + He) —
6.10. Demostrar que si f(x) os de variación acotada en [a, b], entonces f(x) puede escri-
birse como diferencia de dos funciones monótonas crecientes G(x) y H(x), o sea que
Fx) = Gl) — Ho
Sen Y = 3 UMe0— Gol w
y denotemos las diferencias f(za) — ftrw-1) brevemente por 3/. Podemos descomponer la suma (1)
en términos en que 3f
> 0 y otros en que Af< Entonces (1) O.
se escribe
Y =
año a+ Re
3191
=
A Boa A af
y así tenemos V=
PIN o)
donde
De eN af, N
=,3,9 15]
PND Dl fl
Ahora, s
a = 10) — fla) ul
22H I
partir de 2)
Na)
A
y (4) hallamos
V= Y = lo)
CAP. 6] DERIVACIÓN E INTEGRACION 105
2
Denotamos con U,PE,NI> los extremos superiores de Y, P, N en lo, 8] respectivamente
Entonces por (5) tenemos
1) = 10) + PING
Como PF y MZ son funciones monótonas crecientes de x podemos escribir
Llamamos Uf la variación total de f(x) en (a, xl; PÉ es la variación positiva de f(x) en [a, x]
y ¿la variación negativa de f(x) en [a, B)
=
donde la suma se toma sobre todos los pares de números racionales 7, 5.
El resultado pedido se demostrará sí podemos mostrar que para cada par de números racionales 7,
s se tiene m.(En) = 0.
m0)
Sea
—
m.(E,) =x.
«0 sen que m(0) <
Entonces dado
«+ e
« > 0 existe un conjunto abierto O) E, tal que m.(E,) >
Ahora, como D4f(x) < r, se sigue que en correspondencia con cada punto E,, existe un intervalo
[z, x + h] en O cuya longitud es arbitrariamente pequeña tal que
Por el
ADA o
mAE-—=4) < e 0)
Sumando sobre estos intervalos hallamos
Denotemos con C el conjunto de todos los puntos comunes a E,, y Bo sea C= En MB. Hay
un conjunto de intervalos [y, y + 1] contenidos en B cuyas longitudes son arbitrariamente peque.
ñas. En vista de que D* fla) > 5, tenemos para este conjunto de intervalos
JUDO +
> o
fu+DA > al (0
Ahora, como este conjunto de intervalos es recubrimiento de Vitali de C, podemos tomar un conjunto de
intervalos disjuntos da = [Y Yo + la), p = L.--,q, para los cuales se cumpla (4), ic
y tales que si 6
mlO—=G) < e (6)
tl
y
2 mt 10) E
3 Vat 16 10)
Entonces a partir de
RNE
(2) y (8),
3h , ro 0)
máG) +omlC—
6) + e
Het
Resolviendo la desigualdad con respecto a x, hallamos
o < (+ 2ade
Como « puede hacerse arbitrariamento pequeño, se sigue que « = m.(E,) — O
como se pedía.
Sea f(x) una función monótona creciente en [a, b]. Demostrar que S =
[x:D+f(x) = «> | medida mula.
Supongamos lo contrario, o sea m,(S) = A > 0, Entonces si K es cualquier número positivo, po.
demos hallar para cada x E S un conjunto de intervalos [x, x + A] tales que
Por el tenrema de recubrimiento de Vitali existe un conj disjunto de intervalos Í, = [xa, Xx + hal.
bd ER da
misa) 5 w
CAP. 6] DERIVACIÓN E TITEGRACION 107
Faith) —
fe)
A O
Entonces sumando desde k — 1 hasta n tenemos
mad) < e
Como+
mS) = máS—4)
+ mA) < %e
puede
hacerse arbitrariamente pequeño, tenemos m+(S) =00 m5) =0,
6.13, Demostrar que una función monótona creciente tiene derivada casi en todas
partes.
En el problema 6.11 se demostró que la medida del conjunto [x: Dg/(r) < D*f(2)] es nula. De la
misma manera podemos mostrar [véanse los problemas 6.55, 6.56 y 6.57] que las medidas de otros con
Df)
juntos tales como
les Def) =D* fla), (0: D-f(2) <D= f(2), le: <D* Na, le: De fte) <D- 10)
y así sucesivamento, son también nulas.
Se deduce de estos resultados que
Dif = Df = Dif = Df
casi en todas partes, de modo que la derivada existe [esto es, fini ] casi en todas partes.
6.14, Demostrar que una función monótona decreciente tiene derivada casi en todas
partes.
Si f(x) es monótona creciente, entonces — /(£) es monótona decreciente. Y como D/(x) existe casi en
todas partes, también D[ —f(2)] = —Df(z) existe casi en todas partes.
6.15, Demostrar que una función de variación acotada tiene derivada ca: 2n todas partes.
Esto se sigue inmediatamente del hecho que una función de variación acotada se puede escribir
co-
mo diferencia entre dos funciones monótonas crecientes las cuales por el problema 6.13 tienen derivadas
casi en todas partes.
CONTINUIDAD ABSOLUTA
6.16. Demostrar el teorema 6-15: Una función absolutamente continua es continua.
Si f(x) absolutamente continua, entonces dado
es
«
> 0 podemos hallar 3 > 0 tal que
Tomando n=
Vet) Mo]
como caso especial tenemos.
< 0 siempre que Mal <a
|
L
6.17. Si f(x) y g(x) son absolutamente continuas, demostrar que f(x) + g(x) es absoluta»
mente continua.
Como
fla) y g(z) son absolutamente continuas, dado e > 0 existo ¿> 0 tal que
ES 0
3 Lift da) + + ha) — [160 + ati!
a loto + Rp —
al
lo que demuestra el resultado podido,
6.18. Demostrar el teorema 6-17: Una función absolutamente continua es de varia ¡ón aco-
tada.
Si f(x) es absolutamente continua, entonces dado +
> 0 existe 3 > 0 tal que
Pero esto implica que la variación total sobre cualquier intervalo de longitud 6 no es
mayor que
Ele]
Así
< 8
«-
que la variación total sobre el intervalo [a, 5], que es de longitud b — a, no supera a (6 — a)e/%. Se
deduco que la variación total de f(x) en [a, B] es acotada, o sea
que /(x) es de variación acotada.
6.19. Demostrar el teorema 6-18: Una función absolutamente continua tiene una derivada
casi en todas partes.
Esto se sigue inmediatamente del teorema 6-17 y del teorema 6-17
6.20. Demostrar que hay funciones continuas que no son absolutamente continuas.
Si una función continua fuera absolutamente
continua, entonces por el teorema 6-19 tendría der
vada en casi todas partes. Sin embargo, existen funciones continuas
que no tienen derivada en ningún
punto, Véase por ejemplo el problema 6.56,
Verdades que aun las funciones continuas que son de variación acotada no necesitan
ser absoluta.
mente continuas.
1
casi en todas partes en [a, b), entonces f(x) es una constante en [a, b).
Denotemos por E
mente pequeño [x,x
el conjunto en el cual FG)
+ 4] para el cual
— 0. Para cada xE E existe un intervalo acbítraria-
[fem 1 de <A m
CAP, 6)
DERIVACIÓN E INTEGRACION 109
<A
m, que recubre a E, y por tanto a [a, b] salvo un
1,0.
M0
Entonces LY Ha) = Mane —
athA
Hen tha) 4
SS e <mti Sm. =b
Hat) — Hr)
d+ Hahn) —
Fa) + 162) — S00)
3 Vo 140) + 3
UA) 00 =
3 Mtr+o — 16001
¿hs do
Así que (2) se trasforma en
(10101 3 dba) + e
y como « y «s pueden hacerse arbitrariamente pequeños tenemos /(9)
= fía). De modo análogo pode-
mos mostrar que para cualquier x, f(x) — f(a), es decir, f(x) es constante en la, b]
Pro" =
5 ge fas
a
pmroro—rj = qa Só nos
de modo que
Im F+x = F()
y Fle) es continua.
Solividimos a [a 5
reseca
con ls puntos de subdivisión a =
= [S7 rua] 5
29
<<
f% protón
6 Bienes
10 DERIVACION E INTEGRACION (CAP. 6
3 Irr9=ra 3
1/60] du SF 1/08), dee
Pero como f(x) es integrable, es absolutamente integrable, esto es, la última integral es finita de modo
que Fx) es de variación acotada,
Para otra demostración, véase el problema 6.1,
para todo x en a,
sw =0
b], entonces g(x) = 0 casi en todas partes en [a, b].
Supongamos que g(x) »% 0 casi en todas partes en la, B]. Entonces debemos tener o gík) > 0
o glx) < 0 sobre algún conjunto de medida mayor que cero,
Consideremos primero el caso en que gx) > 0 sobre algún conjunto de medida nula. A partir de que
vemos que la integral de gíz) sobre cualquier intervalo abierto es mula. Cualquier conjunto abierto E se
puede expresar como unión mumerable de intervalos abiertos disjuntos Li, Ez, Como
...
S. vada = 0
in
Así que si suponemos ¿(x) > 0 sobre E, llegamos
Soi >
ES
a
oa 0
De modo análogo, si g(«) < 0 llegamos a una contradicción. Así que 4(x) = O
casi en todas partes.
6.25. Demostrar el teorema 6-23: Si g(x) es continua y monótona creciente en [a, b], en-
tonces g'(x) es integrable y
Soma 90) —
ala)
9í6) — gta)
de modo que se obtiene el resultado pedido.
1
CAP. 6] DERIVACIÓN E INT. GRACION.
la
Haciendo h—
[lx
O
hallamos, ya que el primer miembro se acerca a F'(x) casi en todas partes, que
Sra
*
le Flu+h) —
Ft)
0)
Ahora
SERRA >
urna Ef rones
Ef
=
1 río 5S du 200 ds
AS rod h
Ñ
Fu) du +
EST sio 1S 7 da
457 na ¿/
os
Asíque lim
20d,
f PUED q FO
rw," pp rus
O
Flo) — Fla)
Entonces, por (1) tenemos
Srwe =
ro" = f' 104
Entonces por el teorema 5-13, tenemos P!(x) = /(x) casi en todas partes.
6.27. Demostrar teorema 6-24, para el caso en que f(x) es integrable pero no acotada.
el
suficiente probar el resultado para f(x) 3 0 ya que entonces es cierto
En
[H(x) y /(1) y puede
extenderse al caso en que f(x) tiene signo arbitrario como en el capítulo 5 para
valiéndose de
Pl Fl). que (4) =
Tenemos. Val, = (
F(%), para f(2) =p
A
Entonces como [f(x)], < f(x) de modo que f(x) —-[f(x)],
2 0,
tenemos
Su — [fu)]p) du = 0
Así que
ES 00 = o
, ES
14 = ES topa
o sen que
EF = Flo E fala casi on todas partes
DERIVACION E INTEGRACIÓN [CAP. 6
"Tomando el límite cuando p= «», vemos que P'(«] 3 f(x) casi en todas partes de modo que integrando
tenemos
F(0) — Fla) =
:oceen
Siro -reja = 0
S rio-rojé = 0
para todo x en (a, b]. Entonces, como el integrando no es negativo, se sigue del teorema 5-13 que
Pf) = f(x) casi on todas partes.
E = f nda
Spy] [a
Tenemos
Sumando desde k — 1
hasta,
3 ted) Pte! = $ iros
E
donde E es la unión de los intervalos Es ="[xa, xa + hal, A =>
1,2, .., n. Entonces, por el teorema
5-15, tenemos para cualquier « > 0, dado,
Sirera!
esto es, Píz) es absolutamente continua.
Se ima o)
6.29. Demostrar que una función F(x) es una integral si es absolutamente continua.
Como Fí=) es absolutamente continua, es continua y de variación acotada por los problemas 6.18 y
618, Así que existen funciones monótonas crecientes G(x) y tales que (2)
=
Cía)
0)
F(«) — Hía)
[véase el problema 651] y tenemos casi en todas partos
Fa) = — Me)
Ahora, por el problema
6:25, ((x) y H'(2) son integrables de modo que F"(x) es integrable, es decir que
Siria .0
existe, Pero la integral (1) es absolutamente continua [pmblema 6.28] y entonces
CAP. 8]
DERIVACIÓN E INTEGRACION 13
rw"
. na
=
constante, y por
Po - Ft
(2) se sigue que e
o
Pies =om=re
de modo que si x= S "o da S ra) de = F(b) — Fla)
Srs =
EFOG) =
Pat) + FG = (05 +
Fo
existe casi en todas partes y, por el problema 6.30,
Así quo
frase ral: =
14 DERIVACION E INTEGRACION (CAP. 6
Problemas propuestos
Demostrar un resultado análogo al del problema 6.1 si f(x) es monótona decreciente en (a, El
Demostrar el teorema 6-4, para el caso en que f(z) es monótona decreciente en (0, B]
Si f(x) y £(x) son fanciones monótonas crecientes an (a, 5], determinar cuales de las siguientes funcio-
nes son también monótonas crecientes en [o, bl: (0) f6) + gl), (6) F() — gto, (e) flo)
(1d
(0/4, 070.
gl
6.36. Hacer el problema 6:35 si: (a) /(x) y g(x) son monótonas decrecientes, (0) f(x) es monótona creciente pero
g(z) es monótona decreciente,
6.37. Demostrar que la diferencia de dos funciones de variación acotada es también de variación acotada.
6.38. Demostrar que el cociente de dos funciones de variación acotada es también de variación acotada excep-
tuando la división por cers
6.39. Hacer el problema 6.9 si G(x) y H(0 son acotadas y monótonas decrecientes en [a, 3]
8.40. ¿Son válidos los resultados de los problemas 6.9 y 6.39 si no se dico la palabra “acotado”? Explicar
542. Si fx) y g(x) son de variación acotada, demostrar que (a) f(x) — gx) y (0) /60/g(0, 8(0) > 0 son
también de variación acotada. (Indicación: Para (9) mostrar primero que L/g(2), g(x) »£ 0 es de va-
riación acotada]
6.43, Demostrar que f(x) — xt — 3e42x% — 5x— 6 es de variación acotada en: (a) el intervalo (1,2), (6) el
intervalo [—3, 3], (c) cualquier intervalo finito.
6.48. Sea flx) definida en [a, 3] que cumple la condición |/t=i) — (Gp)] < Klxi — xa] donde K es
una constante. Demostrar que f(x) es de variación acotada en (a, b]
6.49. Demostrar el teorema 6-11. (Indicación: Emplear el teorema dol valor medio)
650. SI fla) es de variación acotada y continua en x — xo, demostrar que la variación total 3 es también
continua en xa
651. Demostrar que una función es continua y de variación acotada ai y sólo si puedo expresarse como la dife-
encia de dos funciones continuas monótonas crecientes (o monótonas decrecientes)
852. Demostrar que U2="US+U? donde e es un punto de (a, D]
CAP. 6] DERIVACIÓN E INTEGRACION 115
8:56. Sea /(x) una función monótona creciente en [a, 8]. Demostrar
que (a) [x:D*f(x)= D*f(o)|, (6) [x:D-F(2)=
D- fla) y (0) [x:D+F(x) = D, [(2)] tienen todos medida nula.
6.57. Demostrar que [x:D. f(x) =—«] tiene medida mula sí f(x) es monótona creciente en [a, 8)
6.58. . ¿Son los resultados de los problemas 6.5 6.50 y 6.57 ciertos si f(x) es: (a) monótona decreciente? (6) estric
tamente creciente? Explicar.
8:59. Demostrar el teorema 6-14. (Indicación: Demostrar primero el teorema para funciones monótonas crecien:
tes]
CONTINUIDAD ABSOLUTA
6:50. Demostrar que: (a) /(+) = x2 es absolutamente continua en [0, 1] y (9) cualquier polinomio es absolu-
tamente continuo en cualquier intervalo finito,
S:Bl._ Si /(x) y g(2) son absolutamente continuas en [a, b], demostrar que: (a) [61) — £(2), (6) (a) £(2) y (0)
1Gl/a(a), ge) O
son absolutamente continues en [a, 5].
8.62, Si /(x) y g(z) son absolutamente continuas en [a, B] y si f(4) = 4'(x) casi en todas partes en [a, b], de-
mostrar que si f(2) y g(x) son iguales en un punto de [a, b] entonces son idénticamente iguales,
6:63. Si f(x) es absolutamente continua en [a, b], demostrar que |/(+)]%, p > 0 es absolutamente continua
en [a, 5).
6.64, Si f(2) tiene derivada: (a) en todas partes, (b) casi en todas partes en (a, b], ¿es absolutamente con
tinua? Justificar las afirmaciones. Comparar con el teorema 6-18,
Let
» términos y demostrar que
a
1
(Ad
ano
donde 14, < 18,] > jor
(e) Usar el resultado de (b) para mostrar que si ab > + 3x=/2 entonces f'(x) no existe, demostrando
1
sí que f(z) es continua en todas partes pero no tiene derivada en ningún punto,
Uindicación: Para demostrar la desigualdad para A, en (5), utilizar el teorema del valor medio con
cos [bte(z + h)] — cos [D'rx], Para demostrar la desigualdad para B,, tomamos primero 5*x = pa + %a
donde pa es un entero y —1/2 3 q, < 1/2 y demostrar que si h = (1 — qa)/b" entonces 20/83 S 1/h 5 26"
Luego demostrar que para k Zn,
y estimar B, por
cos [Bre(r+1)] =
el
(1)Pé, cos [bra] =
primer término de su serie correspondiente.)
(19P*! 008 [De=5g0]
DERIVACION E INTEGRACION [CAP. 6
S 10d =
froa = 10-10
A
Explioar.
Pi
672 ¿Existe un resultado correspondiente al del teorema 6-23 para funciones monótonas decrecientes? Explicar.
673. Se ja = (2
sen(U/0), 0<2 3
E VR
10, VZ/2] pero (5) f(x) no es integrable en (0, VZ7x]. Estudiar la relación con el teorema 6-2,
indicación: Para la parte (6) valerse de que f'(x) es integrablo según Lebesgue sí y sólo si |/'(2)] es inte-
grable según Lebesgue.]
8:74. Si PG)=f' £u0 du donde ft) es imegrable sobre a, 5), demostrar que la variación total de (2)
en ta,ójes $ lo] du
625. Demostrar el teorema 6-29 sobre cambio de variables. (Indicación: Utilizar el problema 6.61(5).]
S raso = 10m; $
ami
677. Supóngase que f'(x) existe en todas partes en [0, B] y supóngase que = g(x) casi en todas partes en
(a, b]. Demostrar que f(x) = g(x) en sodas partes en (a, b] y gíx) es continua casi en todas partes
7)
en (0, b).
6:78. Sea f(x) integrable en (a, B] y g(1) 3 0 monótona creciente en (a, 5]. Demostrar que existe un nú-
00-0
mero on (a, b] tal que
Srmsris = $ sora
Este se suele llamar segundo teorema del valor medio. En el problema 6.80 se da una generalización.
S
rosa = aro f sordo
8.80. Si en el problema 6.79 g(x) > 0 es una función monótona, demostrar que
ESPACIOS L”
El espacio de todas las funciones f(x) para las cuales |/(x)|”,p 2 1, es integrable según
Lebesgue sobre [a, b], o sea,
N orde < e
se denota L”[a,b), o brevemente L” si no se pide el intervalo particular, En tal caso
decimos que f(x) pertenece a L”, flx) E 1”. Si p = 1 denotamos L* por L.
Aunque se utiliza el intervalo [a,b] en este capítulo, todos los resultados obtenidos
se pueden formular con cualquier conjunto medible E en lugar de (0, b).
ESPACIO DE HILBERT
El espacio L? consistente de todas las funciones f(x) para las cuales
Steps <=
se llama espacio de Hilbert, Las funciones que pertenecen al espacio de Hilbert se llaman
usualmente de cuadrado integrable.
DESIGUALDADES IMPORTANTES
1. Desigualdad de Schwarz
2. Desigualdad de Holder
17
118 CONVERGENCIA EN MEDIA [CAP. 7
3.
Desigualdad de Minkowski
donde pz
Soo + atoyras
1.
1
£ virpas)” ñ [Lutarad”
La igualdad se cumple si f(x)/g(x) es constante casi en todas partes.
Existen desigualdades análogas en las que en lugar de integrales intervienen sumas de
números reales (véanse problemas 7.26, 7.32 y 7.45]
ia [fiar
norma en L”, como
Dn = =
entonces podemos mostrar que L” es un espacio métrico [véase el problema 7.12]. Por
ejemplo la desigualdad triangular con los elementos f(x), g(x) y h(x) en Le se puedo es-
le la
eribir
+ [mol]
y es una consecuencia de la desigualdad de Minkowski.
Las funciones se llaman puntos del espacio. Como dos funciones
que son iguales casi
en todas partes tienen la distancia entre ellas igual a cero, supondremos
que representan
el mismo punto del espacio.
CONVERGENCIA EN MEDIA
Sea (fa(x)) una sucesión de funciones que pertenecen a L>(a, 6). Si existe
una función
10) E L* tal que
De modo equivalente podemos decir que f, (x) se acerca a f(x) en media si para todo «> 0
existe un número no > 0 tal que
Ilfs(e) —F2)]] < e siempre que n > m
eorema 7-6. Si Lím. f,(x) existe, entonces es único [véase el problema 7.13].
Snte)
.
lim —
futeda = 0 (5)
fl
»
Obsérvese la analogía con las sue mes de Cauchy de números reales. Tenemos el si-
guiente teorema
Teorema 7-7. Si (fu(=)) converge en media a f(x) en L”, entonces (fa(2)) es una suce-
sión de Cauchy
CONVERGENCIA EN MEDIDA
Sea (fa(x)) una sucesión de funciones medibles definidas casi en todas partes. Enton-
ces se dice que (f.(2)) converge en medida hacia f(x) si
Teorema 7-12. (f(x) converge en media a f(x) sobre un conjunto E, entonces exis-
Si
te una subsucesión (f»,(z)) que converge casi en todas partes a f(x)
Es interesante ver que si (fa(1)) converge a f(x) en todas partes, no necesariamente
converge en media a /(x), Recíprocamente, si (fa(2)) converge en media a (2), no necesa.
riamente converge casi en todas partes a f(x). Véase problema 7.16.
Problemas resueltos
ESPACIOS L”
7.1. Demostrar que f(x) = 1/VZ (a) pertenece a L[O, 8] pero, (b) no a L3[0, 8].
(a) El hecho de que fix) pertenezca a L[0, se deduce del
ef
8], problema 5.4.
lp para Ye=p lp
fWVz
o «E
_
Pp para l/x>p o 2<1/p
Entonces
SE = ñn
fntoyde
=-
=
[fra
[od
sn
5,2)
+ malo,
A
a la) late!
HU + le(2)2)
esto es,
aa s 40 + ela wm
PA Lnonejas 2
¿Lera nera o
integral del primer
Obsérvese que
miembro de
el resultado
(3) existe, o ses que
flat EL.
es un caso especial del teorema 7-2, cuando p
CAP. 11 CONVERGENCIA EN MEDIA 121
DESIGUALDADES
7.4. Demostrar la desigualdad de Schwarz
era)” ( S “lotaraa]
E
[Sono 9(2) de 4
S.
donde f(x) E L*, g(x) € L?
Para todos los números reales A
tenemos, ya que f(x) E L2, g() EL% y
fe EL,
o sea,
DIA
amd
AM+IB1+O ZO
+ = 0
5)
4= Sripas froaa
»
flotas
»
donde 2 = 0 = o)
mos
Además como A > 0, (1) puedo escribirse
BL
Pero esta última desigualdad puedo ser cierta para todos los
que Bl 5 AC. Así que con (2) hallamos
2y
(+2)
A
+ AC—B2
Eo
reales si y sólo si AC— BY 30, o sea
[Sra
de lo cual obtenemos, como se pedía
= lS
.
nn) S“taitaa)
ras)AS
» ua
V
y
lg 100 otorao| s Ú. lotana)
Esto se deduce
Sven s (Svearal"f inora)” 1
inmediatamente del problema7.4 remplazando /(z) por |f(2)| y g(2) por |g6]
7.6. (a) Si u y v son números reales no negativos, su media aritmética se define por
J(u +.)
y su media geométrica por Vuv. Demostrar que la media geométrica
es menor o igual que la media aritmética.
(b) Si consideramos n, números no negativos todos iguales a u y na números no
negativos todos iguales a v, mostrar que la media geométrica será menor o igual
e
que la media aritmética si y sólo si
pu
En
papa SSPAam
(c) Demostrar que la desigualdad de (b) es equivalente a
uo S a+ po
donde a, £ son tales que a + 8 = 1
122 CONVERGENCIA EN MEDIA [CAP. 7
VS Hut o
uto-N30
esto es, (Mi-v5p =0
Pero como este último enunciado es claramente cierto, podemos ir a la inversa para obtener la des-
igualdad pedida.
(eta
-..,
Vaz, = ón
y la media aritmética se define por
motos +e,
mu +
PER
outross AE
(nou
aA
(e) La desigualdad de (9) se puedo escribir
Entonces tomande =
po ta
EN
mtm ls mem »
“. ma
pedí pedía,
4008 Su po
La validoz de la desigualdad de (6) que muestra que la media geométrica es realmente menor o igual a
la media aritmética, se ve on ol problema 7,7.
77, Demostrar que para números reales no negativos cualesquiera u, v y números positivos
a, 8 tales quea + 8=1,
un? S + o
demostrando así la verdad de la desigualdad del problema 7.6(5).
Si u 0 la desigualdad es trivial de modo que podemos suponer y > Entonces haciendo
— 0.
y = uz y
a+ 8 = 1, se puede escribir la desigualdad pedida
14pr ap 0
Denotando F(x) la desigualdad de la izquierda, se sigue que la derivada es F'(x) — 90 — 200)
0)
Por otra parte Fx) = 0 para Asíque como P'(z) < O para0 <
0<x<1,
1.
x < 1, se sigue que F(+) 2 O
para
0 sea que la desigualdad (1) es cierta para 0<x < 1,
De modo análogo como F'(x) > 0 para x > 1, se sigue que F(x) >0 para 2 > 1, esto es, que la
desigualdad (1) es cierta para x > 1, También es válida la igualdad
para 1
x=
Asi que (1) es cierta para x > 0 y queda demostrada la desigualdad pedida,
CAP. 1] CONVERGENCIA EN MEDIA 123
e
donde
0 = $ intoeas w
Query”
F
Así que integrando de a a b y con la definici
fun” E
(1) de
< lar
+
F y G, tenemos por
late a
SE
(2)
Ve Fora
(up ds iria
>
da)
Como F y G son independientes de x, podemos multiplicar ambos lados de (3) por FU/>G1/a para obtener
So menisrde =
[Luana [Sierra]
La desigualdad pedida se deduce observando que
S
[Cir
+ (Sonraa)”
Entonces dividiendo ambos miembros por
U
.
Ir+opas) 01 [mue se supone diferente de cero ya
que de otra manera la desigualdad sería trivial] se obtiene el resultado pedido.
7
f(x)E Lo
Si 1/01 5 1e(x)], entonces 12 (2) |?. Asíque
Somaras =
fieras
de modo que el segundo miembro existe, o ses que si g(x) E L”, entonces el
primer miembro también
existe, esto es, f(x) E 1”.
124 CONVERGENCIA EN MEDIA [CAP. 7
7.11, Demostrar el teorema 7-3: Si f(x) E L* y g(x) E L”, entonces f(x) g(x) E L””,
Como f(x) E LP y gta) E Lo, tenemos
?
. un
DIM = U Ino etarra)
Para demostrar que L” es un espacio métrico, se deben cumplir los requisitos 1 a 4 de la página 6:
1 DY) =,0
2 DUO) ="Dtg,7)
3. =0siysóosif=8
DU,
DUO)
4 DUO) S + DA)
Los requisitos 1 y 2 se satisfacen obviamente a partir de
la definición de D(f4). El
requisito3 se satisface
si consideramos la distancia entre f y g como cero, o sea, si y sólo si las funciones tienen los
mismos
valores casi en todas partes y en lo sucesivo emplearemos esta interpretación
Finalmente el requisito 4 se deduco como consecuencia de la desigualdad de Minkowst
existe, es único.
Si (a (2)) converge en media a /(2), entonces
lim
te $
De modo similar si (f,(x)) converge en media a g(x), entonces
tarde =0 wm
doors =
o
ON
Pero por la desigualdad de Minkowski
S o atras] =
Mora”
Í S, + Í
GEARS FU LIE teenos
S o-oapde = 0
7.14. Demostrar el teorema 7-7: Si una sucesión (f(x), converge en media a f(x) en el
espacio L*, entonces es una sucesión de Cauchy.
Por la desigualdad de Minkowski tenemos
ÚS Iuris)” s [Svacre a”
+
Y rata”
o ses
dm fo
irtpas = $, aras
o de manera equivalente, lím ]|£]] 114
Mé] =
1D +41= Men 11 IA
o sea que tomando el límite cuando n= «>,
lll
ln
ao A 10)
TA
o sea que tomando el límite cuando n— «,
0)
Entonces a partir de (1) y (2) tenemos
y llénli = 114
El resultado se interpreta vsualmento diciendo que la norma del espacio métrico 1? es continua,
7.16. Sea
0,
0<x<Un
Un<z<1
Demostrar que el espacio L?: (a) lím fu(x) = 0 mientras que (b) Lim. fal) 0, y
m..
(a) Ses xo cualquier punto del intervalo < x < 1 Como 1/n < xa < paran > 1/20 = no, tenemos
O
ic ds,
lfiaftde = 0
126 CONVERGENCIA EN MEDIA [CAP. 7
Sin embargo,
Intel?de formar y Ud = on
(e) El resultado muestra que una sucesión (/,(2)) puede converger a f(x) en todos los
puntos de un inter-
velo sin converger en media a f(x) sobre el intervalo. El ejemplo se puedo extender al
caso L” donde
p> 1 [véase problema 7.51]
Reciprocamente podemos demostrar que una sucesión (/n(z)) puede converger en media a J(x)
Sobre un intervalo sin converger a fis) en el sentido usual (convergencia
puntual) [véase pro
blema 7.54)
sn rato S =Atolrds = 0
igue que para cada número natural » existe un número natural m, mínimo tal que
Simio-=ripd <
hop mino non,
Podemos tomar, en particular, =%,4,, de modo que
m n = 1,
pe
(m1
1
SW,
toprás < E
Definamos (= Unai) —
(1 > )
Entonces
Sl
Emo ho Y
1
< mer <
Consideremos ahora
33
EnUBao0 gls
MagacÍagl>
,
Mayo > qbo +) y)
lol E la Il
É
lr!
Barcos E
A
ere Gaua
converge,
a
Pero la medida del conjento () es menor o igual que
Coro la serie (5) converge cai en todas parts, también o hace laser
3 mt)
lo
E
AN)
)
se sigue que la
A
existe, Denotando este límite por f(x) vemos que
Debemos demostrar ahora que (/,(2)) converge, en efecto, en media a /(+). Primero
demostramos
que fr,(x) converge en media a f(x). Para esto observamos que por el teorema de Fatou,
Pero como (fn(z)) es una sucesión de Cauchy, vemos que para todo
«>
AS 0
0)
Sorted < 0
pun
>>
Asíque a partir de (5),
Slnto=repár se pa k>K
lo que muestra que /,,(x) converge en media a /() o, de manera equivalente,
host
lato 1 s o
In a
» »
un
Ú
»
Ús Lao plop de + ÍS
de modo que
Mm Sato feeds = 0
CONVERGENCIA EN MEDIDA
7.18, Demostrar el teorema 7-10: Si (fl(z)) converge en media a f(x), entonces converge
en medida a f(x).
Seas > Oy Es = 1] 2 0). Entonces
[x:lf
S tr
Como el miembro de la izquierda tiende a cero cuando
—iteras = me)
7.19. Demostrar el teorema 7-11: Si (f»(z)) converge en medida a fix) sobre un conjunto E,
entonces existe una subsucesión fw(2) fala)...
A
m<m<-==», o sea fa(a),
que converge casi en todas partes a f(x)
ina
lm 04=0
Consideremos sucesión de múmeros positivos as > ez > so > += tales que y sen
ate+ una serie convergente en la cual cada término es positivo.
-
lo)
De modo análogo ses ny > m un número natural tal que
des < 0
y em general 1 m tales que
lio)
> mor > 0=0>
mía: < 0
Este procedimiento
define
Ahora demostramos que
la sucesión (ny)
Para eso supongamos que
lím f,,(x) = /(x).
P)= Prim-iza 0=
7
Entonces como P,DPyDP4D+=0, se sigue del teorema 25, que
MO) = Jim mp) 0)
Puesto que m(P) 35
3 mz 50 deduce que Jim mi) = 0 y
entonces por (1)
m0) =0
Si podemos mostrar
que Mm ful) = $6)
para todo x E E-— Q, se obtiene el resultado pedido. Para ello supongamos que E E — Q. Enton-
ces existe algún múmero natural jo tal que xo E Pay, de modo que a partir de la definición de P,
xo
ln fala) = fla)
es deci, que para todo E EQ lim/mlo) = 10)
CAP. 7 CONVERGENCIA EN MEDIA 129
Problemas propuestos
ESPACIOS 1?
7.20. Demostrar que la función f(«) del problema 7.1: (a) pertenece a Lr[0, 8] sí 1 < p < 3 pero, (b) no perte-
“mece a Le(0, 8] sip 2 3. (c) ¿Para qué valores de p pertenece /(x) = 1/Vx a L*[0, 1]?
7.21. Demostrar que si f(x) E 1”, p 2 1, entonces e f(x) E L para cualquier constante e.
7.22, Si fl) E LA
y g(a) E LA, demostrar que: (0) (/(2) + ¿(01 E 23, (9) [/(e) — s(m)] E Lz.
A)
7:23. Si filo, fala), falx) pertenecen todos a L% y Ci, son constantes cualesquiera, de:
mostrar
...,
C5, :..,
64
que cif (2) + cafa (d+ a+ «+ enfala)E LA
7.27. Obtener la desigualdad de Schwarz para integrales usando el problema 7.26 y la definición de una integral
como límite de una suma. E
7.51. Demostrar que se cumple la igualdad en la desigualdad de Minkowski si y sólo si /(1)/£(x) es constante
entodas
partes
day + by) Han Hao ajlr+ <> + lapfo)io + (Jojlr +++ [o joyu
donde la igualdad se cumple si y sólo si a,/b, es constante. Discutir la relación con la desigualdad de
Minkoweki.
7.33...
Demostrar
que ||f+ g1| Ss 11£11-+ 1181 einterpretar geométricamente.
Seg as =
omo [ Sapa]
Demostrar entonces que 1*CL para pz1, generalizando el resultado del problema 7.3 y de-
mostrando la primera parte del teorema 7-1
130 CONVERGENCIA EN MEDIA [CAP. 7
7.39.
7.40,
Demostrar que
7.46. Demostrar que la media geométrica de cualquier conjunto de números no negativos es menor o igual que
su media aritmética. ¿Existe un resultado correspondiente con integrales?
lao
7.48. Si
Limp) =Límoga() donde todas los funciones pertenecen a 12,
(6) y ¿es cierto que
(o) Lim. [fato) +ontol = Hdt ole (0) fold oate) = fadole) (0) Jim, Liam + ona =
IFC + g(a)]1? Explicar.
Obtener una generalización de Las ubservaciones del problema 7.16 para espacios L* con p > L.
De una sucesión (/,(=)) en L” se dice que converge débilmente a f(x) en L* si para cada función
wo(x) E L>, donde 1/9
+ 1/q = 1,
eS wlrterds =
Ste)d
Demostrar que si (/,(2)) converge en media a f(x) en L”, entonces también converge débilmente a /(o),
Dar un ejemplo para ilustrar que si (/A(2)) converge en media a f(x), no converge necesariamente casi
en rodas partes a fte)
2 ¿lim
+avz
x (a) ¿Es (fa()) una sucesión de Cauchy?
0) ifl0EL: para n= (0) (o E LI? (d) ¿Limifato)
E L*? Estudiar los
resultados en relación con el teorema de Riesz-Fischer.
CONVERGENCIA EN MEDIDA
7.57. Demostrar que si una sucesión de funciones (f,(z) converge en medida a dos funciones diferentes f(4) y
glx), ontonces flx) = g(x) casi en todas partes. ¿Puede decirse que la convergencia en medida es única?
Explicar.
7:58, Demostrar el teorema de Fatou (página 77] si la sucesión (f,(2)) converge en medida a [(.
7.59, . Supongamos que (/»(2)) converge en medidaa /(x) en el espacio de Hilbert. Demostrarque si |
[Ja] es uni-
formemente' acotada, entonces (f, (2)) converge débilmente a /(x) [véase el problema 7.50]
7.60. ¿Es cierto el resultado del problema 7.59 para espacios Le en general? Explicar.
(ascos
métrica ú
E + Y + da senna) 0)
se llama serie de Fourier correspondiente a f(x) si
Como f(x) es periódica de período 2x, cualquier otro intervalo de longitud 24 puede
usarse en lugar de ]—=x, *[ como, por ejemplo, ]0, 2r[ o en general Jc, c + 2r[ donde
e es cualquier constante. En tal caso los límites de integración —x y x de (2) se cambian
por cy e + 2r respectivamente.
Fácilmente se hace extensión al caso en que f(x) tiene período 21 donde > 0, [véase 1
el problema 8.36]
TEOREMA DE RIEMANN-LEBESGUE
Si f(x) es integrable en Ja, bl, entonces
lira [fp cosarda = 0, Um (a)senarda = 0 5)
suo = Seto + LX as (5
CAP, 8] APLICACIONES A SERIES DE FOURIER 133
Sula) — S(e)
Teorema 8-3. La serie de Fourier converge a S(x) si y sólo si para cierto número¿ dado
tal 0< 535,
2D
que
lím
Siro +fto—1) 250 y 0
Teorema 8-4. [Criterio de Dini]. La sorie de Fourier converge a S(x) si para cier:
to número ¿ fijado tal que 0 < 5< r, existe
por A
E + Í (aa cosnz + Dnsenna) 6)
Entonces si integramos la serie término a término de « a 8, la serie
”
resultante converge a S Faz.
Lo notable con respecto a este teorema es que la serie (8) no necesita ser convergente.
Para una generalización de este teorema véase problema 8.60.
134 APLICACION! SERIES DE FOURIER
S
A [CAP. 8
FUNCIONES ORTOGONALES
Dos funciones f(x) y fa(x) se dicen ortogonales en la, b| si
Strada =0 (9)
Srta
y las funciones se dicen ortogonales entre sí
de =
o
0 mén
simplemente ortogonales en ]a, b[
100)
FUNCIONES ORTONORMALES
Si el conjunto de funciones f(x), fa (1), es ortogonal en Ja, b|, entonces si f. (x) E L?
tendremos á
S [tapas = n= 12,
donde A, > 0 es finito. Entonces si tomamos ¿a(x) = f.(x)/VAz, tenemos
Steopde = 1
0)
Senlmeledo = 0
men 07)
bm
Ejemplo: Las tosco senme| se el problema 823
SERIES ORTONORMALES
Una serie eréla) + ela too = 100)
Sora
z
e = 04
CAP. APLICACIONES
8] A SERIES DE FOURIER 135
IDENTIDAD DE PARSEVAL
Sean Sa) = (15)
las sumas parciales de la serie (13) con coeficientes (14). Entonces por el problema 8.21,
soto
Es cierto además que
=
[sto =faras
lim [$S,(2) —
fte) =
=
0
Sora
- Da
Si veraz = Ya (6)
que se llama identidad de Parseval. Recíprocamente, si se cumple la identidad de Par-
seval, entonces S,(x) converge en media a f(x). Los resultados se
pueden resumir en
el teorema siguiente.
Teorema 8-7. — La serie de Fourier generalizada correspondiente a
f(x) converge en
media a f(x) si y sólo si se cumple la identidad de Parseval
DESIGUALDAD DE BESSEL
Sin tener en cuenta si lím ||S, — f[| es
cero o no, se cumple ciertamente que
as fora
Véase el problema 8.28. Esta desigualdad se llama desigualdad de Bessel. El
dad corresponde a la identidad de Parseval.
caso de igual-
un
S, Mo -E asunras
como error medio cuadrático de f(x) respecto de una suma de aproximación Da, 6, (x). El
siguiente teorema tiene interés.
us)
Teorema 8-8. El error medio cuadrático (18) es mínimo cuando las constantes ay
son los coeficientes de la serie de Fourier generalizada, o sea si
(20)
(21)
Problemas resueltos
DEFINICION DE SERIE DE FOURIER
8.1. Demostrar que si m y n son enteros positivos,
[0 meén
cosa cosnada
A
= 4 mon
[0, meán
sen ma ma sonas
sem da =
a mo.
=
(9)
S senmacosneda 0
CAP. 8] APLICACIONES A SERIES DE FOURIER 137
dle
(a) Sima m
>
|E
—
Sim=n, el
= $ cotmodo
= ES a+coszmajós
permpal
2n2me
1/, 4
>
(6) Simon, ;
senmesenne
de = [cos(m=nja— cos(m+ ma de
¿ey
1/7
[sentm—az , sena
al,
]|"
2
Sim="n,
e senmz sen ne sontma de
a
Ss
ES], 0 conzma) dz
(Sima os)oo E
omnes
de
Si sonmaconaás > ES] de
1[=cos(mtmz
_ cos(m—n)e
]]"
— >
Simon,
somaconedo =$] mamen do
8.2. Sila serie A+ Y) (a, cosnz + ba senns) converge uniformemente a f(+) en]—x, e,
demostrar que para n= 1,2,8,.., (a) ay = 1/7 facosnedz, (0) ba =
cosnz
(a) Multiplicando Z
12) = A+ 3 (ap + b,sennz) Mm
138 CACIONES A SERIES DE FOURIER [CAP. 8
$7 re come dz
(b) Multiplicando (2) por sen mx e integrando desde — x hasta x, usando el problema 8,1, tenemos
rasmeá af.
mos
Sl = sennzáz
Edel sen ma
send
dió bn = Ef rrsmedo 1,25
(c) La integración de (1) desde —x hasta », de
£, fdo = LoS.
guns mani]
sols a =
Ef nas =
8.3. Hallar la serie de Fourier correspondiente a la función f(x) = x%, 0< x< 2r, donde
f(x) tiene período 2
fuera del intervalo |0, 2x[
Aunque desde luego no es necesario hacer ul gráfico de la función para determinar la serie de Fourier,
a veces es útil hacerlo. El gráfico de f(+) que muestra la periodicidad se da en la figura 8-1. Como /(2) tie
ne período 2x, podemos usar 10, 2x[ en el problema 82 en lugur de J—x, wf.
1
/ 40
' Sr
Fig. 8-1
CAP. 8) APLICACIONES A SERIES DE FOURIER 139
d = Ef Trasenmeas = 1 Uatsmneas
Entonces la serie de
= (co (oem) a cn
Fourier pedida es
(e )-o(s) dr
TEOREMA DE RIEMANN-LEBESGUE
8.4... Demostrar el teorema de Riemann-Lebesgue: Si [(x) es integrable en ]—
x, x[, entonces
E Ls
f"
f”
x= + x/n
la
(a) Sea u de modo que
fumise
Sr
pues suponemos que f(x) tiene período 2.
De modo que — $7 frsoneda = 2) cnn o
A Sm
partir de esto hallamos
[paros ju
[Sres do
HS [ro (e+5)]uoncás
= já 1(2+5) 10 de
Eto sf roces
(6) Esto puede demostrarse de manera similar al método de la parte (a).
=
Tenemos po —
cosngsenje = Alsen(n+ sen(n— po]
Entonces sumando desde n= 1
hasta M,
Flsenjo son Jo) + ¿(senfa seno) + <= + ¿(sen(2 +40 — sen (M— $0)
son (M4 J)0 — 4 sen Jo
anaa
(a) Por el problema 8.5 tenemos, integrando desdo O
hasta «,
Ef Z sen jo AN [3+3 ,
cosmo e
EE Ba
(6) Por el problema 8.5 tenemos, integrando desde — y hasta 0,
4=. = Hs
el 3
8.7. Mostrar que las sumas parciales de una serie de Fourier están dadas
por /
dana
Sa
También,
25
MS
e2
CAP. 8 APLICACIONES A SERIES DE FOURIER mL
Baton
-
Lol
a
E
Icons 100
+3 conta ue
E Dl Le ea
e
usando el problema 85. Tomando £
— x — 4, hallamos entonces,
a |
otro
Sale)
Como el integrando tiene periodo2, podemos
=
remplazar el intervalo
intervalo de longitud 2r, en particular ]—x, r[.
ba
UA sen(d +3)
sen Ju
—
x, x —
x| por cualquier
E
arg
Así obtenemos el resultado pedido.
o
8.8. Demostrar que
suo = Ef
Por el problema 8,
Sula) =
Je So
Pta pe
|
y
cor
8.9. Demostrar que
E ea
a
Por el problema 8.5(0),
Se) RP,
ro
=
a
Entonces utilizando el problema 65
ima
Sen (MA Qe
250)
pe
y
— qe $
.
= ES fro +20 256]
sen 20
J
es integrablo en ] 6, wl, se sigue por el teorema de Riemann-Lebesgue que la
última integral tiende n cero cuando M-» Esto muestra que la convergencia o divergencia de la
=».
serie de Fourier depende sólo de la integral sobre el intervalo JO, 8[, o sea de los valores de f(x) én
un entorno del punto x.
Esto se deduce inmediatamente del problema 8:9 pues en tal caso lim Sw(x) = Str)
a O
(Mero 7% 2st0]sem + fe)
yde Mg = 0
Si tomamos FI0) =
f(x +8)
+ flz— 1) — 25(), entonces por el problema 8.11 la serio de Fourier con-
opt
verge a SG) si y sólo al
o
o
$,
son
(MEE 0
Como el límite de la segunda integral es cero por el teorema de Riemann-Lobesgue, se obtiene el resultado
pedido,
pl ro
Sp
Ñ > E
E
La función
FORT +
es integrable en el intervalo (0, 5) [véase el problema 8.15]. Así que por el teorema de Riemann-Lobesgue,
a
r.
f rola
1
im
Jrnort a
o
peas
Entonces por (1) y (2) vemos que
A
existe,
ea
Da
dado ¿talque
, 0< 63 m,
,
donde —F(t) = f(c+t)+f(0—t) —
28(2).
Por ul teorema de Riomanu-Labosgue si. E()/£ es integabo en 0,4 es deci,
S O)
Eba exa
loss
froOe E
A
8.15. Sea y (t) una función monótona creciente y supongamos que lm y(t) = 0, Demos-
ED
trar que si 0< 5 Sr,
lim
[yy g
a 0
Por el segundo teorema del valor medio [véanse los problemas 6.1630] tenemos para 0< M5
E
sn (MA cen (MA $e
a
E w
para cierto valor y tal que 0< 9 < bs
LA sen (0+ pt
Li
0) (240%:
La integral del segundo miembro de (2) es acotada, esto es, es menor que algún núraero positivo B,
para todos los M, á1 y y [vénso el problema 8.47], Entonces « > 0, podemos tomar 3, suficientemente
en y
de
E
em
Nota)
a
a
También por el teorema de Riemann-Lebesgue,
sn So
a
3
we
ei
sen (MADE Bo
e
3
(4)
JB
Entonces por (9) y (4) se deduce que si M es suficientemente grande,
10
.
AMEL
8.16. Demostrar
el resultado del problema 8.15 si y (£) es de variación acotaday lím y(£) = 0.
Si p(£) es de variación acotada, entonces puede expresarse como diferencia p,(£) — ya(£) de dos
funciones monótonas crecientes ps y Ya (0, Puesto 1)
que Jím$16) = 0, tenemos Mm ya (0) lí y,(0) =
que ste
límite común es cero, Entoness por ol pooblema 8.5
sip
y no hay párdida de gonralidad en suponer
5
y sen 4
(Me
Ha 0
,
así que Lomando la diferencia de estos dos límites obtenemos como se pedía
aA
Si f(t) es de variación acotado, Lambién lo
28
es
PO)
Además es claro que lím P(t)
= florD df)
— 0. De modo que por el problema
= fro + fa
8.16,
0— fe+0)— (20)
0
(a) Como cualquier punto del intervalo 0 < x< 2r os un punto de continuidad, la serie convergo a
fla) = 1%. Asi que para 0< x < Ax,
E
Sscon
E
(8), El punto x
= 0 es un punto de discontinuidad y tenemos, por el gráfico de la figura 8-10 por con
sideraciones analíticas directas, que en 0, x=
Lite +0) +
fte 0)
HN
40) + fe—0)] = H0+ 422)
8.19.
le +32»
Así que
CAP. APLICACIONES A SERIES DE FOURIER
a) = S[ro Za 1
E
donde
a, ba son los coeficientes de Fourier correspondientes a f(), 1.
a = 1
fdo coat de de = If granitodz
Como g(s) es continua y de variación acotada (teorema 6-21), tiene una sorio de Fourier que converge
a gía), de modo que
ato =
+ 3 (ocosta + desata) a
donde
Y ahora por integración por partes con glx) dada por (1), tenemos para k = 1,2, 3,
de = ES ato sata de =
Moto
= ES [ro E] ento ás
= Ef roma = E
donde nos hemos valido de que £(0) = 0, como es evidente por (1), y g(2x) = 0,
ya que £(x) tiene
período 2x.
a) = 3
dai ea o
dio
pondiente a /(2), es decir,
alada
término a término desde O hasta x y así queda demostrado el resultado pedido.
146 APLICACIONES A SERIES DE POURIER [CAP. 8
E 2
8.21. Demostrar que
J +2
Por el teorema 8.6 podemos integrar con respecto a x la serie del problema 8.3 para obtener
Entonces haciendo
+
de
Heosne)
x = 0
+0
tenemos, aprovechando el
0)
proble
ma 5,19,
a
9 0.
4 -= 2-2 e
2-82t - 3 (fro de
ú
que (1 se trasforma en
2 te, 3
ls
a
O
s
Geass)
Integrando ambos miembros de (2) con respecto
2 coa
a x,
A_
di aÉs
Haciendo x gs
que es cuatro veces el valor de la serio que se va a sumar,
Debe hallarse ahora otra forma de calcular cs. Para hacerlo observamos que
para Jn =
(3) de
fTemneda
O
a 2x.
o
Obtonemos entonces
O, integrando, 04 = 4e%/
C-
lo, de modo que como se pedía,
os fos
Este último método se puede emplear también para determinar e, en (2) sin suponer el resultado del
problema 8.19
1
121 k
e
te. En la serie dada, sin embargo, b, = 1/In(k 1) y por tanto
1,1ima
+
que diverge.
ga 23
Ara
Así que la dada no puede ser una serio de Fourier.
E a, ima
ma? + *
r(
El resultado pedido 50 obtiene inmediatamente pues
0. =
Sms
Si 1
entonces multiplicando por gx)
Hdemlo) =
3 cuóntal enla)
0.
ds
=S"jale de
ica a
ponme
8.25. Los polinomios de Hermite H,(x), n = 0,1, 2, 3,..., se definen como soluciones
polinómicas de grado n de la ecuación diferencial
HN- 20H, + 20H, = 0
HL Dalla +2miin = 0 w
HA —20H, +2nH, =0 (2
pH)
Ep
do modo que Em—2)HnH, = HnHx —
HH — 25(8 H Hr)
na Em—2mHnl, = —
HE) — 22 bl —
HE)
Multiplicando por e-**, podemos escribir esto como
(Em-2mje2H
pH, = Eler
Entonces integrando de —» a 0,
148 APLICACIONES A SERIES DE FOURIER
ar
[CAP. 8
Deol Sl crámtas 0
o
es decir, que el conjunto [e=*%2 H,()| es ortogonal en
Js, =[
8.26. Si
2 Ca H,(x), donde H,(x) son los polinomios de Hermite del problema 8.25,
converge uniformemente a [(x), demostrar
que
e-%f(a) Ha(e)
Tentmas
10 = 3 otto)
de modo que por la ccuación (2) del problema 8.25,
f errar
aaa
$ meramando =
Zo
w
donde la integración término a término se justifica por la convergencia uniforme de la serie, Resolviendo
para ca, llogamos al resultado pedido
es óx(x) donde ca =
Í Gn) gate) ds. Demostrar que para cualquier función
A
f(x)E L2[a,b],
Sra - ha
ES
Tenemos,
Satori =
$!
=S (ue? 2 3
caro ES +
cette) de
=
S lata 2
3, 0 $ Kad ek) de +
a de ce Saro dz
ye .
L oj=k
CAP. 8] APLICACIONES A SERIES DE FOURIER us
das [nora
"Tenonos, a
pac del multado del problema 827,
Srm=syrd = $
ara 34 w
34= fueras in
Tomando el
vemos que
límite cuando n=» y observando que el segundo miembro de (2) es independiente de
fore
m,
34
Ms
da = [nerd
Esto se deduco inmediatamente del problema 3.27, ya que si
mile)-FL3,4] — = 0
se [f ora
entonces. =
o
esto es, S If da S+
El resultado se llama identidad de Parseval. Si la identidad de Parseval se satisface para todas las fun-
ciones [(x) E L*, llamamos a este conjunto de funciones ortonormales | $4(x)| completo.
== Sms
:
a
y (b) la identidad de Parseval se satisface si y sólo si el error medio cuadrático tien-
de a cero cuando n— «
150 APLICACIONES A SERIES DE FOURIER (CAP. 8
ES
(a) Tenemos como en el problema 8.21,
So -
=
-/
Steras 23
oras 2,3 —
afronta
3
men +
Sri esoraz
S Mer2de + 3, (02m)
Siorás — 23 4+
tan
A partir de esto es claro que se obtiene mínimo cuando
TN
AO
ME 3 ES 3, curo) — cs
3, oaía) ata) de y
0 Seo po) de
Además, como
3, ef converga, se deduce que
im Y 4 =0
o ses que lim [Sn Sl] = 0
ue por el teorema de Riese-Pischer existe una función fte) E 2 sal que Sytel= E csosto con
en media a fix cuando n— a
CAP. 8] APLICACIONES A SERIES DE FOURIER 151
(b) Por la parte (a), como S,(x) converge en media a f(x) cuando n= =, so sigue por el problema
75d, que
a
>
ss, Sala) 9) (2) de
So epa) da wm
Siora = ha
Por el problema 8.31 las sumas parciales S,(x) convergen en media a /(x) cuando n= =. Así
sm S [Salado = S Ifcojzaz w
Pero
ES = area) sn) de
= epa
Sol tn de
Sveres
a 32 = $ vera 1)
Problemas propuestos
DEFINICION DE SERTE DE FOURIER
8.34, Demostrar que la serie de Fourier para f(x) = cospr, —x 5 1, donde el período es 2x y donde
pd
x $
+1, 22... está dada por
8.35. Extender los resultados de: (a) el problerma BA, y (9) el problema 8,2 al intervalo Je, e + 2e[ donde e
es un número real.
8.36. Sea f(x) integrable según Lebesgue en ]—1 0 o más generalmente le, e + 21] donde > 0 y en 1
e es un número real. Supongamos que f(x) es periódica con período 21 fuera de este intervalo. Domosirar
que la serie de Fourier correspondiente a f(x) es
+3 cos a)
[as afa
(o. yb, sen
Demostrar
que
Fourioe correspondiente a fla) es
g
0
sí f(x) es una función impar en [—1, 11
rs
3 tasontiE
tez dodo Jays ez de
La serie se llama usualmente una serie sono de Fourier.
8.38. Demostrar que si fte) es uno función par en IL, Il [o sea que f(=x) = fla)), entonces la serie de
Fourier correspondiente a /(x) es
qa
0,3
04 S
La serie se llama usualmente una serie coseno de Fourier.
apoco tl ie donde a, a = af
GS
Ef fr cos
0
mer
Tae
Demostas quo la
está dada por
dei de Foo commepondiení 8/6 | 3ca<0
donde el período es 6
Si la serie trigonométrica (1), página 192, converge casi en todas partes a /(2) eu el y si las sumas
parciales de la serie son uniformemente acotadas, demostrar que: (a) J(x) os intugeable en
(6) a, Y 5, están dadas por las fórmulas (2), página 102.
xl, y
[fndicación: Emplear el teorema de con
0< xn emp
Js,
8%
dy
[xi
A sonar
343.
| y completar así la demos
tración del problema 84
8:44. En la demostración del teorema de Riemann-Lebesgue del problema $4, ¿tiene n que ser entero? Explicar.
8.45. Demostrar que la funció: integrable en 10, B[ y completar así la demostración del pro-
blema 5,
CAP. 8) APLICACIONE; S
A SERIES DE FOURIER
+
BAT. Demostrar que /]
PEN S20U du es acotada para todos los valores positivos M, 51, y Y completar
”
así la demostración del problema 8.15,
8.48. Demostrar que una serio do Fourier correspondiento a /(x) es convergente a f(x) si /(e) satisface la condi
ción |fix+ 1) — fal
< Klul? para jul < r donde
la relación con el problema 8.46,
K, p y r son constantes positivas dadas. Discutir
2.49. Demostrar que si f(2) y /'(2) son ambus fregmentariamente continuas en [== x[, entonces la serie de
Fourier para [(+) converge a ¿[fe + 0) + (6 — 0)
850. Demostrar que si f(x) tiene sólo un número finito de discontinuidades en ]—x,
finito de máximos y mínimos en ]—
y si tiene un número
1, rl, entoncos la serio de Fourier para f(x) converge a ¿[/(< + 0) +
r
fx — 09]. Las condiciones indicadas se llaman condiciones de Dirichlet
BL. ¿Bs suficiente la continuidad de una función para asegurar la convergencia de una serie do Fourier para
Fa) a fa)? ¿Se puede justificar la conclusión?
ll
= 0ot pro=
+23
¿+2
Y Z
(0)
0)
ala)
ar)
=
=
ll
2
8 fsenx
Es
_(cos%w
ci
_ cosdz , cosóe )
(1) es convergante
$ que conergo a 562) sl
Je (0) — 0,
Esto es el criterio de de la Vallée Poussin
856. Demostrar que sl criterio del problema 8.55 se satisface si se satisface el de Dini o el de Jordan,
E
58, lemostrar q que
Demostrar
SL
mrT
A
1
diverge
y
Svesoy completar así
asíla
completar la dedemostración
o
del problema
problema 8.2.
Demostrer
859.
quo 0<
que Y, e 5 1, no puede ser una sere de Fourier
154 APLICACIONES A SERIES DB FOURIER CAP. 8
Pa
y élx) es de variación acotada, entonces en cualquier intervalo Ju, 8[
Smart aPande
s fa
LS ea
sb
868. Ses
ol) VER glo SOSkZ donde A
= 1,2, 3,...
Demostrar que el
canasta
84. Por el método del problema 85, domostrar la ortogonalidad de los funciones (sennzj, n= 1,2,
en Jr, al. [indicación: si ya(2) = sennz, demostrar que 3% + ny, = 0, yola) yate) = 0)
8:66, Los polinomios de Leguerre Lux), n= 0,1,2, +, de grado n son soluciones de la ecuación diferencial
a+ Ay day = 0
Demostrar que [e=*%L,(x)] es orcogonal en JO,
«|
Mostrar cómo desarrollar una función f(+) en serie de: (a) polinomios de Legendre, y (5) polinomios de
Laguerre
Demostrar que si flx) y 6a(x) pertenecen a Z2, entonces existen los coeficientes (14), página 134,
A
int a
Un conjunto de funciones complejos [,(x)] se llama ortonormal en (a, $) si
k sima
0
S =
donde la barra sobre una función denota conjugado complejo.
(4) Mostrar que esta delinición se reduce a la ordinaria en el caso de que las funciones sean reales,
(er Si
ja
ene es lu serio de
5) Pourier pura
vas)
fte),
con n
demostrar
entero,
que
es ortonormal en J—=,
a
2 Y
toser een
o
Deraostrar que la identidad de Parseval es
= S fe de
8:75. Emplear la identidad de Parseval cortespondiente a la función del problema 8.34 para hallar la suma
de la serie
E
Ei PE
8:76. Hacer el problema 8.30 con derivación parcial para determinar el valor mínimo del error mínimo evadrático,
ER
8:77. si algunas
Determinar de las siguientes son series de Fourier correspondientes
a una función en 1%
8:78. Demostrar
que si
f(x)E L* y £(x)E L* tienen los mismos coeficientes de Fourier, entonces [(+) = gl)
casi en todas partes.
8:79. ¿Es posible que una serie trigonométrica dada sea una serio de Fourier correspondiente a: (a) una función
en L* pero no en L, (b) una función en L pero no en L*? Explicar.
La integral de Riemann
a = mea) + o + maza—2a-) = D
mia 2
Llamamos a y s las sumas superior e inferior respectivamente correspondientes a la parti-
$
Lo= Sraas,
Si _I= J decimos que f(x) es integrable según Riemann en
T= Saa 0)
[a, b] y denotamos el valor
común por
.
Stoa
que se llama integral definida de Riemann de f(x) en [a, b]
Si 1% 4, entonces f(x) no es integrable según Riemann en [a, b]
Para una interpretación geométrica véase el problema A.1.
En este apéndice [ Apéndice A], a diferencia de las otras
partes de este libro, todas
las integrables serán de Riemann a menos
que se especifique otra cosa.
156
APENDICE AJ LA INTEGRAL DE RIEMANN
Teorema A-2. Si Si, sí son sumas superior e inferior correspondientes a una nueva
partición P; obtenida por adición de puntos a la antigua partición P
del teorema 5-1 [se suele llamar un refinamiento de P], entonces
Teorema A-3. Si S2, sz y Si, si son las sumas superior e inferior correspondien-
tes a particiones cualesquiera Pz y Ps respectivamente, entonces
Sa S o se 3 $
o sea que cualquier suma inferior nunca es mayor que cualquier suma
superior independientemente de la partición.
Teorema A-4. Una integral superior Í nunca es menor que una integral inferiorJ y te-
nemos $2 12 J25
CONDICION NECESARIA Y SUFICIENTE DE INTEGRABILIDAD
SEGUN RIEMANN
Teorema A-5, Una condición necesaria y suficiente para que una función acotada f(x)
sea integrable según Riemann en [a,b] es que dado cualquier «> 0
exista una partición con sumas superior e inferior S, s tales que 5 < S— e
MENE
2) +1) 5)+0 +12, mx...)
= Í16)ar,
donde 4%: = %x — %k-3 y sea el máximo de Ax, igual a 5, esto es, máxAx, =
Entonces definimos la integral de Riemann de f(x) en [a, b] así:
Br),
» E
Sórtodz = úm 0)
siempre que el limite exista independientemente de como se tomen los puntos de subdivisión.
Se puede demostrar [véanse los problemas A.8 y A.49] que esta definición es equiva
lente a la que se dio antes.
Teorema A-' Una fun: ¡ón monótona f(x) en [a, b] es integrable según Riemann en
[a, b]
158 LA INTEGRAL DE RIEMANN [APENDICE A
Teorema A-8. Una función fíx) de variación acotada en [a, b] es integrable según
Riemann en (a, b]
MEDIDA NULA
De un conjunto E de números reales se dice que tiene medida de Lebesgue nulo, o bre-
vemente medida nula si dado > 0 existe un conjunto enumerable de intervalos abiertos
«
f
f(x) + fa(x) es integrable según Riemann en [a, b] y
Teorema A-11.
Srta rte Srta E fee)
Si f(x) es integrable según Riemann en [a, b] y e es cualquier cons-
de
Seas = eS seas
Teorema A-12. Si f(x) y g(x) son integrables según Riemann en [a, b], entonces
f(x) g(x) es integrable según Riemann en [a, 5].
Teorema A-13. Si f(x) es integrable según Riemann en [a, b], entonces
Sama
Teorema A-16. Si f(x) es integrable según Riemann en [a, b] y tiene un mayorante y
un minorante M y m en (a, b], respectivamente, entonces
y si a es
m(b=a)
un número tal que m <
Sia «
Mba)
< M, entonces
$ iaras = uba)
APENDICE Aj LA INTEGRAL DE RIEMANN 159
Teorema A-17 [Teorema del valor medio). Si f(x) es continua en [a, b], enton-
ces existe un número c E [a, bj tal que
Sra as = (b-0jfe)
Teorema A-18. Si f(x) es integrable según Riemann en (a, b] y |f(x)] < M para algu-
na constante M, entonces
[rosa] Ma)
Teorema A-19. Si f(x) es integrable según Riemann en (a, b], entonces |f(x)| es inte.
grable según Riemann en [a, b] y
[Sto | s Svias
DERIVACION E INTEGRACION
La integral indefinida de Riemann se define como
Fo =
Sd
donde la variable de integración se ha cambiado por u para evitar confusión con el límite de
0)
Teorema A-20. Si f(x) es acotada e integrable según Riemann en [a, b], entonces
Er
e
ri) =
d
=
d
¿ES suas = 10)
en todo punto de continuidad de f(x).
Teorema A-22 [Teorema fundamental del cálculo]. Sea f(x) integrable según
Riemann en [a, b] y supongamos que existe una función F(x) conti-
nua sobre [a, b] tal que F'(x) = f(x). Entonces
Teorema 4-23
osea
Jae = S fan =
mann en (0, b] y supongamos que Fx) y G(x) son tales que Fx) =
G')
Sra
[6) y = gl2) en [a, b). Entonces
fa
= FOO - Fi Gl) —
G(ds
F(e) G(a) = SÍ
109604
160 LA INTEGRAL DE RIEMANN [APENDICE A
Teorema A-24 [Cambio de variables]. Sea f(x) continua en [a, b]. Supóngase
que = g(u)
x tiene una derivada continua en [a, 8] donde a = g(u),
b= g(8). Entonces
ferdz =
Soo ride
TEOREMAS SOBRE SUCESIONES Y SERIES
Teorema A-25. Sea (fu(z)) una sucesión de funciones continuas que converge uniforme-
mente en (a, b] a una función f(x). Entonces
Teorema A-27. Supongamos que 2; u,(x) converge a s(x) en la, b]. Supongamos
también que las derivadas u',(x) existen y son continuas en (a, b]
y que Y u',(x) es uniformemente convergente en [a, b]. Entonces
E9
INTEGRALES IMPROPIAS DE RIEMANN
Si intervalo [a, b] es infinito o si f(x) se hace infínito en uno o más puntos de
el
[a, b], entonces la integral de Riemann de f(x) se llama usualmente integral impropia.
Tales integrales se definen por procedimientos apropiados de límites y se dice que existen
si los límites correspondientes existen. Los siguientes son ejemplos de tal definición.
faja = ln Si teras m
.
Ñ 1) de (8)
$
Si f(x) se vuelve no acotada cuando x = c, entonces definimos
Saro de = tim [ de +
S. 12) de] 0)
si el límite de (9) no existe para «1 4 ez pero existe cuando «1 = cz, decimos que el va-
lor correspondiente del límite es el valor principal de Cauchy de $ Fx) dx. También en
tal caso decimos que existe la integral de Riemann de f(x) en el sentido del valor principal
APENDICE Aj LA INTEGRAL DE RIEMANN 161
de Cauchy. Se puede hacer una observación similar para (5) para la cual el valor principal
de Cauchy, si existe, se obtiene tomando a = —b y haciendo tender «o
b=
Problemas resueltos
DEFINICION DE LA INTEGRAL DE RIEMANN
A.1. Interpretar geométricamente el caso en que f(x) es integrable según Riemann en
[a, b].
Hacemos referencia a la figura A-1 que muestra la curva C que representa y — /60). La suma info
rior s correspondiente a la partición que se muestra tepresenta la suma de las áreas de los rectángulos
sombreados mientras que la suma superior representa la suma de las áreas de los rectángulos más gran”
S
Fig. A
El valor
f "16 dz en este aso representa el área de la región limitada por la cueva, ol eje x y las
ordenadas x= a yx =b,
racional
A2. Demostrar que la función £G) = de =irracional denia
Lg
—
en el intervalo [a, b]
no es integrable según Riemann.
En cualquier subintervalo [xa-», xa] de [a, b] tenemos My = 1, ma 0 pues los números
zacionales y los irracionales son densos en cualquier subintervalo. Entonces si S, s sonlas sumas supe-
xior e inferior comespondientes a cualquier partición, tenemos
S= Man =
tonces É
m(b=a) Ss 3 SS Mba)
A partir de las ecuaciones (1) y (2, página 156, tenemos
5 = Man .=
mos
Entonces como m 3 ma 5 Me 5 M tenemos, multiplicando por 4x, y sumando sobrek de Lan,
S 3 Mam
mam e mar 5 Mor E
esto es,
man 3. 3 S 3 MÑam
o sea
mia) 3
5
3 S 3 Mba)
A.4. Demostrar el teorema A-2: Si Si, sí son las sumas superior e inferior correspon-
dientes a una nueva partición P, obtenida por adición de puntos a la partición an-
terior P del problema A-3, entonces
o sea que las sumas superiores no crecen ni las inferiores decrecen por adición de
puntos
El resultado quedará demostrado si podemos demostrarlo cuundo se agrega un punto de subdivisión
<roco
a la partición dada. Para hacer esto sca la subdivisión dada
a=
mom <a =d
Supongamos que el punto adicional de subdivisión queda en el intervalo. |x,-1, x,[ y 20 denota con 4
de modo que 5 4 xy1
xp
La contribución a la superior correspondiente a los puntos subdivisión del intervalo
Pra]
suma de
Mts) =p 20) m
Si denotamos los extremos superiores de f(x) en
entonces la contribución a la suma superior cuando
Iza, 1 y Ju,
al
adicional de subdivisión.
por MSP y Mp) respectivamente,
pu 0 Loma en cuenta es
My
el
Map) +
La varisción en la suma superior original causada por la subdivisión adicional está dada por
10) 0)
la dife
OO
rencia entre (1) y (2), de
—
MU ay) +
E —
MN) 0
Como esto os negativo u cero [porque MIOS Ma, MIOS Ma, 205 2,10 > se sigue que
la suma superior no puede aumentarse agregando un punto de subdivisión y queda demostrado el resulta.
Y
29 a,
do pedido,
De modo análogo podemos demos! que las sumas inferiores no pueden decrecer agregando puntos
de subdivisión (véase el problema A.
A.5, Demostrar el teorema A-3: Si Se, s2 y Ss, ss son sumas superior e inferior corres-
pondientes a particiones cualesquiera P. y P, respectivamente, entonces
18: 0
135
APENDICE A] LA INTEGRAL DE RIEMANN 163
o sea que toda suma inferior nunca es mayor que una suma superior sea cual fuere
la partición.
La demostración os idéntica a la dada en el problema 4.
AS, Demostrar el teorema A.4: Una integral superior f
nunca es menor que una integral
inferior J y tenemos S2 12 Jz2 ss
añ. Demostrar el teorema A-5: Una condición necesaria y suficiente para que una fun-
ción f(x) sea integrable según Riemann en (a, b] es que dado cualquier > 0, «
exista una partición con sumas superior e inferior S, s tales que S— 5 <«.
La demostración es idóntica con la del problema 4.8, excepto que las palabras “integrable según Rie.
mann” remplazan a “integrable según Lebesgue”.
ls 16030 $7 n02| eo
siempro que dm 5 3
Sean S, s las sumas superior e inferior correspondientes a la partición dada. Entonces como ma
3
Fl) $ Ma, donde Ma, ma son el extremo inferior y el extremo superior de f(x) en (2-1, Xa), tenemos
3
fas ss 0)
También tenemos . a
o sea
- 9)
ran
Sumando (1 y (0,
ua 5 fórerde = 5-0
o sea que como S— 5 > 0, 3 105
Además, puesto que podemos tomar los valores mayores de ax, [o ses la norma] tan pequeños que
S — s < «, se obtiene el resultado pedido.
Podemos también demostrar que la definición de la integral de Riemann dada en la página 156 5e de-
duce de la definición como límite de una suma [véase el problema A49]. Así que las dos definiciones
son equivalentes.
Mm <
Si las sumas superior e inferior correspondientes a esta partición están dadas por
entonces tenemos
A.10, Demostrar el teorema A-7: Una función monótona f(x) en [a, b] es integrable según
:mann en [a, b]
Supondremos que f(x) es monótona creciente. El caso on que f(x) sea monótona decreciente se puedo
demostrar de manera análoga [o considerando — f(x) en lugar de [(2)]
Por definición tenemos para la partición dada =m<on<oo<n=b
10) = Ha) S fla) E > =$) = 10
Entonces es claro que ma = flés0, Ma = /(%3) de modo que
S= Aroma +
Bda
o 50m
Sa =
3 (fa) —
molan 0)
5
a
Si tomamos la partición de modo que, suponiendo F(8) > (a)
1% <=
e
tenemos por (1), puesto que fte) Z
Flew
5-8 <
ZU —
fea
Hal = +.
A.11. Demostrar el teorema A-8: Una función f(x) de variación acotada en [a, b] es in-
tegrable según Riemann en [a, bl.
Esto se deduce inmediatamente del problema A.10 y de que una función de variación acotada puede
expresarse como diferencia de dos fimciones monótonas crecientes.
A.12, Demostrar el teorema A-10: Si fi(e), y fa(x), son integrables según Riemann en
[a,b], entonces file) + fo(x) es integrable según Riemamn en [0,5] y
S [f:te) Sra =
fala) de = + Srtoas
APENDICE Aj LA INTEGRAL DE RIEMANN
165
Sean ME? mp0; MEP mi2; Mya mig, los extremos los
superiores y extremos interiores en
lrami 20) de filol fold: f(x) + fa(x) respectivamente. Entonces tenemos
Me
PAM, e o
Llamemos S(D,5(0; S(D,0(9; 8,5, las sumas superiores e inferiores correspondientes a f.(2);
fatal AG) + fala) respectivamente. Entonces, por (1), hallamos
S 3 SD4SD, 2
tilizando los símbolos 10; 10%; f para las integrales superiores
3 04D 0
para las integrales inferiores, tenemos por
correspondientes y J0D; Jn; y
1S 10410, 3] 2 J0+70m
Pero como f(x) fax) =
y son integrablos según Riemann, tenemos 710
00
135 JO4JD, 32
J047
JO [5 J.
de modo que Pero por el problema A.S, [3 J y por tanto se deduce que I=J= 100 4 169 =
Por consiguiente f:(x) + /2() es integrable según Riemana y
SF intorrnijd =
f'htod+
Otro método, empleando la definición de límite de una suma,
mn
A.13. Dar un ejemplo para mostrar que |f(x)] es integrable según Riemann
lo sea, aunque f(x) no
1 si 2€(a,B] es racional
Comiamos 16) = (|
1
si 2E[0,0] es imacional - Entonces como én el problema AZ podo-
mos mostrar que f(x) no es integrable según Riemann en (a, 5]
Sin embargo |/()]
— 1 es integrable según Riemann
en [0, B] como se muestra en el problema A4,
A.14. Demostrar el teorema A-14: Si f(x) es acotada e integrable según Riemann en [0, 5]
y e es cualquier punto de [a, b], entonces
Sra =
Supongamos que c no es un punto de subdivisión al definir sumas
So rigas + Soaz
superiores e inferiores. Por el pro.
sp
bloma Ad si agregamos el punto c a la partición, la
suma superior S no se crece.
Deseas ls uso pr o aerosol y la
lp 8 a enana Y
53050 [nes
sos o
Do do logo lanos pcs ss
13 q+a Sos
5
corpo
Sn
ib + e)
166 LA INTEGRAL DE RIEMANN [APENDICE A
De modo que si yy
son las integrales superior e interior corespondientes a /(), tenemos
sas fanar
E
f naa
,
1 2 = (0
así que por (9) y (0,
Snoa =
fra + Snes
A.15. Demostrar el teorema A-15: Si f(x) y g(x) son integrables según Riemann en (a, b]
Sra
y f(x) < g(x), entonces ; 5
s faz
Sean MEP, m[P y ME, m[> los extremos superiores y los extremos inferiores en 20
corespondientes a /(2) y S(o) respectivamente, Sean además SW, ¿(1 y S(D,9(2 las sumas superior
(ii
e inferior correspondientes. Entonces tenemos, puesto que (2) S p(2),
de modo que
MP
SUS,
SMP,
503
a an
í)
Si suponemos ahora que las integrales superior o inferior son 100, J1% y TG, 7% correspondies
des a f(x) y g(x) rospectivamento, tenemos
10.510, 0 530 am
Entonces como 10 E
dd, Bea 0)
tenemos
S sarao = Sgt
A.16. Demostrar el teorema A-16: Si f(x) es integrable según Riemann en [a, 5] y tiene
un mayorante y un minorante M y m en [a, b] respectivamente, entonces
mba) =
nad <
M0-0
y
si €s un
u número tal que m <
u 5 M, entonces
Saad = albo)
Tenemos mos M
Finas
Sos fora
se
ce que hay un
momo
númeroy entrem
na y Mal que
Mba)
míb— al 05 MP0 y
5)
APENDICE A) LA INTEGRAL DE RIEMANN 167
A.17. Demostrar el teorema A-17 [teorema del valor medio]: Si f(x) es continua en (a, b],
entonces existe un número c E [a, b] tal que
Sora
Como f(x) es continua en [a, b], es integrable según Riemann en
=
(00 fa, B]
,
por el problema A.
De modo que por el problema A16 existe un número y entre los valores ínimo y máximo m y M de
FG) tal que
$rode = 0-0 w
Pero una función continua toma todos sus valores entre su mínimo y su máximo y por tanto hay un nú
mero e tal que f(e) = y [véase el teoroma 1-25], Lo que llevado a (1) da el resultado pedido,
A.18. Demostrar el teorema A-19: Si f(x) es integrable según Riemann en (a, b], entonces
e
(a) 1f(2)| es
(a) Sen
integrable según Riemann en [a, b] y (b)
rod] s feas.
Nah 130 Ha), 1
de
50
ra) =
Í 0, en los demás casos
Falda
Entonces tenemos
10) =
Fi(0 =
Fl +
Pao 0)
Como f(x) es integrable según Riemano, también lo son Fs(+) y Fals). Así que por el problema A.12,
Fat + Fate) = [f)]
cs integrable según Riemann.
Sri
(6) A partir de tenemos
Srs
(1)
= E S ranas
da Ifto) de
=S. Pao) de +S Palo) de
|£ro] + |£ neo ae
S runas feos SU inolde
DERIVACION E INTEGRACION
A.19. Demostrar el teorema A-20: Si f(x) es acotada e integrable según Riemann en [a, b],
entonces E
es continua en [0,5].
F(a) = S F(u)du
ñ
Frrm= st = funde —
A.20, Demostrar el teorema A-21: Si f(x) es integrable según Riemamn en (a, b] y Fw) =
Saa, entonces
A
Supongamos que xa es un punto de continuidad de /. Entonces dado €
> 0, existe 3 > 0 tal que
It)
fa
Heol < e siempre que Ja=xl < 8 7)
añora E—=E)
Así se
Físy + —
Fly
= S7
a ..
Soda =
anta
A000
A |
y
= ¿SJ 100 de %
<+
pipes [100 JC!
. a de |
A21. (a) Demostrar el teorema de Rolle: Sea f(x) continua en fa, b] y supongamos que
fla) = f(b) = 0. Entonces si f'(x) existe en Ja, b[, existe un punto c en Ja, b[
tal que f(c) = 0,
(b) Demostrar el teorema del valor medio: Sea f(x) continua en [a, b] y supongamos
que f(x) existe en (a, b). Entonces existe un punto e en Ja, b( tal que
Me =
F0)— (a)
b=a
(a). El teorema os trivial si f(x) = O en todo [a, 5]. Supongamos entonces que flz) > 0 en un pun-
to de (a, b). Entonces hay un punto c en Ja, b[ en al cual f(x) toma su valor máximo [véase el teore-
Het
me im A) — 110)
o
“
Así que si ñ > 0, se deduce a partir de (2) que fle + k) > fe) de modo que f(x) no tiene máximo en y e
tenernos una contradicción, Así, f'(e) no puede ser mayor que coro. De modo parecido podemos demostrar
le) no puede ser menor que ceroy por consiguiente debemos =D.
que tener ('(6)
El
mismo resultado se sigue si suponemos que fle) < 0 en algún punto de Ja, $
APENDICE Aj LA INTEGRAL DF RIEMANN 169
A
(b) Consideremos la función
e)
Entonces si ) es continua en [o, b], también lo es G(x). Si F(+) existe en Jo, B[, entonces G'(x)
existe en Ja, b[. Además tenemos Gía) = G(b) = 0. De modo que G(x) satisface el teorema de
Rolle de la parte (a) y por tanto existe un puntoc en]o, b[tal que G*(c) — 0. Pero esto significa que
4.22. Demostrar el teorema A-22 [teorema fundamental del cálculo]: Sea f(x) integrable
según Riemann en [a, b] y supongamos que existe una función F(x) continua sobre
La, b] tal que F'(x) = f(x). Entonces
Flo) Fla) =
(DO)
osea Flo) —
Ple) =
(mba)
tao
Sumando respecto de % desde k = 1 hasta n, tenemos
3 IMe0=Flrol = FO) Ft) =
Entonces tomando el límite cuando n— a y máx (a
1-0) 0, se sigue que
oro fre
,
Sine 50-F
A
= o =
A.23. (a) Demostrar que la derivada de F(x) = l 22sen(l/a), 270 está dada por
o, z==0
Esla) (est
E
csn(ua) = mqcoshd—L) ) ++ 2usnl == desenl—cosl
= dusenl
Bash
Si x= 0, la derivada está dada por
AR EU
in
rem"
20
ras
ST = =
3
4.24. Demostrar el teorema A-23 [integración por partes]: Sean f(x) y g(x) integrables
según Riemann en [0, b] y supongamos que F(x) y G(x) son tales que F'(x) = f(x)
y G'(x) = g(x) en [a,b]. Entonces
150 LA INTEGRAL DE RIEMANN [APENDICE A
Como Fix)
5 PG, - S roca
G(x) tienen derivadas en [a, b], son continuas y por consiguiente integrables según
y
Riemann en lo, b]. Entonces como F(x) y G'(x) son también integrables según Riemann en (a, b],
se sigue que
integrable en [a,
FG) 0'(0) y
5].
G65
Entonces por
Fl y
el
por tanto su suma
problema A22,
(o) (o)+ Fl) 66) = (FG) 60) es
S.
va
Eire 0 dr Fi)Gla)|, = PG) — Fla) Gl
o ses S [Pto Ge) + F'() 0(2)] de = F(B)G(8) — Fla) G(a)
Su de = f "acraz frida +
tf
Lo cual es equivalente a
Suse = asnde o
0 $ scnén = Su neo s
A.26. Demostrar el teorema A-27: Supongamos que )) un(x) converge a s(x) en [a, b]
Supongamos también que las derivadas u',(x) existen y son continuas en (a, b]
y que Y u,(x) es uniformemente convergente en [a, b]. Entonces
sa)
APENDICE Aj LA INTEGRAL DE RIEMANN
Sen 66) = 3, unta). Por hipótesia sta serie converge uniformemente en (a,
] de modo que
por el problema A25 podemos integrar término a término desde a hasta x, donde x E (0, b], para obtener
Puna 3, tuto —
sto)
- 3 mío = elo)
Derivando ambos miembros de s(2) —s(a) se ve que 5(x) = 92), lo que de
muestra el teorema,
A
(b) Explicar el resultado de (a).
e
ia-
en
19 $ usos lím
Je) = 4
el
También, 56) = Nm 5.60) — limnzeró =0
si x=000< 75 1 Entonces
el signo
(6)
a rs
Aunque
dla
integral, 07%
A28, Sea
aa
s(1)= Do.
Le
Demostrar que
tata coo
a
Y,
s(2)de = 2 $
Eonia ld
an 2 22) a olga a
vergente para todo x y en particular para 0 S x <=,
por el criterio M de Weierstrass [página 10]. Así
que por el problema A.25 la serie se puede integrar término a término y tenemos
S“ele)de =
Sean a = 0, b = 1
y considéronse los números racionales del intervalo [0, 1]. Como los núme-
ros racionales de |, 1] son emumerables [problema 1.16), podemos esribirlos en forme de su
Prininos
5 1
La parar
= rra.
estiró
Entonces
así que existe, Sin embargo, como
Siria =0
[1 six es racional
ln pto LO six es iracional
vemos por el problema A2 que
no existe.
S,
e lim, Jal) de
[E existe
>.
UE
A.30. Demostrar que S, hallar
.
y su valor.
os pas demi,
EEN
ne los, >cin =
Ine!
tap
pi
timf1__t-
de
,
(5)
Za%
A.S1. Demostrar que
se
S pa
tome en el sentido del valor principal de Cauchy.
existe como integral impropia de Riemann con tal que
queen l.)
Pa +08 A
Sa]
Zen +
La integral de Riemann
APENDICE a] LA IN 'GRAL DE RIEMANN 153
ly
existe. Integrando por partes tenemos
RA (
Sas >
srogr
Además,
E
lím
a
existe,
Demostrar que
convergente.
S. $22
SSml mz,
A
Poro como el límite de la última serie cuando n= «> es infinito, se obtiene el resultado pedido.
174 LA INTEGRAL DE RIEMANN [APENDICE A
Problemas propuestos
DEFINICION DE LA INTEGRAL DE RIEMANN
A.34. Con la definición demostrar que f(x) es integrable según Riemana en [a, B]
= 1
y hallar su valor.
.
AL35. Con la definición dela
integral de Riemana, obtenerel valor de. dz donde |” f(a)
1 =( 2,5 -1s0<0
0<rs1
TEOREMAS SOBRE INTEGRACION DE RIEMANN
A.36. Demostrar el teorema A-LL
AL37. Demostrar que si f(x) es integrable según Riemaon en (a, b], entonces es también integrable según
Riemann en cualquier subintervalo [c, e] de o, b)
A38. Demostrar que las sumas inferiores no pueden decrecer al agregar puntos de subdivisiónvisión [ver no:
[ver nota al final del problema Ad]
A-40. Demostrar que f(x) es integrable según Riemann en [a, b] si f(x) es acotada y tiene: (a) un punto de
discontinuidad en [a, 6], (b) cualquier número finito de puntos de discontinuidad en [a, $]
Al. Demostrar que la integral de Riemann de f(x) no cambia de valor si los valores de f(+) en la, b] se cam:
bian en un número finico de puntos
Literas Mba)
demostrar que f(x) = M idénticamento en [a, 5]
A.44. Obtener la siguiente generalización del teorema A-16: Si f(=) y 22) son integrales según Riemann en
a,b), g(0 2 0 y ms 5 M, entonces(0
mamas food a
45. Usar el problema 4:44 para demostrar que si fx) es continua en (a, 6] además de las otras hipótesis,
entonces existe un número£ tal que
S old = 19 f stas
Este es el teorema del valor medio generalizado [véase el teorema A-17)
A46. Si f(x) no os negetiva y es continua en la, bl y si fích > 0 para Igún valor e en [a, 5], demostrar que
fre > o
S ltz de o
demostrar
que ftei —
Den lo, BJ
APENDICE Aj
O
DIFERENCIACION E INTEGRACION
2 03:<2
Fina 21
Explicar
05:35 5.
(0) ¿Se comple FG) = (0)? Explica. (4) ¿Secomplo: |"g Pdz= F6)— PO?
ra
ABI. Considerando-las funciones (a) /(x) =
Determinar si existe
x* cos (1
0575 Ln, (0) f()=
y encontrar su valor.
Sosa = 10Ssteras +
10 $ ato da
Uindicación: Ses
por partes]
069 = SU ggdr. Esa /
.
temota
do =
.
fr 0to) as y tego integrar
A RAE ds
AS
el
TEOREMAS SOBRE SUCESIONES Y SERIES
AL55,Demostrar el teorema A-25,
E ) uz = o.
o
AS. Demostrar que Ft) = $ "=tSeMhnz
SPNEÉ
os continua y tiene derivadas continuas de todos los órdenes para
todos los valores de y,
Mon qu
os
0)
y explicar,
y explicar,
lim
f sode =
0
INTEGRALES IMPROPIAS DE RIEMANN
Lg
de .
AZ. Investigar la existencia de las integrales de Riemano (6)
+1 $
valores si existen. Resp, (a) 2VZ, (9) no existo
fa,
de " de
463, Calcular las siguientes integrales si existen. (9) [ ¿EG
de
o
A64. Demostrar que si 0 5 (2) 5 gl) y g(2) tiene una integral impropia de Riemann en [o, b] que existe,
entonces lo mismo ocurre para f(x)
pelis cueca (o 13 ss
5 0S HE
dz
de oxiston sólo on el sentido del valor
ó
12
val
principalde Cauchy
hallarsu
y valores. —
Resp. (2) 0, (b) —4In3
Apéndice B
donde el término de orden n es la media aritmética de las primeras n sumas parciales. Si es-
ta sucesión converge a p, decimos que la serie us: + uz + o Yu, es sumable en el
sentido de Cesaro o es C-1 sumable hacia p.
Sie
por Féjer. Como las su-
mas parciales de una serie de Fourier están dadas por
al EDa
_
2 (n +
e
1
= 00]
Yu
+E
donde n= 0,1, 2, [véase el problema 8.8], obtenemos el término de orden n de las
medias aritméticas [véase el problema B.4],
PA
.
taz) —
ta) = [fe +u) + — 242) ds (4)
117
178 SUMABILIDAD DE SERIES DE FOURIER (APENDICE B
Problemas resueltos
CONVERGENCIA EN EL SENTIDO DE CESARO
Bl, Demostrar que la serie 1— 14 1— 1-4 +: no converge.
Sis, es la
suma de los primeros n términos, tenemos =1, sy
83 =0,55 1,34 —0,.... Asíquela
sucesión de sumas parciales es 1, 0, 1, que no converge. 0,...
e
B2. Demostrar que la serie del problema B.1 es C-1 sumable hacia 3.
tu
Por el problema B.1 vemos que la sucesión de medias ari éticas de las sumas parciales es
o sen y
Po
140 LE0+1
q, LE0+1+0
LLP
LA
es decir, que
md+1
PEI , y (0) discutir la sig.
(a) San us 0, + La
Entonces debemos que
mentrar
tot
—
A EtE,leal
mm o
lenin
licita
Armtit 2
EA bola
EPEA Hol Ml
A
leal + al
o
Ps
Como lim u, = 0, podemos tomar p de modo que dado cualquier «>0, Ju. <e/2 para n>p.
E
Entonces
= '
Después de elegir p podemos tomar no tal que para n > no > 7.
wm
E
E
Entonces usando (2) y (0), (1) se trasforma en
9h halo
E] < para
n=
demostrando así el sesultado pedido
(b) El resultado muestra que si la sión de sumas parciales de una serie ennverge a l,
entonces la serie
es C-L
sumable hacia L
APENDICE B] SUMABILIDAD DE SERIES DE FOURIER 179
RS
a
sola) + sulz)
m
+ side) = ÑO
anna [fe +0) +10] sen juu
Ju sen?
He AAA AO
Ahora consideramos
=
ci [fa +1)
Sa
+
010]
= sen quetsen Jut
pp
<>
po +sen(a—
+
Pu
EEES
2 du
+ sen(n— Pusen ju
= costó +
Host2) — cos + + Hcos (n— 1)u — cosmu)
A
= Hd cosm) = séntgm
ias E o
ero
y obtenemos como so pedía,
ato = E pde 0)
o 4) =
EA 'o
ES]
Mt ju
sent
ero a 240) * E ju
sen?
Mm
o
(6) Multiplicando ambos miembros de (1) por £(x) y restando de la igualdad (2) del problema Ba, obte-
=
Ser2 1
(To
Stata du
=$ Ju
a
ES lite +
1000 —
24
180 SUMABILIDAD DE SERIES DE FOURIER
[APENDICE B
Lo
quier número ¿ tal que 0< ¿<r,
lím 2
ar. 1 sen* ju =0
donde F(u)= f(x
+u) + fíe—u) 2t(2).
a
—
a,
Por el problema B.3(b) es claro que una serie de Fourier es C-1 sumable de
valor £(x) sí
"o¿Sn
la 1
rozaSrta
ETA
os. da (E 1
Pero como
Srta] a 17 EL
lím
post SPartPa
Tenemos
[Era2 [adn
senta 7
o
Ftse
y
S [E qa]
1
|
pue ee]
1008
Srl
sjq. ya
je
ra
Entonces usando el problema B.6
ad,
sm
1
1 FM rta is
E) =
JD ja) + — [Ne +0) flo 0]
O+
APENDICE B] SUMABILIDAD DE SERIES DE FOURIER 18
Por definición,
dado «> 0, podemos hallar
[4 51
6) flo O),
< e
— 0) y
61
Fui
04
= 0. Así
no es negativo,
fr
Entonces tenemos para 41 < * dado,
1 ira A E
E
a
=
o
NE SE LEG
” cet PES
y E a
ES
s
je Fo)! du
3,
Como 81 está fijado, sm ES roo da = o
rota
«
sol o
Pero (1) es una condición necesaria y suficiente para que la sorie de Fourier sea C-1 sumable havia ¿ix
AU + 0 + (2 — 0)], de modo que queda demostrado el teorema de Fejer.
Apéndice C
.
Integrales dobles de Lebesgue
y teorema de Fubini
E
dl
|a, B|
y f(x, y) es una función medible de x casi todos los
para y E [e d]
1
APENDICE C] INTEGRALES DOBL BESGUE Y TEOREMA DE FUBINI 183
SS tem dodo yo
ff rene (m
Ss 12,4) de dy (4)
y se llama la integral doble de Lebesgue y decimos que f o f(x, y) es integrable según Lebes-
gue sobre P.
El resultado se puede extender a cualquier conjunto E en R? y en tal caso la integral
doble se denota
SS remazay 6)
TEOREMA DE FUBINI
Sea f(x, y) integrable según Lebesgue sobre P. Entonces f(x, y) es integrable según Le-
besgue sobre (a, b] para casi todos los y tales que S y < d, c decir, que la integral
es
Sramaz (6
existe para casi todos los y tales que c 3 y S d.
Ie
Además la integral (6) es integrable según Lebesgue sobre [c, d] de modo que
existe.
SS ]es m
SL 10 do] (6
Las integrales (7) y (8) donde la integración se efectúa primero con respecto a una va-
riable y luego con respecto a la otra, y so suelen llamar integrales iteradas
El teorema fundamental que relaciona las integrales dobles con las iteradas se llama
teorema de Fubini.
entonces
P= (a): a515b,0SySd)
Si remacay =
SS Mem az] as =
SS remas]e 10)
184 INTEGRALES DOBLES DE LEBESGUEY TEOREMA
DE PUBINI
[APENDICE €
TEOREMA DE FUBINI-TONELLI-HOBSON
A voces se da
una de las integrales iteradas y se requiere intercambiar el orden de into-
gración, El teorema fundamental sobre intercambio del orden de
integración se llama teore-
ma de Fubini-Tonelli-Hobson.
Teorema C-
[Fubini-Tonelli-Hobson]. Tenemos
SS tear] S [Lt de
siempre que una de las integrales iteradas de (10) exista.
Je (0)
Símbolos
AB. conjuntos, 1
elementos de conjuntos, 1
conjunto cerrado, 7
recubrimiento abierto, 7
conjunto vacio, 1
intervalo, 30.
intervalos, 10
clase de intervalos, 35
conjunto de Canto, 6
límite de /(r) cuando x—a, 8
partición, 156
rectángulo, 182
185
186 . suma inferior para integral de Lebesque, 54 o de Riemann, 158]
Notaciones
conjunto cuyos elementos son a, b,c, 1 ++,
A contiene a B, 1
A os igual a B,1
A [Link] igual a 8, 1
menor que, 2
intervalo abierto a
<x<bofria<x<b),2
intervalo cerrado a 5x3 b 0 (ria 3x5 0),2
extremo superior o supremum de $, 3
extremo inferior o ínfimum de 3, 3
A unión B, 3
A intersección B, 2
diferencia entre A y 8, 2
producto cartesiano de A y B, 4
función de x, 4
Iuación recíproca, 5
A es equivalente a 8, 5
A-wuple ordenado, $
distancia entre x y 7,
valor absoluto de a,
6
un longitud de un intervalo Y, 30
m(E) medida de un conjunto'E, 31
ma) medida exterior de un conjunto £, 31
AA
máx 4 (2), fa(2)) máximo de [a(x] y fe(o), 45
mínimo de f¿(+) y fo, 45
xa función característica, 50
so
o cos
zos
e
E
a
f fx) tales que EE, 74
Ll
para todos los
tico o
£
DE 050
1 para todos los xEE tales que f(x) 3 0
Fa)
po
o) Lora) para todos los xEE tales que fl) <0
S ronda integral indefinida, 97
CA,
02, ete. sumabilidad de Cesaro, 177
LS
uneja integral ¡terada, 183
NDICE
cuadrados, 135
Axioma del mínimo mayorante, 2 Elementos de un conjunto, 1
de Cantor, 6 medible, 44
onumerable, 5 sobreyectiva, 4
intersección, 3 Funciones acotadas,
medibles, 32 continuas, 8
operaciones con, 3 monótonas, 97
unión, 3 ortogonales, 134
universal, 1 ortonormales, 134
vacío, L
189
190
no acotadas, 74
límite, 7
de Lobesgue sobre conjuntos o intervalos
Real, recta, 2
no acotados, 78
Reales, variables, 4
de Riemano, 156 4
Recubrimiento, 36
de Rierann como límite de una suma, 157
abierto, 7
indefinida de Riemann, 159 Relación entro las integrales de Riemann y
inferior de Riemann, 156 de Lobesgue, 58
superior de Riemano, 156 Riesz-Fischer, teorema de, 119
Integrales dobles de Lebesgue, 182
impropias de Riemann, 160 Schwarz, desigualdad de, 117
indefinidas de Riemann, 97 Serie absolutamente convergente, 10
múltiples de Lebesgue, 194
convergente, 10
Intervalo abierto, 2
cerrado, 2
divergente, 10.
de Fourier en espacios 12, 102, 194
generalizado, 30
infinita, 10
semiabierto, 2
trigonométrica, 132
semicertado, 2
ortonormales, 134
Jordan, criterio de, 133 Signos de inclusión, 4
Sobrecubrimiento, 7
Ley asociativa, 4 Subconjunto, 1
conmutativa, 4 propio, 1
Leyes de Demorgan, 4 Sucesiones de Cauchy, 10
Leyes distributivas, 4 de Cauchy espacios Le, 119
en
reales, 2
"Tipos especialos de fu ones integrales
según Riemano, 1
trasfinitos, $
Principio de dualidad, 4
Puntos exter Weierstras criterio de, 10
frontera, 3
Weierstr Boleano, Teorema de, 8
LiBnOs BE TA SEFIE SCHAUM PUO..CADOS
EN ESPAÑT:
Acústica
Algebra elemental
comiaGeometelo ¿570
plas
e
z
Liticas de opisión
Algcbia elemental motors Ls
Algebre lineal
Algebra uperior
a
3
sao
«sn! de Formulas vr ctemó ¿cas
Análisis estric A
:mátic ap!
o:
¿smalisis, trictural avtezado ole
Matemariess fe
¿Amálisis numérico z
Matematicas det
Análisis vectaria! Malesóbic: <uper sres-pára
E
io
Cálculo diferncial e integral
Materiales de contiileción
Cálculo superior
Se Ciencias de liso as
tos Enidos:e bie
meo. contiguo
ai
e
Anica
cabida
E
,
ME dos cantóa paa
: nOCA de empresas (o
Co:tabilidad inter +00 Ellen pres)
Conubilidad intermedia U (es prensa)
Mo
cocoa
Mier
Contabilidad ide costos (en preosaf
EU
e
¡mica ue los Muidos
s Positidss
Da micalal Hngraago
pb lid AO sus
osil
¡n;<sfculo
Di ño de conereis ari do
Diseño de
EGG omia in
erracionel 6a srensa)
A
ones básicas delas eicncias uiimies
Zeli
Jal;
Covaciones Dilo E
Ke:
A e ae anios Yer
E
dp
Eruacnc o ileso
MOS
TO!
Espacio dé estado. y Sistema Times A
¿Emudida
Pigicd poner
orner
Toro
yoemados
Tre de Tapia
Fundamento bae Y
civay:
superiores
Genética S Engoñon, th
A
"Seometría altulitica
cometía describa
Variables 00
Wañiaules reales*
08,
fa
diferencias -
Mibraciones muss?
SES









