Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Análisis Real. Haaser y Sullivan
Análisis Real. Haaser y Sullivan
Jo •
•
Este volumen se ha elaborado para serv1
de texto en cursos de inic·ac·ó e el aná-
lisis abstracto. Los temas aquí descritos,
;
examinan adecua am nt
r
Traducción: Ricardo Vinós
,
1
Revisión técnica: Francisco Hugo Martínez Ortiz
Profesor de tiempo completo en el
Departamento de Matemáticas
de la Universidad Autó'noma Metropolitana,
Unidad lztapalapa
t Profesor de matemáticas
r
1
en la Facultad de Ciencias de la ¡
'
Universidad Nacional Autónoma de México
~
1
1
J
-..,;.~-- --•IÍ
Escaneado con CamScanner
r ¡
Norman B. Haaser
Joseph A. Sullivan
....
6 Prblogo
c:rf
. EscaneadÓ cOn CamScanner
l / ./ 1 , 1
l111lifje
•le fjtt11t~11i1ltt
Prólogo s
Capítulo l Conjuntos y relaciones 13
l. Introducción, 13
2. Conjuntos, 13
3. Relaciones, funciones, 18
4. Órdenes parciales y relaciones de equivalencia, 25
5. Conjuntos contables, 29
6. Conjuntos incontab,es, 34
l. Introducción, 216
2 . Las desigualdades de Holder y Minkowski, 216
3. Espacios lineales nonnados, 221
4. Ejemplos de espacios lineales nonnados, 224
S. Transfonnaciones lineales, 229
6. Isomorfismos, 237
7. Espacios de dimensión finita , 241
8. Espacios de Banach, 245
9 . Series, 250
10. El espacio de funciones acotadas, 254
,,,,
Escaneado con CamScanner
fntlice de contenido 9
1. Introducción, 303
2. Semicontinuidad, 303
3. Diferenciabilidad de una función monótona, 310
4. Funciones de variación acotada, 319
5. Diferenciación de una integral indefinida, 325
6. Integración de una derivada, 331
7. Integración por partes y por sustitución, 338
8. El teorema de representación de Riesz, 342
et casi todo
ctp casi en todas partes
~o alef cero
B(E, Y) espacio de las funciones acotadas de un conjunto E en el
espacio lineal nonnado Y
B(x; r) bola abierta con centro x y radio,
B [x; r ] bola cerrada con centro x y radio r
Fr(E) frontera de un conjunto E
BL(X. Y) espacio de las transformaciones lineales acotadas de X en Y
VA [a, b] espacio de las funciones de variación acotada en [ a, b ]
e número cardinal del continuo
~
r e conjunto de Cantor
e conjunto de los números complejos
fG conjunto de las sucesiones de Cauchy de números racionales
C[a, b] espacio de las funciones continuas de valores reales en
[a, b]
C(X, R) espacio de las funciones continuas de valores reales en X
d(x, y) distancia entre los puntos x y y
D.a dominio de la relación R
D. (X, Y) espacio de las funciones de X en Y que son diferenciables
ena
df. diferencial de f en a
D,/ i-ésima derivada parcial de f
D./ derivada direccional de f
Ext (E) exterior de un conjunto E
F"' ..
l ;z: .
espacio de las matrices m X n con elementos en F
función identidad en X
ínf ínfimo
lnt (E) interior de un conjunto E
IR espacio de las funciones Lebesgue-integrables
IR(E) espacio de las funciones Lebesgue-integrables sobre E
,.,.
l(X, Y) espacio de las transfonnaciones lineales de X en Y
espacio de sucesiones con norma p
espacio de sucesiones acotadas con nonna infinito
espacio de n-adas con nonna p
,:/"• espacio de n~adas con norma infinito
IR, espacio de las funciones medibles de Lebesgue f con
111' integrable
IR. <E> espacio de las funciones esencialmente acotadas en E
!t.• (E) espacio de las funciones µ, -medibles f en E, tales que
f •lfl' existe
I¡ límite superior no eliminado de f
lim, lim límites inferior y superior de una sucesión (problema 8)
JI conjunto de los conjuntos medibles de Lebesgue
.il conjunto de las funciones medibles de Lebesgue
N conjunto de los enteros positivos
.Aí conjunto de sucesiones nulas
ll
1
d
Escaneado con CamScanner
t~••••i1111f••s
\• 1·~l;1«;ittll~S
1
1 · INTRODUCCIÓN
2·CONJUNT0S
•Esta numeración entre corchetes se relaciona con la bihliografía que aparece al finnl dd
libro. [ N. del E. )
13
&'(A) = {B : B C A} .
A u B = {x : x e A o x e B}.
A~ B = {x: x e A y x e B}.
~
Escaneado con CamScanner
2 • Ü>njunfo1 J5
,.
A x B = {(a, b) : a e A y be B}.
,.., A = {x e X: x t A}.
Si A y B son cualesquiera conjuntos en !?(X). definimos la diferencia de con-
juntos,
(2 · 2)
PROBLEMAS
L Si A, B y C son conjuntos, demuéstrese que:
a. A u B = B u A ; A n B = B n A
b. A u (Bu C) = (A u B) u C; A fl (B fl C) =(A('\ B) ne
c. A ('\ (B u C) = (A n B) u (A n C)
d. A u (B n C) = (A u B) n (A u C)
e. A u 0 = A ; A n 0 = 0
2. Determínese
de la recta real:
n:: 1/" si .In es, en cada caso, uno de los siguientes inteivalOS
a. 1, = ( - ~ , ~)
b. 1, = (o,~)
c. l,= [o.~]
3. Demuéstrese que ("~" de~ota "si y sólo si"):
a. AcB~AnB=A
b. A e B~A u B B =
Demuéstrese que:
a. Ab.B=(AuB)-(AriB)=BAA
b. A b.(B b.C) = (A b.B) b.C
c. A A 0 = A; A A A = 0
=
d. A ri (B b. C) (A ri B) 6. (A. ri C)
9. Si ge es un anillo de conjuntos en .9(X), demuéstrese que si A, Be ge, en-
tonces:
a. A ri Be ge
b. A b.Be ge
C. 0 E ge
1
R- (B1) = {a E A: (a, b) e R para alguna be Bi} .
La imagen · · p, r tanto,
inversa de B se llama el dominio de R y se denota por DR. 0
= gú'), y
f(x) = f(g(y)) = /i{y) = Y·
Luego, (Y, x) e g implica que (x, y) E/. Del mismo modo, si (x, y) E/, entonces
y= f(x)y
g(y) = g(f(x)) = lx(x) = x.
y
f(A) = {f(x) É Y: X E A}
~
Escaneado con CamScanner
I
I
{ 3 • Relaciones, funciones 21
f
1
\¡
y
1
1.
1 ,
,
DEMOSTRACION. La demostración se deja al lector (problema 7). •
A fin de obtener resultados correspondientes para la función f hemos de re-
querir nuevamente la condición d~ que f sea uno -a -uno y, en este caso,[ debe
ser también sobre.
f(A ,.,, C) = /(A " (,.,, C)) = f (A) n f(,.,, C) =f(A) n (,...,/(C)) = f(A) "'J(C~
l) ~
. tales quef( . ,
uB
Consideramos ahora dos funciones f y g de {1, 2} en A . ' ¡ ~ g si )
= a e A, [(2) =be B, g(l) = e e A y g(2) == de B. Entonc:,cl. Record~-
so, 1O s1,
. r,(}) ' s1. ª -- C Y bX B consis
· = g(l) y [(2) = g(2) ; es decir, si y solo · tCdi,
1
mos que la propiedad característica de los pares ordenados en A os considerar e>'
t podelll ) ::: a
que ( a, b) = (e, d) si y sólo si a = e y b = d. Por tan o, tal que f(l
par ordenado (a, b) como la función f de {1, 2} en A U B.
,
1
3 . Relaciones, funciones 23
J
f( 2 ) = b. Entonces, A X B se convierte en el c ·
de {l, 21 en A U B tales que f( 1) E A 2 onJunto de todas las funciones f
cepto de pares ordenados ofrece un n 't ~ f( ) E B. Este punto de vista del con-
O O
de conjuntos. ic para extender el producto cartesiano
En los .casos
. en que S = {1 , .. · , n} y en que s es e1conJunto
· de todos los ente-
ros positivos, las notaciones se convierten respectivamente en:
n
X A;= A1
i=l
X ••• X
.
An = {(x 1' ··•
'
xn) •· x i E A-}
,
y en:
00
1
producto X ses A ., '
es no vac10.
~
Escaneado con CamScanner
r----
J 24
. 19
CaP· 1 ConJUII o
y relaciones
OBLEMAS
1 PR . . funciones definidas en R, el conjunto de tod
l. Sean f y g f( . ) == 3x + 2 y g(x) = x2 . os los nú
reales, por tas reglas .x lllcr0s
éstrcse que fes uno-a-uno Yque g no es uno-a-uno
a Denlu . . / t •
b. Oetenníncsc las relaciones mvcrsas . y g ·1 , y muéstre
. función, pero que g·t no lo es. se que f t es
c. Muéstrese que g O f =I= f g·.
O
(g of) - 1 =¡ - 1 º 9 -1 .
4. Sea (An) una sucesión decreciente de conjuntos; es decir, A":> An +i para
cada n e N, el conjunto de los enteros positivos.
Definamos B0 = n:=
1 A" Y Bn =A""' An+l> ne N. Demuéstresequt
{Bk: k e {O} u N} es una colección de conjuntos ajenos por parejas, y que
. .. · tosen&(X),de·
6. S1 f: X-+ Y y si {As: se S} es una colecc10n de conJun
muéstrese que
Yque
r
ejemplo donde A =I=
- r1 '~(A))
ri ([(A)) . Q , . .. ,' · Pongase un
. "' ue cond1c1on sobre f nos asegura que A =
- v, para todo A E&'(X)?
, 1º: !Siff : .~.~ Y Y si A E f!JJ(X), demuéstrese que -[(A) Cji(-A) si y
so1o s1, es unc1on sobre Y. '
l(l. Si (a1, a2,· · ·,ª")Y (b1, b2,· · ·, bn) son 11-adas en A", demuéstrese
que ª1, ª2,·: ·, ª") = (b1, b2,· · ·. bn) si, y sólo si, a,= b 1 , i = 1, 2, · ··, n.
1_2. Definase una función uno-a-uno de f1J>(X) sobre 2x, donde 2x sea el
conJunto de todas las funciones de X en { o 1} .
13 • S1· el conjunto
· A posee m elementos, ' ¿cuántos elementos contiene. A"?
a ~apara todo a e R;
a ~ b y b ~ a implican que a == b;
a ~by b ~ e implican que a ~ c.
2. El conjunto potencia 9' (X) de algún conjunto fijo ~ está. ~arcialmcnte
ordenado por e . A esto se le llama ordenación parcial por mclus1on de &'(X).
!
l
Escaneado con CamScanner
1 Conjuntos y relaciones
26 eap,
. d los enteros positivos y denotemos por a I b I h
N l conJunto . e , . 1 e ech
3. Sea e. . ·d b Entonces N esta parcia mente ordenado por e t. o
de que a es d1v1sor e . s a reJa.
ción. . t de todas las funciones de valores reales definidas
A el conJUll o e en un
~· Sea X denotemos por f ~ g el hecho de que f(x) ~ g(x) para toct
t
0
· · l er1 A ·
conJunto ' Y . , & es un or den. parcia
. X Esta relac1on - . d . .
.x E · ·unto de todas ]as funciones f con omm10 DI e X e ima
5 Sea A e1 conJ ., gen
· t os poi· g ../f el hecho de que fes una extens,on de g O s
R e y Deno em """ . . . , ea
f • . E t lees A es un conjunto parcialmente ordenado, y decimos que h'
que g e 1. ~ n 01 •, . a
sido parcialmente ordenado por extens1on. Observe el lector que este ejemplo se
asocia estrechamente con el ejemplo 2.
Nótese que la relación de equivalencia comparte con el orden parcial las pro,
piedades de reflexividad y transitividad ; sin embargo, difieren en las segundas
propiedades. La propiedad E2 se llama propiedad de simetría.
La igualdad, utilizada en el sentido de identidad lógica, es un ejemplo de re-
lación de equivalencia. La congruencia y la semejanza de los triángulos del plano
son también relaciones de equivalencia. En el conjunto de los números reales, la
relación R , definida por la regla aRb si a - bes múltiplo entero de algún número
fijo e, es una relación de equivalencia. ·
Un concepto estrechamente vinculado con el de relación de equivalencia es el
de partición de un conjunto. Una partición de un conjunto A es una colección
ajena por parejas de conjuntos no vacíos de A, cuya unión es A . En seguida
veremos que una relación de equivalencia en A define o induce una partición de
A y que recíprocamente, una partición de A produce una relación de equiva-
lencia en A.
Dada una relación de equivalencia R en A, para cada a e A, sea R (a) =
= R( {a })= {x E A: aRx} . Afirmamos que la colección { R(a): a e A\
es una partición de A. Para cada a E A, a e R (a) y,por tanto,A = Uae..t R(a).
Concluimos la demostración al probar que si. R (a) n R (b) 0 , entonces*
R (a)= R(b). Supóngase que e e R(a) n R(b); es decir, que aRc y bRc. Por
la simetría y la transitividad de la relación de equivalencia, obtenemos aRb.
Además, si x E R (a), entonces aRx y, por ende, bRx , o sea, x E R ( b ) . Esto
nos hace ver que R (a) e R (b). Entonces, por simetría, R (b) e R(a) y, por
tanto,R(a) = R(b).
Recíprocamente, si tenemos una partición de A podemos definir una relación
R de la manera siguiente: aRb si a y e pertenecen al mismo subconjunto de la
partición. Resulta fácil comprobar que R es una relación de equivalencia en A .
Los subconjuntos R (a) de una partición de A correspondiente a una rela-
ción de equivalencia R suelen llamarse clases de equivalencia, y un elemento
cualquiera de una clase de equivalencia se llama representante de esa clase. El
conjunto cuyos elementos son las clases de equivalencia se llama conjunto
cociente de A con respecto a R, y se denota por A/ R ( A módulo R ).
Por tanto, R (a) e A / R . A menudo, se denota la clase de equivalencia R (a )
por [a].
Por ejemplo, si Z es el conjunto de los enteros, definimos una relación R en
Z X (Z "' {O}) de la manera siguiente:
PROBLEMAS
t. Sea A el conjunto de las funciones/ con dominio DI C X e imagenR ¡ C Y,
y sea A un conjunto parcialmente ordenado por extensión; es decir, g-< f si, Y
sólo si, g e f. Si { 9s : se S} es una cadena en A, demuéstrese que la función
g tal que D =Uses D 9 , y g(x) = gix) para todo x e 0 0 " es cota superior de
9
esta cadena en A.
2. Sea N el conjunto de los enteros positivos con un orden parcial definido
por a -< b si a I b. ¿Poseen todas las cadenas de este conjunto parcialmente orde-
nado una cota superior?, ¿posee cota superior cada cadena finita? Demuéstrese
que N tiene también un orden parcial definido por el inverso del orden parcial
dad.o. En ~ste conjunto parcialmente ordenado, ¿posee cada cadena una cota su-
penor?, ¿tiene elemento maximal este conjunto parcialmente ordenado?
3b· )En (R X R, . donde R es el conjunto de los números reales, definamos
const·t -< e' d) s1 a < e 0 b ten
( a, · ª = e Y b ~ d. Verifíquese que esta relac1on ·•
1 uye un orden parci 1 R X .
gráfico de R X R. ª en R. Este orden parcial se llama orden lex1co·
4. Si Z es el conjunto de t 0 d ti
namos aRb si b_ os los enteros y m es un entero positivo, de 1•
1111
descnbasc la particio' ~· dDcr~rnéstresc que R es relación de equivalencia en Z Y
S. EnelconJ·unt 0 nU" in uc1da por R
1 • en
z.
mero racional. Dcmué e os numc ros rea 1es · R definamos aRb si a - b es un nu·
•
la parti~ión asociada d:t~esc que R es relación de equivalencia en R y dcscríbase
6. S1 r y s so . .
n numcros rncionale
(l) r + s con s Y(a, b) E r y (e, d) es, definamos:
2) lo 1a clase <le .
( rs como la clase., ~qu,valcncia que contiene a (ad + be, bd),
(3) su , • ue equivalen. cia
·. que contiene u (ac, bel),
pon1cnuo que b>
0 Yque e/ > O, r < s si ad < be.
S·CONJUNTOSCONTABLES
Como A3 e A e A ;t., J AJ
=>A 4 :>A :) .. ~ i,
A1 = U B1,; = níl
k=O = t
A" u (A 1 - A 2 ) u (A 2 - A3 )
(X) 00
k EN·,
(X)
x paraxeUB2 ".
n= O
5
·6 Proposición. Si A es un conjunto infinito, entonces card A ~ ~o.
DEMOSTRACIÓN T
e N} d · .ornemos en A un conjunto contablemente infinito {a,.: n
1
a .. . e ª manera siguiente·: sea ª1 cualquier elemento de A. Una vez escogidos
, ª n - , definirem
1
'
que no pued osª n como cualquier elemento de A "' {a1 , • • • , an - 1}1
1
Escaneado con CamScanner
5 • Conjuntos contables 33
i E/, j E J.
,
Este es un mapeo uno-a-uno de A X Ben N y, en consecuencia, card (A X B) ~
Ko.• .
1
1 A, = {aiJ : j e J I e N}.
Supóngase que U, e
1
A¡ es no vacío, pues, de lo contrario, el teorema se re-
duce a lo trivial. Si x e U' eI A' ' entonces x = a iJ para, por lo menos, un par
1
(i, i) con; e/ y¡ el, . Sea/(x) = (i, j), donde i es el menor de los enteros po-
. 1 2
sitivos tales que x = a,¡ Esto produce un mapeo uno-a•uno de U1e1 A;en N •
PROBLEMAS . .
1. Demuést rese q ue el conJ'unt:> de todos
. los polmonuos con coeficientes ra.
cionales es contable. . . .
l . Se dice que un número complejo es alge~ratco sobre los racionales si es un
cero de algún polinomio con coeficientes racionales. Demuéstrese que el con.
junto de todos los números algebmicos ~s contable.
3. Demuéstrese que el conjunto de todos los puntos del plano Rl con coorde.
nadas racionales es contable.
4. Para cualquier función/, demuéstrese que
card R 1 ~ card D 1 .
s.
Demuéstrese que @ (X) y el conjunto de todas las funciones de X en
[O, 1] poseen el mismo número cardinal.
6. Demuéstrese que, para cualquier conjunto X,
6•CONJUNT0S INCONTABLES
61
· . Proposición.E/ conjunto de los números reales en el intervalo abierto (O, l)
es mcontab/e.
2x -1
- , xe(O,!)
X
f(x) =
2x -1
X E [1, 1)
1-x'
C1 = [O, t] u [i, l]
C 2 = [O, t J u [f , ·! ] u [i, f J u [ }, I]
y
a= º·ª1ª2 · · · a,.- 10222 · · ·
b = O.a1a2 · · · ªn-12000 • • •
donde a1 = o O 2 k
Se pue e obtener 0 t ~ n-1.
d para Por tanto,/(a) = fi(b).
· ·
derar el . ro e1emplo de un número cardinal incontable al consi·
COOJUnto pot . d . ,
mero cardinal de ~ (;ncm el conJunto R de todos los números reales. El nu-
) será mayor que e (problema 6, pág. 34 ).
PROBLEMAS
1. Demuéstrese que 1 . . .
table. e con1unto de todos los números irracionales es lllcon
2. Sea A ==l( ·
decimales deflm1~' Y) : O < x < 1 y O < y < 1} e Rl Con representaciones
O ' mos f(x ) - . y ::::
ct?l '' · ,Demuéstres; y - O.x1Y1X2Y1 .. · cuando x = O.X1X2 ".' ~rvalo
•3) Y: por tanto, concl. que / es un mapeo . uno-a-uno de A en el int
• S1 card A == uyase que card A =
card (C card e y 81· e· " B) ::::
X D). card B == card D, demuéstrese que card (A "
4· Demué
strese que Rl .
tiene número cardinal e.
Escaneado con CamScanner
6 · Conjuntos incontables 37
/.
I
r
r
r
/
1
!
1
f
1
1
}
1
1
1
1
I
J
Escaneado con CamScanner
1i1siste111;1
tle. 111Í111e1·••~
1·e;1les
2
1 · INTRODUCCIÓN
b.- - - - - - - - - - - - - -- - - - - - - -- - -¡E
8scaneado con CamScanner
2 · Anilloe y c.ampos ordenado• 39
[ ( b, l) 1[ ( 1, b) J = [(b, b) J = [(1, 1) J = 1.
i
1
Las propiedades básicas de los números ra.cionales quedan descritas al enun-
ciar que el sistema de números racionales es un campo con orden arquimediano.
f En esta sección definiremos estos términos. Empezaremos por definir una es-
tructura algebraica qué se llama anillo, la cual tiene relación con el concepto de
campo.
1
1
2 · 1 Definición. Un anillo es un con¡unto R con dos funciones definidas de
R X R en R , llamadas adición y multiplicación y denotadas p~r el simbolismo
t habitual, que satisfacen las condiciones siguientes:
r
a- b = a + (- b ).
(2,6) - a= (-l)a.
2 · 7 Defi • · •
cu . .
llllcio~ .• ~n campo F es un anillo conmutativo con unidad do e s
nd e
I
mp e la cond1c1on siguiente:
M4 . Para cad -'- 0 . • 1 ::: l.
ª ª .,_ en F existe un elemento a· 1 e F tal que a·ª
El sistema de los • da ele·
mento dist' t numeras racionales es un campo. En un campo F' ca 1
m o de cero b t. . t d fine de a
manera siguient 1 . .1ene un inverso multiplicativo b· , y se e
e a operac1on de división:
1== ab· 1
, donde b =I= O.
Obséivese
que 2 . 4 im ¡· .
Como un cam Pica que O no puede tener inverso multiplicativo. d de
2 ·2 a2 po es un a ·11 . solta os
· 6 se ver'fi l
ru o conmutativo con unidad, los re
ican en u •.
n campo. En un campo F tenemos, ademas,
Éscaneado con CamScanner
2 · Anillos y campoe ordenados 41
(2 · 8) *
ab = ac Y a O implkan que b = e ( cancelación)
(a·lrl =a y(ab)"I = a ·lb·I
(2 · 9)
(2 · 10) -ª- + f. = ad + be y !! . f. = ac .
b d bd b d bd
r
2. 11 Definición. Se dice que un anillo R es un anillo ordenado si existe un
subconjunto P de R tal que ·
l. O,¡ P;
2. Si a =fo O, entonces uno, y sólo uno, de los elementos a o -a está en P;
3. Si a, b e P, entonces a + b e P y ap e P.
a < b si b - a e P.
1 ·
una de las re1ac1ones • ·entes·. a< b, a = b• b >
s1gm
' '
¡. (2 · 13) a < b y b < e implicán que a < c
(2 · 14) a< b implica que a +e< b + e, para todo e e R.
i (2 · 15)
(2 · 16)
a< by O< e implican que ac < be
a< by e< Oimplican que ac > be
1
(2 · 17) a =I= Oimplica que a2 > O.
t
,1
1 Si R tiene unidad 1 entonces 2 · 17 implica que 1 > O. 'dad contiene a los
Podcmos suponer , .1 d ado con um
1 que cualquier ami o or ~n _ 1 1 + 1, etc., con los
1
enteros, si identificamos los elementos del amllo O, ' d 'R con unidad es un
1 enteros O, 1, -1, 2, etc. s·e dice que un anillo ordena o
1
) '
1,
! ~
Escaneado con CamScanner
Cap. 2 El sistema de nilmcros rcale3
42
PROBLEMAS
l. Demuéstrense las propiedades de 2 · 2 a 2 · 6.
2. Demuéstrense las propiedades de 2 · 8 a 2 · 10.
3. Demuéstrense las propiedades de 2 · 12 a 2 · 17.
4. Demuéstrense las propiedades de 2 · 18 a 2 · 19.
S. Demuéstrense las propiedades fundamentales del valor absoluto.
6. Demuéstrese que 11 a 1 - 1b 11 " 1a - b l. ill
7 s·1 dr • • :\' en UJ\ !lll O
· .:r es el conJunto de todas las funciones de un conJunto ' .0 0 ei
R • con Ias defim1c1ones
· · · ·
acostumbradas de adición y mult1phcac1on · ' do func• '
demuéstrese que 'F ea un anillo il
8 U b · · • . . 51· niismo, ui
. · n su conJunto S de un anillo R se llama subamllo sa es, en , 1· • ues
10
anillo. con la s operaciones
· . ,
de R restringidas a S. Espcc1f1quonsc las conu1c
mfmmas para q e b .
9 U . u un su conjunto de un anillo sen subamllo. ·\1"º ~ Je
· n anillo R ea isomorfo a un anillo R' si existe un mapoo·ll
R sobre R,, tal que
Silp es un isomorfISmo del anillo R sobre el anillo R', demuéstrese que .,o(O) = O,
cp(-a) = - cp( a), cp(l) = l.
10. Si R es el conjunto de los polinomios que tienen coeficientes racionales,
demuéstrese que R es un anillo cuando se utilizan las definiciones usuales de adi-
ción y multiplicación de polinomios. Sea P el conjunto de los polinomios en R
cuyo primer coeficiente es positivo. Demuéstrese que P es un cono positivo de
R.
11. Demuéstrese que un campo ordenado debe ser infmito.
12. Sean a y b elementos de un campo ordenado F, con a< b. Demuéstrese
que existe un e e F, tal que a< e < b.
3· SUCESIONES DE CAUCHY
1 l
- - O = - < e siempre que n ;;;. no .
n n
DEMOSTRACIÓN. Sea (an) una sucesión de elementos en F tales que lím an=
= a. Entonces, para cada e > O en F existe un entero positivo n0 tal que
Por tanto,
es decir,
l
I
DEMOSTRACIÓN. Tomamos e > O en F. Existe un entero positivo no tal que
l
1
la,, - ami < e/2 siempre que m, n ~ no.
la,. - al ~ la,. _ ª""' + la,." _ al < e siempre que, " > "º · •
C . ch de números racionales.
D 0 ns1deremos a continuación sucesiones de Cau Y C h de números
enotaremos por '& el conjunto de todas las sucesiones de auc y
DEMOSTRACIÓN e · te un nú·
mero racional : . orno toda sucesión de Cauéhy está acotada, ex~ (unero
racional positi:os;ivo M tal que I a" 1~ M para todo n. Sea e cualquier n
0
• ntonces, existe un entero positivo n 0 tal que
Juego
PROBLEMAS
t. Si (a,.) y (bn) son sucesiones de elementos en un campo ordenado F tales
que lím a,. = a y lím b,. = b, demuéstrese que
, 1
11m- 1 O
=lím - = .
2" n
Resulta f , il . . .
tant d ac venftcar que esta relación es una relación de equivalencia Y, por
Por ºt'( etennina una partición de <G en clases de equivalencia, que denotaremos
a,.)] .
para n <no
para n ~ n0
Y, en consecuencia,
~ siempre que m, n ~ mo ·
lbn - bm1< CJ
--~ -decir, [(an)] < [(b~)] si, para algún racional positivo & y algú~- entero posi·
tivo n~' b,. :- a,. > e siempre que n ~ no .
. ent~o~d~nt;ficar los números reales [ ( O) ], [ ( l)] ' [( - l )]' [( 2 ) ] , etc., co~ los-
.
d1ano. ' ' - l, 2, etc., podemos ver que R es un campo con orden arquime-
me> M.
Entonces,
ma,. - b,, > me - M > O siempre que, n ~ n0 •
Por tanto,
¡
1
pecto a las operacionés de adición y multiplicación, y también con respecto al
orden. Dicho en lenguaje más formal, queremos demostrar que el campo racional
es isomorfo a un subconjunto del campo real.
1
4 · S· Definición. Si F y F' son campos, entonces-F es isomorfo a un subcon.
junto S' de F' si existe una función f de F sobre S' tal que, para todo a y b en
F
!( a + b) = ((m ) ) = [( a) J + [( b ) J = /( a ) + /( b)
1
Escaneado con CamScanner
El gistcma de números real~
52 Cap, 2
y
f(ab) == [(ab)] = [(<i)][(b)] = f(a)f(b). •
4 · 7 Teorema. Entre dos números reales distintos, cualesquiera que sean, hay
un número racional.
X< e* <y.
Sean x = [(an)] YY = ((bn)]. Entonces, [(an)] < [(bn )] implica que, para algún
racional positivo e y algún entero positivo n0 ,
Como (a,.) Y (b,.) están en ~ , existe un entero positivo m0 > no tal que
o, de manera equivalente,
X< e* <y. •
t o sea,
PROBLEMAS
Cap. 2
El sistema de números reales
S·1 T
eorema. El campo real R es completo.
DEMOSTRACIÓN S Para
cada entero po ft· · ea (x,,) una suc.esión de Cauchy de números reales. l/ 1
ivo n tomam
Para demostrarsque (
. < + ,.
os un racmnal a,, tal que x 11 < a! X n E ·ste
un entero posir a,, ) e 'G , sea e cualquier número racional pos1·t·vo
1 • ·x1
"º
ivo > 3/e tal que
y, por tanto,
Si ponemos x = [(an)], podemos hacer ver que límx =x. Tómese f> > Oen R.
11
Como lím a: = x, existe un entero positivo ,.10 > 2/6 con la propiedad de que
lx, - x.l ~ c.
Como (x,,) es no decreciente, esto implica que para todo entero positivo n,
existe un entero positivo r > n tal que
X, - Xn ;;,i.e.
x,., ;;;;i. x, + c.
¡
(
5 • Com¡>lctcz del 11i!toma de n6mcros reales 57
t
PROBLEMAS
J. Demuéstrese que una sucesión acotada y no creciente de números reales
converge.
2. Si lím bn = b y si a ~ b,, para todo 11, denméstrese que a< b.
¡ 3. Si Ses un conjunto no vacío de ní1meros reales que está acotado por abajo,
demuéstrese que S tiene ínfimo.
l 4. Demuéstrese que R posee la propiedad de Dedekind: si se particiona R en
1 dos conjuntos L y U, tales que cada elemento de L sea menor que cada elemento
f. de U, entonces l tiene un elemento máximo o U tiene un elemento mínimo.
5. Se dice que un punto e E Res punto límite de la sucesión (xn) de números
reales si, para cada e > O y para cada entero positivo m, existe un entero po-
f sitivo 11 ~ m tal que lxn - e 1< e. Demuéstrese que una sucesión acotada (xn)
de números reales posee, por lo menos, un punto límite.
1
¡ 6. Demuéstrese que una sucesión acotada de números reales tiene una subsu-
cesión convergente.
¡, 7. Si lím a,,= a, lím b,, =by a,,~ bn para todo n, demuéstrese que a~ b.
1 8. Si (x,,) es una sucesión acotada de números reales, sean
\
( y" =ínf{x11 : n ~ k} y z" = sup{x11 : n ~k}.
1
1
1
i lím Yk = sup{y1J y lím z11 = ínf {z,J.
¡_
! b) Definimos el límite inferior y el Umite superior de (x11 ) de la manera si-
, guiente:
lím
-
x 11 = lím ínf{xn : ,r ~ k} = sup ínf{x 11 : 11 ~ k}
A:~CIO , A:
Demuéstrese que
!
lím x11 ~ l(m x11 •
f
'
1
l
0
t
Escaneado con CamScanner
58
6. LOS NÚMEROS COMPLEJOS
·stema numérico estudiado en el anülisis es el .
Ot ro importante s1 , s1stcrna d
. L:1 1,ro¡Jieclad de los numcros complejos que I e lo,
· s c01np1eJOS. ' 1 r es Prest
numero l asos consiste en que se puel e iactorizar todo p 1· a u1¡.
l'd d en mue ,os c d o inorn·1
1
ª b el campo complejo en un pro ucto de factores lin 0 no
constante so re I d 1'I b ca1es E
• 'd como teorema fundamenta e a ge ra, se <.lcmostra , · ste
hecho conoct o 1· . , d ra en el
' A . sólo daremos una breve exp 1cac1on e los números e ca.
pítulo 4. qut •. d . ornplejo5
pues supo1 ,cmos que el lector ya esttí versa o en 1as manipulaciones rut· . , rnan31
con estos números.
cp(x) = (x. O)
(x, Y) == (x O) + (O )
' = x + yi.
, Y == (x, O)+ (y, O) · (O, l)
Esto resulta
en 1ª notación farru·1·iar para los números compleios. Si z === (.\,· ·I')• '
entonces x se 11
d ama parte re l ., J • . • U1r111
e z, lm(z). . a ue z y se denota por Rl(z), y y parte ,magu
Observemos que
2
1 (O
-
-
2
• 1) == ( - t, O) =- l.
que ( - l , O) = - ( l O)y(l O) e 1
s mto
b de cero es pos11vo.
·t · ,
As1,tendríamos
• , son am os
las propiedades básicas del cono JJ .t.'
·r
pos, ,vos, 1o cual co ntradice una de
" d C os, ivo en un campo ord enad o
/\Un cuan o no es un ca1111 d , .
JO or enado pode d fi ·
luto en este sistema co n las 111 ,·snl . ' mos e mir un va lor abso-
' as prop1ethdes bá · cJ 1 1
sistema de los números reales Defi . ' .I sacas e va or absoluto en el
· numos e1 vn or absol tO d 1 ,
== (x. y) de la manera siguiente: u e numero complejo
(xn) y (yn) son sucesiones de Ca uchy de números r~alcs. Por tanto, estas su:
cesiones convergen, y podemos poner lím .\'n = x Y hm )',, =Y : Entonces, s1
z = (x, y), lím z11 = z (problema 7).
Si consideramos el número complejo z = (x. y) como el punto del plano
euclidiano de coordenadas x y y, entonces I z 1 - z2 1 es la distancia entre los
puntos z 1 y z 2 •
e) \z\ = \z\
d) zi¡; = z,21
e) Z1 + Z1 :: Z1 + 21
3. Si f(z) = z, demuéstrese que fes continua en C ; es decir, \a operación de
tomar el conjugado complejo es continua.
4. Demuéstrese que:
a) \eit\ = l
b) Esta función es un rnapeo uno-a-uno del O, 2n 1sobre la circunferencia
unitaria en C ( o R1 ).
e) Se puede escribir cualquier número complejo zen la forma re¡' donde
r = \z\.
d) r1eil'. r1ei12 = r1r1ei(1,+12>.
6 V ·r· · n,or·
. en iquese que la función '{) drfmida por lf'(X) = (x, O) es un iso
fiismode R en C
i. Sean (x , y. (y , . . . _ x y lílll
_ . "' "' sucesiones de números reales -tales que hm x,. -
Yn -o Ys·. S1 z" -- (x •, Y111,
, d emuestrese que lím z" = (x, y).
0 en·
º· 1 z = r1 c10, • • ,z es u
tero pos·t~ es un numero complejo distinto de cero Y si . f gan \:1
1 ivo detcr ' satis a
ecuación ' mmense todos \os números complejos z que
Z" -- ~
"'1·
2 · ESPACIOS LINEALES
As, (x + y) + Z =X + (y + Z)
A2. x+y=y+x
A,. Existe un elemento Oen X tal que x + O = x para todo x e X.
A4. Para cada x e X existe un, elemento - x e X tal que x + ( - x) = O.
S1. a (x + y) = ax + ay
S2 , · ( a + ~)x = ax + ~x
s,. a(~x) = (a~)x
S4. 1 •X= X
62 Cap. 3 Espacios lineales
Resulta fácil verificar que V,. ( R) satisface las condiciones para ser un espacio
lineal sobre R. De la misma manera, el conjunto de todas las n-adas de números
complejos, con las definiciones anteriores de adición y multiplicación escalar,
constituye un espacio lineal sobre C, y se denota por V,, ( C ). En el caso en que
n = l , entendemos que V1 ( F) es igual a F ; en consecuencia, F es un espacio
lineal sobre F .
Antes de dar más ejemplos de espacios lineales, examinaremos algunas pro-
piedades elementales que pueden deducirse directamente de la definición de es- ·
pacio lineal; por ejemplo, si sumamos - x a los dos miembros de x + y = x,
podemos demostrar que si x + y = x para algún x e X, entonces y = O. Esto
implica que el elemento cero especificado en A3. es único. El resultado puede uti·
lizarse también para ver que Ox = O para todo x e X, ya que
Ox = (O + O)x = Ox + Ox.
Por tanto, estas sucesiones con las·operaciones dadas forman un espacio lineal
sobre F, el cual se denota por V(X)(F). ·
Si en la proposición 2 · 2 tomamos T = { ( i, i) : i = 1, · · · , m; i = 1, · · · , n},
entonces X es el conjunto de todas las matrices m X n con elementos en F. Si de-
notamos una matriz por
ex, 1 + Pi'
I 1 - ex, 2 + /J 12
A+ B =[ex¡]+ [/J¡] - ...... ..
[
ext"' + P1'"
E~naclos linc11lcs
C•P· 3 •·
y ya/ · · · ya/
)'IX/.'. ya/ = [yct/J.
.. . ' •••• 1 •• ••
[a] + [ b] = [ a + b) y a( a] = [ aa J.
Como
. suele. suceder en estas st·tuac1ones,
· . demostrar que esas defiru·.
es preciso
fiCIOnes son. independientes del representante utilizado; por ejemplo hay que veri-
1car que s1 [a] = [a'] y [ b] = [ b'], entonces ,
PROBLEMAS
t. Verifíquese que V"(R) es un espacio lineal.
2. Si X es un espacio lineal sobre un campo ·F, demuéstrese que
a) - X= (-1).Y
b) Si'x, Y E X, entonces existe un z único en X tal que
X+ Z = y,
e) Si a.x = O, entonces a= O, o bien x = O.
3. Sea X un espacio lineal sopre el campo F, y tomemos x, y e X Demués-
trese que ·
{S = ax + (3y: a (3 e F}
es un subcspacio.
4. Sea X el conjunto de todos los polinomios de grado menor que n con coe-
ficientes reales. Con las definiciones habituales de adición de polinomios y multi-
plicación de un polinomio por un número real, demuéstrese que X es un espacio
lineal sobre R
S. Sea X el conjunto de las funciones de valores reales que tienen integral de
Riemann sobre [ a, b] . Con las definiciones acostumbradas de adición y multi-
plicación por un número real, demuéstrese que X es un espacio lineal sobre R . diferenciables
6. Sea X el conjunto de las funciones de valores reales que son diferenciales
en [ a, b]. Demuéstrese que X es un subespacio de las funciones continuas en
[ a, b].
7. Sea X él conjunto de todas las funciones de un conjunto no vacío Ten un
espacio lineal Y sobre el campo F. Si.definimos.
3 . BASES DE HAMEL
3
se pued e escn'bi".. cualquier vector x = (et' , a , a ) en la forma
2
En v ( R)
x = a.1 /+ =
a,'2 / + ct3 k, donde ; = (1, O, O), j (O, 1, O) y k = (O, O, 1). La
66
.. k) se llnmn bnse de V3 ( lt). En esta sección generaliza re
tern:i ( ,, /, b 1 11 1 mos esta 'd
. os el concepto de ase le nme en un espacio linc • 1· ca
y estud1are111 . a1arbitr .
. .d C"SO en que ta bnsc de· 1lnmel no es firutn. Una base fin·,t d ario
me1u1 o eI " a e IJa '
suele llnm:irse, simplemente, base. . rne1
Sen X un espacio lineal sobre el campo F. Retuvunos que una familia (x
v es una función 1f de un conjunto indexado s on X ,),..,
de p11n tos ell " ·. • • · . , , tal u
A(s) = x . Una fom11ia (x,)us · de (~\'.,),,ses la rostncción do A 3 I q e
sub
. to dse s' de s La sul>familln se llama finita si s' tiene un núnie fisu!).
con1un · ro Jnito
de elementos.
¿ a. = O implica que
1 .'(
1
a1 = O para todo se S'.
s, s·
L a'y, = O
, Er·
=> ¿ exf<.s)Xs = O
s Es•
=> al<•) = O para todos ES';
es decir, ex' = O para todo t E T'. Esto demuestra que B es linealmente indepen-
diente. De la misma manera, si Bes linealmente independiente, entonces A es Ji.
nealmente independiente. •
" cx 1e •
(ex•, •.• , a")=¿ 1
1= 1
x =¿ a'x,
.1 1S 1
X= L a.sxs = L Wxs.
se SJ seSJ
Vamos a demostrar que todo espacio lineal no trivial posee una base de
Hamel y que las imágenes o, lo cual es equivalente, los conjuntos de índices de
dos bases de Hamel cualesquiera de un espacio tienen el mismo número cardinal.
Este número cardinal se llama dimensión del espacio. La dimensión del espacio
trivial {O} se toma como cero. Como hemos demostrado que (e,, · ··, e,.) es una
base de Y,.(R) , la dimensión de este espacio es n. ~ ..
. En el análisis que siguió a la proposición 3 · 3, hicimos ver que cada familia
linealmente independiente A = ( x ) corresponde a una familia linealmente
' d . ,;1 ,eS E
m ependiente B con conjunto de índices {x 1 : s e S), tal que B(xs) =Xs · 'é~
1
más: se ve claramente que si A es una base de Hamel de X, entonces B es tam~ •
una base de Hamel de X . Dedicaremos
. . so, lO a tas familias
aquí nuestra atención d A
que son del m·1Smo tipo
. que B· es decir consideraremos fam1.1ias . J" ' don e
es un subcon·JUnto de X e /,. es' la función
, idéntica en A .
3 · Bues de llamel 69
3 · 6 Proposición. Una familia I 8 e11 !íF es una base de l lamel si, y sólo si, es un
elemento máximo de :F .
.
DEM0STRAC10N. Sea/ 8 una base de Hamel de X, y supóngase que/ A es una
*
familia en ~ tal que 18 -< IA . Si A - B O, tomamos x e A ...., B. Como
18 es una base de Hamel, ex.isten vectores b 1 , • • • , b II en n y escalares ex1 , • • • , ex"
tales que
"
x=¿cib1 •
i= 1
n
cxx + ¿ aib1 = O.
i= 1
1
x=¿ 11 ( ex )
-- b¡.
1= 1 ex
n
(3 · 10) e=¿ rib¡ donde b; e B y a.¡ ::f: O.
I= 1
Sea g la función con dominio {b1} tal que g(b 1 ) = c. Entonces, /I (R, U (B ,...,
D11)) = / 1( { c}u (B "' { bi}) es linealmente independiente. De no suceder así, e
sería una combinación lineal de un número finito de elementos de B""{bi} , y
esto contradice la unicidad de 3 · 10. Por tanto, g e (fJ •
Sea {g, : t e T} una cadena en f§ • Si definimos la función g por Dg =
U,eT D11, y g(x) = g,(x) si x e 0 9, , entonces ges función uno-a-uno
de un subconjunto de B sobre un subconjunto de C tal que/ 1(Rq u (B"' D9))es
"linealmente independiente. Esto sucede porque si S es subconjunto finito de
R, U(B-D,), sesuponequeS=S, US2,dondeS 1 e R 8 yS2 e B - D,
tonces, para algún te T, S1 C R, 1 y S2CB ...... D111 • Como Il(R11,u(B ...... D11,))es
linealmente independiente, /IS debe ser linealmente independiente Y, en conse-
cuencia,/l(R, u (B"' D11))es linealmente independiente. Por tanto, ge fJ Y g
es cota superior de la cadena dada.
3 · Oaecs de llamcl 71
PROBLEMAS
1. Demuéstrese que una familia linealmente independiente no puede tener en
su imagen al vector cero. . d
2. Demuéstrese que cualquier subfamilia de una familia linealmente m epen-
diente es linealmente independiente. . .
3 s· / es linealmente independiente, pero I (xi v s es linealmente depen~1ente,
1
• , s puede escribir x como combinación lineal de un numero
demuestrese que se .
finito de elementos de S. . d t das las matrices m X n con elementos ... , i'
4. Si F ::' es el espacio e o
' t ese que dirn F "'= mn.
demues r n1 . rnea} e[a b] tiene dimensión infinita.
S. Demuéstrese que e espacio l '
. -
E~pado! lineales
72 C.P· 3
. de un espacio lineal X, <le muéstrese que <.li y
. 1' subcsp:ic10 . . rn .- ct·
6. S1 cs. \ d ,de y =I= X, pero dm, Y = d1m X. "' •rn x
Póngosc un CJC11lP o 0 1
_ ." demuéstrese que a mm 1 f . ·113
· (/,.) : ,.. o es lineal .
7. Si f," (x) - ·'l} ' mente inct
~
.
pcnd1c1 ,te en C(O, · f ·' ·
ue un polinomio es unc,on par s,, y sólo si co t·
S. Demuéstrese q • n 1cnc ún¡.
e3ntcnte potencias pares.
4 . TRANSFORMACIONES LINEALES
para todo x 1 , x 2 E X Y cx
1
, ª2 e F·
• Proposici6n. Una lransformación lineal T es 11110 -a -11110 si, Y sólo si, T(x)
4 3
=
== oimplica que x = O.
DEMOSTRACIÓN. Supóngase primero que Tes uno -a-u no y que T(-:) =. ,º·
Como T(O) = O, tenemos que T( x) :=: T(O) y, por ende, x = O.A contmu ac1on
supóngase que T(x) = O implica quex = O.Si T(x 1 ) = T(x 2 ), entonces
Los espacios lineales isomorfos son, en esencia, iguales, pues existe una corres-
pondencia uno-a-uno entre sus puntos y, además, las operaciones algebraicas en
los dos espacios se corresponden; es decir, si y 1 y y 2 en Y corresponden ax 1 y
x 2 en X, entonces Y1 + y 2 corresponde a X1 + x 2 , y ay 1 corresponde a a x 1
para cualquier a e F.
A continuación veremos que dos espacios lineales cualesquiera sobre el mismo
campo, que poseen 1a misma.dimensión, son isomorfos.
¿ a·~T(xs) = O ~
se S'
=> ¿ a.·~xs = O => r.x:' =O para todo s ES'.
se S'
Entonces,
Esto revela que r.º lJ c~.una base de llame! de Y Y, por consiguiente, que X
poseen la misma dnnens,on. . . YY
A continuación supóngase que X y Y tienen la misma dimensión; sean n _
(x,)us y e = (Y.)ses bases de llamel de Xy Y, respectivamente. Definan, -
una función uno-a-uno T de {x • : s.<: S} sobre {y': s e S), poniendo T(x, :
)' s. Vamos 3 extender~T a un:i func1on
.
de X en Y de la manera siguicnt P)
S' . e. ara
cada x e X, si x = l..,SES' a' x" donde es un subconJunto finito ele S, sea
PROBLEMAS
l. Definimos la k-ésima función proyección pk <le v" ( R) en R por f\ (x ) =
= (o: 1 ' • • • • a::")· Dcmu éstrcse que /111 es una transformación lineal
a -" , donde ·,·
de V" ( R) en R . Además, vcrif(qucsc que (/' ) forma una base de Hamel para
L(V" (R), R). "
2. Si se define ta función r de C[a, b) en C[a, b) por
T(J)(x ) r
= f'
11
% = {x e X: T(x) = O}.
, d de V ( R) (problema 9b).
3 b:isc esl31l ar
1 2 • . •
con respecto a d' n L(X F) ~ d,m X. S1 X es ele dimensión finit
11 · Demuéstrese que 11 ' • X a,
L(X F) es isomorfo a ·
demuéstrese que •
S·ÁLGEBRAS
. vectoriales además de las operaciones del espacio mismo
En muchos espacios , . . ., . ,
eración que suele llamarse mult1phcac1on; por eJemplo, en los sis-
aparece otra oP '
temas de números reales y complejos R y
e ~x1ste
. u~a operac1on.
., de multi-
. ., dema's de las operaciones del espacio vectonal. Un espac10 vectorial
p1racwn,
1 a .
con una propiedad de multiplicación adecuadamente relacionada con las opera-
ciones del espacio vectorial, se llama álgebra.
ex= x = xe.
Si para un elemento x en 'J
que un ª gebra X con unidad existe un elemento y e X tal
xy =e= yx
5 • J\lgcbU!I 77
ST = S º T
n
T(ek) = ¿ r/ei,
j= 1
S(eJ) = L (J/e, •
I= 1
i'U
f {~ 11/r/),·,.
, .. 1 Í " 1
PROBLEMAS
1. Verifíquese que L( Y, Y) es un tilgebrn con unidad. ,
2. Si x Y Y son elementos. invertibles en un álgebra con unidad, demucstrese
que XJ' es invertible, y que
(
1Si en el espacio lineal V,n{R) definimos la distancia entre los puntos x =
= (/1 1 , • • ·, /J"') como .
ex ' • • ·' ex"') Y Y
de un conJunto.
· Un conjunto en el cual se ha definid o una d.istanc1·a en tre 1os
elc1:1cntos se llamo cspncio métrico. .
d En. este cn¡1ítt1lo cstt d. 1 .
1 inrcmos os prop1c
dádc"
.. de los espacios métricos
. Y
cfimrcmos fa continuidad de funciones y la convergencia de succs1011c~ en
estos
.• 1 · Ob tenemos dos vcntnjas ni co11s1'dcrnr estos temas en la. s1tua-
cs¡,ac·os
~1011 general de un cspncio métrico: se acent úa n las propiedades cscnc,a!cs de
stos conceptos y se muestra cuán amplia es la gama de aplicacio~cs que t1c~~n.
A partir de ahí, la teoría puede dcsorrolfarsc si se incluyen pro~1cdades ad1c10-
nales en el espacio. En el capítulo 7 estudiaremos espacios métncos que poseen
la estructura algebraica de un espacio lineal.
2 · ESPACIOS MÉTRICOS
Definiremos una distancia O una función métrica en conjunto arbitrario X
como una función con algunas propiedades compartidas por la función de
distancia en el espacio euclidiano. Tomaremos como básicas las siguientes
propiedades de la distancia euclidiana:
m m m m
o< L (ri - ).p1<)2 = L <(X")2 - 2). L a."P" + ).2 ¿ <P")2.
k=J k=I . k=l . k=l
Si¿ r=1(P")2 ::/: O, entonces, con).=(¿ k=I a.kP")(¿ k=1<Plc)2)- 1 , obtenemos
(J•'P')' \t(•'>'J,(/1')'.
Si ¿ k= 1(P") 2 = O, entonces la última desigualdad se cumple trivialmente (O= O).
Esta es la desigualdad de Cauchy-SchWdn. Si hacemos x _ z = (c.< 1, . .. , c.<m) y
1
z -y = (13 , • • ·, ~m) y aplicamos la desigualdad de Cauchy-Schwarz, tenemos
81
2 • E11pacio11 métricos
~
'" [ m
<1cí;,,<rl·)2 + 2 1c~,<a.'')2
] l/2 [
"y; <P")2
'"
1
] l /2 I< 2
+ "1;;,1<P)
2
= lx - zl 2 + 2 lx - zl lz - YI + lz - Yl
= (lx - zl + lz - yl) 2 •
por tanto,
lx - YI < lx - zl + lz - YI,
dX
( ' y)
=(º1 si
S~ X=
X i:
y
y.
d) es un espacio métrico.
entonces (X,el conJ·unto de todas las funciones
· de va1ores reales <lefmidas
3. S~a X R, Y con.
tinuas en el intervalo cerrado [ a, b] de y sea
2. 3 Definición. Sean (Xi, di) y (X2, d2) dos espacios métricos. Una
función f de Xi en X 2 se llama isometría si
Se dice que dos espacios métricos (X1 , d 1 ) y (X2 , d 2 ) son isométricos si existe
una isometría de Xi sobre X 2.
/( -oo) = -1
X
/(x) = 1 + !xi' xeR
f( oo) = 1.
2
Demuéstre~ esta desigualdad. En R p~demos interpretar este resultado corno la
dectaraci6n de que la suma de las longitudes
d I d'e:
de dos lados de un cuadriláter
. . o es
mayor O igual que el valor absoluto e a 11erenc1a en 1ong1tud de los otros dos
lados.
3. Sea x el conjunto de todas las sucesiones acotadas de números reales. Si
x = (~) y y= (JJ") son elementos de X, demuéstrese que la función d definida
por
es una métrica en X
4. Sea A cualquier conjunto y definamos X como el conjunto de todas las
funciones acotadas de valores reales definidas en A. Demuéstrese que
l
f(z) == 1 + lzl 2 (x, y, lzl 2) , z e C
DEMOSTRACIÓN p ·
e E. Entonces · ara cualquier x e Int(E), existe una bola abierta B(x; r)
'
87
J . Conjuntos 1bk rl~ Y cerrad~
B(x ; r)cEs<=UEs·•
ses
DEMOSTRACIÓN. Para cualquier punto x e G, existe una bola abierta B(x; r.c, )
tal que B(x; rx) e G. Entonces 1
G= UB(x; rx),
XEG
•
3 · 1o rropos,c,
· ·6" · Sr. .1t, es rm espacio mt trico separable e11to11ces X llene
.
una
base abierta contable compuesta por bolas ablcrtaJ. '
DEMOS .
. TRACION. Sea E un conjunto denso contable en X. Entonces, el con·
JUnto de bolas abiertas que tienen como centro un punto de E y radio racional
es contable. Sea G un conjunto abierto en X y tomemos x E G. Existe un nú-
mero racional r(x ) tal que B(x,· r(x)) e G. Como E es denso en X, hay un
punto Y(x) e E tal que d(x, y(x)) < ! r(x). Entonces,
PROBLEMAS
"t
b) 0cmud res
e que E es el más pequeílo de los conjuntos ecrract
03
.
contienen ~E.
u • • •
q~
.A coitJ'untos en un espacio mttr1co, dcmutstrc e que·
5 St y 8 SOi1 - - ·
. n) A e B implica que lnt(A) e Int(B) YA e B.
b) lnt (A) u lnt(D) e Jnt(A u f!..) e _!nt(A) n Jnt(/J) == Int (A () 8
c)(AUB) = ÁUBy(AflB) C ~nJJ. . ).
d) Póngnsc un ejemplo de dos conJU ntos A y /J en un espacio métrico tales
que lnt(A) U lnt(/J) F h~t(A U /J). . . .
. A es un conJ·unto no vac10 en un es pacto métrico X y s1 r > o d •
6• S1 , crnues.
trese que
4 · CONTINUIDAD
4 · 1 D~~mición. Sean (X, di) Y (Y, d2) dos espacios métricos. Se dice que
un~ funczon f de X en Y es continua en el punto a e X si para cada e > O
existe un 1, > Otal que ' '
2
· Una fun ción f de X en }' es continua en n e X si, para cada vecindad N de
f(a) en l' ·
existe una vccinund Me.le a en X con Ja propiedad de que
f(M) e N.
es decir,
B(x; <5) c¡-•(B(f(x) ; e)) c/-1(G).
-1 (G) es abierto. . G
Por tant o, f , , e ¡·1( G) es abierto en X siempre que es
A continuacion supongase qu cualquier punto de X. La bola B(f(x ); e)
. y y tomemos x como . x p t t
abierto en , . ¡·1(B(f(x)·e))esab1ertoen . or ano,
es abierta en y y' ~n consec~;)n~•:1' ue B(x; {))' e ¡ · i(B(f(x); e)). Esto revela
existe una bola abierta B(x, q
ue fes continua. • . . • de la continuidad para demostrar una
q Emplearemos esta caractenzac1~n métricos. Antes de eso, probaremos un
.edad de los espacios
importante propi . .
lema.
4 · 3 Lema. Si A e ro11j,1111v 11v rodo en el cs¡,ocio, ;étrico (X. d) . entone
1111
la función f dcflnida por[(.,·) = d(x. A) es una función conti11u11 de X f il R.
=d(x,y)+(nfd(y, z)=d(x,y)+d(y,A).
z• A
Del mismo modo, d(y, A )~d (x, y) +d(x, A), Y, por ende,
E, entonces fes
Se ve Con claridad que si / es uniformemente, continua en ál'd
·
continua en E, aunque en general el enunciado reciproco no es v 1 o.
PROBLEMAS
5 · ESPACIOS TOPOLÓGICOS
1 • · métrico se llama
as propiedades básicas de los conjuntos abiertos en un espacio
csp3cio topológico.
5 · 1 Definición. Sea X cualquier co11ju11to 110 vacío, y sea .'Y una colección de
subconjuntos de X que satisfacen las co11clicio11es siguientes:
1) El conjunto 11acio y X pertenecen a!T:
2_) La intersección de cualquier colecció11 finita de conjuntos en !'7 es un
con¡un to en s-_
3) La unión de cualquier colección de conjulltos en :T es un conjunto en !í.
~a : º lección :T se llama topología para X, y el par (X,ff) se llama espacio topo-
gico .
. Los elementos de X se llaman puntos del espacio topológico (X, 5"), Y los
nuembros de la colección 9" se llaman conjuntos abiertos del espacio. A menudo
se denota un espacio topológico (X,!T) sencillamente por X
Como al formular las propiedades de la colección ff hemos seguido la pauta
de las de una colección de conjuntos abiertos en un espacio métrico, se ve clara-
mente que un espacio métrico ( X, d) se convierte en un espacio topológico
(X,ff) cuando tomamos .como su topología la colección de los conjuntos que
son abiertos con respecto a la métrica. Sin hablar con mucha precisión, podemos
decir que un espacio métrico es un espacio topológico; pero lo recíproco no es
cierto, en general. Se dice que un espacio topológico (X, ff) es metrizable si
puede definirse una métrica en X de modo que los conjuntos abiertos definidos
en términos de esta métrica coincidan con los conjuntos abiertos en ff. A conti-
nuación, damos un ejemplo de· un espacio topológico que no es metrizable.
Sea X cualquier conjunto. La colección§'= {0, X}es una topología para X,
que se llama topología indiscreta (o trivial). El espacio (X,ff) se llama, entonces,
espacio topológico indiscreto. En el otro extremo, la colección ff de todos los
subconjuntos de X es una topología en X, que se llama topología discreta en X,
y el espacio (X,ff) se llama espacio topológico discreto. Se ve claramente que un
espacio topológico discreto es metrizable mediante la métrica discreta, y corres-
ponde a un espacio métrico discreto. En cambio, un espacio topológico indiscreto
puede no ser metrizable. Sea X= {a, b}, donde a =I= b, y supóngase quedes una
métrica en X Entonces, d(a, b) > O. Si O < r < d(a, b ), entonces B(a; r) =
{a} y, en consecuencia, {a} es un conjunto abierto. Esto revela que el espacio
topológico indiscreto X no es metrizable si X contiene dos puntos distintos.
Si !f y ff son dos topologías en un conjunto X y ff 1 e ff 2 , entonces se
1 2
dice que ff 1 es más débil que ff 2 y que ff 2 es más fuerte que !!T 1 • Como toda
topología en X contiene a (/) y a X. la topología indiscreta es la más débil topo-
logía en X. La discreta es la topología más fuerte en X. . .
Sea (X, ff) un espacio topológico y sea E un sub~o~Junto no vac10 de X. El 1
l (5 · 4)
d(x, Y) = di (x .. Yt) + dz(Xz, Y2)
(5 · 5)
d'(x, Y)= máx{d1(X1, Yt), dzCx2 , y 2)}.
PROBLEMAS
1. sea x el conjunto de todos los enteros positivos y sea fY la colección con¡.
puesta por (/) y todos los conjuntos que contienen a todos los elementos de X
con la salvedad de un número finit•> de ellos. Demuéstrese que (X, .~) es un espa'.
cio topológico. ¿Es metrizablc- este espacio?
2. Si fes una función de un e~pacio topológico·X en un espacio topológko
indiscreto Y, demuéstrese que/ es continua. ·
J. Si 9 1 y !Y2 son dos topologías de X, demuéstrese que .:T1 f"'\ !T2 es una
topología en X
4. Si E es un conjunto en un espacio topológico X, se define la cerradura 0
clausura de E como el conjunto de puntos x E X tales que toda vecindad de x
contiene un punto de E. Demuéstrese que:
a)E=EUFr(E). _
b) E es cerrado si, y sólo si, E =E.
5. Sean Xi y X 2 . espacios métricos y se·a Xi X X2 el espacio producto con la
métrica d~finida por 5 · 4 o 5 .- 5. _ _
a) Si Ei C Xi y E 2 C X 2 , demuéstrese que Ei X E 2 = Ei X E 2 •
b) Demuéstrese que X 1 X X 2 es separable si, y sólo si, Xi y X 2 son se-
parables. ·
6. Verifíquese que los espacios métricos ( X, d 1 ). y ( X..d 2 ) son topológica-
mente equivalentes y, de hecho, uniformemente equivalentes, si existen números
positivos a y b tales que, para todo x y y en X,
P1(X1,X1,)=x1 yP.(x
2 '°)
1, Al =X1.
6 , Convergencia Ycomplelet. 99
son equivalentes.
St~gerencia: si/ e~ la idéntica de ( C, d) en ( C, d'), es fácil mostrar que / es
co~~mua. ~ara mostrar la continuidad de r 1 en un punto z0 , hay que mostrar
primero que z está acotado 'si d'(z, z0 ) es suficientemente pequeí'lo; por ejemplo,
6 · CONVERGENCIA Y COMPLETEZ
A partir de la definición, puede verse que lím x" = b si, y sólo si, lím d(x
b) = O. Se comprueba fácilmente que el límite de una sucesión convergente;~
un espacio métrico es único (problema 1).
La definición de límite de una sucesión puede ponerse en términos topoló-
gicos de la manera siguiente: el punto b E X es el límite de la sucesión (xn) en
(X, d) si para cada veciiidad N de b existe un entero positivo n0 tal que Xn EN,
siempre que n 2 110 • Esta defmición topológica puede tomarse como definición
de límite de una sucesión en un espacio topológico; sin embargo, en los espacios
topológicos generales muchas de las propiedades conocidas de los límites no se
verifican. Por ejemplo, una sucesión puede converger a más de un punto (pro-
blema 6). En los espacios métricos, se cumplen las propiedades habituales.
De la definición se desprende fácilmente que la imagen continua de una suce-
sión convergente es una sucesión convergente.
DEMOSTRACIÓN. Sea (xn) una sucesión de Cauchy en R"' do~de x,. =(a.,/,
· · ·, a,."'). Entonces, para cada t > O, existe un entero positivo n0 , tal que
(6 · 8)
lfn(t) ~ fm(t)I < e siempre que n, m > n0 •
Por tanto, para cada t e [a, b j, (/11 (t)) es una sucesión de Cauchy en R Y, por
ende, converge a un nUmero real f(t). Si tomamos el límite con respecto amen
6 · 8, obtenemos, para todo te [ a, b J
PROBLEMAS .
1. Demuéstrese que una sucesión convergente en un espacio métrico tiene
límite único.
2. Si líin Xn = x y límyn =y , demuéstrese que lím d(x n Yn) = d(x, y).
3. Si lím X n = b y (xnk) es una subsucesión d~ (xn), demuéstrese que lím
XII"== b; .
4. Definimos un punto x en un espacio métrico X como punto límite de una
sucesión (x n) si existe una subsucesión (x" k) de (x que converge ax.
11)
1
1
\
104 Cap. 4 E~pacios métricos
a) Demuéstrese que x es un punto límite de una sucesión (xn) si, y sólo si,
toda vecindad de x contiene una infinidad de términos de (x n).
b) Si (x,, ) converge, demuéstrese que (x,,) tiene un solo punto límite.
Póngase un ejemplo de una sucesión con un solo punto límite que no
converge.
e) Demuéstrese que si r" es punto límite de una sucesión de Cauchy (xn ),
entonces (xn) converge ax.
5, Si (x,, ) y (y,,) son sucesiones convergentes en R, demuéstrese que
a. lím(x" + Yn) = lím Xn + lím y,,
b. lím X11 Yn = (Jím Xn)(límyn)•
Sugerencia: aplíquese el resultado del problema 2, pág. 94.
6. Demuéstrese que en un espacio topológico indiscreto X, toda sucesión
(xn) converge a todo puntox eX
· 7. Demuéstrese que un espacio métrico discreto es completo.
8. Sea X el conjunto· de todas las m-adas de números reales, y sean d eo Yd1
las métricas definidas por
donde x · (a1 , ·· ·,a'") y y= (JJ 1, · · ·, /J'"). Demuéstrese que (X, doo) Y (X, d1)
son completos..
9. Sea X el conjunto de todas las funciones continuas de [ a, b] en R n y
defmarnos d por ·
(7 · I)
Se verifica fácilmente que ésta es una relación de equivalencia en <I (problema 1).
Por tanto, <t puede particionarse en clases de equivalencia. Denot~mos por
[ (x n )J la clase de equivalencia que contiene a (x n ), Y sea X el conJunto co-
ciente <c/R. ,
- ·
Antes de definir una métrica en X observemos que st x n Y n( ) (y ) estan en
'I entonces (d(x n, y")) es una sucesión de Cauchy de números reales, pues, por
la desigualdad del cuadrilátero (problema 2, pág. 84),
. 106 eap. 4 Espacios métricos
(7 · 2)
J(f(x),/(y)) = d(x, y)
Y, en consecuencia, fes una isometría. Por ende, (X, d) está inmerso en (X, d).
Falta demostrar que (X, d) es completo. Probaremos primero un lema. En
este lema,/ denota la función definida anteriormente.
chy en (X. d). Tomamos e. > O. Existe un entero positivo n 0 > 3/e tal que
1 e 1
<-+-+-<e.
n 3 m
Por tanto, (xn) es sucesión de Cauchy en (X, d). Si ponemos x = [(x")], po·
dremos verificar que (xn) converge ax. Por el lema 7 · 3, límf(xn) = x. Enton-
ces, como
8 · COMPACIDAD
Sea E = {ei:ei=(<>/),j= 1,2, "·} donde <>/ = O, j:f-k,y <>/ = l.El con-
junto E es cerrado y está acotado en I <XI . En cambio, la colección (B(e1 ; 1/2):
j = 1, 2, · · · } es una cubierta abierta de E en que no existe ninguna subcubierta
finita de E, pues d (e;, e,J = l cuando j -:/= k. Por tan to, el teorema de Hcine ·
Borel no se verifica en el espacio 100 •
Muchos de los resultados relativos a conjuntos cerrados y acotados en un
espacio euclidiano dependen, en realidad, de que la propiedad de Heine- Borel
se cumpla en estos conjuntos: toda cubierta abierta posee una subcubierta finita.
Por tanto, estos resultados son ciertos· en un espacio métrico con la propiedad de
Heine - Borel.
-
cubierta de E contiene una subcubierta finita. Se dice que un espacio métrico X
es compacto si, como conjunto, X es compacto.
11
H está acotado, consid eremos la cubierta ab·
Pnr:t v~r ~ ~ , exi·stc una subcubierta finita {IJ(y· l)· 'Y icrta {ll(y . I)
l' E
. E~} lle L· "qu, ,
e,.
' · E r,.,.1 }. p• ·.
or (on.
siguiente,
d(E) ~ d(F,) +2
PROBLEMAS
l. Detennínese el diámetro de c·ada uno de los conjuntos siguientes: ·
. a) la bola abierta B(O; r) en un espacio métrico X
b) E= {{x, y) e R2 : O< x < 1; O< y .< 1}
e) el conjunto de los números irracionales en [O, 1].
2. Demuéstrese que un conjunto E en el espacio métrico X está acotado, si,
y sólo si, existe una bola abierta B(O; r) tal que E e B(O; r).
3. Si E es un conjunto acotado en el espacio métrico X, demuéstrese que E
es acotado.
4.. Verifíquese que E = {1/n: n, entero positivo·} no es compacto· en R,
pero que E U {O} es compacto.
5. Verifíquese que la unión finita de conjuntos compactos en un espacio
· -métrico X es compacta.
6. Demuéstrese que un espacio métrico discreto X no es compacto, a menos
que X sea finito. Verifíquese que un espacio métrico indiscreto es siempre
compacto. ·
7. Demuéstrese que todo subconjunto finito de un espacio métrico es.com-
pacto.
8. Demuéstrese que si fes una función continua de valores reales en el espacio
compacto X, entonces existen puntos x 1, x2 e X tales que /(x1) == ínf {/(x):
• x eX}.y f(x 2 ) = sup{f(x): x eX}. .. .
9. Si X es compacto, demuéstrese que C(X, R) es un espacio métnco com-
pleto.
10. -'¿Es compacto C[O, 1)? . . . . .
11. Se dice que una cólección ~ de conjuntos posee la p~op1eda: de la mt~r-
sección firúta si la intersección de cualquier subcolección fimta d~ Y _es no va~ta.
Demuéstrese que un ·espac10 · métnco · X es compact o s1,· y sólo .si, .la intersección
. .
. . , .
de cualquier colecc1on de con1untos cer_ra os d de X con la propiedad de mter-
sección finita es no v.acía. . d b·erta abierta
12. Si X es un espacio métrico separable, demuéstrese que to ª cu 1
de X posee una sClbcubierta contable.
1)2
9. COMPACIDAD SUCESIONAL
mente acotado.
podernos elegir ~na sucesión Ú' n) .con la propiedad de que d (y II Y,., ) ~ 6 par~
111 ::/= 11. Es obv,o que esta sucesion no puede tener ninguna subsuccs1ón con
vergcnte y, por tant o, X no es sucesionalmcntc co mpacto. •
. .
A continuación daremos otra caracterización de la compacidad en los espacios
métricos.
PROBLEMAS . .
J. Si a< b, demuéstrese que el intervalo abierto (a, b) en R no es suces10nal-
111cnte compacto. .
2. Demuéstrese que un conjunto totalmente acotado en un espacio métrico
está acotado. Póngase un ejc111plo <le un conjunto aco tado que no esté total·
mente acotado. .
3. Los intervalos [O, 1/ 10), (1 /2, t] y (1/( 11 +· J), l /(11 - 1)) para " ==
2, 3, · · · , constituyen una cubierta abierta del espacio métrico [O, J] . De ter··
míncse un número de Lebesgue para esta cubierta.
4. Demuéstrese que un espacio métrico compacto es separable.
S. Si (X1, d ,) y (X2, d 2 ) son espacios métricos compactos, demuéstrese que
el espacio métrico producto, con la distancia dada por d(x, y)== di (xi, Y•)
+d2(x2,Y2), dondex = (x 1 ,x 2 ) y y= ú,.1 ,y 2 ), es compacto.
6. Si ( Fn) es una sucesión de co11juntos cerrados no vados en un espacio mé·
n+
trico compacto X tal ·que F" :) F 1, demuéstrese que íln~
1 Fn es no vacía.
7. Se dice que un espacio métrico X tiene )a compacidad de Fréchet o que
posee la propiedad de Bolzano-Weierstrass si todo subcpnjunto infinito de X
tiene un punto de acumulación en X, donde x es un punto de acumulación de
un conjunto S e X si toda vecindad de x contiene, puntos de S distintos de x.
Demuéstrese ~ue un espacio.métrico X es sucesipnalmente compacto si, y sólo si,
posee la propiedad de Bolzano-Weierstrass. ·
8. Si la sucesión (x") en un espacio métrico compacto tiene un punto línúte
únicox, demuéstrese que (x") converge ax. ·
9. Sean (X, di) y ( Y, d 2 ) espacios métricos compactos, y sea C(X, Y) el es-
. pado de las funciones continuas de X en Y, con métrica
{B((p1/q, p2 /q, ···, Pmfq); e): -rq :s; p1 :S: rq,p 1 un entero}.
n
P(z) = L a,z~
li=O ·
Este resultado se llama Teorema fund~ental del álgebra. Se deduce que P(z) ==
(z - z0 ) 'Q(z) donde Q es un polinomio de grado n -l. Sin - 1 > 1, entonces
Q(z) tiene un cero y, por tanto, posee un factor lineal. De este modo den1os-
tramos que cualquier polinomio no constante sobre C· puede expresarse como
producto de factores lineales.
111
lO ·Tcorem de lldne·Oo,dyd ,,\u.dA·A•<'..OH
·oEMOSTRACIÓN. Sea P( z) = ¿~ .. ªt z•
0 ti onde a,, ,t.: Oy n .? r, Y sea
m = ínf(IP(z)I : z E C}.
· Como
lím , ... ce ]P(rc¡')l = oo. Por tanto, existe un mímcro real R tal que
IP(zo) 1= m.
~ ~(z + Zo) C
º( z ) P(zo) ' ze .
ilio _ _ -
lb1cl
C - bk .
Entonces, .
k lkl b Id t ,,l(k + 1) l o L , , , L b 11 ¡
Q(re1'º) = l+Qkl' l! º+ H l/' " ~r · r ,,r e"'º
siempre que x x e X · d( . .
1, 2 Y x 1 , x 2) < c5 • Por tanto, E es equicontmuo.
A confmuacion
·• se supondra· que E es equicontinuo cerrado y acotado. Como
E ;s su~e~?acio cerrado del espacio mét;ico complet~ C(X, R), E es completo
(p oposic10n 6 · 11). Entonces, E es compa,;to si está totahnente acotado. El
hecho de que E esté acotado en C( X, R) impJica que existe un número M tal que
Como X es compacto, está totalmente acotado y, por ende, existe una colec-
ción finita {B(x 1 ; ó): i = 1, · .. , p} que cubre X Sea P = {Yo, y 1 , • . . , yq}
una partición de [-M, M) en subintervalos de longitud menor que e/4. El con-
junto 9 de todas las p-adas (yk,, · · ·, Ykp) de puntos de Pes un coj1junto
finito. En correspondencia con cada función g e E, existe ona p-ada en 5' tal
que
Sea fli'' el subconjunto de 9 compuesto por todas las p-adas para las cuales
existe por lo menos una g e E que satisface 10 · 6. A continu~ción, seleccio-
1
nemos una sola g e E, correspondiente a cada p-ada 9 , que sattsfaga 1O · 6,. y
sea F el conjunto de las g selecci~~adas_de tal ?1odo. Entonces, F es tambien
· t o fimi·to., para cada func1on f ·=E, existe una p-ada (y•, , · · · , y •p)
un con1un '
e 9' tal que
,
.S F•naclo~ mt rrlro~
e·~ ~,-- 1
IZO , 1 < c/4 para 1 = ' ... ' /J.
1/(x,) - J , ,
Demuéstrese el teorema de A .. .
7. Sean X Y Y esp·ac. rézel.a. Ascoh en este espacio. . •
•os
en C(x, Y) (problema 9 á
m tricos c · ·
ompactos. Demuéstrese que un conJun
t 'E
°.
continuo. ' ~ g. 84) es compacto si, y sólo si, es cerrado Yequt·
121
11 · CONEXIDAD
· ·n1cado mtu1llvo
El sigm . . . <le la conexidad
. de un espacio · m\,;1.t{lC
· 0 X consiste en
ser de· una sola pieza· es decir no es posible representarlo como umon ·' de dos
·
conJuntos ' y B. Por
separados A ' conjuntos separados A Y B entendemos que
A. n.B = (/) Y que A n B = (/>. Éstn es una condición más estricta que la simple
aJe~i~ad de A Y B, pero no tanto como requerir que la distancia entre ambos sea
positiva. Por ejemplo, en R, los conjuntos [O, l] y (1, 2) son ajenos, pero no
está~ sep_~ados. En cambio, los conjuntos [O, 1) y (1, 2] están separados, aunque
la d1stanc1a entre ambos sea de cero.
Por tanto, un espacio X no es conexo si existen dos conjuntos no vacíos A Y
B ::ies que X= A U B. y A n B =(/)y A n B=(/). De ser· así, entonces A C - B
. Y, en consecuencia, A es cerrado. De la misma manera, B debe ser un con-
Junto cerr~do. Si A y B son conjuntos cerrados, entonces los enunciados A n B =
(/) Y A n B = (/) equivalen a uno solo: A n B = (/). Por ende, podemos decir que
un espacio X es conexo si no existe ningún par de conjuntos cerrados A YB en
X tales que X= A U B· y A n B = (/). Como los éonjuntos A y B de tal par
son complementarios, podemos decir igualmente que ambos son abiertos, Y la
definición suele darse en estos términos.
11 · 2 Teorema. S, es
·¡ · u.nafunción continua del espacio métrico conexo X sobre
.
el espacio métrico Y, entonces y es conexo.
. , .y f conexo entonces habría conjuntos abiertos no
DEMOSTRACION. S1 no uese · '
-A UB yA nB=(/).Entonces,
vacíos A y B en Y ta1es que Y - •
122 Cnp. •LE~paclo8 métricos
, ··t(A) ¡· 1 (B)sonabiertosyn~v ·
1\d cmas, como/es continua y sol>rc,/ Y ac1os.
Así, si l'" no es conexo, entonces X tampoco es conexo. •
..
. .· · en R · son los intervaJos Rec
Es senc11lo describir los conJuntos conexos , · or.
demos que un conjunto/ en R se llama intervalo si para dos puntos cuaJesquiera
a y b en /, con a < b, { x : ,, < x < b} C l
.
·11 ; 4 Proposición (teorema del valor inte~ed· .• .
de un espacio métrico X R s· io.) Sea f una funcwn contmua
X y si f(a) < r(b) en ·· 1 ª Y b pertenecen a un conjunto conexo E en
, ' , entonces para cual · (.
ceEtolquef(c)==t. ' qwerte f(a),f(b)),existeunpu11to
. . 1 . na en homeom6rfica
Si definimos un arco en un espacio m~tnco como a ir g
de t •n mtcrvalo
· cerrado en R- , entonces tenemos e1·result"do
.. siguiente.
11 . s Propos1c1on.
. . , Si E es 1111 arco e11 1111 es¡,ac10 . . e11 to11ces t: es conexo.
. memco,
y
(C n A) n (C n B) = C n (A n B) = 0.
· e
la ro osición 11 . 5, no puede ser un arco.
Por tanto, C no es conexo Y, por P p E' que cotltenga a a y b. Es decir, E no
· nmg
En consecuencia, no existe · ún arco en
es conexo por arcos si no es conexo. •
. . ·1·da· un conJ·unto puede ser conexo,
1 ma no es va 1 •
• La versión recíproca de teore
sin ser conexo por arcos (problema S). ·
l :U Cnp. 4 E,pados mftric09
PROBLEMAS · , · X
. E-
1• S1 , , ,· = 1'
. . . '
n son con1·untos conexos en un espacm
.
metrico , y si
{) ¡'=1 E; :;é (J), demuéstrese que U1= 1 E; e! cone~a;
2. Si E es conexo en X y si E e F e E, demuestrese que F es conexo. Por
consiguiente, en particular, si E es conexo,'entonces E es conexo.
3. En un espacio métrico X definimos una relación R del modo siguiente:
xRy <:>e?(ÍSte un conjunto conexo en X que contiene ax y y. ·
a) Demuéstrese que R es una relación de equivalencia en X
b) Llamaremos a los conjuntos en la partición asociada de X componentes
(conexos) de X Si C(x) denota el componente que contiene ax, de-
muéstrese que C(x) es la unión de todos los conjuntos conexos que
contienen ax.
e) Demu~strese que C(x) es un conjunto conexo máximo; es decir, C{x) .
es conexo Y si C(x) C E, donde E es conexo, entonces C(x) .= E.
d) Demuéstrese que C(x) es cerrádo.
e) Si E es conexo Y En C(x) =#:(/),demuéstrese que E e C(x ).
f) X es conexo~ si posee sólo uri componente. .
4. Demuéstrese que una b l . b' rt B(
. . 0 a a 1e a a; r) en R" es convexa y por con-
s1gu1ente, conexa. '
S. Si E es un conjunto abiertO R" 1
subespacio E sonab' t en demuéstrese que los componentes de
ier os y conexos en R" .
6. Demuéstrese que cualquier . . ..
de intervalos ab1·ertos . conJunto abierto E en R es la unión contable
.3Jenos. ·
7. Si X Y y son espacios métric
son conexos. os, demuéstrese que X X Y es conexo <=> X Y Y
11 . Conc:cldad 125
2 . l Definición. Sean (X, d ,.) y (.Y. '.''l) espacfos métric9s. U11a tra11sformación
T de X en y se llama contracc16n si existe 1111 1111mero ~ e (O., 1) tal que
2 · Un teorema ele punto (ijo 127
entonces f es una contracción en [a, b]. Esto es consecuencia del teorema del
valor medio: para cada x, y e [a, b). ex.iste un z e [ a, b] tal que
i -- 1' · · · ' k .
En general, si m > n > 1 e~tonces
- '·
m-n - 1 m- n-1
(2 · 3) d(Xn,Xm) ~ L d(xn +J,Xn +J+l) ~ ¿ ).i+td(Xn-1,Xn)
. j =O J=O
Como X e (O, 1), para cada & > Oexist~ ·un entero positivo n 0 tal que
)."
_). d(x 0 , x 1) < e siempre que n ~ n0 •
1
. ). )."
d(x, Xn) = lím d(Xm, Xn) ~ l
,,. .. 00
_). d(Xn - 1• Xn) ~ l _). cl(xo, x,) . •
2. Un teorema de punto Ojo 129
1
g(x) = x - - f(x).
m
Sin duda, un punto es cero de f si, y sólo si, es punto fijo de g. Veremos que,
con una\ elección adecuada de m, ges una contracción de [a, b] en sí mismo.
Como
\
'
g'(x) = 1 - ~
m
f'(x),
O~ 1 - m2
- ~ g '(x) .~ 1 - m,
- < 1 para todo x e [ a, b] •
m m
•
mientras que si O< m 1 < 2m 1 y se toma me (}m1, m,], entonces
m2 m1
-1 < 1 - - ~ g'(x) S 1- - SO.
n1 n1
130 Cap. S Un teorema de punto fijo; 1pllcadone•
PROBLEMAS
1. Demuéstrese que una contracción es continua.
2. Demuéstrese que la ecuación
cosx =x
tiene solución única, que ocurre en [O, n/2], e indíquese cómo puede obtenerse
una aproximación a la solución por aproximaciones sucesivas.
3. Determínese una solución aproximada de 1
f(x)=O, ,
donde fes una función de valores reales y variable real. Sea Xo cualquier aproxi-
mación inicial de la solución, y sea
f(x,.)
X,.+ t = X,. - f'(x,.) •
2 · Un teorema de punto fijo 131
g(a) - -- ·-----
(1
" .,· ~I Xo b
FIGURA S· 1
g(a) ·----·--
,</{h)
FIGURA S • 2
132 Cap. 5 Un teorema de punto Ojo; aplicaciones
Demuéstrese que si existe un número positivo a tal que, para todo X E [xo -
a, x 0 + a],
En esta sección haremos una aplicación del teorema del punto fijo de Banach
a la solución de sistemas de ecuaciones algebraicas lineales. Sea X= V m ( R), el
espacio vectorial de m-adas de números reales. Existen varias maneras de definir
una métrica en X. Como vimos en el problema 8, pág. 104, los espacios métricos
(X, d 00 ) y (X, d 1 ) , donde
ffl
d 1(x, y)= L
¡ "" 1
lx' - Y11,
ffl
(3 · 2) Ax=y,
(3 · 3) Sy(x) = (/ - A )x + y = Bx + y
Sean X1 .= (x11, x/, ···, xi'"), x 2 = (x/, x/, ... , xi"') y seany1 = S,(x1),
Y2 = Sy(x2), Entonces
< máx.
1
I'" lb/1 lx/ - x/1
j = 1
=:; (máx
'
f lb/l)(máx lx/ - x)1)
j = 1 J
= .A. 00 d (X i , X2)
00
Es más: como ¡x' - xn'I ~ d00(x, x") para cada i = 1, · · · , m, concluimos que el
error en cada componente cuando x es aproximado mediante x n no excede de
(X 00"/(l - X00.))doo(X1 ,Xo),
134 Cap. 5 Un teorema de punto fijo; aplicaciones
'"
~¿'" ¿lb/llx/ - x/1
lc l J = l
Como lxi - xn' 1< d1(x, x") para cada i = l, · · · , m, el error en cada compo-
nente cuando XS';_aproximl va x" no excede de 0, 1"/(1 - X1)) d1(x 1 , x 0 ).
Si A es una matriz simétrica, es decir si a/= a/ para todo i, j = 1, · · · , m, en-
tonces X1 = X00 ; pero si A no es simétrica, en tonces X1 y X00 no son forzosa-
mente iguales. Si cualquiera de ellos es menor que l, entonces S 1 posee un
punto fijo único y la ecuación 3 · 2 tiene una solución única. Teóricamente, la
solución puede determinarse con el grado de exactitud que se desee, por aproxi-
maciones sucesivas. En la práctica, al emplear las aproximaciones sucesivas para
resolver problemas en una computadora, la precisión se ve limitada por el nú-
mero de dígitos que pueden utilizarse cómodamente en el cálculo y . por los
errores de redondeo. Tenemos la cota teórica (X" /(1 - X )) d(.-c 1 , x 0 ) para el
error en la iteración, n-ésimo, donde X.es el menor de X1 y Aoo y des la función
de distancia correspondiente.
En algunas aplicaciones importantes, la matriz A de la ecuación 3 . 2 es dia-
gonalmente dominante o incluso estricta diagonalmente dominante [40]. Se
dice que una matriz A es diagonalmente dominante si
'"
la/1 ~ L
J= 1
la/1
),t. l
3 • Ecuacione11 algebraia11 lineales 135
'" "'
I.
J== l
lb/! = I. la/1 < 1,
J= l
- 1' · · · ' m .
l• -
J:f.l
Dxn = Y - (L + U)Xn-1
o
(3 · 4)
(3 · 5) Xn =y - (L + U+ D - /)Xn-1 •
4 · ECUACIONES INTEGRALES
donde fes una función dada de R" + 1 en R" , y x es una función desconocida de
R en R" . A fin de obtener un teorema sobre la unicidad de una solución de este
problema, suponemos que / satisface una condición de Lipschitz en la segunda
variable. Si existe un número L tal qu~, para todo x,
4 · 4 Teorema Su ·
de Lipschitz · pongase que la fu11 ció11 g: R -+ R" satisface una condición
I = [to - a, t 0 + a] e N 1
y
donde ex > o.
Se demuestra fácilmente que X es un espacio métrico completo
(problema I ). Si tomamos T como la transformación definida en X por la regla
,
T(x)(t) = ). f f(t, s, x(s)) cls + g(t),
'º
.i. •• d t e' tr,·ca se debe a una suge rencia del profesor Karl Nickle.
1 La elccc1on e es a m
138 Cap. 5 Un teorema de punto fijo¡ 11pllcaclonea
~ máx[(lll M + L 1) lt - t0 1 e-«ft-tol]
te/
1
<-(IJ.IM
a.e
+ L 1) < b
para ex> ( 1XI M + L 1 )/(eb ). Por ende, para tal a., T(X) e X
Falta verificar que T es una contracción de X para valores suficientemente
grandes de a.. Tomemos xi ,x2 e X, y seany 1 = T(xi) y y 2 = T(x 2 ). Entonces,
para todo t e/,
Por tanto ,
entonces T satisface las condiciones del teorema del. punto fijo de Banach y, en
consecuencia, T posee un punto fijo único, que es la solución única en / de la
ecuación integral. • .
Otro tipo de ecuación integral que ha sido objeto de amplio estudio es:
b
(4 · 5) x(t) = A. JK(t, s)x(s) ds + g(t).
a
tiene una solución continua única x en [a, b] para cada X real tal que I X 1<
l/M(b _ a)), donde Mes una cota de K en S.
b
T(x)(t) = A. JK(t, s)x(s) ds + g(t),
a
entonces las soluciones de ·la ecuación integral son los puntos fijos de T. Como
Tes una contracción si I X 1 < I/(M(b - a)). Aplicamos el teorema del punto
fijo de BélJ!ach para concluir que esta ecuación integral tiene una solución única
para cada Xreal tal que I A 1< I/(M(b - a)). • .
~e L
PROBLEMAS J f
l. Sea X el conjunto de todas las funciones continuas de/=[~ _ a x
O
+ a]
en B [vo; b] C R". Demuéstrese que, para cada ex> o, la regla
0
'
2· Sea la función g: R -.. R" tal que cumple una condición de Lipschitz en
una. vecindad
d ., f1mamos K: R2 ->- R como func1on
N I de 1o, Y ue •• •
continua en una
vccm
. dad N 1 de (t 1 ) 0 ,
o, o . cmucstrcsc que, para algún a>O, 1a ecuac1on integra1
., ·
lmea1 e Voltcrra
,
x(t) = ,l f K(t, s)x(J) ds + g(t)
'º
donde g··. R~
. , R" es contmua
· en [a, b] y f' R n+ i ~ R" es continua y satisface
una cond1c10n de lipschitz:
S · ECUACIONES DIFERENCIALES
(5 · 2)
x(t) = f f(s, x(s)) ds + vo ,
r
'º
S · 3 Teorema. Sea f · R"+, -+ R" 11110 ftm ción co,rti1111a que satisface una con.
dició11 de Lipschitz:
en una l'ecindad N del punto (t0 , v0 ) . Hnto nces, para cada a > O tal que
,
(5 · 5) x(t) = f f(s, x(s)) ds + v 0 , te J.
'º
Observe el lector que estas fórmulas determinan la función xk en/, pues sus va-
lores en (to + ia/k, to + (j + 1)a/k] quedan detenninados por sus valores en
[to , 'º. + ia/k], i = l, · · ·, k - l , y sus valores en [to , to+ a/k ] están dados.
El con1unto E= lxk) está acotado en C(J), pues, para todo xk e E,
(S · 6)
Como
, f(s, x1;1(s)) ds 1~ T,
Ma
f
1 ,-11/t.1 1
\t
i11te11ra1I
IJel1es9111e
6
1 · INTRODUCCIÓN
145
146 Cap. 6 La integral ele Lebc.~ I(
1
d(.f. r,) = •ru ,1 - g,,
2 · LA INTEGRAL DE RIEMANN
Vamos a recordar brevemente algunos resultados sobre la integral de Riemann
de una función de R" en R. Si a= (a 1 , • • • , a") y b = (b 1 , • • ·, b" ) son puntos
de R" tales que a;~ b' para i = 1, · · · , n, en ton ces el intervalo cerrado [a, b] es
el conjunto { x : a1 ~ x' ~ b 1 }, y el intervalo abierto (a, b) es el conjunto {x:
ai < x 1 < b;}. Si; I = (a, b) o/= (a, b ], se define de la manera siguiente el vo-
lumen de/:
n (b
11
v(I) = 1
- a').
I= 1
2 · La integral de lliemann 147
Observemos que el conjunto vacío (/) puede considerarse como intervalo abierto
y r((/)) = O. .
Un conjunto de inte'rv:ilos abiertos / 1 , · · • ,J, se llamará partición de [ a, b] s1
son ajenos por pares y [ a, b1 = e ur 1,,.
donde la barra denota cerradura.
Observemos que esta acepción del término partición difiere ligeramente de la
especificada en el capítulo 1, pues los puntos en las caras de los subintervalos
no están en ninguno de los subintervalos abiertos. Una partición P' = { !/ :
j = 1, · · · , s} de [ a, b) se llama reflnmniento de la partición P, lo cual se sim-
boliza como P C P ' , si para cada¡ existe un; tal que// e 11• Si P y P 'son dos
particiones cualesquiera de [a, b ], entonces la partición P", compuesta por los
intervalos de la forma I; n 1; es un refinamiento común de P y P '.
Sea f una función de valores reales que está acotada en un intervalo [ a, b] en
R ", y sea m = ínf{/(x): x e [a, b]} y M = sup {/(x): x e [a, b]} . Para una
partición P ={/ 1 , • • • , /,} de [a, b], definimos
-" "
_ , cJc l, rf~ICl
ó L• tnkl'J>··
1'8 C.•P·
a p G !J'. 1cnc111os
,ara cad
Entonces.
'
., ¡ es Riemann-integrnble
Ja (unc1on , ., f'
en [ a, b J si las .
. tnteg 1
se dice que. d /son iguales; de ser as1, se ue me la integral de / e raes
·or e ¡nfenor e . ºmo el
supen d cir· .
\lalor común; es e .
b b fb
f<rxf+Pn)=a{f+P u; 11
2 . 1 Proposición s·f • ., p )
de partfc. ·d · 1 esta acotada en [ a, b ], entonces existe una suceswri ( k
tones e[a,b]talquePk e ~+i, lím IPkl =Oy
l'
im L(f, P,J == ff t
Y · lím U(f, f
-b
P,J = f.
-ª u
2 · La integral de Riemann 149
-h -b
f f ~ U(f, P';) < f f + l.
o a
b b -b -b
f
-ª
f - l < L(f, P 1) $ f
-ª
f Y f f ~ U(f, pi)< f f + l.
a a
-,, -,,
f-ª f
h b
-º
Jf - i < L(f, P 2) $ Y ff a
$ V(f, P2) < f f + t.
a
Al proseguir del mismo modo, obtenemos una sucesión de particiones con las
propiedades enunciadas. •
PROBLEMAS
l. Si Xc", '> es la función de R en R tal que
y si ( e, d) e [ a, b ], demuéstrese que
b
JXc,,J) =<l-c.
n
para x racional
f(x) = {~ para x irracional
l si x = e
xlx) = l O si x =,= e
y si e e [ a, b ], demuéstrese que
f
b
Xc =0.
a
,, b
f f = Jg .
a a
S
•
s·1 {/1 , ¡2 } es una partición ·r
del intervalo [ a, b] en R", ven iq
uese que
/
1
1
3 , Funciones escalonadas
151
ea/una función de R" en R, que está acotada en [a, b]. Demuéstrese qu~
6· S , s ., para cada e > oex1s· t e un a parti-
l es Riemann· integrable en [a, b] si, y solo
c.ión P tal que
3 · FUNCIONES ESCALONADAS
(1·2) fg = Í 1= 1
C¡ V(/ 1).
. ,,k = =
máx {al, a'"} y b " k mín {b_k, b'"} ~ara k = ·1, · .. , n,
S1 ponemos a ,1 [a" b"]. Además, el con1unto de intervalos abiertos
tenemOs g( x) = O para x
. _ 1 . . ' . s forma una parttc10n
'F · ·' de [a ", b "] . s·1 e;* O,
I r. f .' i == 1, . . . , r, J - , , '
; 1 ' ,, b"] ¿'!=
v(J.)= 1 1 v(l¡ n l¡ ),desuerteque
entonces I; C [a , Y '
r r s
I. C¡ v(/¡) = .L ¡ C¡ v(/ ¡ n 11)
i= l ,=t J- 1
Análogamente, s r s
' c'. v(J '.) =
L J J
I I. c1v(I¡ n 11).
. t
j= l i= l J =
r s
I, e; v(/ ¡) = ¿ ej v( /') .
i= t j = 1
Observemos que los valores de una función escalonada g en las caras ~e los
intervalos abiertos I; no entran en el cálculo de la integral de g. Todas las d15con·
tinuidades de g se presentan en estas caras.
El resultado siguiente es consecuencia inmediata de la definición de ·1a integral
de una función escalonada.
3 • 3 Proposición. Si g es una función escalonada tal que g(x \ > Opara wdo -"·
I
entonces g ~ o. '
Para cualquier
. . coniunt
'J O E en R", la función
. característica XE de E, se define
del modo s1gu1ente:
XE == l' para x e E
O para x ~ E.
Si E es un intervalo/ entonces
' Xi es una función escalonada, y
3 · Funciones escalonadas 153
f X, = v(I).
A continuación vamos a estudiar la estructura algebraica del conjunto 9' de
las funciones escalonadas en R".
J (ag + fJh) =
r
~
1 1
s
1
·
= ex Jg + p f li. •
Si definimos, para g y h en!/, g ~ h como g(x) ~h (x) para todo x e R",
entonces g es un conjunto parcialmente ordenado. Una red (lattice) es un
conjunto parcialmente ordenado en que dos elementos cualesquiera tienen
mínima cota superior y máxima cota inferior. La mínima cota superior de los
154 eap. 6 La integral de Lebcsgue
a y b se denota por a v b (a junto b) y la rnáx.·
elementos . , . una cot ·
11 b) Esta termino1og1a se re1ac10na con los e . a mfer¡0
"' b ( a co · . oncept0 r Po
. . , n En el conjunto parcialmente ordenado p; (X) d s de un·· t !l
111 tersecc10 , ., . , . e los ion
dena dos por inclusmn, la m 1mma cota superior de los subconJ·u e
de X or . . conju nto
A
u B Yla máxima cota mfenor es A n B. ntos ;t Y8 s
, l . es
A cOntinuación , demostraremos que e conJun to g de fun .
. cmnes e
a red (lattice). Sin duda, s1 g e !/ , entonces I g I E y s· scalonada
es Un . 1 Para s
g definimos 9 Y h en
g+ =g v O y g- = -(g A O),
PROBLEMAS
Si g Y h son f . . < h demuéstrese que
Jg 1.s; r,,. unc10nes escalonadas en Rn y Sl g _ ,
a . Funcionc11 cscalonaclas 155
,. s
I
i= 1
v(/;) < L v(J).
j = 1
9. Sean k y m enteros positivos, y sea R" = Rk X R111 • Six = (x', ... , xk)
e Rk y si y= (y 1 , ···,y'") E R'", sea (x, y)= (x 1 , • • · , xk ,y 1 , . • . ,y 111 ) e
R". Supóngase que [k = (a1, bi) e /"' = (a2, b2) son intervalos abiertos en
Rk y R111 , respectivamente; y definamos / 11 = (a, b ), donde a= (a,, a2 ), b =
(b1, b 2 ); es decir, / 11 = Jk X / 111 • Demuéstrese que
a) x,"(x, y)= x,k(x)x, ..,(y)
b) v11 (r) = vk(lk)v,,,(l"'), donde el subíndice de v denota la dimensión
del espacio en que se toma el volumen.
156
funcio nes escalonadas en los espacios
s· 9
1O· . ~ 1 ••
V / I S()ll rcspcc r
· · ) == q(.,·) /,(y) (vé:1sc el problema 9), dcmu6strc~c ivo~ }lt
R'" . Y f (.,. ·'
51 · H"-:: R~ X R"' , y que que/ e~ \J 't
r. • ' 1 crcnlonaJa en na
11111c10 1 ·' •
JI = J f "·
r1 •
00 00
4·2Dfi·•
. e 1mc16n. Un ¡ , . . ,a suce·
s1ón no decre . con unto E en R' es un conjunto nulo s1 existe 111 ( ·))
. ciente (g ) d fi . l (g ;i:
d1verge a co P . 1.: e unc10nes escalonadas 110 negativas, ta que k
ara cada x e E .
• mientras que gk) converge.(J
4 · Conjunto~ clr mcclilla cero 157
4 . 3 Proposición. Un co11;1111to t: e11 Rn es 1111 co11j1111to 11u/o s;, y sólo si, tiene
medida cero.
.
oEMOSTRACION. Supóngase que H es un conjunto nulo; es decir, existe una
sucesión no decreciente (gk ) <le funciones escalonadas no nega tivas tal que
(gt(x)) diverge a oo para cada x E E y (Jgk) converge. Tomamos e > Oy supo-
J
nemos que lím g ~ = c. Para cada función escalonada fl k tomamos una re-
presentación con intervalo h,ísico [ak• bk], y subintervalos abiertos /,* , i =
l , · · · , ,~, en los que gk es constante. Podemos suponer que las represe nta-
ciones se eligen de modo que cada intervalo 1/+ 1 que intersecta a [at , bi: ]
queda contenido en un intervalo 1/ . El conjunto H' de puntos situados en una
cara de algún / /, k = l, 2, · · · , es un conjunto de medida cero (problema 2).
Sean 11, · · ·, J 51 los intervalos abiertos en {/ 11 } en que g 1 > e/e . Entonces,
s,
y, luego, ¿ v(J,) < c.
¡ :: 1
¿
s2 e
- f
v(J,) < g 2 ~e y, luego,
s2
¿ v(J,) < c.
, == , e i= 1
y, por tanto,
2,v(J 1) ~ e.
Como lím Jmhk = O, podemos elegir una subsucesión (mhk.) de (mhk) tal que
1 1
4 ' S Proposición
,zo nega,. . : s·1 (/1k ) es una sucesión no creciente de funciones escalonadas
uvas y s, hm 1, t ( x ) _- Opara et x, entonces
f
lím h1 == o.
4 · Conjuntos Je medida cero 159
DEMOSTRACIÓN. Supóngase que h I vale cero fuera <le (a, b J. Entonces, para
todo k. hk vale cero fuera de [a, b]. Sea E 1 el conjunto de medida cero en el cual
lím h ,;(x) =t= O, y sea E2 el conjunto de los pun tos en que cualquiera de las fun-
ciones escalonadas h A: es discontinua. El conjunto E2 es también de medida cero
y, en consecuencia, E = E 1 U E 2 es <le medida cero. Tomamos 6 > O. Existe
una colección numerable {/1 } de intervalos abie rtos tal que H C UI,
y ¿ v(/,)
< t:. Tomamos x E [a, b] "'E. Como lím lld x) = o, existe un entero positivo
k(x) tal que /JA: (:c) (x) < t: . También existe un intervalo abierto J(x) que con-
tiene ax, tal que hq:c) es constante en.l(x). Entonces, {/1 } U {J(x) : x E [a, b)
- E) es una cubierta abierta del conjunto compacto ( a, b] y, en consecuencia,
tiene una subcubierta finita {/ 1 , · ··,Ir} U {.!(xi),·· · , J(xs)}.
Sea k 0 = m:íx {k(xi), · · ·, k(x 1 ) ) , y tomemos k 2 k 0 • Supóngase que
{I/ : j = 1, · · · , t} es una partición de [a, b) tal que J, k ( x) = ef para x e 1/ .
Si If n J(x;) =t= (/) para algún i = 1, · · ·, s, entonces para cada y e !f n J(x;),
donde Mes una cota superior de h 1 y, por ende, de todo hk. Hemos empleado
el resultado del problema 5, pág. 155, para obtener tanto 4 · 6 como 4 · 7. Al
combinar 4 . 6 y 4 . 7 para k? k 0 , tenemos
f hk
1
= "5;//v(l}') < [v([a, b]) + M]e
1
y, por tanto,
lím f''"=O. •
160 Citp. 6 l.n inh·,:rnl ,le l.rhc~uc
PROBLEMAS
· . cJ .
numerable en R, es un con_1unto e medida cero en R . , es uII co .
ílJ11n
10 110
5 Si E es el conjunto de los puntos en (O, 1J que 11 0 ticn .
• 1 .1 é E en nrngGn 4
rcpresentadón decinrn ' :cmu strcs~ que , es . un co11junto de nict1· en ~u
6. Demuéstrese que E es un con.1unto nulo sr, y sólo si, existe ida cero.
(h,J de funciones escalonadas tal que ¿ltk (x) diverge para cada x ~~~ ;uce~ó11
converge. ¿J¡ '*I
7. Si E es un conjunto de medida cero Rk, demuéstrese que
a. E X Res un conjunto de medida cero en Rk~ •
b. E X Rm es de medida cero en R" = Rk X R 111 •
para x e I;
m; M; para x E I;
g(x) = f(x) para x e i;"' I; y G(x) = f(x) para x E i;,.., I;
{
O para xt[a,b] {
O para x t [a, b].
Entonces,
-r,
lím L(f, P1c) = f-ª f
b .
Y lím U(f, P1c) = f f.
n
Además,
En particular,
y, por tanto,
y
5 . Continuación de la lnt"'"'al d Ri
- "· e cmann 163
Si E 2 es el conjunto de puntos e,1 1
as caras cJe 1 •
entonces E2 es de medida cero y e11 os mtervalos de cuaJquier p
, consecuencia E - E k'
cero. Tomamos x e [ a, b J "'E. Par d . ' - , U E2 tiene medida
a ca a e > Oexiste un r, > O tal que
lf(x) - f(y)I < e/2 siempre que y e B(x; c5) n [a, b].
.,
límfh
. k = O·'
es decir,
PROBLEMAS
l. Si f está definida en [a, b J y (f1c) y (F~) son, respectivamente, una suce-
sión no decreciente y no creciente de funciones escalonadas tales que
¡
Escaneado con CamScanner
'
La integral de Lebct1gue
164 Cap. 6
y
lím [.(x) =/(x) = Hm F,,,(x) para ctx E (a, b),
6 · EXTENSIÓN DE LA INTEGRAL
DE FUNCIONES ESCALONADAS
lím
k .... et)
f (g 1 - h1c)+ = O.
Como
es decir,
lím
, ... oo
Jg ~ Um Jh1c.
1
k .... oo
•
6 3
· Corolario, Si (gd y (h ) son sucesiones no decrecientes de fimciones
escalo d 1•
h x na as tales que (Jgk) e (Jh1c) están acotadas, y lím gk(x) = g x = un
k · ( )
. t ( ) para et x, entonces
• 1
'
,¡
_ ( 1 para x E { r 1, • • ·, rd
gk ( X ) -
O para x e R "" { r 1 , • • • , rd,
.y
6. 6 Pr
oposición. !J es rma red lattice.
Y, por tanto,
f
1
\ 1
Esto nos hace ver que (g"(x)) converge para et x. Además, si g (x) == lím g ( )
para ctx, tenemos g(x) <h(x) para et x;pero 6 · 8 implica que h(x) ~ g(x) x.
ra et x. Por tanto, g(x) = h(x) para et X Y, por consiguiente, g E fJ y .f g::
Como gk(x) ~ g(x) para ctx, el corolario 6 · 4 implica que ·
r~
f h" < f gk < f g para todo k
y, en consecuencia,
Por tanto,
El resultado siguiente es e . .
ocasiones resulta má e:, il d ons~cuencia mmediata de la proposición 6 · 7, Yen
s iac e aplicar.
6 · 9 Corolario. Sea (h ) ..
( I[Z'.., , h1 ) estuviese a \ duna suceswn de funciones no negafii,as en !J tal que
_ ~
g(x ) - L.-k=t '11,.
co,a a. Enton
(x)para · ces, °"co
L..k = t hk (x) converge para et x, Y
si
c1 x, entonces g e !J y
169
PROBLEMAS . ,,
t. Dcntuést rcse In propos,.c,on 6 · 5.
2. Demuéstrese el corolono 6 · 9.
J. Si¡ es función de R" en R, la cerradura del conjunto {x : f(x · O}
Uama soporte de f. Demuéstrese que si fes fun ción continua con port e m-
pacto, entonces/ E !J.
4. a. sea l = ( a, b) un intervalo abierto en R", donde a =(a1 , • • • a y b =
(b 1 , • • ·, b"). Para un entero positivo k tal que 2/k < m{n {b" - a':
¡ = l,· · · , 11} y para cada t e [- 1/k, 1/k], ca !, = (o,, b,, donde
a, = (a 1 + t, ···,a"+ t) y b, = (b' - t, · · ·, b" - t), y definamo
(·)-¡-
gk .'\: - J/k
sup{t:xe/,}
Si X $ J-
sixeL, ,1c ,
l /k
7 · LA INTEGRAL DE LEBESGUE
f = g - Ir ctp
g + h 1 =gr + h ctp
y, por tanto,
es decir,
con camScanner
Escane ªdo
7 · La integral de Lehesgue 171
b b .
fJ=RfJ.
a a
.
DEMOSTRACION. En la demostración del teorema 5 · l, vimos que si fes
Riemann-integrable en [a, b], entonces existe una sucesión no decreciente (gk)
de funciones escalonadas tal que
f
b
lím gk= ffxca,b)= {f.
Por ende,
)
'
'
(
. .
Por cons1gmente, st e
. ¡ s Ricm:um-integrable en. .un al
conjunto acotado E
, es
. bl E y las dos integrales son 1gu es.
Lebesgue-mtcgra e en · · d d b' ·
.
A contmuac1on. . ¡Jasaremos 'a considerar las propie a es as1cas de !i' Y a
1
integral en !t.
tenemos
ent onces 1/1 E !t. Además, es evidente que fe Ji' si , y so' lo s1,. ¡+ y ¡· es tan
,
eil !.t' ·
Por ende,
l xe[-k,k]
gk(x) = (0: X t [-k, k].
f ~ f I para todo k.
gk
PROBLEMAS ., .
1. Para cualquier entero positivo k, sea f 1c la func1on <.le R en R definida por
. 1!, X E [2-li , 2 - H 1]
J,.(x) = (2o de lo contrario
. ( 0, x ~ [O, 1]
f(x) = 1, x E [O, 1] y x racional
-1, x E [O, 1] y x irracional,
Demuéstrese que ·
lím
k-+ 00
f lf - !1cl = O.
8. Si /1 Y /2 son Riemann-integrables en [a, bJ y s1·[ 1 = f 2 ctp en [a, bJ,
demuéstrese que
b b
R J/1 = R f /2.
a •a
f=g'-h'ctp
y si f(x) = ¿J'=1 f1c (x) para et x, entonces f =g- 1, ctp. Por ende, fe !i', y
Por consiguiente, un conjunto E tiene medida cero si, Y sólo si, X.E e !L' Y
ÍXE = Q.
l.
___....__
Escaneado con CamScanner
-
La integral de Lebesguc
Ca¡,. 6
178
obtener otro teorema de convergencia, demostraremos
Antes de 't'co francés Pierre Fatou ( 1878-1929). Et lcrn un le111a
b·d al nrntema 1
1 0
· a de F
de lt útil para demostrar el teorema de convergencia t' . atou,
:idem:is de resu ar ' iene Interés
por sí solo.
J J
para et x, entonces h k e !i' y h k = lím_¡-. 00 hk; ." Como para todo i z k,
hk; ~h, se verifica que hk(x) <fk(x) para et x y, por ende,} h k ~ J!k. Pu~~sto
que hk; =Ík /\ hk + 1,; < hk+l ,; para todo j y .k, la sucesión (hk) és una sucesión
no decreciente en ctp de funciones en !i'. Por tanto, (J h k) es una sucesión no
decreciente de números reales tal que
Como
ff = f h ~ fÍk . •
lÍllJ
·,__- -- - - - - - - - - - - - -- - --¡E
~s;c;-
aneado-con CamScanner
1
ff = lím ff1c-
DEMOSTRACIÓN. Como, para todo k, -g(x) ~fk(x) ~ g(x) para et x, te-
nemos:
y, por consiguiente,
1
1
}
entonces/ E !l Y
es decir,
PROBLEMAS .
l. Demuéstrese el corolario 8 · 2.
2. Demuéstrese que el corolario .8 · 2 se verifica si se sustituye el término no
decreciente por no creciente.
3. Sea (fk) una sucesión de funciones en !i' tal que 1
(J Ir=
1/ k ¡) está
acotada. Demuéstrese que Ll~i Ík(x) converge para et x y que, si f(x) ==
¿i~ 1 Ík (x) para et x, entonces fe !i' y
f (x) = (~'/y,¡¡;
í...X, . X <(00 y x>l
X E , 1],
Ii = foo-oo i.
Escaneado con CamScanner
(
1
o, x<l
f(x) = 1
{<-ir-,
,n
x E [m, m + 1), m = 1, 2, .. ·.
lím
r ... co
Jfr = fJ.
9 · TEOREMA DE FUBINI
ff
Rlc R• 11
J(x, y) dy dx = f
R"
g.
f Xr = f f
R" Rlc Rm
X1(X, y) dy dx = f f X1(x, y) dx dy.
Rm Rk
= vn(/) = f... X1 •
. c~rv :'.'
9 . 3 Corolario. Si H es u,1 cv11ju11tv _de medu_la , R,,,.
R" en tunees para
et x e Rk el conjunto {y : (x, y) E E'} tte11e medida aro en .
1
9 · Teorema de Fubini 183
(
Por el lema 9 · 2,
f
R"
Xi= ff R" R"'
xix, y) dy dx.
.
fg f f
R"
=
R" Rm
g(x, y) dy dx = f f g(x, y)
R"' Rk
dx dy.
Entonces,
r
g = L cixr, ctp de R"
J= l
y, para et x e R ,
r
g(x, ·) = L el Xr/x, ·) ctp de Rm.
J=l
Luego
f•. J...u(x, y) dy dx = J 1
c1 f•. Í.~~ 1,(x, y) dy dx
J.
R"
g = J.Rlc J.am g(x, y) dy dx =J.Rm J.R" g(x, y) dx dy.
.
DEMOSTRACION. De nuevo, haremos la demostración concerniente sólo a una
de las integrales iteradas. Sea (g;) una sucesión no decreciente de funciones
escalonadas, tal que ( JR" g;) está acotada, y
Entonces,
f. g = lím J.
R" R"
g¡ = lím J.
R"
J.amg;(x, y) dy dx.
h;(x) = J g,(x, . )
am
para et x e R A-,
.
Para et x E Rk, (g¡(i-, · )) es una sucesión no decreciente de funciones inte·
grables en R m, tal que
f g(x, ·)
Rm
= lím fam
g¡(x, ·) = lím h¡(x) = h(x).
Por tanto,
f J = J. f
R" a1c am
J(x, y) dy dx = fRm
J.R" f(x, y) dx dy.
f f =f
R" R"
g _ J =f
R"
1,
R"'
fR"g(x, y) dx dy - f"'
R
fR,.'1(x, y) dx dy
= f f f(x,
R"' R"
y) dx dy. •
PROBLEMAS
1. Si f es integrable sobre el intervalo / = [a, b] X [ e, d] en R2 , demués-
trese que
1 a e e a
l 2 1 .
Jf
o l X
3 eYlx dx dy.
es decir~ h k es la función f k cortada por encima y por debajo por la función in-
tegrable g. Como (h k) es una sucesión de funciones en !i' tal que I h k1 ~ g, y
· nos pemute
Esta observación · vo 1ver a ~nunc1•·ar el teorema de convcr0b cncia do-
minada de Lebesgue de la manera siguiente:
El estudio que antecede a la definición 1O· 1 revela que el límite de una suce.
sión de funciones integrables es medible. De hecho, esta propiedad caracteriza
las funciones medibles en R ".
entonces/k e IR y
f(x) = k-+
Jínt [f(X)X[a1c,b1cix)]
co
para todo X
Entonces, hk E !L', 1h k 1 ~ g Y
Entonces, (fk + gk) y (cxfk) son sucesiones de-funciones integrables tales que .
DEMOSTRACIÓN. Como
k k
g = lím /\ Íi y G = lím v Ji ctp,
k-+oo j= 1 k-+ooj=l
.1 y
·I
es decir,
2 -
Jt ,f
2 r¡
como, Para cada k, 2r,J - '" E E.,,{¡ •
para f, g E J7
l.
¡ entonces (f") es una sucesión no decreciente de funciones Íl\tegrables, tal que
~ f ···f l/(x
R R
1
, • • ·, x")I dxP<I) · • • dxP<").
Por tanto, (J/1c) está acotada, y por el teorema de convergencia monótona (pág.
177), 1/1 es integrable y, por ende,/es integrable. •
PROBLEMAS .
1. Si¡ es la función de R en R definida por
J xi= O, 1
f(x)= x(x-1)' .
{
2, x = O, 1,
¿es medible/?
2. Si f(x) = (x ], el máximo e.~tero q~e no es mayor qu~ x, ¿es medible/?
3. Si¡ e fR y si g es una funcion medible acotada, demuestrcse que¡g E !t
4 . Utilícese la definición 9 · 1 para demostrar directamente que .JI es un~
lattice ( red).
s. Si ¡ es una función medible no negativa, demuéstrese que existe una suce-
sión no decreciente (fk) de (unciones integrables no n~gativas tal que
JJ(x) =1 ínf(~
k rk /(x) + rk)
Y' tº
consec~encia, que f 112 es una función medible.
( ~- dD~mue~trese que una función fes medible si, y sólo si, existe una sucesion
.,
gt\ ;. funcmnes ~scalonadas .tal que f(x) = lím gk(x) para et x. . 'bl
' ~fes medible Y distinta de cero ctp demuéstrese que 1// es medi<el,·
12• 81 para cada e > o · ' <f
y si J(h _ g) < e • existen funciones integrables g y h tales.que g - -
. ' demuestrese que fes integrable.
Sugerenc,a· ·
sea - 2-n de Lev1,
8. 1. · · e- (n = 1, 2, · · · ) y aplíquese el teorema
f 9 1 + i f 92 = e-,~ f f Jf 1¿ O
= 1
PROBLEMAS
l. Demuéstrese 11 .
2· Demuéstrese 11 . 1:
2
flfl=O,
f ffk•
f f = k=I
rf
-r
'X)
-oo
e-y2+[xy dy dx =2 f
-oo
00 sen :y dy.
ye>
12 · CONJUNTOS MEDIBLES
k
XE = lím
lt ... ao
V XE
J=l
1•
1 ,l
Escaneado con CamScanner
1
(
1 12 · Conjuntos medibles 197
1
12 · 4 Proposición. Una función f es medible si, y sólo si, para todo número
real e, el'conjunto {x : f(x) > e} es medible.
DEMOSTRACION. Supóngas~ que fes medible. Para cada número real e, sea
E( e) = {x : f(x) > e}, y para cada entero positivo k definamos
Entonces, g k es medible y
O si/(x) < e
g..(x) = k [f(x) - e] si e< f(x) s; e+ 1/k
{
1 si /(x) > e+ 1/k.
Sea
EkJ = {x: (j- J)/k <f(x) 5. j/k}.
Entonces,
13 · Medida 199
PROBLEMAS
l. Si E1 y E 2 son conjuntos medibles e11 R k y R m, respectivamente, de-
muéstrese que E, X E2 es medible en R" = R k X R m.
2. Si f y g son funciones medibles, demuéstrese que el conjunto { x : /(x) >
g( x)} es medible.
3. Demuéstrese que los conjuntos {x : f(x) < e} y {x: f(x) se} son medi-
bles para todo número real e si, y sólo si, cada conjunto { x : f(x) > e} es me-
dible para todo número real c.
4. Si para algún P > O, 1/ IP es medible, demuéstrese que 1/ 1 es medible.
S. Demuéstrese que una función / es medible si, y sólo si, para cada conjunto
1
abierto G C R,/· (G) es un conjunto medible.
. 6. Si g es continua y fes medible, demuéstrese que g o fes medible.
13 · MEDIDA
En esta sección definiremos una medida para conjuntos medibles, que consti-
tuye una generalización del concepto de volumen de un intervalo. El volumen de
un intervalo (a, b) es Jx<a,b)·
fXE si E es integrable
Jl(E) = { oo
de lo contrario.
(13 · 2) µ(0) =o
(13 · 3) E e F=> µ(E) ::;. µ(F)
lt=
Ul E1c e E,
00
µ(E) = 00 = k=L1µ(E1c)•
t <lremos el resul-
. . idad de los conjuntos, ob en . 1
Si eliminamos la condicion d~. aJen arecida a la del teorema 13 . 7 y se deJa a
tado siguiente, cuya demostrac1on es p
lector.
y, por tanto,
<X)
Así, aun cuando el conjunto de Cantor tiene número cardinal e, resulta insignifi-
cante con respecto a la integración de Lebesgue.
Como generalización del volumen de un intervalo, cabe esperar que la medida
de Lebesgue sea invariante respecto a las traslaciones, y demostraremos que así
sucede, en efecto. Si E es un conjunto en Rn y e e Rn, entonces el conjunto
E + e= {x + e: x e E} es una traslación de E. Observemos que como
¡t(E + e) = ¡t(E).
XE =g - h ctp,
f = lím f º
g O <p llk <p = lím Jllk =f g
CX)
Y, por tanto,
00
PROBLEMAS
t. Demuéstrese 13 · 2, 13 · 4 y 13. 6.
2. Demuéstrese 13 · 8.
3. Si (Ek) es una sucesión creciente de conjuntos medibles d . .
e E 1,: +i, demuéstrese que , es ec1r, E k
DEMOSTRACIÓN Oh -
lím D' . servamos que XE = Lr=t XE y, por tanto, [XE -
lflx:.. ~que ª 1!XE1c ' Como. f XE1c es medible Y, para" todo m, rír=1/XEkl ~
i)
(10. t es mtegrable, por el teorema de convergencia dominada de Lebesgue
enemosque .
f/ = cµ(E).
ao
µ(B) S
J=l
¿ Jl(B1, m(J)) < e.
Como
PROBLEMAS
l. Demuéstrese 14 · 3.
2. Demuéstrese 14 · 4.
3. Demuéstrese 14 · 5.
4. Demuéstrese que Jf (1/x 2 ) dx existe, y encuéntrese su valor.
5. Demuéstrese que si E= { (x, y) : x e [a, b], y e [g(x), h(x)]}, donde
g y h son continuas en [ a, b) y g(x) ~ h(x) para todo x e [ a, b], entonces, para
cualquier función integrable f en R 2 ,
ff =JJ
E
b
a
h(x)
g(x)
f(x, y) dy dx.
1
)
f f(x) dx = f_bf(-x) dx.
b
a
-a
15 · LA INTEGRAL DE DANIELL
f
lím fk = O.
. que un con1unto
Se d ice · ·· no de·
E en X es conjunto nulo si existe una suces1on
creciente (gk) de funciones no negativas en g tal que (g /x )) diverge acopara
cadax E E Y(Jgk) converge. Entonces podemos demostrar:
· ·6n. L a umón
1S • l Proposici . numerable de conjuntos nulos es nula.
IS . 2 Prop . '6
.
. . .. s
osaca n. s, (!1,;) es una sucesión no creciente de fwzc,on e
"º ,,ega·
t1vas en g y si lí " (
mJk x) = O para et x, entonces
f
lím fk = O.
Escaneado con CamScanner
15 · La integral de Daniell 211
f
lím 91t. ~ lím f ' ".
1-
1
~
I
'
IS· 6 Proposición. Si g, he !J y si g(x) ~ h(x) para et x, entonces
La integral de Lcbc11guc
Cap, 6
212
.. Sea (g ) una sucesión no decreciente de runc,·o
Propos1c1 6 n. " '1 nes en g
15 · 7 , otada Entonces, (g 11 (x )) converge para et x y si ( ta/
que (f g,,) esta ac · !J • g x) :::: lírn
g" (x) para et x, entonces g E y
I =f
g
k=l
fh1¡,
15 · 11 Teorema (Levi). Sea (ft) una sucesión de funciones en !i' que son no
negativas ctp, tal que ( fLt=ih) está acotada. Entonces Lf=i ft(x)converge
para et x, Y si f(x) = Lt= 1 ft (x) para et x, entonces f E !f' Y
1S · 12 Corola · ( decre·
ciente ctp de "º: convergencia monótona). Sea (g,,) una sucesión no r))
conver·~e funcwnes en !i' tal que (fg ) está acotada. Entonces, (g,, (,
º ' para et x · ( ) n
•Y s, g x = lím g,,(x) para et x, entonces g E !L', Y
( - g) V (/ A g) E !l'.
--
.. ~
Escaneado con CamScanner
214 eap, 6 La integral de Lebcsguc
• ,, Si [/ satisface el axioma de Stone, entonces 1 . ri
15 . 19 Propos1c1 ·
0 11 E ,,fe.
álgebra.
f XE si XE es integrable
µ(E).=
( oo de lo contrario.
l
l (15 · 22) ff = ±C1cJt(E,J
le= l
J
'
No resulta difíciJ demostrar que este conjunto f/ y la integra] en f/' poseen
las propiedades que se precisan para el desarrollo de la integración de Daniel1.
En general, el conjunto de conjuntos medibles obtenidos mediante este desa-
rrollo no será igual que el conjunto .,// del espacio medida dado, pero lo con-
.' -
tendrá .JI.
PROBLEMAS
L Demuéstrese la proposición 15 · 1.
2. Demuéstre~e la proposición 15 · 2.
l
3. Demuéstrese la proposición 15 · 3.
r
,.
( 4. Demuéstrese la proposición 15 · 4.
5. Demuéstrense las proposiciones 15 · 19 y 15 · 20.
r
6. Sea ( X, .,H, µ) un espacio con medida, y sea f/' el conjunto de las fun-
ciones escalonadas generalizadas en X Demuéstrese que !/' con la integral defi-
•
nida por 15 · 22 tiene las propiedades necesarias para desarrollar la integración
de Daniell.
1
7. Sea X el conjunto de los enteros positivos, y tomemos f/' como el conjunto
> de todas las funciones de vaJores reaJes definidas en X, que tienen sólo un nú-
1
) mero finito de valores distintos de cero. Si fe f/', sea J/= ¿::. 1 f( n) (ésta es
una suma finita). Demuéstrese que !/' es una lattice (red) vectorial y que la
1
integral es una funcional lineal en f/' que satisface las propiedades 1 y 2 decla-
radas en la pág. 21 O. Demuéstrese que un conjunto nulo es vacío, que !i' es el
conjunto de todas las sucesiones f = (!( n )) tales que I::.1 1f( n) 1 converge, y
que J/ I::
= 1 1/( n) 1.
j
1
l.
(
1
\
1
l
1
)
f
l\
I
1
1 · INTRODUCCIÓN
2 · l Lema Si x 5
· Y P son números reales tales que x 2 - 1 Y P ¿ I , ento11cc
216
Entonces,
y, por tanto, f'(x) < O para -1 ~ x < O, y /'(x) > O parax >O.Esto muestra
que f tiene un valor mínimo en x = O y, por ende,
U U l/p
-V -> 1 + p -vlfp - p para u > O, v > O
(2 · 2)
.
u 11Pv~-t/p <!u+
p
(1 - !)v para u> O, v > O.
p / .
DEMOSTRACIÓN. Como
f J
+ g e !i'¡, (E) • s·1 E I/ + g IP = O entonces la desigualdad de M'10kowski dre·
sult t · · J de u·
, • '
J
~ nvia mente vahda. Supóngase que 1/ + g lP-::/= o. La desigualdad se 1
cte directamente de la desigualdad del triá~gulo en el caso en que P == l. Si p ~ '
enemos
!
\
+ [ tlgl"] ''"[
f)! + ul'"- J)q
] 1/q
•
y f(t) =O= g(t) cuando t ,t [I, m + 1). Entonces, obtenemos la forma de su-
mación de estas desigualdades, a partir de la forma integral.
PROBLEMAS
l. Si o< r < s yf E .z-75 ( [ a, b]), donde a, b E R, demuéstrese que/ e IR
b]), y que ,([Q'
'
b ]1/r [Jb ]l/11.
[{ 1/1' ~ (b - a)lfr- 1/s a lfl''
lím
p-+ aJ
[ f lf I"
b
a
] l/p
= sup 1/(t)I.
te (11, b]
221
.
(1) Hxll > O si x ~ O
(2) llaxll = lcxl llxll
(3) llx + YII < llxll + IIYII,
'
·'
l Un espacio lineal X con una norma definida en él se llama espacio lineal normado.
1
11/(x) - /(a)II < e siempre que llx - all < ó.
- __.,,
Escaneado con CamScanner
---
222 Cap. 7 Espacios lineales normados
(3 · 2)
o
(3 · 3)
11/(xn' Yn) - f(x, Y)II = ll(xn + Yn) - (x + y)II ~ llxn - xll + IIYn - YII,
1 y, por consiguiente, s(x) = s(y). Por ende, en el espacio cociente X/N podemos
,
¿
1
definir
ll[x]II = s(x)
PROBLEMAS
1. Si X es un espacio lineal nomtado
. .
Y d(x, Y)= 11 x - Y 11 para cualesqu·
X 1era
. E X demuéstrese quedes una mctnca en .
X, y ' d d él
2 • S1. X es un espacio lineal norma o, emu s rese que para cualquier x'y
eX:
Dem~éstrese que esto define una norma en el espacio de todas las funcion~s
contmuas en [a, b], Y que este espacio lineal normado corresponde al espacio
métrico C[a, b].
)
4 · Ejemplos de e!!pados lineales normados 225
l /p
llxllP = [ ¿" 1la'IP]
I=
donde x = (a 1, ···,a").
De nuevo, resulta sencillo verificar que esto define una nonna en Vn ( F) (pro-
blema 1). El espacio lineal nonnado que se obtiene suele denotarse por/! . La
notación que se utiliza en este caso está motivada por el hecho de que lím ,, _ :e
11 x 11 p = ináx {I a ;I : i = 1, .. · , n }(problema 2).
y, por tanto,
(4 · 4)
el espacio me r,
1/p
\\x\\
I' l 1
= f¿
= 1
1~'1" 1
donde x = (e< ).
4 · 6 El espacio IR p(E). Para cualquier número real p > 1, sea IR iE) el con-
junto de las funciones medibles de Lebesgue con valores escalares, f. definidas en
un conjunto medible de Lebesgue E en R", tal que lflP es Lebesgue-integrable.
La desigualdad de Minkowski muestra que si f y ,g están en ·!i' iE), entonces
f +ge IR p(E). Además, se ve con facilidad que sif E !i' (E) y o: es un escalar,
entonces a.fe IR p(E). Por tanto, !i' p(E) es un espacio lineaÍ sobre F.
En IR ,(E) , definamos una función s de valores reales por la regla
s(f) = lt1J1P11/p
\
1
4 · 7 El espacio .!l' oc,(E). Denotemos por .!l' oc,(E) el conjunto de las funciones/
medibles de Lebesgue y con valores escalares, definidas en un conjunto medible
de Lebesgue E en R", para las cuales existe un número M I tal que
Se dice que tales funciones están esencialmente acotadas. Sin duda, !L' co (E) es
un espacio lineal. Si definimos la función s en !t' (E) por la regla
QJ
De nuevo, consideremos !t' (E) como un espacio lineal nonnado, con norma
OC)
ll/
11 - /11 < e siempre que n ~ 11 0 ;
es decir,
PROBLEMAS
1. Verifíquese que la norma p(p 2' 1) y la norma infinito satisfacen las con-
diciones de una norma en V" ( F ).
2. En V11 ( F), demuéstrese que lím p ... 00 llx 11 P = llx 11 00 •
3. Verifíquese que la norma p satisface las condiciones de una nom1a en lp .
4. Demuéstrese que el conjunto de todas las sucesiones acotadas de escalares
es un subespacio de V00 ( F ), y verifíquese que la norma infinito satisface las
condiciones de una norma en este subespacio.
S. Si 1 ~P <q ~oo, demuéstrese que/pe lq.
6. Sean (X, 11 • 11) y ( Y, 11 • 11 ') espacios lineales normados sobre el campo
F. Demuéstrese que
11 z 11 oo s 11 z 11 s
p V211z1100 •
Luego por el probl ema 6 , pág. 98, las métricas definidas en X X }' en ténninos
.
de estas normas son topoI'og1camente
· fi
eq'Jivalentes y por tanto, de 111en la nusnta
topología en X X Y. '
1
•
Demuéstrese que Cp_[a, b] es un espacio lineal nonnado. ·.
· 10. Sea f una función continua de valores reales en [a, b). Tomemos x e
[a, b], y definamos cp(J) = f(x). Demuéstrese que cp es continua en C[a, b].
11. Si C(X, C) denota el conjunto de las funciones continuas de valores com-
plejos definidas en un espacio métrico compacto X, demuéstrese que C( X, C)
es un espacio lineal nonnado, si definimos
;/
5 · TRANSFORMACIONES LINEALES
es decir,
•
lo cual mu t
es ra que Tes continua en X.
{>
T ( -ó- x ) = 2 llxll 11 T(x)II < l.
211xll
2
11 T(x)II < b llxll para todo distinto de cero x e X.
,
DEMOSTRACION. Supóngase que T es un homeomorfismo. Entonces, T y
T ·• son transformaciones lineales continuas. Por tanto, existen m1meros positivos
M y m tales que
1
11r- 1(y)II ~ - IIYII para todo y e T(X).
111
) cmo" 5 4
t - 'qtiier x e X definimos y como T(x , obtcn
S i pa r a e 1
q ue la tra1 1sfonnac 10n
• •
li ne
·' • •
gase al T
i1l
supon a li. s facc 1
,
Ji Si X es u n es
pacio lineal a c io
nea) nonnado normado sobre el campo F, entonces el esp
Bl (X
(? conjugado) de JX• ' F ) de funcionales lineales acotadas se llama espacios dual
Y se denota I· fun· ª
c 1 one s p
il royecciónyp(� d) fi . por X*. En el caso en que X es / P" ,
nealcas acot
ad a s
: in1das por p
k ( a 1 , ... ' o")
= a t, son funcio1_1a1es
k s una base de X"' (problema 1 ). En un espacio hneal
1
/
5 • Tran formacione s lineales 233
nonnado general, las funcion es proyección (o, dicho en form a equiv alente,
coordenadas) no existen siempre; sin embargo, a menudo pueden obtenerse
resultados sobre el espacio en cuestión al considerar las funci onales lineales
acotadas en ese espacio.
El teorema de Hahn -Ilanach, que estudiaremos en seguid a, asegura la exis-
tencia de funcionales linea.les acotadas no triviales en los espacios lineales
nonnados. Este teorema afinna que una' funcional lineal
' acotada, definid a en
un subespacio de un espacio lineal nonnado, puede extenderse a todo el espacio
sin modificar la nonna. Consideraremos primero el caso real, y este resultado es
consecuencia del teorema siguiente, llamado también teorema de Hahn- Banach.
'r Si fes una funcional lineal en Z y f(x) < p(x) para todo x e Z. entonces e.xiste
una funcional lineal F en X tal que F(x) = f(x) para x E Z y F(x) ~p(x) para
todox eX
Entonces, si a> O
y para a <O
Por ende, el teorema 5 · 6 implica que existe una funcional lineal F en X tal que
F = f en Z, YF(x) ~p(x) para todo x e X. Como
-
Escaneado con CamScanner
-
Cap, 7 Espacios lineales normados
236
una funcion al lineal complej a, pues es un a fun cional I'
Entonces, F es ineat real,y
PROBLEMAS
1. Sea Pk una función proyección de / p" en F, definida por
T(r:x' 2) _ ( t
• ex - ex cos O - cx2 sen O, <X 1 sen O + <X2 cos 0),
T(f) = I f,
b
detem1ínese II T 11.
7. Sea x O un elemento distinto de cero en el espacio lineal normado real X.
=
Demuéstrese que existe una FE X* tal queF(x 0 ) 11x 0 11 y 11 F 11 = 1.
8. Sea x un elemento de un espacio lineal normado real X, tal que, para toda
fe X*, f(x) =O.Demuéstrese que x = O.
6 · ISOMORFISMOS
d(T(x), T(y)) = 11 T(x) -T(y)II = 11 T(x - y)II = llx - YII = d(x, y).
Obsérvese además que en esta definición necesitamos especificar sólo que la trans-
formación T que conserva la nonna debe ser lineal, porque si 11 T(x) 11 llx 11, =
entonces T(x) = O implica que x = O y, por consiguiente, Tes uno-a-uno.
t
Si R ~s el espacio de las matrices m X n con elementos en R y si 11 ['r/] 11
_ [¿f.. 1¿j .. 1(r/) 2] 1' 2 , entonces resulta fácil demostrar que el espacio
lineal nonnado R nm es isométricamente isomorfo a R mn (problema 1).
Si consideramos los espacios duales, obtenemos otros ejemplos de isomor-
fismos isométricos; por ejemplo, (/ p" )* (1 < p < co) es isométricamente iso-
morfo a / / , donde 1/p + 1/q =
1. Si para (/ / )* tomamos la base (P k) ~ "' 1 ,
ri == {1Pk1 4 - Pk si k = 1, ... , n
2
y
O de lo contrario.
Entonces
1/(x,)I = l{ta•,,) _
/ Por Jo tanto
es decir para n = l, 2, · · ·
[.t.1p·1·r ~ llfll.
Luego, T(/) = (/3") e lq y 1 T(/)11 ~ 11/11 ·
a)
f(x) = ¿ ripk.
k=I
a)
Por ende, la serie definen te de f(x) converge. Sin duda, puede verse que fe(/ p)*
!
y, como f( e k) = L.Í= 1 {3'°f, = ~ k, T(f) = y. Además,
Dado que espacios lineales normados, (/ r)* y / q son iguales, podemos escri-
bir (/p)* = lq, (1 <p < oo) Es también cierto que (/ 1 )* = / 00 {problema 2);
sin embargo, ( / )* -=I= 11 (problema 3). Se verifican resultados parecidos para los
C()
espacios IR,, si 1 < p < oo, (IR,,)*= IR9 , donde 1/p + 1/q = 1 y ( IRi)* =
IR C() •
PROBLEMAS
l. Verifíquese l . . . ates nt X11
con ll[t '] 11 ¿que e espae10 lineal nonnado R m de matnces re R'"~.
J ::: [ m
1 1 "" ( 1 2 112
== LJ == 1 t J ) ]
" '
es isométricamen te 1somo rfO a
'
Escaneado con CamScanner
)
241
7 • Espacios de dimensión finita
En el capítulo 3 hicimos ver que dos espacios lineales sobre el mismo campo
son isomorfos si tienen la misma dimensión. Podemos extender este resultado pa-
ra los espacios normados de dimensión finita. Empezaremos por probar una pro-
) posición preliminar.
11 T(x)II = 1/ 1;t, riT(e1;) 11 ~ 1;t, ltxll II T(e1;)II S kti llxll II T(e1;)II = .M llxll
donde M = D=i llT(e,JII. •
A continu ., cual·
. acion, extenderemos la proposición 7 · 1 y demostraremos que . ,
quier transfonna ·, 1. d' ns1on
esta, acotada. cion meal definida en un espacio lineal normado de une
finita
7 . 4 Proposición Si T . . l normado
de dimensión fi : es una transformación lineal del espacio /,nea otado,
mua X en el espacio lineal norm~do Y, entonces Tes ac
l
Como To U es una transfom1aci6n lineal de /2 " en Y, por la proposición 7 · 1
existe un número M tal que
M M
IIT(x)II = IIT(U(z))II < Mllzll < - IIU(z)II = - llxll. •
m m
,'
¡ / p n y/ p m. Si
"'
T(e,J =¿ T,/e1,
j=l
ll[r,/Jll 1 = máx
le
L lr/1
J= 1
y
"
ll[r,/]11 = máx
00
j
L
le= 1
lr/1,
" "
= máx
j
:Í r,/rx"
lc=I
~ máx :Í lr,/1 lrx"I < máx
J k= I j
Ilc =" I Ir JI
k '
1
1
Si el máximo de -:Ík= 1 lr/1 ocurre en i = 1, sea u= (~ ' ••• ' "'n.") , donde
1
P" = /lr/1/r"; cuando r" 'la O
\1 cuandor/ = O.
Entonces, 11 u 11 = 1, y
Por tanto
'
"
11 T(u)II = L
k=l
lr/1 = máx f Ir JI .
J i.J k
k= 1
y
PROBLEMAS
1. Si lím ,,. -
'" -TenBL(X• Y), demuést rese que para todo x e X
'
Escaneado con CamScanner
8 · Espacios de Banach 245
m
ll[t/]11, = máx ¿ lr/1,
" J= 1
1 1
donde ~ + - = 1.
p q
n
Piy) _::. a.1x1 donde y= ¿ a.1xJ.
J= l
8 · ESPACIOS DE BANACH
Por" el cap(túlo 4,. sabémos que los· espacios euclidianos R", los esp·acios tini-
táñoi en y ei es'¡>'á'cio' C(X,, R) efe· funcio'ries c·ontinuas de valores reales en· un
Por consiguiente, Tes lineal. Como (Tn) es una sucesión de Cauchy en BL(X, Y),
está acotada; es decir, existe un número M tal que II Tn 11 ~ M para todo n. En-
tonces, para todo x e X,
Es decir
;
J
IITn - TII ~ e siempre que n ~ n0
\
,t .
Escaneado con CamScanner
-
2'10 Cap. 7 E8p1 ¡0 8 1inc1I nom11dos
En particular
Si ponemos
n
g" = L lfk1+. -
j= 1 .
fkil
ll
{f_1i,(x)) converge para et x e E. Sea f(x) = lím jj . (x) para et X'E E. Para uní
fiJo·, como "1
Ja sucesión ( 1Ji, - fk, 1P) satisface las condiciones del lema de Fatou; es decir,
para todo i, 1f1c, - f 1c, IP 2 O, Y
lím
1
f 1/l, - J1,. I" < oo.
É J
PROBLEMAS
1. Demuéstrese que !i' cc(E) es un espacio de Banach.
2. Denotemos por e el conjunto de las sucesiones convergentes de escalares.
Demuéstrese que e es un subespacio cerrado de /' oo y, en consecuencia, es espacio
de Banach.
3. Sea
1 1
o, O<t~---
- ~2 n
n 1 1 l
Jn(t) = l + ni - 2, 2 - ; < t < 2
1
-5.t5.11
2
- - -- - - -----......,.----:---::----::-- - ·
Escaneado con CamScanner
E•nndos l\n al s nor111ntlo
250 e3\l· 7 l'
9 · SERIES
Como
. en . un espaci0 1·meal normado podemos sumar y ·tomar · límites,
. po dem os
defimrr senes en un es · d . Si (a k) es una sucesión de puntos en un
. . pacio e ese tipo.
espacio lmeal normad 0 X . nama
serie y los t· . Y sis n = L.~= 1 ak , entonces la sucesión (sn) se
, ¿a ermmos de (a k) se 11 aman termmos
tándar • . . Con 1a no tac 1·ón es·
de la sene.
. " para representar la serie ( ~,. ), decirnos que })1t tiene suma a o
y, por tanto,
Podemos demostrar la versión recíproca del teorema, Y obtener así una carac-
terización de los espacios de Banach.
IÍo+ p·
L II a·, il < B. para todo· p ;::: 1· ..
i= no+ 1
~--·· .
Escaneado con CamScanner
/
1
I
r
9 · Series 253
Tomemos ,n0 . tal que {k : k ~no} C{f(k): ~ s:.mo}, Entonces, m0 2' 11 0 • Para
m > 111 s" - t m es una suma de tcrmmos a k , con k > n0 ; por con-
cada 11, - 0 '
siguiente, para algún p 2 1,
• no + p
llsn - tmll ~ L lla"II < f:.
k = no + 1
Luego, lím t m = a. •
PROBLEMAS
1. Si ¿a" y ¿h" son series convergentes en un espacio lineal norrnado, de-
1 muéstrese que
j
00 00 00 00 00
I
k= I
(a" + b") = kI= I ª" + k=I
I b" Y I ªªk = ª I ª" ·
k= I k= l
define una nonna en este subespacio (problema 1). El espacio lineal nonnado
que así se obtiene se denota por B ( E, Y).
Si (In) es una sucesión en B(E, Y) que converge a f en la norma de B(E, Y),
entonces (In) converge a f. uniformemente en E. En cambio, para cada t E E, si
(fnCt)) converge a f(t) en Y, entonces decimos que (fn) converge puntual·
mente a f en E: La convergencia uniforme en E implica convergencia puntual en
E, pero el enunciado recíproco no es válido.
A continuación, veremos que la completez en Y implica la cornpletez en
B(E, Y).
l1f (x) -
110
f oCx0 )ll < e/3
11
siempre que d(x, x 0 ) < ó.
(/g)(t) = f(t)g(t),
//el/= 1.
Un álgebra nonnada co 1
donde F == R O C mp et~ se llama álgebra de Banach. El álgebra B(E, F),
espacio métri·co ' es un eJemplo de álgebra de Banach Asimismo, si X es un
compacto y C(X F) . · . d
valores escalares e X ' es el espacio de las funciones continuas e
.
Otro eJempJo n , entonces C(X F) . 1 4)
un· , es un algebra de Banach (prob erna ·
d portante de u ál b y Y)
e transformaciones J' al n ge ra de Banach es el espacio BL ( ,
(problema 6) En tme es acotadas en un espacio de Banach y en sí mismo
fi · · es a álgebr J . • •
onnac1ones. a, ª mult1phcación es la composición de trans
PROBLEMAS
l. Verifíquese que 11 / 11 = sup {11 /( t) 11 : te E} define una norma en B(E, Y).
2. Sea (fk) una sucesión de funciones de un conjunto E en un espacio de
Banach Y, tal que para cada k, 11/k(x) 11 ~ M para todo x e E. Si ¿Mk con-
verge, demuéstrese que Lh converge en B(E, Y).
3. Sea D "[ a, b] el conjunto de las funciones de valores reales que son conti-
nuas, junto con sus primeras n-derivadas en [a, b]. Sea
2 . EL TEOREMA DE STONE-WEIERSTRASS
I
Si tomamos E como el subespacio de X generado por (x 1 , • • ·, x n), entonces
cJ resultado puede enunciarse de la manera siguiente.
Como f y fncx> son continuas en x, existe una vecindad abierta Ux de x tal que
1/(y) - f(x)I < e/3 Y l.fncx>(y) - fncxlx)\ < e/3 siempre que y e Ux.
O~ f(y) - Ín(x)(y)
~ lf(y)- f(x)I + lf(x) - Íncxlx)I + \fn(x>(x) - Ín(x)(y)I < B.
Como
que X es Uut · te un numero
compacto 'exis · finito 'de puntos X1, • • • , X k E X tales
•= 1 "• cubre a X. Sea
no = max
, { n( x . = 1, ... , k }.
1) : ¡
Sin>n
. - o YY e X, entonces Y .e Ux ¡ para algtln ; :;: 1 . . . k y
, ' ,
Pi = o,
Pn+i(t) = Pn(t) + ![t - p/(t)] paran~ l.
Veremos primero por inducción que O ~ p nC t) ~ ..¡¡ para todo t e [O, 1]. Sin
duda, O~ P1(t) ~ Yt para todo te [O, 1). Además, si O~pm(t)~ ~t para
todo te [O, 1], entonces
f Ag = 1(/ +g -1/-gl)
/ V g = !(/ + g + 1/ - gl),
g - g(x)
I, = a + (f) - rx) ( ) ( ).
g y -g X
Por consiguiente, para cada par de puntos distintos x, y en X, existe una fun.
ción h xy en d t.al que
luego, /z E ¡;¡, y
Por tanto,
y, en consecuencia, f E ¡¡. •
..
lf(t) - T(t)I < e para todo te R.
n
P(z) = "'--' e zk
k== -n k ' z e E, ck e e, n = o, 1, 2, · · · .
Como fo g ·' E C(E, C), en correspondencia con cada e > Oexiste un poli-
nomio trigonométrico Po g, P( e'') = Lk
- n ck e'~' , tal que
t = t' + 2m1r.
Si defmimos
y
k - 1, 2, · · · '
PROBLEMAS
l. Sea y = (1/k) e 12 y sea E el subespacio de 12 generado por (u1, · · ·, u11),
donde uk = (lhi). Determínese mín {IIY - x 11 : x e E} y encuéntrese un
punto en E en el cual se alcance este mínimo. Hacer lo mismo con el espacio
12 , en vez de l 00 •
2. Sea E un conjunto compacto en R", y sea Pk la k-ésima función proyec-
ción de E en R : Pk (<X 1 , ···,<X")= <X" .·Demuéstrese que si si es subconjunto
de C(E, R) que contiene las funciones proyectivas Pk, k = 1, · · ·, n, entonces
d separa los puntos de E.
3. A partir de la fórmula del binomio
(a + b)" = I (".)akbn-
k= Ok
k donde (") =
k
n!
k!(n-k)!
demuéstrese que
c. I k2(11k,.)xk( t _
k= O
x)"-k = nx( 1 - x + nx) para todo x ER.
B (x) =
n
" (k
¿/ -)(")
k== O
k X 1<(1 -
11
X )" - 1<
Sugerencia:
x e [O, 1]}.
5. Utilícese el problema 4 para demostrar el teorema de aproximación de
Weierstrass.
6. Si fes continua en [ a, b] y si
,,
f f(x)x" dx = O,
a
n = O 1 2 · ..
' ' ' '
demuéstrese que¡::: 0 en [ b]
7· Si f es una funció a, . · éstrese
que para cada e > ~ continua de valores reales con periodo 2 rr, demu
Oexiste un polinomio trigonométrico T tal que
V amos a establecer en una serie de pasos que el conjunto de las funciones con-
tiimas de valores complejos en [ a, b] es denso en el espacio complejo !l' a, b ], i
donde [a, b] es un intervalo en R.
límllx, - Unll = O.
DEMOSTRACIÓN. Sea h(x) = d(x, /), la distancia de x a/; entonces, hes con-
tinua y h(x) = O parax el y h(x) > O parax rt l Sea
1
gn(x) = 1 + nlz(x) ·
Entonces, (IX, - Unl') es una .sucesión de funciones medibles tal que lx, -
- g,.I' ~ 1 para todo n, y lím lx,(x) - unCx)I' = O para et x e [ a, b] . Por tanto,
según el teorema de convergencia dominada de Lebesgue (pág. 188),
lím f lx, -
b
a
gnl' = o. •
r
f = ¿ CkXrk
k=I
ctp de [a, b].
f lf - hl < e.
a
b ·- - -
DEMOSTRACIÓN e
(/n) de funciones ~sc;mo { E !J Y f ':!? O, existe una sucesión no decreciente
[a, b], Y ona as no negativas tales que lím/nCx) =f(x) para ctxE
Como
3 · 4 Lema. Si fes una función integrable no negativa en [a, b], entonces para
cada e > O existe una función escalonada h tal que
f lf - /rl <
b
E.
a
lím f lf - fnlP = O.
a
b
Por tanto, para cada e > O, existe una función integrable no negativaf tal que 11
En consecuencia
Entonces
3 · 6 Teorema. Si fes una función de valores reales en !i'P[ a, b], entonces para
cada e > O ~ist~n una función escalonada h y una función continua g tales que
3 · 7 Teorema. Si fes una función de valores complejos en !i' p[a, b], entonces
para cada e > Oexiste una función continua g tal que
llf-gll <e.
Por medio de este teorema, podemos probar otro resultado (problema 3):
PROBLEMAS
l. Pruébese el teorema 3 . 6.
2. Pruébese el teorema 3 . 7.
3 Demuéstrese lo siguiente: . .
· . t de los polinomios con coeficientes rac1onaJes es den
a. El con1un o so en
el espacio real ff ,,[a, b),
b. El espacio complejo ;f" [ a, b) es separable.
"
La/xi= y', i=l, ... ,n
(4 · 1)
J=l
(4 · 2) Ax=y.
S,(x) = (/ - A)x + y
S,(x) = T(x) + y.
Por tanto s 1 orre
Y Una tr,ansY" es a transformación lineal T, seguida de una traslación que rec .1a,
· ,ormación . d na tra)I
ción se llam tr que es una transformación lineal segmda e u
a ansfonnaci6n afín. .
Para poder aplicar el teorema del punto fijo de Banach (pág. 127), S y precisa
ser una contracción de un espacio métrico completo en sí mismo. Considera-
remos S y como una transfonnación de / P" en / P", donde p e [ 1, co]. Antes nos
restringimos a los casos donde p = 1 y p = co. La transfonnación lineal T E
BL(l p", l ,P ), y si x y x' son puntos de/ p", entonces
IIS,,(x) - S/x')II = IIT(x - x')II =:; 11 Tll llx - x'II = 111 - Allp llx - x'II,
k-1
xk = L (I - A )1y'
j=O
<X>
X= L (I -A)iy
) =O
sugerirse.
,- 1 = ¿ ( - . )' y Ix - t ¡ < l
J: o 1- 11 e- x¡¡·
Además, tenemos
x( f <e-x)") = (e-(e -
k-0
x)) f (e- x)"
k=O •
00 00
= L (e - x)" - L (e - x )k+ i = e
k=O k=O .
Y, de la misma manera ,
(f (e - x)")x = e.
k=O
Por tanto ,
00
X -1 = k=O ""
¿_ (e - x)". •
Sien4. 3 camb·
Si
Y es un elemento de ál ci n obtenemos un resultado de aspecto farn·utaI·
•amos de nota '6 ··
un gebra de Banach tal que II y 11 < 1, entonces
00
t i = ce _ y)-
k=o
1
•
A- 1 = L(l-A)''
' "" º
donde la convergencia se efectúa en la nom,a p de F: .
Entonces
_.-
-1 - co
A = Do(/ - Eo) i ~ E o.
= Do~ k
k=O
Dn = Dn- + Dn-1Ln-1
E'
l donde En-1 =/_AD
· n- 1 para n > J.
Entonces
En== 1-AD - J
n- -ADn-1 -AD E
==l-AD n - 1 n-1
n-1 -AD (I
n-1 -AD,,_1) =(/-AD )2 - E2
Y,deahíE -z:.i" n-1 - n- 1
' n -c.,o • eomoD -A -1
"- (I - E)
",
1/if-J
- D"I/P == I/A - 1E
,,/IP = /IDo(J - Eo) - 1E5"//p
S 1/Doll _I/Eo/1;"
p 1 - IIEo/T;;.
A'
s1, hernos d
ernostrado el
resultad 0 .
siguiente.
converge a A ·• y
4 · 7 Ejemplo. Sea
-44 22 -54
-24)(144)
-38 42 -15 -6 (101)
E 0 = 1- AD-0 = 10- 6
( -58 37 -46 -56 (197)
-44 32 -60 -52 (188)
(184) (133) (175) (138)
1
Escaneado con CamScanner
Cap. 8 Ai,ro~lmacibn
280
(0.000184) 2
IID1 -A-1111 ~ 3.7543 1 - O.OOOJ84 <0.00000013.
Encontrarnos que
PROBLEMA
Sea
_.,
Escaneado con CamScanner
5 • Funciones diferenciahles 2.81
S · FUNCIONES DIFERENCIABLES
• llraCh)II _ 0
(5 · 3) f(a + h) = f(a) + Ta(h) + ra(h) donde!~"¿ 11h11 - .
Entonces
y, de ahí, que
.
Escaneado con CamScanner
5 · Funcione!! diferenciables 283
c(a + h) = c(a).
(dT) 0 = T.
h
Escaneado con CamScanner
284 Cap. 8 Apro,tlmaci6n
donde
lím llsa(/1)11 = O,
11-.0 11h11
q,/ E Da(X, Y) y
donde
. • 11,..(11)11 =o
/(a + lt) =/(a)+ ,J/ (11) + ra(h)
0 donde~~ llhll ·
+ s1 c ldfa(h) + ra(h))
0
donde
Si
. llta(h)II _
l 0
,.:~ 11h11 -· '
entonces, como dg I<•> • df, e BL(X, Z), el teorema queda demostrado. Tom,.
mas e >O.Existe un r¡ > Otal que, para II k 11 < 17,
w===o.•
Iírn llta(h)II
h-.o
•
Escaneado con CamScanner
5 ' Funciones düerenciables 287
PROBLEMAS
2
1. Si fes la función de R en R 3 definida por
T(r) = b + re,
3. Demuéstrese la proposición 5 · 6.
4. Sean g y f funciones del espacio lineal normado X en el álgebra normada
Y, que son diferenciables en a. Si definimos gf como (gf) (x) = g(x) f(x),
x e X, demuéstrese que gfe Da( X, Y), y que
dg,, = (d/0) - 1 •
6 · DERIVADAS DIRECCIONALES y
DERIVADAS PARCIALES
fJJ(a) = df,,(u).
DEMOSTRACIÓN. Como fes diferenciable en a, existe una vecindad N de a,
tal que para todo a + h e N.
• ilraCh)II _
f(a + h) = f(a) + dfa(h) + ra(h) donde!:~ llhll - 0·
p . . . . te pequeftO,
or consiguiente, s1 u es un vector unitario en X y r es sufic1entemen
~
Escaneado con CamScanner
6 · Derivadas direccionales y parciales 289
Además
y de ahí
, ra(ru)
11m--=O.
t .... O T
Por tanto
o sea
Duf(a) = dfa(u). •
(X3
Duf(O) = J(u).
, f(x + t) - f (x)
f'(x) == D 1 f(x) = hm ·
t -• 0 f
L
Escaneado con CamScanner
6 · Derivada" direccional~ y p:ndal ~ 291
Entonces
es decir, d E S; pero como d > e = sup S, esto es una contradicción, así que
e = b E S. Por ende
D1 /(a) = Jím
r-o
! [/(a + Tu1) -
T
/(a)]
D¡f(a) = dfa(u,).
"
dfa(h) =¿ r¡iDif(a)
j=l
"
= 1~ 1 [f(x1 - 1 + 111u1) - f(x1 - 1) - ,¡1D1J(a)].
Si ponemos
entonces
es decir
Por tanto
Como la transformación Tde R" en Y definida por T(h)= ÍJ== 1'11 Dif(a)es
lineal, vemos que/ es diferenciable en a, y que
'.111
Entonces, 1a co IUJ 1
(6 · 8)
PROBLEMAS
J._ Si f es una función de R en un espacio lineal nonnado Y tal que f '-'~
defi~rda en una vecindad de un punto a y f'(a) existe, demuéstrese que[ es dtfi ·
rencrab~e en a, y que dfa (h) = hf'( a). . do
2. S1 fes una función de R n en Rm, tal que, para todo i == 1, ... 'm y to .
I= !'· · ·' n, D1f'es continua en una vecindad N de a demuéstrese que D; fe)
contmua . en N y , por en de, que/ es continuamente diferenciable
' en N.·
3. S1/ es la función de R 2 en RJ d efimr.d a por
lím
'1-+0
!!f(a + t¡u1) - !(a) -- d J, (
J a 11)/1
1111 = O.
Demuéstrese que:
ª·
d1·J:ª existe s1· , Y so•1o s1,· existe D¡[(a) y
dfa= ¿djfaoPj
j=I
ara 1 e lO, 11
Luego' p - . < <) 11 h \\
es decir
L
7 · Teorema de la función lmpl{cita 297
Entonces
(7 · 3)
(7 · 5)
y, por tanto,
(7 • 6)
/(g( y ). y) = o.
y, por consigui~nte, el corolario 4 · 5 (pág. 277) impli~~ que difcx. 1_1 tiene una
transformación inversa acotada. Si ponemos (di/1.l:, Y)) = T Y aplicamos esta
transformación lineal a 7 · 7, obtendremos
es decir
• ., 11 k 11 suficiont.c111cntc pcqucflo,
Luego, p.11.1
Entonces
lím TII (r(x,y¡(h, k))II < lím (II Tli ll(h, 1<)11 11 r,:K:,y)(h, k)II) =
0
k-tO llkl\ k-+O llkll ll(h, k)II
para x1 • • • x . ·'n de
R n X R' m ' nen tenninos de Y1 ... y Si definimos/como la func10
:::: R ll+m e R n .' ' m• ; drernos
escribir este si t dn cuya 1-ésima función componente es/, po
s ema e ecuaciones en la forma .
f(x, y)== O.
-l
Escaneado con CamScanner
7 · Teorema de la {unción impl(cita 301
y que xi = g 1(y1, Y2, y3) Y·x2 = 92(Y1, ~2, y3). Si h;(yt, Y2, y 3) == /i(g1
(y,, y 2 , y 3), g2(y 1 , y 2 , _y 3), y 1 , y 2 , y 3), 1 = I, 2, escnbase explícitamente
Dih; y detennínense Di g', i = l, 2.
3. Demuéstrese que las ecuaciones·
xyu - yv 2 + 2x 3 = O, 4u 2 + 2v 2 - x 3y =O
2 2
x u + xzv + y 2 = O, yzu + xyv2 - 3x = O
2 · SEMICONTINUIDAD
y radio r, La función f se
donde B(a; fJ) es la bola abierta en X con centro ª d . ialdades anteriores.
llamará semicontinua en a si se verifica una de 1as esigt
303
y, en consecuencia,
f (a) = Lf(a).
A continuación dare )os con·
ceptos anteriores. Si f mos algu~as definiciones generales sugerid":5 por seJlll·
es cualquier función de E en R (no necesariamente
2 · Semicontinuidad 305
Como ínf {f(x): x e B(a; ó) n E} <f(a) < sup {/(x): x eB(a;ó) nE},
es evidente que
f(a) = Lf(a).
De la misma manera, fes semicontinua por abajo en un punto a e E si, y sólo si,
Lf(a) = f(a).
__J
Escaneado con CamScanner
Cap. 9 Teoremas fu111la111 cntales del cáJculo
306
.
¡ es continua en un punto a e 'E si y sólo si, es semi continua por arriba
Ysern¡.
continua por abajo en a (problcn2._a 1). . . .
. . . veremos que Lf es .serrncon tmua
A con t111uac1on, . por
. arnba.. Como es hab·ltua)
.
diremos que una r.uilción
1
1
es semicontinua por arnba s1 es sem1continua por arriba
• •
. ,
en todos los puntos de su donunio.
Para cada y e B(a; oi) n E existe una bola abierta B(y; 11i) e B(a; 5.), y,
por tanto,
g(y) =11>0
ínf sup{/(x): x E B(y; ,¡) n E}< g(a) + e.
Por consiguiente
Lg(a) S g(a) + e.
Como la desigualdad t .
ende, l g(a) == g(a).: ehor se verifica para todo e > O, L g(a) ~ g(a) y, por
,
oEMOSTRACION. Como lím x,, = a, para cada 5 >o existe un no tal que
x,, E B ( a; 8) para todo n > 11 0 y, en consecuencia,
y,portanto,
Y, por consiguiente,
b =f(a). •
Entonces, b k <Xi, Y existe un y e (bk, b) tal qué G(bk) < g(y). Esto implica
que b1c e E, pero eso no sucede. Por tanto, G(b k) = G(xi), y
2 · 9 Prop · '6
osica n. Sea g una función de (a b) e R, sea G = I gy supó~
ase
que el con/unto , n
j
Escaneado con CamScanner
2 · Semlcontinuld•d
309
contable de intervalos abiertos ajenos (a k, b k). Ademds g(x) < G( )
todox E (ak , bk). ' - ª" para
La demostración de este resultado se ha deJ'ado al Jecto ( bl
.
Prueba se obtiene . .
aJ hacer mod1ficac10nes simples a la demo•tr pro, _ema
d 10). La
. . . ., ., rae,6n e 1a propo-
sición 2 · 8, o al aplicar la propos1c1on 2 · 8 a la función 1, en (- b, - a), donde
h(x) = g(-x).
PROBLEMAS . . R si a e E de-
l. Si f mapea el subconjunto E del espacio métrico X en ! •b •
. , 1 .
muéstrese que fes continua en a si, y so o st, es continua por amba y por a a.JO
en a.
2. Demuéstrese que la función del entero máximo es semicontinua por
arriba. ) = 1 arax racional y f(x) = O
3. Si fes la función de R en R 'tal que ((xntinu/arriba 'en las racionales Y
para x irracional, demuéstrese que / es sem1co
semicontinua por abajo en las irracionales.
4. Demuéstrese que
¡+ges semi·
b en a demuéstrese que su erior
S. Si / y g son semicontinuas por arri a ' cf es semicontinua P
continua por arriba en a. Además, st. e > o, entonce 5
en a.
•
3 · DIFERENCIABILIDAD
DE UNA FUNCIÓN MONÓTONA
A partir de estas definiciones se ve claramente que, para una función f que satis-
face la condición del teorema 3 · 2, todas las derivadas de Dini de f en un punto
x e (a, b) existen en el sistema extendido de números reales, y que
Además, f tiene derivadas en x si, y sólo si, todas las derivadas de Dini son fmi-
tas e Íguales.
La demostración del teorema 3 · 2 se efectúa al verificar que en casi todos
los puntos de ( a, b) las derivadas de Dini son todas finitas e iguales. Como la
demostración resulta bastante larga, la hemos dividido en varios lemas.
f(y) - f(x)
>r
y - .l
o, de modo equivalente,
Sea a continuación G = lg. Como f y, por ende, g son continuas en (a, b) con
la salvedad de un conjunto S de medida cero, vemos que G = g en ( a, b) - S, y,
por consiguiente,
(A - S) e E,= {x E (a, b): para algún y E (x, b), G(x) < g(y)}.
Tomemos x e (a b) Para y 6 ( f,
6)
Y, paray e(x x + ~ (a b) (x)- 'x] C (a, b), g(y) ~f(x)- r(x - ~)
' ' 'g Y ~f(x + l>) - rx. Entonces
/(a11+) - ra S G(b)
" " S f (b11 +) _ rb" .
Además, para y e (b _ 6 b)
cuencia ' C (a, b) g(y)
' ~ f( b - ) - r( b - 8 ), y en canse·
p0 rcndc
1
L (b1r. -
k
a,)< -(/(b-)-/(a+)).
r
denotemos por (s, r) un par de números racionales positivos, con s < r, Y sea
Resulta evidente que si x e A, entonces x e A,, para alglln (s, r), Y en conse-
cuencia, A e U<.r,r> A,,. Como esto constituye una unión ~ontable, vemos que
si A,, tiene medida cero para todo (s, r), entonces A es med1da cero.
Tomemos aquí un par fijo (s, r), y sean
Entonces, A,, =A, n A,. Si D _ f(x) < s, luego, para algllny e (a, x ). 1
1
(As - S) e Es = {x E (a, b): para algún y E (a, x), Gix) < g_ly)}.
y, por tanto,
Entonces
J
Escaneado con CamScanner
3 · DiCcrenciabilidad de una fu . ,
ne,6 n monotona 315
y, por tanto ,
"(b k k s
í..J 1 - a1 ) ~ - (b - a).
k,J r
Entonces
Como lím (s/r)" = O, esto revela que A" - · S Y, por en de, 1 ,, iene
I r medi1l1
cero.•
Obsérvese que
=hm
- , J(x - h) - f(x) -_ D·- ¡(X )
h-+o+ -h .
y que
Es decir,. . e iguales;
· para et x e (a, b), las derivadas de/ en x son .todas finitas
luego, existe la derivada de f en x. •
En el teorema 3 . 1 1 . . , el intervalo
¡ sea b. • resu ta ev1den te que la restnccion de que d ,álidO
. ª t~rto puede abandonarse.
" se sustituye la cond·1 10
.. "
Asimismo el teorema 3 · 1 sigue si.• 0 • ¡º una
• " es SI es l
función n . c n no decreciente" por "no creciente , pu . te en ·
o creciente en ¡ , d crec1en
Una función • entonces - f es una funcion no e 'ón rnon6·
quet es no decre ciente
tona. Por tanto . o . no creciente se 11 am a func1
bien
, enernos:
Sin la condición de monotonía, deja de ser cierto que una función defi 'd
.1·r , bl . d m1 a en
un intervalo/ sea u11erencm · e en casi to as partes de/. Durante mucho tiempo
se creyó que la continuidad dcb.fa ser condición suficiente para tener diferencia-
bilidad casi en todas. partes; sm embargo, Weierstrass encontró un ejemplo,
publicado por vez prunera por uno de sus alumnos, P. duBois-Reymond en
18 75 [ 11 ], de una función que es continua en todas partes, pero no es dife~en-
ciable en ninguna. Desde entonces, se han encontrado muchos más ejemplos. El
siguiente ejemplo, de carácter elemental, se debe al matemático holandés B. L.
van der Waerden ( 1903 - ) [41 ]. Se basa en el hecho evidente de que una suce-
sión de enteros puede converger sólo si todos sus ténninos son iguales a partir de
algún punto.
Denotemos por { x } la distancia desde x hasta el entero más próximo, y de-
finamos
=~ {lO"x}
!( X ) ¿ 10" •
n=O
Como
{lO"x} 1 1
O< <-·-
- 10" - 2 10"
mientras que
·o
Sl ,On+l an+l ··· > !,
{lO"x} = 1 - º·ªn+lªn+2 ...
l
Escaneado con CamScanner
1 del cálculo
.. s f11nda111en la es
31 9 1'corc1n " ' E
s Cap. == lO -mdeno seras1. ntonces,
,
-m . es igu al a 4 o 9 ',y/¡ m - l si a m = 4 ó 9' y a~ ::::
I - 1O s1 am d a == a,,, { O"( h
Sea ' '" - - ... a' ... ' don e 171 "'/ La expresión 1 x + m)}
I1111 ==O.a1a2 "' . , a == 10 z,,,. ('
x + • =f. 4 ó 9 ;es <lecir,a171 - . 171 ue para n < m tenemos am- am)
Om + l Sl}O m
{lo ",· es cero cuando 11 ¿ 111,( .1111cntras)qlO"_ ,,, == - lO "h m si lln+I ~ 5. Por
- . . <4y - a,,,, _ a "'
1011- m == lO"hm s1a,, + 1 -
consiguiente,
. te , y f no es diferenciable en x.
no exis
Si V b (!) es finita, entonces se dice que fes de variación acotada en [a, bJ. El
0
k k
¿ lf(x;) - /(x;- 1)1 = ¿ (.f(x;) - f(x;-1)) = f(b) - f(a)
l=l i=l
DEMOSTRACIÓN. Si f =[ 1 _ [2 y si PE 9, entonces
Í lf(x,) -
l= 1
/(x,-1)1 < /1(b) - f1(a) + fi(b) - fi(a)
L
P1
IL\f 1 + L IAJI = L IL\fl <
P2 P
J.,/(J).
Por tanto,
k
L 1IJ(x,) -_
+ l=J+ f(x1-1)l
J-1
S L IJ(x,) -
' ::: 1
J(x1-1)I + lf(c) - f(x1-1)I
S V/(f) + V/(J).
Por tanto ' V11b(f) S V,,C(f) + V/(J) y luego, V:ab(f) -- V.a"(/) + V/(/)·•
f = V¡ -(V¡-/).
es decir
Para algún k = 1, •.. , n, XA:-1 <x <xk. S~ toma y tal que x <y <xk, Yse
define p' como un refinamiento de P, obterudo al agregar x y y como extremos
de algunos subintervalos. Entonces
V/(J)- t < ¿
P'
IAJI s V/(J).
f f' ~ f(b) -
b
f(a).
a
Entonces, gn(x) > O para todo x E [a,· b], y lím 9n(x) = /'(x) para et x e
[a, b ]. Además, para cada n, g n es Riemann-integrable en [ a, b ], y
b
= n( ff
r, ( 1) · f f(x) dx r, )
= n ( fr, + 1/n f(x) dx - f f(x) dx
b )
fa
9n
a
x + - ·dx -
n a a+ 1/n ª
b+l/n
= n ( Í;, f(x) dx - t a+l/n
f(x) dx
) ·
= f(b) -
fa+l/n
n ª f(x) dx
b
{ f' ~ Um t b
lln ~ f(b) - J(a). •
PROBLEMAS
1• Demuéstrese que VA [ a, b] es un espacio lineal sobre R · Ad ernas, s·
1
VA [ a, b ], entonces • /, g
2. Si¡ es continua en [ a, b] y ~xiste un M tal que lf' (x) 1~M para todo xe
(a, b ), demuéstrese que fe VA [ a, b ].
3. Si fe VA [ a, b ], demuéstrese que f está acotada en [ a, b ].
4. Si f, g e VA [ a, b ], demuéstrese que f g e VA [ a, b ].
S. Si fe VA[a, b] y si existe un m tal que O< m ~ lf(x)I para todox e
[a,b],demuéstreseque 1//e VA[a, b]y V/(1/f)~(l/m 2 )V/(f).
6. Si fes una función escalonada en [ a, b], demuéstrese que f E VA[a, b].
7. Sea f una función definida en [O, 1] del modo siguiente: /(O)= Oy f(x) =
x sen (1/x ), para x e (O, 1]. ¿Es f continua en [O, 1]? ¿Es f de variación acotada
en [O, l]?
8. Pruébese que VA [ a, b] es un espacio lineal normado si definimos
donde EP es el co nJun
· t o de todas las parhc10nes
. . de [ a, b ].
a. Demuéstrese que
..J
Escaneado con CamScanner
5 · Dücrcnciación de una integra] . d
In eCinida 32.5
.
5 . DIFERENCIACION DE UNA INTEGRAL INDEFINIDA
-
i
S · l Proposición. Si e !i' [ a, b ), entonces Fe VA [ a, b ]. De hecho,
V/(F) = fblfl.
a
DEMOSTRACIÓN. Recordemos que si/e 1l1[a, bJ, entonces 1/1 e9'[a. b].
Sea P ={(x;- 1, X¡) : ¡ = I. ... , k} una partición de [ a, b ]. Entonces
x,
=i lf. f - f. J, 1f.._/ 1
k k JC¡-1
1
/_
Como f E
b] ' exi·ste una sucesión (g n ) de funciones escalonadas ' qu e
ro [
.;;r, a,
son cero fuera de [ a, b ], tales que
b b
Iím f hnf - f lfl,
a a
f
Q
b
hnf = Li;
i=l
('
Zl-l
hnf
i;
L ct(F(x,) -
= 1=1 F(x1-1))
i;
l
Escaneado con CamScanner
5 · DiCcrcnciaclón de una Integral Indefinida 327
reoren1.,.. (teorema
. de diferenciación
. . de Fubini). Si (!n ) es una suces,·o·n
5· 2 . decrecientes en [ a, b] Y s,
Je fi1T1CiOTI CS 110
entonces
¿J~(x) = f'(x) para et x E [a, b] .
y si ¿g~(x) = g'(x) para et x e [a, b], entonces¿f~(x) = f'(x)para ctxe [a, b].
Por tanto, ( s' (x )) es una sucesión acotada y no decreciente y, por ende, converge
para cada x e [ a, b] - E.
Para demostrar que (s k) converge a g' en [ a, b] - E, basta con probar que una
subsucesión (s~1 ) converge a g'. Tomarnos una subsucesión (s1) de (s,.) talque
y, de ahí, vemos que ¿f. 1 (y( ·) - s1; 1(x)) converge para totlox e: [a, hl P
ende, ¿f..
1 (g (x) - sk 1 (x )) posee lns mismas propic<la<lcs que ¿gn(:c) ; or
consecuencia, por In primera pnrtc ~e la uc111ostraci611, ¿j' 1 (g' (x) _ s~,(:)
converge para todo x e: [ n, I,] "' E. Esto implica que )
G(x) = f%
a
g
J-1
= ¿ c,(x1 - x,_ 1) + cix - xJ_ 1)
i= l
y, por tanto,
· G'(x) = e1 = g(x). •
F(x)
1;. 0
:;. Gn(X) = J:un• El lema S · 3 implica que c;,(x) = Yn(x) para ctX €
n= 2
Gn - 1Cx)) = F(x) - GJ(x)
, para todox E [a, b].
¿
<X)
es decir
<X)
Por tanto,
f(x) = lím g~(x) = F'(x) pará·ctx e [a, b]. •
a a
2. Sea
1 para x racional
f(x) = {o para x irracional
y sea F(x) = g¡ Determínese Fen [O, 1) y verifíquese que F'(x) = f(x) para
ctx e [O, 1).
3. Si¡ e fL' [ a, b) y F(x) = J:.f
= q para todo x e [ a, b ], demuéstrese que
f(x) = Opara et x e [ a, b ].
4. Si fe !l'[ a, b] y o: e R, demuéstrese que, para et x e [ a, b ],
1 h . 1 fh
lím
h-+O+
-f
h o
lf(x + t) - cxl dt = IJ(x) - cxl = lím
h-+O+
-h IJ(x....:. t) - o:I dt.
O
(5 · 6) lím -
1
h-+O + 1l
f lf(x + t) + J(x -
h
O
t) - 2f(x)I dt = O.
El conjunto de todos los x e (a, b) para los cuales se cumple S • 6, se llama con-
junto de Lebesgue de f
Sugerencia: para cada número racional r, sea E, el conjunto de todos los
x e [a, b] tales que
1
lím -h
h-+o+
f lf(x + t) -
o
h
rl dt # lf(x) - rl
1
lím -h
h-+Q+
f lf(x - t) - rl dt # lf(x) - rl.
h
__.,,,,,,1111
partes (pro bl ema 6)· . Por supuesto ' si hemos de requerir. que ¡' cero cas1 en todas
[a, b ], entonces el segundo teorema fundamental del s~a continua en
f(x) - f( a); O sea, g(X) = f( X) _ f( a). cálculo dice que f:f' =
. NosEl agradaría obtener este
. mismo resultado con con el ic10nes
' . me .
tivas. concepto que precisamos es el de continuidad absoluta. nos restnc-
n
L lf(b¡) - f(a,)I < e
i= 1
para cada colección finita y ajena por parejas {(a;, b;): i = 1, · · ·, n} de inter·
va/os abiertos en /, con · ·
n
I (bi - a¡)< r,.
i= 1
(6 · 3) "
IJ(I ,> - ! 11,)I
I• l
p.ar.i cualquier ~ole· ión linitu {(a,, /, 1) : i O 1, · · ·• 11} do lnt crvnlos nhicrtos
aJenos por pa.rcJ:tS con ¿1... l (b 1 - a,) < ,5. Sen M un entero positivo lnl
\f ~ > b - a. que
Parn cualquier partición P de [ a, b ], sea P' el rcfinnmicnlo de P formado P
la !dición a P de los puntos a+ i(b - a)/M (i = O, · · · , Al). Entonces,
Ut: 1~t,.~Onde P1; es una p:trtición de [a +(k - 1) (b - a)/M, a+ k(b - a)
p':
/Af]. S1 ubhzamos 6 · 3, tenemos ¿1 IL\fl < l y, por tanto,
,1,¡
,.,
L IL\f 1~ L IL\fl = L L IL\/1 < Aif. •
p P' k= l p_,
I:" 1/(bJ -
i= 1
/(a,)I < e
pa toda colección finita Y ajena por pareJ·as {(a ' , b), .· 1• -_ 1, · · · n} con
~~ ra (b· - a¡) < b. Para cualquier colección como ésta definun' p ' '( ,
~':::: l , . , , · OS I = l X .
x,') : k = I, · · ·, r,} como una par1tc16n de [a 1, b,]. Entonces, {(x' _ /~';
¡ = 1, .. · , n; k = 1, · · · , r,} es una colección finita de intervalo: :bie~o,
ajenos, con
n r1 n
.L L (x/ - xi-: 1) = I (b¡ - a,)< ó
a=l k=l · i=l
y, por tanto,
n r, .
L L lf(xD - f(xi-1)1 < e. .
i=1 k=l
Si tomamos la mínima cota superior sobre todas.las particiones P¡ de [a¡, b;] para
i = 1, · · · , n, obtenem·os
n ,1 ·
I v!:(J) = I lv¡(b,) - V¡(a,)1 ~ e.
i=l i==l
1
1
1
f Bk = f lfl.
b b
lím
a a
t
<- +¿
n fb' m = -E + m ¿n (b¡ - a¡)< e. •
2 i= 1 n1 2 i= 1
n
(6 · 7) L (f(b¡) -
i= 1 .
J(a 1)) < e
p:a. cada colección finita {(a,' b,) : ; = 1, ... 'n} de subintervalos ajenos por
p eJas de [a - 1, b + 1] con ~ ,¡ (b ) b
Como E es de d' ' L..1 =:= 1 ' - a, < . . tervatos
10
ab'ert al me ida cero, existe una colección contable {/i} de que,
1 os t es que E e uco / ~ co suponer
para todo - 1 . e [ J= 1 J Y 4.Jl = 1 µ(11) < J. Podemos
1• J Q - }, b + } ].
~
Escaneado con CamScanner
6 . Integración de una derivada
335
Para cada punto x e [ a, b] "'E, existe un T/ > 0 tal que
f(y) - f(x)
y- x < e para O< IY - xi< '1·
Entonces, para O< x - e< T/, f(x)-: ~(e)< e (x _ e) y, para o <d- x < ,
f(d) - f(x) < e (d - x). Por cons1gu1ente, existe un intervalo abierto J 11=
( e, d), tal que x e J x e [ a - 1, b + 1], y "
.
b1 < b2 < • • · < bm Y dl < d2 < ... < d,. .
r a
f' - · f(x) - f(a) para todo X E [a, b ].
Y, por consiguiente / . o-
sición 6. 6; es deck ,, es no decreciente. Entonces Ir, es constante, por la prop
,
Jª fª J'l -
lt X
f' = fx .
ª fí :::: g i(X) - g2(X) == f1(x) + C1 - fi(x) - C1
= f(x) + c.
j
Escaneado con CamScanner
6 . lntegraci6n do una derivada
337
Si ponemos x = a, vemos que e = - f( a) y' en consecuencia,
PROBLEMAS
2
l. Si f(x) = x sen (1/x) para x e (O, I] y /(O)= O, demuéstrese que/es
absolutamente continua en [O, 1].
2. Demuéstrese que el · conjunto . de las funciones absolutamente continuas
en un intervalo/ es un espacio lineal. ·
3. Si f y g son funciones acotadas y absolutamente continuas en /, demués-
trese que fg es absolutamente continua en l . .
4. Si g es una función no decreciente y absolutamente continua en [a, b),
y si fes absolutamente continua en [g(a), g(b )], demuéstrese que/ o ges abso-
lutamente continua en [a, b].
S. Si fes absolutamente continua en [a, b) y f'(x)~ O para ctx e [a, b),
demuéstrese que/ es no decreciente en [a, b ].
6. La función de Cantor f (pág. 35) se definió como función del conjunto de
Cantor C sobre [O, 1], por la regla
00
f (
L -¡
X)
oo
=¿ rk
-¡ , donde rk = !xk,
k= 1 3 k=) 2
Si (a, b) es uno del número contable de intervalos abiertos ajenos cuya unión es
[O, 1] - C, entonces, en notación ternaria,
d d . b' .
on e ª" = O ó 2 para k S: n - I y, por ende. en notación mana,
entonces definimos
f(x) ==Ü.r1r1 •.• rn-11000 ... (en binario), donde '" = -!-x" para k ~n-1.
f Fg + f JG = F(b)G(b) -
b b
F(a)G(a).
a a
, 6)
;n §[ ª E] Y' en consecuencia, FG es absolutamente continua en [ a b] (problema
. ntonces, el teorema 6 . 9 implica que '
b
{ (FG)' = F(b)G(b) - F(a)G(a).
port:11110
11
F(a)G(a) . a
b b
Jfg' + Jf'g = f(b)g(b) -
a a
f(a)g(a). •
f (hb
a
o g)g'
g(b)
= Jg(a) h.
0
1 == mín{t e [a, b]: g(t) = c} y 'b
1
= máx{t e [a, b]: g(t) = d} .
Entonces,
I (h,, º g)g' = I
a
b g(b)
g(a)
7 Ir",
I c1 º o>u' = I
b g(b)
a g(a)
i.
, Jg(b) g(b)
hm
g(n)
l,n = J .f.
g(a)
Ja
b
(hn o g )g'
.
=
Jg(b)
g(a)
hn <
•
f
g(b)
g(a)
f.
a a - g(a)
hn-=
g(a)
f.
= f !1 -
g(b) fg(b) f g(b) •
!2 =
g(a) g(a) g(a)
f.
1
PROBLEMAS
1. Si f E !l' y F(x) = s~ 00 / , demuéstrese que F es a s
b olutamente continua
en R
2. Sea/ e !i' y sea t cualquier m1mero. Demuéstrese que
(! * g)(x) = f-oo
00 f(t)a(x - t) dt.
Demuéstrese que:
a. (/ • g) (x) está definida para et x, y f * g E !/!.
Sugerencia: utilícese el problema 2 para demostrar que
fCX) f
- (()
CX)
- (()
lf(t)g(x - t)I dx dt = f- C()
(()
lg(x)I dx f-C()
(()
lf(t)I dt
8 · EL TEOREMA DE LA REPRESENTACIÓN
DE RIESZ
F,(f) = f fg,
b
a
f E !l',[a, b].
b
IF,,(/)1 s f lful s 11/11 llull,
a
8 , Teorema de la rcpr
ceentaclón de RIe87. 343
c
rg es una funcional lineal acotada en !L'P [ a, 1, ] y
(8 · 1) Slip IF (f)I s 11 11
IIFgll = 11/11 == 1 g g ·
f = (sgn g) 1011-1
b ] 1/p
11/ 11 = [f lglq
a ,
Además
1
IF,Cf)I = (Jg' = (lgl' = [(1g1•] ' [(1g1•]"'
= llull 11/11.
Por consiguiente, 11 F,, 11 ~ 11 g II y esto, en combinación con 8 · 1, da
IIF,11 = llull,
8 · 2 Teorema (Ricsz). Para cada Fe ~: [ a, b ], l < p < oo, existe una función
g e IR q [ a, b] tal que
b,.-
F(f) = f fg,
a
Y IIFII = 11 g 11.
"
~ IIFII [f LXca,,b¡)
11 ]1/p
a f :::a 1
11 ] 1/p
= IIFII fL• I (b, -
[ a,)
Como Ges absolutamente continua, existe G' ctp de [a, b] y si g = G' ctp de
[ a, b ], entonces g e~ i[ a, b J.
...
Escaneado con CamScanner
O. Tcorcm• d~ la rcprt..'ffl t ¡1..
•e'-'" de Ries:,. M5
8 . 4 Lema. Si g = G, ctp de [ a, b]' cntor,ces, para cada ' ..
cada ¡,mció11 medible y acotada f en [ a, b ], fimc,011 cscalonnc/a 1, y
F(l1) = f"1,g
11
y
P(J) =
f,
Jfo.
n
.
oEMOSTRACION. Para cada intervnlo ( e, d) e [ a, b ],
,, ,,
F(Xcc.,>) = G(c/) - G(c) = Jg = JXcc:,,,g.
e: a
,,
F(/1) = Jhg.
a
Si/es medible y 1/(x)I ~Mpara todox e (a, b], entonces/e ~p[a. b].
Sea (hn) una sucesión de funciones escalonadas tal que lím h"(x) = f(x) para
et x e [ a, b] (problema 1O, pág. 192). Podemos suponer que I h" 1 ~ M para
todo n; de lo contrario, tomemos (-M) v (hn A M). Como 1/- h" IP ~(2M)P
para todo n, y _
,,
lím f lf - hnlP = O
a
Y, por ende, lím 11/ - h n II P = O. Como IF(f) - F(hn)I ~ 11 F II llf - h" llp,
f l1ng = f fg.
b b
tím
n a
Por ende,
b b
Como
tenemos
Y, en consecuencia
'
J
Escaneado con CamScanner
O. Teorema de la representa e,'6 n de Rie1ri 347
Además
Y, en consecuencia,
Por tanto,
b b
PROBLEMAS
l. Demuéstrese que 2i[a, b] = !L' 00 [a, b].
2. Demuéstrese que 2; = !L' q, 1 < p < oo.
3. Demuéstrese que !eT = !L' 00 •
4. Demuéstrese que !L'! [O, 1] i= !L' 1 [O, 1].
Sugerencia: para fe C(O, l], sea F(f) = /(1). Por el teorema de Hahn-
Banach, extendemos Fa !L' 00 • Sea
o, 0 ~X< 1 - 1/n
fn(x) =
{nx - n + l. 1 - 1/n ~ X < l.
·I
.
---- ~
Escaneado con CamScanner
i11fe911·11I
Sfielties
10
1 · INTRODUCCIÓN
2 · LA INTEGRAL DE RIEMANN-STIELTJES
n
S(f, g, P) = ¿ f(z,J(o(x.J -g(xk- 1)).
",a 1
349
2 · : Proposición. La integral existe si, y sólo si, para cada e > O existe
J!/ dg
un > O ta_l que, para cualesquiera particiones p y p, con nonna menor que
6 Y cualesqwera sumas S(f, g, P)y S(f, g, P'),
DEMOSTRACIÓN. Si J:J
dg = lím 1 1 0 S(f, g, P) existe, entonces se ve cla-
ramente que la condición se cumple. ' ...
Por tanto, (S11(f. g, P")) es una sucesión de Cauchy en R Y, así, converge. Sea
Veremos en seguida que lím IPl ... 0 S(f, g, P) = r. Tomamos n ¿ n0 tal que
Entonces, para todas las particiones .P con I P 1 < ó y todas las sumas S(f, g,
.
P),
Podemos utilizar este criterio de Cauchy para verificar que si existe J!/ dg Y
si [e, d] e [a, b], entonces existe J~/ dg (problema 2). Entonces, es fácil
deducir que si existe J:Jd g y si e e ( a, b ), entonces J~f dg YJ~f dg existen, Y
fbf dg = f f dg + fbf dg
a a
e
e
(Problema 3).
2 5 · R scontinuaence(a,b],
· EJemplo. Sea f una función de [ a, b] en , que e
Ysea Xc la función de R en R tal que
J si x =e
xc(x) = (0 si X -::P c.
,, { O si e - (a, I, )
f f dxc = - f(a) si e = (I
" f(b) slc = b.
.
SOLUCION. Sea P = {(x,. _ 1, xk) : k = 1, · · ·, 11} es una partición tic [a, b].
Supóngase que e e (a, b ). Si x,. =I= e para todo k = O, · · · , 11, entonces S(/, X
P) =O.Si x, = e para algún i = 1, .' · ·, n - I, entonces e
Como fes continua en e, para cada e > O existe un l3 > O tal que 1/(c) - f(x) 1
< e /2 siempre que I e - x 1 < l3. En ton ces, si I P 1 < l3,
Por tanto,
a IPl-+O
f" f dx(c,
b
d) = f(c) - J(d).
n
S(f, X(c,d)• P) = L f( z,J(x(c,dix") ..:... X(c,dixk _ .))
" "' 1
= f(z 1) - f(z J).
----------=--............
Escaneado -~
con CamScanner
2 · La ln1~a1
~e · ,Je Rt-
~ m111n-Stieltt...s
~ 353
por tanto,
b
= 1r1lím.... oS(f, Xcc, t1>, P) = f(c) -
f f dXcc,
a
t1> /(d) •
· ·
donde I; = (a¡-i, a¡) e {/1, · · · , I,} es una partición de [ a, b J. Si fes una fun-
ción de [ a, b] en R, que es continua en a1 (i = O,·· ·, r), demuéstrese que
SOLUCIÓN. Como
r r
g = L C¡ Xr, + L g(a¡)xa,'
i= 1 l=O
Ib f dg
r
= i~l C¡ {
b
f dxr.
r
+ '~ºg(a,)
Jb
a f dxa,
= f c (f(a 1 1
_ 1) - f(a 1)) - g(a)f(a) + g(b)f(b)
'= 1
= f(a)(c, - g(a)) +'f.' J(a,)(c1+, - e,)+ f(b)(g(b)- e,). •
I= 1
. es la función del
10 2 7
Comentario. Si la función escalonada g del ejemp
máximo entero, entonces
fo f
00
f,g = ,,lím
fb / dg,
... oo o
entonces, para g igual a la función del entero máximo, obtenemos una serie
infinita
CX) CX)
f .r du = L J<i).
O i= 1
11
11- l
= g(z,.)f(b) - g(z 1)/(a) + ¿ f(x1c)(g(z1c) - g(z1 +1))
k:al
11
= [1 J: - Job/
g dg . •
donde I; = (a,-1, a¡) e {/1, · · · , /,} es una partición de [ a,· b ]. Si ges una fun.
Í ción de [ a, b] en R, que es continua en a; (i = O, · · ·, r), entonces
b r
f f dg = f f g'.
a
b b
= g(a) + Jg'
Jt
g(x) para todo x e [a, b].
a
= f lig'
o
b
lím S(f, g, P 1) =
.
f f g'
b
y, en consecuencia,
. b
lím S(f, g, P)
IPI ... O
= f f g'.
a
•
f f dg = f fg'
b b
a a
donde la integral de la d h . ·
integrable en a b es:;ec a e.s una mtegral de Riemann, pues si g, es Riemann·
[ ' ], definida Y acotada en [a b] y en consecuencia ges
abso1utamente continua en [ . b J , ' •' ' '
y su integral de R, . a, · Además, f g es Rtemann-integrable en [ a, b J
iemann es igual a su integral de Lebesgue.
PROBLEMAS
1. Evalúese
a. f(x) =lax2
integral de rucmann-Stieltjcs
. f~f dg, si
2. Si existe
3. Si existe
J!/dg
J~/ dg y si [ e d] e
y si e e'(a b)[da, b]: demuéstrese que existe J'/ d
ten ' y ' ' emuestrese que Je¡ d Jb/ •g. g Y , deg exis-
(¡ dg = f J dg + f'¡ dg. e-
4. Sea e e ( a, b ), y sean
J(x) _
--
(º'
1,
x e [a, e]
X E ( C, b] '
g(¡) = (º'1, x E [a, e)
xe[c,bJ
5 .
Demuéstrese ' d g eXJsten,
• d g y Jbf
que Je¡ . pero que J' /
d g no existe
: S1 g e VA [a, b ], ¡J(x) 1 ..:;: M para todo x e'[~ b] y existe Ji,/ dg de-
muestrese que ' • •
I f dg
a
b
< MV/(g).
3 · LA INTEGRAL DE DARBOUX-STIELTJES
L(f, g, P) s; ff
_a
b
dg ~ f f dg s; U(f, g, P).
-b
~¡ las integrales inferior Y superior son iguales, entonces decimos que existe la
integral de Darboux-Stieltjes de f con respecto a g, y que
a a
b
b n I
(RS) fJ dg - :i <,:tJ(z,)(g(x,)- g(x,_,)) < (RS) /
e
b
dg
e
+ 2·
Entonces
e
f J(zk)(g(x,J - g(xk-1)) < L(f, g, P) +2
k=l
y en consecuencia
(RS) t
a
f dg - • < L(/, !1, P) S:
b
1. f ,Jg.
rf
Análogamente . h
a
,lg < U(/, g, P) < (RS) f. f dg + "·
B n
1f (x) - f(x1)I < 8rM o lo(x) - o(x1)I < 8rM.
Para cualquier partición P = {JA: : k = 1, ... , s}, donde J" = (YA:- i, y11), tal
que I P 1 < 6, tomemos una suma
~
Escaneado con CamScanner
-e••1 de oarbou.x-Sticltjes
3 • L• in t~ 361
donde
zik = zk si JJ n Jk = Jk.
zik = x 1_ 1 o xJ si JJ n Jk. ::¡:. J ...
Entonces
Esta suma tiene menos que 2r térniinos distintos de cero, y para cada ténnino
distinto de cero se tiene que zJI, = x 1 _ 1 o x 1 y a11 = xJ-t o b11: = x 1 • De este
modo, ·
S(f, g, P) - (DS) f f dg
a
b ' '
~ IS(f, g, P) - S(f, g, P')I
o, x e [O, JJ o x e [O, 1)
1
f( x ) = {1, x e(l, 2] y
g(x ) = {l, X E [1 , 2] •
y, en consecuencia,
(DS) f f dg = O.
a
b
Para ver que (RS) J!/ dg no existe, para cada 8 > O, tomamos una partición
P = {(x"_ 1 , x 1): k = t", · · ·, n} de [a, b] tal que IP 1< 8 y 1 E (x1 __1 , x 1) para
algunaj = 1, · · ·, n. Sean
n
S(f, g, P) = ¿ f(z")(g(x") - g(x1 _ 1)) , donde z1 > 1
k=1
n
S'(f, g, P) = L f(z:C)(g(x1) - g(x"_ 1))
k=l
PROBLEMAS
. t. Si ges una función no decreciente, e e (a, b) y (OS) f dg y (DS) J" Jtf dg
existen, demuéstrese que (DS) J!/ dg existe y que ª
2. Si g es no decreciente si f 1 ~ f
ten , demuéstrese que ' 2
Y si (RS) J~ft clg y (RS
iaf1 clg cxi .
t
b
4 · FUNCIONES ESCALONADAS
(4. ))
. 'ón., . 9 im·
. fnuidad
1
común, la proposic1 -
Como f y g no tienen ninguna discon
plica que
b
f dg
r
= L c,(g(a,)....: U a,-1
( )) -
-
±
,= t
C¡ Jl11(/¡),
f a 1== l
• ,,
4 . 2 Propos1c1on.
s,·¡es ""ª fimción escalonada admisible tal que (/(x):? O
pa.ra toda x, entonces f f dg ~ O.
. al nodificaciones menores en Jas demostraciones de Jas
Asimismo, con gunas 1 •
proposiciones 3 · 4 y 3 · S del capítulo 6 se obtiene:
Decimos que un conjunto E en ·R tiene #lg --medida cero si, para cada e > O,
existe una colección numerable {/k} de intervalos abiertos admisibles tal que
00 00 •
Ee LJ lk
k= 1
y I
k"" l
µg(Ik) < e.
En Jo que sigue, los conceptos "casi en todas partes" y "casi todo" se referirán.a
la µ,-medida cero. Resulta fácil ver que una unión numerable de conjuntos de
µ, -medida cero es un conjunto de µ 9 -medida cero; sin embargo, un conjunto
que consiste en un solo punto no es forzosamente de µ 9 -medida cero. Si ges
discontinua en c, entonces g(c-) < g(c +) y, para cualquier intervalo abierto,
admisible (a, b) que contenga c, se tendrá que ·
,··
µ,((a, b)) = g(b) - g(a) > g(c+) - g(c- ).
4 . 4 Proposición. Un conjunto E . .
cero. es 11(/ - nulo s1, y sólo si, tiene Jt9 - medida
Umf,,(x) =O para et x.
lím f / dg = O.
11
5 · EXISTENCIA DE LA INTEGRAL
- DE RIEMANN-STIELTJES
lf(a) - J(y)I e! s.
S'(/, g, P) = t
" .. 1
f(zii)(g(X1) - g(X1i-1))
entonces g 1 es continua en a, y
91 = g + (g(a+) - g(a))xa.
Puesto que existen tanto J!/ dg como J!/ dx0 existe J!/ dgi.
Se dice que una partición P :=o { (xj - t, x1) : j = 1, · · · , s} es admisible con
respecto a g si g es continua en cada punto xi. Supóngase a continuación que f y
g no tienen puntos en común de discontinuidad y que g es continua en a y b.
Para cada partición P1 = {(xf _1 , xl) : i ~ 1, · · ·, r} de [a, b] tal que IP1 1<
5 y para cada e > O, veremos que existe una partición admisible P tal que
IP1<5 y
(5 · 1)
L(f, g, P 1) ~ L(f, g, P) + e(g(b) - g(a))
1
U(/, g, P ) > U(!, g, P) - e(g(b) - g(a)).
J
Escaneado con CamScanner
5 • Existencia de 1 1
a ntegral de Stieltjea
. . 367
el conjunto d e Ias d 1scontmuidades de g
Colll O . es numerabl _ .
tos et1 tos cuales g es contmua podremos obten er un refmam·e, s1 añadimos pun-
1
I
x 2) : j:::: 1, ... , s} de p ' con nom1a menor que cada {J ie~to p == {(x}-1,
1
1 tición p2 reemplazando cada punto x 2 en 1 • Aqu1 modificamos la
par .- . J e que g es dis .
unto x . en el que g es contmua, situado ligeramcnt . 1 continua por un
P 1 • • 2 d _ e a a derecha d 2
cir,si ges d1scontmua en xi , po remos ~scogcrun punto x e 2 ex{. Es de-
x .2 x ~+ )en el cual g fuese continua Si ges . 1 en
continua (xJ-i,X1-1 +<5)
n ( 1 ' 1 1 • 2
XJ::::: x/. Entonces, la partición P = {(xJ-i, x ): / = 1 . . . s xl , ponemos
1
I p 1 < ~. Sean ' ' } es admisible y
Esto implica que lm/ - m}+il < 2 e /3. También, como [XJ-1, X1] C [X1-1,
x¡ +iJ, tenemos
m/ 5,./(x/) <J(x)
- + e/3 para todo x e [x1-1, x1]
m/ ~ m1 + e/3.
s· x1 = x/, entoncesAg = O y, es más, como[X¡-1, X¡] C [XJ-
2 1 x2 ]
' J+t
1
1
m/ ~ mJ < mJ + e/3.
Así pa t .
' ra odo J = 1, · · · , s tenemos m1 ~ mJ
2 + 6/3 • Ahora bien
2 2 g2 ) - (g¡ - g/)
gj - g }- 1 = gJ - g J- l + (g J- 1 - J- l
= gJ - gJ- 1 - /lg J + !lg¡- l'
En consecuencia
s
L(f, g, pi) ~ L(f, g, pi) = Jy;tm/ (g/ - !J J- i)
~ ±(111 + ~)<u, -
J= l
1
3
g1_ ,) - Í
J= l
,n/(6g1 - 6g 1 _ 1)
l
J lm/ - mf+il
1-
dado, puesto que par~ los ténninos de la última suma en los que 6gi =I= O, tene-
mos lm-2 - m¡ +il~ 2 .E /3, mientras que ¿~g, ~ g(b)- g(a).
La demostración de la segunda de las desigualdades de 5 · 1 es semejante.
Si P ={I 1 , • • • , I } es una partición admisible de [ a, b], sean
donde m (f) = ínf {f(x) : x El ¡}y M;(f) = sup {/(x): x el¡} .Entonces,h y
H son funciones escalonadas admisibles y
J
lím k" dg = O.
Como hn(x) ~f(x) ~Hn(x) para todox e [a, b] , est o unp . que
· 11ca
-b
-ª
· d funciones escalonadas
Sean (hn) y (Hn) las sucesiones correspondientes. e -medidacero
admisibles y definamos k" = H" - "" . Si E i es el conJuntod~~ µ,ero compuesto
donde f no es continua y E2 es el conjunt.o de
' · ·
J',
-me. iEa e E U E En·
p sea = 1 2•
por los extremos de los intervalos en las parttcio~e: ;n' ~ > 0 tal que
tonces, para cada x e [ a, b J E, y cada e > O, exist
ro.;
Esto muestra que Jím kn(x ) = O para et x y, por lo tanto, por la proposición
4 · 6,
lím Jk,. dg = o;
es decir,
f
b
a
I dg=f
a
b
! dg¡ - f f dg2,
a
b
PROBLEMAS
l. Si /1 Y !2 son Riemann st· 1 . .
que Ji
r r e · t bl • te tJes-mtegrables con respecto a g, demuéstrese
J2 s m egra e con respecto ag.
...
Escaneado con CamScanner
6 · T orcma d.. 1
" ª representa ei6 n de Rle11-i 371
f f dg = f(c)(g(b) - g(a)).
b
a .
Fg(f) = f f dg.
a
b
/f
IF,(f)J = ¡ dg / s. v:(u) 11/JI.
6 · l Teorema (F. Ricsz). Si F es 1111a fu11 cio11al lineal acotada en C[a, b] , en.
tonces existe una fimción g E VA [ a, b ], tal que
F(f) = f f dg
a
1,
y II F 11 = V/(g).
DEMOSTRACIÓN. Como C[ a, b] es un subespacio del espacio lineaJ normado
B [ a, b] de todas las funciones acotadas en [ a, b] con la nonna sup, 11 f 11 == sup
{ lf(x) 1 : x e [a, b ]}, el teorema de Hahn-Banach implica que F puede exten.
derse a B[ a, b J. La funcional lineal extendida, que seguiremos denotando por
F, tendrá la misma norma que la F original.
Definamos una función g en [ a, b] por la regla:
t
l= 1
lg(x,)- g(x,-1)1 = F[t t11Xrx,-,,x,>]
l= 1
...
s =,L J<z,>xcx,- .. x,>.
Entonces
k
F(s) = ¿ J(z1)(g(x1) - g(x,_ 1))
i= 1
,
1
d
Escaneado con CamScanner
6 • Teorema de la represcnt.ci6n de Ries~ 373
,r,lím... oF(s) = f f
b
dg.
a
Como f E C[a, b], fes unifonnemcnte continua en [a, b]; es decir, para
cada t > O existe un l, > O tal que
Por tanto,
a
fe C[a, b].
6
· 3 Proposición. Si g e JIA [ a, b J. entonces T(g) =
O si, Y sólo si, g(a) =
= = =
9(a +) == g(x - ) g(x +) g(b - ) g(b) para todox e (a, b).
I' X E [a, y)
1
f(x) = 1- h(x - y), x e [y, y + h)
o, X E [y+ h, b].
Entonces fe C[a, b] Y
Porende
g(y) = g(a).
'
Como g es continua ctp de [ a, b], para cualquier x e [ a, b ), podemos tomar
una sucesión (y n) de puntos que convergen a x por la derecha, tal que g es con-
tinua en cada y n • Entonces
S(f, g, P)
"
= ,í;,1/(z,)(g(x,) - g(x,-1)) = O.
f f dg = o. 11
b
Aplicaremos más adelante el segundo teorema del valor medio para inte-
grables de Lebesgue. Antes probaremos un resultado preliminar.
f F dg = F(c)(g(b) - g(a)).
a
b
..
f F dg = N(g(b) -
b
a
g(a)).
fo
b
F dg = F(c)(g(b) - g(a)). •
1
Escaneado con CamScanner
7 · Segun do leorern
, a del valor rne(f·
EMOSTRACION. Sea F(x) = Jx¡ para x e [a b] 'º 377
D a
mente continua en [ a, b ]. Como . . ,g es n0 decrec1cn
. ' te · Entonces ' F es absol uta.
integrable en [ a, b] , Y la propos1c 1011 2 . 10 1mp . que en [a, b ], g es R·•emann.
. 11ca
b b
{ gf = { g dF = g(b)F(b) - g(a)F(a) - fbF dg
a
b
= g(b) { f - F(c)(g(b) - g(a)) para algún e e [a, b]
f f + g(b) f f.
e - b
= g(a) • -
a e
b)- (b-)ygi(x)==g(x)
DEMOSTRACION. Sea g 1 (a) == g(a + ), g1 ( - g b] y para algún e e
para x e ( a, b ). Entonces, g i es no decreciente en [a, '
[a, b ],
PRODLEMA
Demuéstrese que
b. J( sc;x dx l 5 1
8. LA INTEGRAL DE LEBESGUE-STIELTJES
r. ·, fi'a no decreciente en R. En § 4, indicamos que el con-
Sea g una ,unc,on JJ • •
junto !/'u de funciones escalonadas admisi_bles es una red (J~ttlce) ve_ct~nal, ~
la integra) definida en fl'U es una funcional lineal, con las propiedades s1gmentes.
1. Si/e fl'g y/'¿ O, entonces dg O. Jf >- . . 11
2. Si (In) es una sucesión no creciente de func10nes no negativas en fl' y
Jímfn(x) = O para todox.e R, entonces
Jím f Ín dg = O.
Por tanto, tenemos aquí Jas condiciones previas para el método de Daniell de
desarrollo de una integral, que en este caso se llamará integral de Lebesgue-
StieJtjes. Por tanto, tenemos aquí un caso especial del desarrollo general que
estudiamos en § 15 del capítulo 6, y sólo necesitamos volver a enunciar esos
resultados adaptados al caso especial.
Sea !Jg el conjunto de funciones f tales que existe una sucesión no decre-
cie~te (/,,) de funciones en f/' 9 tal que lím fn(x) = f(x) para et x, y (Jf n dg)
esta acotada. En este caso, "et x" se refiere a la 1,9 -medida que describimos en
§ 4. Si/ e !?g definimos
Jf dg = lím f Ín dg.
9
Sea !i' eJ conjunto de funciones f tales que f = ¡ 1 _ ¡2 ctp, donde / 1 y / 2
están en !Ju, y definimos
f f dg = f!1 dg - f !2 dg.
si fe !l'
9
Y f f
> O ctp, entonces J dg ~ O
9
Entonces, Jl 9 es una función nurnerablemente aditiva en ..l/ ,
Si (a, b) es un intervalo abierto admisible, entonces, por 4 · l,
Por tanto, la definición anterior de ¡111 concuerda con la que se dio en § 4 pata
los intervalos abiertos admisibles. Si ( a, b) no es atlmisiblc, entonces existe una
sucesión ((0 11 , b")) de intervalos abiertos admisibles tales que (a") es no ere.
ciente y converge a a y ( b ") es no decreciente y converge a b. Entonces, al
poner x" = X(an, ,,,.) , observamos que (x") es una sucesión no decreciente de fun.
ciones en !l!g tal que (J Xn dg) está acolada Y Hm Y.n(x) = X<n. b) para todo
x. Por el teorema de convergencia monótona, X(n, b) E!flY, y
Por consiguiente,
Como (a, b] = (a, e) - (b, e) para e> b, entonces (a, b] E Jlg. Además,
para cualquier e> b,
Del mismo modo, podemos demostrar que cualquier interyalo es Jlg = medible
(problema 2). -
Si E es un conjunto de R tal que fXE e!l!g, entonces la integral de Lebes-
gue · Stieltjes de f sobre E se define como
· (LS) Jf
a
h
dg f
= (RS) f
a
b
dg.
d
Escaneado con CamScanner
8 . La integral de L
ebe!gue-Stieltj
, es 381
EMOSTRACION. En la demostración del t
Dbf dg existe, entonces hay una sucesión eorcma 5. . 3 .
a 110 ccrec1ente (/·vimos
d . ) d que si ( RS)
Jf/g tal que ,,, e funciones en
Luego fe !Jg y
f f dg = f fg'.
DEMOSTRACIÓN. Supóngase primero que f es una función escalonada admi-
sible, con representación f(x) = O para x ~ [ a, b ], Y
b r ª' r f"' 0 ,
fg' =f Jg'=L f fo'==¿c, _
f a / ;: 1 a¡ - 1 ¡ ..
1
ª' 1 ·
Además, Jfn dg = Jfng'. Sea E'= {x E E: g'(x) -=I= O}, Y sea E" el conjunto de
medida de Lebesgue cero, donde g' no existe. Entonces, (fng') es una sucesión
no decreciente de funciones en !P tales que ·
y (JI,, g') está acotada. Si E' tiene medida de Lebesgue cero, entonces el teo-
rema de convergencia monótona implica que
_.a
Escaneado con CamScanner
9 • El espacio~ /(E) 383
Jf dg = Jf 1 dg + i Jf 2 dg •
PROBLEMAS
l. Si g es una función no decreciente en R, demuéstrese que dg existe si,J
y sólo si, g está acotada. Si g está acotada y definimos g( oo) = lím b .... 00 g(b) y
g(- oo) = lím 0 .... _ 00 g( a), demuéstrese que
f dg = f 00
-a,
dg = g(oo) - g(- oo).
En !l'/(E), sea
1/2
s(f) = [ tf 2 dg] ;
11/11 = [ t1 2
dg ]
1/2
.
De manera análoga a la prueb~ que se hizo para !l'P ( teorema 8 · 6, capítulo 7),
podemos hacer ver que !l' /(E) es un espacio de Banach.
PROBLEMA
Si fe !l'l[a, b], demuéstrese que para cada e > O existe una función con-
tinua h tal que
11/-hll < e.
d
Escaneado con CamScanner
~ l~s11;1ci,1s
ctt11 11r,1,111 ct,1
i11teri,11•
11
1 · INTRODUCCIÓN
Six. = (cx 1
y -en•
. ' • • • , cx·n) Y - ,., , · · · , ,.,ª") .son puntos
- de R n, entonces el pro-
ducto mtenor, puntó o escalar de x y y es ,
n
x ·y= ¿ cx"JJ".
k= 1
O < (x - AJ' • , ·
• ' X - ).y) ::: ( ~l,. x) _ J-(
• Y, x) - J( ) 2
Por tanto
Por consiguiente
enXXX. Como
l(x, Y) - (xo, Yo)I S l(xo, Y - Yo)I + l(x - x 0 , Yo)I + l(x - Xo, Y - Yo)I
La continuidad
igualdad. • del producto interior en (x 0 , y ) es consecuencia de esta des-
0
(x, y) f
= k=l a."P" , donde x = (a1, ... , ot"}, Y= (P 1, • • ·, P").
(x, y ) = fL- a."P" , donde x = (a:1, ···,a"), Y = <P 1' • • · ' P").
A:= 1
. compleio
.d ar el espacio J ¡l con más minuciosidad. Sean
(2 . 10) Vamos a cons1 er / y definamos
x = (al) y y= ((3k) puntos en l,
00 -
< X
,
y) = " L... 1a."P'\
La converge ncia de e ta serie se dedu ce <le la <lesi 1 uaJ<l a<l <le Schwarz en R.":
para cada entero po itivo 11 ,
(x, y) = ¿ riff"- =
(()
~=l
lím
n-C() k=l
-
¿" rip"
(/, g) = f/ii·
La desigualdad de Holder muestra que si f y g están en .P 2 (E), entoncesjg es
integrable sobre E. Si tomamos la igualdad en .P 2 (E) con el significado de
igualdad casi en todas partes, entonces es fácil verificar que tenemos definido un
producto interior, y que la nonna asociada es la norma de !i' 2 (E) .
r con
' e ,unciones t·
cot1 muas de valores reales en ( a, b ] ,
<J, g) = fa fa
b
constituye un ejemplo de un .
'lb (
H1 ert problema 3, pág. 24 ).espacm con pro I t . .
l uc o mtenor que no es espacio de
9
(2 · 14)
llx + Yll2 + llx - Yll2 = 2( !1xll2 + IIYll2).
2 2
llx + Y 11 + llx - y 11 = (x + y, x + y) + (x - y, x - y)
= (x, x) + (x, y) + ():, x) + (y, y)
+ (x, x) - (x, y) - (y, x) + (y, y>
= 2(11xll 2 + llyl 2 ).
2
llx + yll 2 + llx -Yll =1+ l =2
mientras que
2
Como la norma de (x:i 2 00 satisface la ley del paralelogramo, / OC) no es un
espacio con producto interior,.
PROBLEMAS
l. Demuéstrese 2 · 2, 2 · 3, y 2 · 4.
2. Sea X el espacio de las funciones continuas de valores complejos en [ a, b],
con F = C, y definamos
(x, y)= ![llx + Yll 2 - llx - yll 2 + i llx + iyll 2 - illx - iyl1 2 ].
2
(x, Y)= i[llx + Yll 2 - llx - yll 2 + i llx + iyll 2 - i llx - iyl1 ],
Aplíquese la ley del paralelogramo a cada uno de los dos primeros términos,
con lo cual se obtiene otra expresión de ip(x, y, z). AJ obtener el promedio de
estas dos expresiones, se ve que ip(x, y, z) = O.
Para establecer la propiedad 4, se define ip( (X) = ( ax, y) - a ( x, y).
Demuéstrese que ip( rx) = O, donde (.X es sucesivamente un entero positivo,
un entero, un número racional, i, un número complejo r + is, donde r y s son
números racionales y, por último, un número complejo.
8. Si X es un espacio con producto interior, demuéstrese que su cornpleta-
ción X puede convertirse en un espacio con producto interior.
9. Si X 1 y X 2 son espacios lineales normados, demuéstrese que el espacio
lineal normado producto X 1 X X 2 es un espacio de Banach si, y sólo si, Xi Y
X 2 son espacios de Banach.
10. Una matriz cuadrada H = [h,k] con elementos complejos se llama henni-
tiana si h," = ""' (i, k = l, · · ·, n). (Una matriz hermitiana real se llama
simétrica.) Se dice que una matriz n X n hermitiana ( o simétrica real) es positiva
definida si
n n _
¿ 1
¿h1"(.X ~>0
i= 1 k= 1
1
1
1
(x y) = L"
1 t k
"
1
1,,1< a' -/J1t
3 · ORTOGONAL.IDAD
(x, z) = 1ím(x", z) = O.
Por tanto, x e EJ.. •
1
Escaneado con CamScanner
3 · Orrogonaliflad 095
Si hacemos ver que (Yn) es una sucesión de Cauchy, entonces (yn) conve.rge a
algún punto de E, porque E es completo. Observemos que si Ym Y Yn estan en
E, entonces f(y m + Yn) e E, pues E es convexo.
Tomamos E >O.Existe un entero positivo no tal que
algúnpuntoyeE. Entonces,llx-¡
ó. ~re
. • d C hy en E y, en consecuencia, converge a
Por ende, (y n) es una suces10n e
uey y' eE llx -yll = ó Y 11.x-
Para establecer la unicidad, sup ngase q , '
y; 11 = ó. Entonces
' 2 11( - x) + (x - y') 112
IIY - y 11 = y i 2 llx -y'll2 - IIY + y' - 2xll2
= 2 lly- xll + i
= 4t52 - 4 ll!(Y + y') - X 11 ~ O.
Por tanto
luego, Rl((x - Pr(x),y)) ~O.Del mismo modo, para cada número negativo
a:, tenemos
(x - Pr(x),y) = O. •
97
entonces diremos q X 3 • Ortogonalidad 3
ue es I
Sab emos que si y e a suma directa de y ,
rior X, entonces se su~n subespacio completo de ~ Z, y es~ribimos X == y EB Z.
p de representar cual . n espacio con producto inte-
qu1cr punto x de X en la forma
Entonces y - Pr(x)
z eY\ y y n y1. = {O}
= (x _ P (x
r )) - z. Comoy-Pr(x) e Y, (x - Pr(x))-
manera, X= y Ef) y1. y he ' tenemos
d que y -- p r (X ) Y z = x - Pr(x). De esta
!11ºs emostrado el siguiente:
3. · 4X Teorema.
· Si Y es un subespacio
. completo del espacio con producto inte-
nor , entonces
3 • s
Proposición. Si y es un subespacio cerrado del espacio de Hilbert X, en-
·An· p de X sobre Y es una transformación lineal acotada de
tonces la proyecczu r
X sobre Y, con las propiedades:
(1) P/ == Pr O Pr == Pr
(2) Prj. º Pr == O . odo e X
(3) (Pr(x), y) == (x, Pr(Y)) para t y •
. xyexyrx,pef,
DEMOSTRACIÓN. Para cualesquiera '
)] +'[cx(x - P.,(x)) + P(Y - Pr(Y))]
Pp (
[a.Py(X) + r Y
a.X+ /JY -- ( )) + p(y _ Pr(y)) e y.1. Por tanto,
y y r,.(X - Pr X
donde a.P 1 (x) + PPr(Y) e p ( ) + pPr(y).
Pr(r,.X + py) === ex r x
d
Escaneado con CamScanner
Cap. 11 Espacios con producto interior
398
. . p (x) y x _ p y( x) son ortogonales, por el teorema de p·
Asnmsmo, como t 1-
tágoras (problema 4),
2 2
(x, x) = l!xll 2 = IIPr(x) + (x - Py(x))ll = l1Pr(x)ll + llx - Pr(x) ¡¡2
2
> liPr(x)ll
y, por tanto,
_ IIPr(x)II <
IIPrll - !~~ llxll - 1.
Así, pre BL(X, Y). Como, para cada x e X, Pr(x) = Py(x) + O, donde
Pr(x) e y y O e Y\ tenemos Py 2 (x) = Py(x) Y PyJ.(Py(x)) =O.Además,
para cada x, y e X,
2
Y I fa( a) 1 = 11 a 11 , la es una funcionallineal acotada con 11 / 11 = 11 a 11.
Por consiguiente, si definimos, para todo a e X, ' ª
(3 · 6)
T(a) =la , donde la(x) = (x, a),
f(x) = (x, a) .
.
DEMOSTRACION. Probaremos solamente la existencia de un vector a tal que
f(x) = (x, a); el resto es fácil de deducir.
Si f = O, tomamos a = O. A continuación supóngase que f =I= O y sea N el es-
pacio nulo de[: N = { x : f(x) = O}. Entonces, N es un subespacio cerrado
de X y es, pór ende, completo. Como N1. es un subespacio que contiene un
vector distinto de cero (teorema 3 · 4), podemos elegir a 1 e N1. tal que f(a1) =
1. Entonces, f(x) = O implica que (x,.a 1 ) =O.Para cadax e X, f(x - f(x)a1)
= f(x) - f(x )f(a1) = O, y, por tanto, (x - f(x)a 1, a 1) =O.O sea,
y, en consecuencia,
PROBLEMAS
l. Si E es un conjunto en un espacio con producto intei:ior X, demuéstrese
que En E.1 = {O}. ·
2. Si el conjunto E es denso en el · espacio con producto interior X, demu-
éstrese que E.1 = {O}.
3. Si Y y Z son subespacios del espacio lineal X, demuéstrese que X= Y (BZ
si, y sólo si, se puede expresar cada elemento x en X como una suma x Y =
+ z, donde y e Yy z eZ, y YnZ = {O}
4. En un espacio con producto interior X, demuéstrese el teorema de Pi-
tágoras: si x y y son ortogonales, entonces llx + y 11 2 = llx 11 2 + IIY 11 •
2
4 · FAMILIAS ORTOGONALES
DEMOSTRACIÓN.
. . ., ses· una su bf:am u·1a fimta.
Sea (x) . Entonces " a.' - o
nnphca que, para cualquier t ES', 'L,es· x, -
y, en consecuencia, a.~ = O. •
y, en consecuencia,
n k <x, x">
x == L cx"x,. 'donde ex =
k=l
llx 112 .
k
k=1 k= 1
= llx/1
2
- _¡": ct"(x, u1;) - ¿" ~k(x, u*)+
k-1 k=l
f ¡~.t¡i
k=t
"
= llxll 2 + k~, l<:x, uk) - ~k/2 -
k=I
f /(x, llt)/2.
Si y es el subespacio lineal d
vemos que ,,, ( e X generado por {11 •••
L.1c = 1 x, U1c)u,. es el punto de y . •, , u,.} entonces
mas cercano a.),;; es decir,
"
P,,(x) == ,.¡:_, (x, 111.:)11,.
.. " para todo x E X.
Por tanto, x _ "" .
A . L..t c 1(~,11")"1c est:íen y1
. contmuación sea (u ) .
unagen tiene númer0 .' us una familia orto
cardmaJ arbitrario y nonnaJ de puntos en X cuya
· eremos que
. ' para cualquier punto x e
vemos que m < n2 11 x 11 2 • Por consiguiente, cada Yn es finito y, por ende, Tes
numerable. •
<X)
Para asegurarnos de que nuestra definición tiene sentido, verificamos que 1 Ll=
(x, us,.) "s1c converge y que cualquier reordenamiento tendrá la misma suma.
Sea Yn = LZ= 1 (x, u.,,.)u.,,.. Entonces, para m > n, tenemos
2
IIYm - Ynll
2
f
= /1k=n+I (x, u.,,.)u.,"//
m
- - k=n+
¿ 1 l(x, u.,")1 2 •
2
Como Lt°=i l(x, u.,")1 converge, (yn) es una sucesión de Cauchy en el espacio
de Hilbert X y, por consiguiente, converge. Sea ¿~
1 (x, u.,") u.," = y.
Hemos de .p robar todavía que cualquier reordenamiento de b~ 1 (x, u:s,)
u.," converge también a y. Tomemos otra enumeración { t k : k = 1, 2, · · · } de
T, tal que t k = S¡(k)• Sea Z n = .Lt=
1 (x, u,")u,". Para cada 8 > o, existe un
entero positivo n0 tal que
no+p
¿
k=no+ 1
l(x, u.,")1 2 < B2 para todo p > 1.
Por tanto,
Y, en consecuencia llm z =y
' n •
Sis es ,.., T, entonces (x, u,) = O, y (u,, u5 ) = O para todo t e T. Por con·
~iguiente
Sis e T, entonces
" (x u )u
1
u ) == (x, -us) -
5
¿ (x, u,)(u,, Us)
X - L.J ' ' ' . re T
( , ET
. = (X, Us) - (X, u) == 0. •
Iu
PROBLEMAS
J • SI. ("
o1, 1 ,
. . . , "'\" n ) es una familia ortogona e pun °
t s en un espacio con
5 · EL PROCESO DE ORTOGONALIZACIÓN
DE GRAM-SCHMIDT
Sea (x 1 · · · x ) ort al
b . '¡· ' n ogon en un espacio con producto interior X y sea Y el
su espacio meal de X generado por { x . . . .
mos, por los comentarios posteriores a la p1' '. ~:}. 4S1 u" = x"/ llx" 11, sa~e-
x e X, el punto x _ °"n ( ) ,
roposicion · 2, que, para cualquier
L.k = 1 x, u" u" esta en y .L. Por tanto
(5 · 1)
( x x
¡,
f
- k ::: •
(x, x")
llx"ll 2 x"
)
= O para j = 1, ... , n.
n-1 ( )
x,. = y,. - "\'"' k
~ a xk ,
d,
011
d e ex k = Yn , xk para k > J.
k= 1 llxkl 12
1
x0 = I, llo = Ji'
1 1
X1 =1--f l=I,
2 -1
11,=J;1.
X2=l 2 - -1
2
f
-1
/ 2 - -3 /
1
2
f 1
-1
/3 1
= ¡2 --,
3
n- 1
x" = I" - ¿ (/", r,k)r,k ,f- O en !P z°(a, b).
k =: o
!l' / (a, b ). Así, supóngase que (a, b) es infinito y que existe e'l 1I dg(t). J!
Como e ,1,1 = ¿f=o r"ltl"/k!, tenemos
Esto muestra que la función / 2 " Stieltjes-medible, es menor o · igual que una
función . integrable con respecto a g y, por tanto, es por sí sola integrable con
respecto a g; es decir, re !l' /(a, b).
>
Veremos en seguida que x n -=I= O en _p 2 g(a, b) donde x n = /" _ L,.k =O1 (/"•
u" u"· Como Xn es un polinomio de grado n, tiene un máximo de n ceros en
,n-
(a, b ). Sean los ceros de x" en (a, b ), numerados en orden creciente, t 1 , • • · , t"'.
Entonces
1
1 Xnll
2
=
J b
a Xn
2 J'
dg = x/ dg +
u
1
oo · 1 · 3 · 5 · · · (2n - l) ¡:
v 7í,
f
2
t 2 "e-' dt = ,,
-oo 2
_ ..,.-1/4,
ho - ,.
Xo = 1,
J--f I dg = I,
1 00
,. - ¡ _ -
AJ -
7t -oo - .
X1 -
- ¡1 - f ¡1 dg - J n f-
_1_
J-:; _
oo
00
2__ / oo
oo
13 dg
= 12 - 1/2,
en !i' l (a, b ), p n
00
Podemos demostrar ahora que al ser (Pn)o ortogonal
.
queda determinada en cada caso, con la salvedad de una constante multiplica-
tiva.
y, de ahí, qn = rx."pn • •
- . E
Escaneado con CamScanner
5 · Procc110 de otlogonalb.acll,n de Gram·Schmldr ,u 1
queda detcnnin:H.la
, •
de manera,
única. E11 muchos c·iso"
< .,,
otro t·1po e1e norma 1Ila-
.
ción es mas conv~111~11 le ; mas adelante veremos algunos ejemplos.
El resultado s1gu1ente revela que el polinomio l'n, un término de una sucesión
ortogonal de polinomios en !Pi" (a, b), tiene II ceros distintos, y todos ellos
están en (a, b ).
S · 6 Proposición. .
Si (Pn)o 00 es una sucesión ortogonal ele polinomios en !i' 211(0,
b ), entonces Pn llene 11 ceros reales distintos en (a, b ).
,
DEMOSTRACION. Para 11 :? 1, como Po es una función constante distinta ele
cero,
I Pn dg = Po-1 JPn Po dg = O.
a
b b
Por tanto, existe por lo menos un punto en (a, b) donde Pn cambia de signo.
Supóngase que Pn cambia de signo en los puntos x 1 , • • • , x m en ( a, b ). Como
pnCxk) = O para k = l, · · · , m, sabemos que m ~ n. Supóngase que m < n
y sea
m
q(x) = fI (x -
k=l
xk).
Sin embargo, esto no es posible, porque qp" tiene signo constante en (a, b ).
Por ende, m = n, y Pn tienen ceros distintos en (a, b ). •
PROBLEMAS
J. En R 3 , obténgase mediante el proceso de ortogonalización de Gram-
Schmidt, una terna ortonormal a partir de ((2, 3, 5), (1, 4, 7), (O, 2, 1)).
2. Aplíquese el proceso de Gram-Schmidt a (/ ) 0 ~ pa~a obtener los tres
11
A2 = lím
n-+aJ
f f pe-P dp dO.
O
21l "
O
2
4. Demuéstrese que
«>
= 1 · 3 · 5 · · · (2n - 1) J-
J
- <X)
x2"e-x2 dx
2"
7t.
6·BASESORTOGONALES
Una familia ortogonal (xs)s es de puntos en un espacio con producto in-
terior se llama completa si no hay ninguna familia ortogonal de puntos de X que
sea extensión propia de (xs)se s. Por tanto, si E = {xs : s E S}, entonces la
familia ortogonal (xs)ses es completa si, y sólo si, El.= {O}. Observe el
lector que esta acepción del termino "completo" no tiene nada que ver con la
del contexto de los espacios. métricos o lineales normados que se llaman com-
pletos. Una familia ortogonal completa de puntos de X se llama base ortogonal
de X. Si una base ortogonal se ha normalizado de modo que cada término tenga
norma I, entonces se llama base ortononnal de X. En muchos casos, resulta más
cómodo utilizar bases ortonormales.
Una base ortogonal es un elemento máximo con respecto a la ortogonalidad,
mientras que una base de Hamel es un elemento máximo con respecto a la inde·
pendencia lineal. Como lo muestra el ejemplo siguiente, una base ortonormal no
es forzosamente base de Hamel. En el espacio complejo de sucesiones /2 , con·
sideremos la ·sucesión de puntos (ek) donde e, = (ó,/) y b,/ es la delta de
Kronecker. Esto no constituye una base de Hamel de /2 , porque la sucesión
( l / n) no puede escribirse como combinación lineal finita de los tém1inos de
(e,J. No obstante, (e,) constituye una base ortonormal de /2 • Esto es clara·
mente una sucesión ortonormal. Para demostrar que es completa, tomemos
x = (a") E E1. , donde E= {e,: k = 1, 2, · · · }. Entonces, para todo k,
es decir, x = O.
Así, hemo~ visto que una ~ase ?rtonormal B puede no ser base de Hamel
para un espac1? con produc~~ mtenor X, p~es ~ued~ haber un vector en X que
no sea susceptible de expresmn como combmacaón lineal finHa de los términos
de B. Esto no puede suceder, a menos que B sea in finita (problema J). Si B es
infinita, entonces el teorema siguiente revela que, siempre y cuando x sea un
espacio de Hilbert, se puede escribir cualquier vector x e X como "combina-
ción lineal infinita" de términos de B. Hablando con más precisión, diremos que
el teorema indica que x es la suma de su serie de Fourier con respecto a B.
6 . 1 Teorema. Si H =
{us: se S} , donde (u,) uses una familia ortonormal
de puntos en un espacio de Hilbert X, entonces los enunciados siguientes son
equivalentes:
l. (us)s es es completo
2. Para cada x E X, x = LseS (x, us)us
2
3.Para cada x E X, llx 112 = Lses l(x, us)l (identidad de Parseval)
4. El conjunto generado por E es denso en X
- . .
X - L (x, Us)us = O;
seS
11x112
/"
= (X, X)= \;~/X, Us
) x) = L
Us, seS
(x, U 5 )(us, x)
= ¿ l(x, u,)1 2 •
seS
.
. r- {se- S. (x u)'# O}. Sea {s1} una
d finunosal -. >· O, existe
' J un entero posttivo
(3) ~ (4) . Tomamos x e es
Xy e • •
ara cu quier e
enumeración de T. Entone ' p
n tal que
x-
n
I, (x, u,k
)
u,,.
11:z. == 11xll 2 - f j(x, r,lk)l2 <
1== ,
6.
\\ l == 1
/\kt=I x) = I
tJ.klls",
k= I
a."(11.~,,, x) = O.
(x, x) = lím(y 11 , x) =O
y, en consecuencia, x = O. · •
Con una aplicación del lema de Zorn, se ve fácilmente que cualquier espacio
con producto interior distinto del trivial tiene una base ortonormal.
------
Si un espacio( producto interio; ~ )X tiene base de Hamel B = (us)se s que
•
es ortonormal, entonces B es base ortonormal de X. Si x e E .1 donde E =
{u,: s e S }, entonces existen vectores u, 1 , • • • , u en E y escalares ix 1 , • • • , ex"
en F, tales que X =
~
~z k
= 1 ti. u,,,, Entonces
~
Y, de ahí, x == O. Esto revela que E .1 = {O} .En el caso de que X tenga una base
numerable de Hamel, entonces la aplicación del proceso de ortogonalización de
.
Grrun-Sclunidt .
produce una base numerable de Hamel , que es ortonormal y en
consecuencia, constituye una base ortononnal de X. '
A continuación veremos que cualquier espacio con pro d uc to mtenor
. . sepa·
rabie posee. una
. base ortonormal
. . X es
numerable · Recordemos q ue un espacm
separable s1 existe un conJunto numerable contable que sea denso en X.
( x, y) =(
k= l
f ( x, 11k)11k, ¿ ( y, u )u
/ = 1
1 1)
!X)
PROBLEMAS
1. Si B = (u 1 , · · · ,un) -es una base ortononnal finjta de un espacio con pro-
ducto interior X, demuéstrese que Bes base de Hamel de X.
2. Si un espacio de Hilbert X tiene la base ortononnal finita (u 1 , ···,u,.),
demuéstrese que X es isométricamente isomorfo a /2".
3. Si un espacio de Hilbert X tiene una base ortononnal numerable demués-
trese que X es separable.
4. Demuéstrese que
1 1 1 1- · 1 - )
( J n, J;c ~os t, _J;c sen t, J;c cos 2t, ~ñ sen2t, · · ·
2
demuéstrese que x = y .
6. Pruébese que_ en un espacio con producto interior, la identidad de Parseval
llx 11 2 = Lies 1 ( x, u.,) 12 , (u.s)us es una familia ortonormal es equivalente a
,
DEMOSTRACION. Como, para,, -=f:. m,
(En) es ortogonal.
Demostraremos que (En) es completo al verificar que su conjunto generado
es denso en !t' [ - 1T, 1t ]. Tomemos fe IR 2 [ - rr, rr] y e > O. Por el teorema
2
3 · 8 del capítulo 8 (pág. 273),'existe una función continua g tal que
Sea tn = 1T - 1/ n2 , y definamos
Entonces, g. e!i continua en [- "• ,r] Y como g.( ~) = g,(- ~)'.se pue~e e~
tender g, á una· función cont_inua en R, con penodo 2,r. Asnmsmo, si M -
máx {1 g(t) 1: te [ - 1T, 1t] }, entonces
: ] 112 [ 112 2M
~ f..<2M)' dt
ir ]
Por el teorema de Weierstrass ( corolario 2 . 9' pág. 264), existe ·un polinomio
trigonométrico T, T(t) = Lk== -m o:1,: e'k'' tal que
6
lg,.(t) - T(t)I < - _ para todo t E [ - rr, n].
Jj2rt
Entonces
llg,. - TII = [
f_,}g,.(t) -
•
T(t)l:z. dt
] l /2 t
~3
y, por ende,
. . .
Como
si
1 .
u,.(t) =- e
111
',
. fo
entonces, (u,.)~ co es una base ortonormai de L 2 [ - Tr, Tr ]. El teorema 6 · 1 im·
plica que la serie de Fourier de cualquier función / e !i' 2 [ - Tr, ff] con respecto
a esta base debe converger a f en !i' 2 [ - ff, 7r]; es decir,
f = f
n=-co
"In u,. , donde y,.= ·(/, u,.) = ~
y27r -•
f" f(t)e- 1111
dt.
ve hecho, si
u (t) =. t ellnnl/(b-a)
" J -¡;-::a
entonces (u")~ 00 es una base ortonormaJ de .!l' 2 [ a, b ].
Consideremos a continuación el espacio real .!l'2 [ - rr, 1r ].
Entonces, paran = O, 1, 2, · · · ·
asimismo
Por tanto·, f = O en !i' 2 [ - 1r, 1r ] ; es deéir, f = O ctp de [ - 1r, 1r ]. Esto revela que
la sucesión es completa. •
f f(x)e -
t
a
1
""" dx =O para todo n
De hecho, para 11 > 2/(b - a), podemos elegir /,, de modo que In (x) = Opara
x ~ a - l/11 y x ~ b + 1/n, f,,(x) = 1 para x e [a+ 1/n, b - 1/n], y /,, es
lineal en (a - l/n, a+ l/11) y en (b - l/11, b + 1/n); es decir, fn(x) = (n/2)
(x - a+ l/n) para x e (a - 1/n, a+ l/n) y f(x) = (n/2) (b + 1/n - x) para
x e (b - l/11, b + l/11). Se deduce entonces que si hes una función escalonada,
existe una sucesión (fn) de funciones continuas, con Ja propiedad de que Hm
fn(x) = h(x), con la excepción de Íos puntos de discontinuidad de h. Además,
las funciones fn pueden elegirse ·de modo que si c es un número en el recorrido
de lz de valor absoluto máximo, entonces
7 · 3 Teorema. Si fe 2 9
donde g es una función acotada no decreciente y
DEMOSTRACIÓN. Sea
1
Escaneado con CamScanner
7·L
as sucesiones complejas 421
podemos suponer que para tod
, , O "1 y XI/
podnamos tomar -1 v (h /\ l) J> ' 1 m(X)I ~ 1, pues de lo cont .
m . ara cad rano
tal que hm ( x) = O parax ~ [a b ] s· ª ,n, hay un intervalo [a b ]
m, m. ir >os m t '"
C ( -r m ' r m ) ' en ton ces existe una sucesión !
toma de ~odo que [a'" ' b m ]
[ _,m , r"'] tales que (/" ) de funciones continuas en
con la excepción de los puntos de discontinuidad de h'" (un conjunto deµ,· -me-
dida cero). Extendamos las funciones f n'" a todo R, de manera que tengan
periodo 2r m. Entonces, por el corolario 2 · 9 del teorema de aproximación de
Stone-Weierstrass, versión compleja '(pág. 264), para cada f" m existe una suce-
sión (Ti") de polinomios trigonométricos Ti"(x) = Ll= . : 1 c"eimlxf,'", que
converge uniformemente a f"'" · en R. Entonces, si / es suficientemente grande,
PROBLEMA
a. Demuéstrese que si
1 .
un(t) = - - e1n'
Jbc ,
. 1 .
un(t) = J- e2dnr/(b-a),
21t
j
Escaneado con CamScanner
li • l_,011 polinomios de 1.egend.re 423
1-'o(X) = J,
1 el"
P"(x ) = - - (x 2 - l)" fior 11 >O
2"n I dx"
Al desarrollar. (x 2 .....: 1)" vemos que P" e:; un polinomio de grado n, y que el
coeficiente de x" en P" (x) es (2n)!/(2"(n!):i). Además, P" (x) tiene solamente
potencias pa~~s de x si n es par, y sólo potencias impares si n es impar. Por
consiguiente.
Pn(-x) = (- l)"Pn(x).
Veremos que ( P11 ) es una base ortogonal del espacio real .2'2 ( -1, 1). Obser-
vemos primero que si/(x) = (x 2 - l)" entonces
•
1
- 1
1
1)..- 1
= -2n f 1
-1
(x 2
- 1)" dx - 2n f- 1
(x
2
-
1
l)" - d.'C.
1
=- 2n f 1
(x - 1
2 )"- 1 1
f- • (x 2 - 1)" dx
2n + 1 -1
'x.
.. ,
8 · 2 Propos1c1on.
(P ) es
"
,,,w s11cesió11 orlogo11al en 2' i ( - 1, 1), y
2 2
IIP"II = 2n + 1
f 1
)d
f
l m-l¡(n-1)(
2",r!(/m, Pn) = _ /mfl")(x) dx = -m _ / X X
-l
(2n)! 2"n! 2
2
- [2" · 11 !] 2 (2n + 1)(2,r - 1) · .. 3 = 2n + l · •
]
Escaneado con CamScanner
•
'
O·L 08 1mllnoml08 el
DEMOSTRACJON Para b e Lcgcndrc 425
· • pro ar
veremos que su conjunto . ~ que la sucesión orto . .,
!t'2( - l, 1) y 6 >O.Por er~nerado es denso en!!! 2 g~ntl 1(/"~es completa,
tinua g tal que eorema 3 · 8, (pág. 273 ( , ' ). romamos / E
), existe una función con-
Entonces
llg - QII = [f 1
-1
lg(x) - Q(x)l 2 dx
] 1/2
<~
2
y, por tanto,
Aquí podemos obtener una relación de recurrencia con tres términos, que nos
permitirá calcular P,, + 1 en términos de P,, Y Pn- t •
= 2k + 1 J
1
n+ l kp donde rl xP,,(x)P,.(x) dx.
I P,,= L
k=O
tX k' 2 -1
a." = 211 + 1 J 1
xf'11 2{x) dx = O.
. 2 - 1
Por ende
(2n)! 1 (2n+2)! 11 + 1
-·--= . ex
11
2 11 ! n ! 2 + (n + l)! (n + 1)!
11 1
11+, n + 1
(X =---
2n + 1
Entonces
1 2 2(n + 1)
J -1
xPn(x)P11 + 1(x) dx =
2n + 3
cx"+ 1 -
(2n + 3)(2n + 1)
paran ~ O
11 _ 1 2n - 1 1 J· 2n - 1 2n
ex = 2 -1 xP,r(x)P,._ 1(x) dx = 2 • (2n + 1)(2n - 1)
n
- 2n· + 1 ·
2
8 · 5 Proposición. (1 - 2xt + 2
t )- '
1 2
= L:'::o PnCx)t" paral2xt - t I< J.
112
DEMOSTRACIÓN. Sea F(x, t) = (1 - 2xt + t2 f • Entonces, a partir del
desarrollo de la ~erie del binomio
obtenemos
tenemos
aF(x,
2
!l + (t _ x)F(x, t) == O.
( 1 - 2x t + t ~ - iJ t
Es decir
00 00
00
Por tanto
Ahora bien, g 0 (x) = F(x, O)= 1 == P0 (x) y, así, gi(x) =x =P1(x). Como la
fórmula de recurrencia de los g n es igual a la de los P n (proposición -S • 4), y los
dos primeros términos son iguales, tenemos que g " = P" para todo n ¿ O. •
<X) <X)
(1 - 2t +t 2 1 2
)- ' = (1 - 0- = L t" = L Pn(l)t".
1
"=º "=º
Entonces, P" ( 1) = 1. •
(1 - x 2 )/'(x) + 2nxf(x) = O.
tenemos
( 11 +
O
1)(1
- x
.2)/(n+ 2)
(x) + (" +
1
1) (-2x)jC" + 'l(x) + (11 ; )
1 ( - 2)J '">(x
2
(1 - x )P:(x) - 2xP~(x) + n(n + l)P"(x) = O. •
PROBLEMAS
l. La representación de una función f .P 2 ( -1, 1) con respecto a la base
E
ortogonal (P") a menudo se llama serie de Fourier-Legendre de f. Encuéntrese
la serie de Fourier-Legendre de las funciones siguientes:
Q para - 1< X < 0
ª· f(x) = ( 1 · para O < x < 1
,
y ap11quese a con t·muac·ón
1
la regla de Leibniz de la derivada 11-ésima de un
producto.
3. Demuéstrese que
):2 - 1 .
P (x) = P~_ 1(x) .+ xPn- 1(x), n ~ l.
n 11
2 _eI-n - 1 ( 2
. - _11 - l )" - 1)
Pn(.'() - 2" ·1 J n - 1 (x X
11. G X
Pn(x) = 2"1n.'dd:
X
((x2 - 1)"- •(x2 - 1)).
4. Demuéstrese que:
1 - x2 1- x2
a. n2 (P~(x))2 + (Pn(x))2 ;;:::: ni (P~-1(x))2 + (Pn = i(..r))2,
n > 1.
1 - x2 2 . i
b. n2 (P~(x)) + (Pn(x)) < 1, lxl < 1, n ~ 1.
c. IPnCx)I < 1, lxl < l.
S. Demuéstrese que
p (O)= ( -1)"(2n)!
2n 22"(n !)2
6. Demuéstrese que
7, Pruébese que
[(" - 1)/ 2)
P~(x) = L
r=O
(2n - 4r - 1)Pn - (x )·
2, - 1
Demuéstrese que:
a.
T0 (x) = 1,
Tn(x) L, n ) xn-lk(xl -
= [n/2)( 1)", n = 1, 2, · · ·.
k=O 2k
Sugerencia: en -1 ~x ~
1~ sean x = cos 8, ,J 1 -x2 = sen 8, O~ (J ~
•
1r. Utilícese la fonnula de deMoivre
1 '
b.
xk = c~s (
2k - l 1t) , k = l, 2, · · ·, n
211
2kn
xk = cos -n ,. k = o, 1, ... , 11.
máx
-1sxs1
¿cuál es el número mínimo de ceros que debe tener q "?, ¿cuál es el grado
' . de q,,.?
max1mo
g. T,. satisface la ecuación diferencial
2
(1 - x )y" - xy' + n2y = O.
Sugerencia: tómese x = cos O y y = T" (x) = cos n f), y aprovéchese
que dy/dx = (dy/dO)/(dx/dO).
H 0 (x) = 1,
" xl el" 1
H "( x ) =(- 1) e - e-x para n > O
dx"
3
H 0 (x) = 1, H 1(x) = 2x, Hi(x) = 4x 2 - 2, Hix) = 8x - 12x.
HnC-x) = (-l)"Hix).
--
. 9.. . :. ._2_ Proposici6n. ( H") es una sucesión ortogonal en !i' 2' Y
---------~
Escaneado con CamScanner
-- . ..
oo dn
= ·· · = J _
e-"
1
dx f-/m(x) dx.
-;;
00
11 H,.112 = f ex,
e-" 2 -
d"
Hn(x) dx = 2"n !
f ex,
2
e-" dx = 2"n !J-7t. •
. - oo 4x 11
. - oo
·9 · 3 Teorema. (Hn) es una base ortogonal de !t' l-
DEMOSTRACIÓN. Tomamos fe !t' l tal que (/, Hn) =. O para todo n. En-
tonces (f, /") = Opara todo n. Observe el lector que como R tiene µ(/ -medida
finita,[ e JRfl, Sea
F(t) = f-ea
00 f(x)e- 1'" dg(x) para te R.
Para cada t E R
k!
Como
_............
Escaneado con CamScanner
9 · Los polinomios de Hermite 435
2
e21,11-~1-x es integrable, deducimos de una forma del tco rema d e L ev1· ( pro bl cma
Y
, pág. 180) que
3
i)"
F(t)
00 ( _
f 00
'
Si k < n - 1; entonces/H k tiene grado menor que n, y R n es orto~onal a/R 1c; es
decir, a."= O para k < n - 1. Además como IR; es una función impar
Por consiguiente
1
\!• al igualar los coeficientes de x"+ , tenemos
t
Por tanto
1· cxn+ 1 = 2 ·
1
f 00 xHn(x)H,.+ 1(x) dg(x)
J;(n+1)!2"+ -
00
2
a."-1 = _
J1r(11-J)!2rl
J 00
-oo
xHn- i(x)Hn(x) dg(x)
2
= Jnn12n-l = 2n.
Jn(n - 1)!2"- 1 .
Por consiguiente
n.
t" · , para l 2xt- t I < e para cual-
. , .
2
quiere> O. ·
'
DEMOSTRACION. Sea
aF(x, t) J
at = (2x - 2t)e 2 xr-, = 2xF(x, t) - 2tF(x, t),
obtenemos
f g,. + i(x)
n=O !
'1
t" - f 2xg,.(x) t" +
,i=O I ,i L
2ng,. _ ,(x) "
I
oo
= O. I
,. .. • 11
Por tanto
Como
'-, -- - - -----
9 · 6 !!.oposición. H;(x) - 2xH~(x) + 2nH,.(x)
-
= O.
DEMOSTRACIÓN. Si derivamos H n y utilizamos la relación de recurrencia 9 · 4,
obtenemos
d" d"+ I
H~(x) = ( -1)"2xex1 dx" e-xi + (- l)"exi dx"+ t e-xi
.
Por consiguiente
1 (,
n- l
-J[ l ( J)"-12 . J C 1d"_ -J[l
~"( X·)=(-1)" - '4nxe·'f dx"
J~,. ' -1e + - ne d X "e
PROBLEMAS
l. Demuéstrese que si fes par, entonces/' es impar, Y si/es
2
impar, entonces
1
¡' es par. En consecuencia, conclúyase que Hk(x) = (-1/e " (dk/dxk)e-.% es
par cuando k es par, e impar cuando k es impar.
2. Por medio de la función generatriz, demuéstrese que
(2n)'
H 2n(O) . = ( -1)" -n!·
n = O, 1, 2, . . -
H 2n+ 1(0) = O.
00
,r n 2
lím
n-+oo f
-n f(x)
_
k~-n ck e
lkx
dx =-º 'd,)nde Ck== 2-7t
1
I f(t)e-'"' di.
x
-x .
Esta relació_n no nos permite concluir que, para un x dado en [-1r, rr ), Ja serie
Lk= - oo e"e ,kx de numeros
~CX) , comp leJos
. converge al numero, f(x ). En esa sec-
ción consideraremos las con~iciones en que la serie de números ¿ca: e1A:x con-
verge al número f(x ).
Primero observemos que si/ E !l'(-1r, 7T], entoncesJ~ir/(t)e- 111dt existe y,
en consecuencia, para cada x e R, la serie de Fourier ¿c1 e1A:x está bien definida
(pero no es forzosamente convergente). Como cada término de la serie de
Fourier tiene periodo 27T, podemos extender fa todo R, de modo que tenga
periodo 271', es decir, f(x) = f(x - 2m rr) si x e ((2m - l)1r, (2m + l)1r], y
considerar si 1
¿c e
1b converge a/(x) par.a cualquier x dado en R. Si hacemos
esa extensión, entonces ·
Entonces
"
D"(x) = ¿ e'b.
k=-n
En realidad
sn(x) =-
1
21t
f1l
-11
f(t)Dn(x - t) dt.
obtenemos la expresion
sn(x)
1
= -27t
J,r-x f(x + u)Dn(-u) du = 21t -f
1 "
f(x + u)D,.(u) du
-11-Jt -11
O== lím (s,.(x) - s(x)) = lfn1 -1 (f(x Jlt + t) + f(x - t) - 2s(x))D,.(t) dt.
,. ... co ,. ... oo 2n o
lím
,. ... a>
f
o
g(x, t)D,(t) dt = lím f g(x, t) sen(n + !)t dt = O
n-CX'> o sen tt
· · lím
, ... co
ff(t)e 1
'' dt = O.
lím fJ(t)e''' dt = O.
, ... oo
•:-: lst0 1111n {\111 •l1i 11 \N ·11lo 1111d11 !/ tul q11 (prohlo11111 7, p,111. 17J) 0
,:
f 11 - fll -2
Por ·onsi~11i •nt • 1
fJ(t)e 1
'' dtl < e parar~ r0 • •
lím
, .. CIO
Jf(t) cos rt dt = O y lfm
, .. CIO
ff(t) sen rt dt = O.
Se deduce también que los coeficientes de Fourier se aproximan a cero
1
lím e" = /clím
/c .. oo .. oo 21t
J'' f(t)e-
-,r
1
"' dt = /clím _!_ ff(t)xc-
.. oo 2n
•
11 111
(t)e- 1"' dt = O.
l'
im
n-+ CX)
f" g(x,
.,sen
t)
sen(,a + !)t dt = O.
_1
-i;t
,
l 1m f" g(x, t) sen(n + i)t dt = O. •
-1
n ... CX> o sen -i;t
,
DEMOSTRACION. Mediante la regla de L'Hospital o la fórmula de Taylor
puede verse que
( 1 2)
lím - - - - =0.
, ... 0 sen !t t ·
1 2
h(t) = - -- para te (O, 1t],
sen !t t
entonces h es continua en (O, rr ]. Esto implica que todas las integrales de Lebes-
gue siguientes existen, para cada o E (O, 1T ):
Por tanto, )a proposición 10 · 4 implica que (s,,(x )) converge a s(x) si, y sólo si,
para algún[, E (O, 1T ) ,
tím
n-+oo
f' O
g(x, t) scn(n
t
+ !)t dt. O. •
10 · 6 Proposición (Dini). Si fes integrable en (-1r, 1r] y tiene periodo 211', en-
tonces la serie de Fourier de f converge en el punto x a s(x) si, para algún 5 e
(O, rr), g(x, t)( 1 es integrable en (O, cS].
6 g(x t) · ·
lím
n-+oo f O
' sen(n
t
+ !)t dt = O
1O · .' Proposición. Si fes integrable en (- 7T, 1r] con periodo 21r y es casi di/e-
renczable en x, entonces la serie de Fourler de f converge en x a s(x ), donde
s(x) = !-(f(x + ) + /(x - )).
,
vEMOSTRACION. Sea g(x, t) = f(x + t) + ( . _
djferenciable
s:) en x, existen un 8 e (O ' rr) Y un /inumero ~
- 2s(x).
t) M tal que,Como/ es casi
para todo tE
(O, u,
1
Como en {O, .'5 ) la función medible g ( x, t) t · está acotad a porta función in te·
.,
grable li
1lf, 6es· integrable. Entonces, g(x, t)t-• es integrable en [O , 6] Y Ja propos1••
c1on 10 · 1mp ca que
se debe a Dirichlet.
a, b - x, 1T }. Entonces
!J(.x, t) =J(x + t) +J(x - t) - J(x+) - f(x-)
Como
o= g(x, o+) =Ji(O+) -/2(0+ ),
Por la proposición 10 · 5, sabemos que (s n(x )) converge a s(x) si, para algún
8 E (O, rr),
6
g(x, t)
lím
n-+ex> f O
- - sen(n
t
+ !)t dt = O.
lím
" ... CX)
t
o
h,(t) sen(n + t)t dt
t
= O para i = 1, 2.
~ 4e para todo n.
pROBLEMAS
J. Determínese la serie de Fourie r de cada un d 1
respecto a 1a base ortogonal (1 , cos nx, , sen nx)ª ero asdfunciones sigu·1entes con
1T J. n= 1 e1 espacio real Z i [- rr,
•
Escaneado con CamScanner
448 Cap. 11 Es¡,ndos con procluclo lnl rlnr
00
donde
l _,
J'
a,.= -1 f(x) cos -nnx
- dx, n = O, 1, 2, ...
1
b,. = T J'
1 _((x) sen -mrx
- dx, n = 1, 2, ....
1
1 11
u,.=-- ¿s .
n + 1 J=O 1
lím a,.= s.
Demuéstrese que:
a. Lt•o (-l)k es sumable de Cesaro a 1/2.
b. Si · Lª"
converge as, entonces es sumable de Cesara a s.
7. Sea f1huna fu11.c~ón integrable et1 (- 71 , 1T] con · d ·2,r. Sea ,,(x =
'('
t-•J • l · , ,
:; e, e . a ¡-csuna suma parcial de la • , pe~io º'
defimdo a como en el problema' 6 , ti cmu. éstrcsc quetic F•ourier cJe ¡.· Hab',en)d o
serie
II
a. anCx ) == f (1 -
k== -n ,r + 1)ele c'b
lkl
1 .. "
K,,=- ¿D
n + 1 J=O J
de modo que
anCx) == 2n
1 fil(J(x + t) + J(x - t))KnCt) dt.
O
Demuéstrese que:
a. KnC - t} = Kit)
b. fil Kn = n
o
d. Kit) 2: O
e. K,,(t) ~ n + 1
f. K.(t) .,; c/((n + J)t 2 ) para O < t .,; ,r donde e es una constante
independiente de n.
9. Demuéstrese el teorema de Fejer: si / es integrable en ( -1f, "1 con periodo
2,r, entonces la serie de Fourier de/es sumable de CesAro a
Para E > O, existe un o > O tal que I g(x, t) 1 < e siempre que O~ t < 6.
Entonces, considérese
lu,.(x) - s(x)I ~ -
1
· 21t o
f&
lg(x, t)I Kn(t) dt
1
+ -2
1t
f lg(x, t)l K,.(t) dt.
ff
&
10. Si en el problema 9 fes continua en [-1T, 1r], demuéstrese que (a,.) con-
verge a f uniformemente en R, y obténgase así otra demostración del segundo
teorema de aproximación de Weierstrass (corolario 2 · 9, pág. 264).
11. Efectuando los pasos siguientes, obténgase la demostración del teorema
de Fejer-Lebesgue: si fes integrable en (-7T, 1r), entonces la serie de Fourier de
- fes sumable de Cesaro a f(x) en casi todo x e (-1r, 7T ).
a. (Problema 5, pág. 330). Tómese x e (-7T, 7T) en el conjunto de Lebesgue
de f, y sea g(x, t) = f(x + t) + f(x - t) - 2f(x), definiendo también
J~
G(x, t) = lg(x, u) 1 du. Para cada E > O, existe un o > O tal que
c. Para n > n 0 ,
2n la,.(x) - f(x)I S (
l/11
.
lg(x, t)I K,.(t) dt
,
+ f !
l/11
lg(x, t) I K,.(t) dt
l/11
f o
lg(x, 1)1 K,.(t) dt s 2e.
.,
fl /n
lg(x, t)I K"(t) dt ~ ~ J" lg(x, t)I
· IJ + 1 1/n t2
d
t < 3ct •
g. (Parte b)
h. (Partes c, d, f, g)
3
lo"n(x) - f(x)I < 7t (1 + c)e.
2
11 · LA INTEGRAL DE FOURIER
¿
00
ck e 1ku , donde ck = -1 J" f,(t )e -lit dt.
k=-rx> 27t -x
L
rxi
e" e'"""'' , donde e" == -
1 J' j( s)e -111,u/r d
s.
(11 · 1) k:;:;-oo 2r -r
L r
/,(u)= J-f
27t
f(t)e-
-r
1
"' dt,
entonces
(11 · 2) ~ · t fr(kn)eiku/r ~,
fok=-«J r r
¡;e
1 f
«) • 1
](u)e"ª du , donde ](u)= ¡;e J(t)e- 1"' dt. f «)
y 2n - «) y 21t - «J
](y)= _2_
fo-~
f
f(x)e-lyx dx,
«)
ye
R
.
lím ](y) = O.
, .. ± «)
1
Escaneado con CamScanner
11 • La lntcgra1de Fourltt
453
11 . 4 Proposición. Si fe !l', entonces/ es continua.
,
DEMOSTRACION. Toman10s y e R. Si Ja sucesión 1
ara cada sucesión de puntos (y,,) en R que co (i(Y11)) converge a /(y)
p, nverge a y ento ¡·
tinua en y. ' nces será con-
Sea g,,(x) = f(x)e- 1>'"x; entonces (g 11 )
!L' tal que es una sucesión de funciones en
lím gn(x)
n ... oo
= f(x)e-,,x para todo x e R
lím](Yn) .- J(y). •
Si definimos
)ím
, ... ao
r· j(u)elWX da,,
-r
s·1 -:- .
dx Si/~ !t', entonces
tux
1 E !e entonces este límite existe, y es J~ ao f( 11 )e ·. d ~ ·
·i·iar condiciones
e1 1imite · t e en etcnm
• · puede existir, y nuestro objetivo consis
J1 · 5 Proposición.
b sen x '"1t
lím
b-+ oo fo
- d x =- .
X 2
s
"
= I"
k= 1
fkff
(k-l)n
sen x
--dx,
X
entonces para b ¿ 1T existe un en tero positivo n tal que n 1T :5: b < (n + 1)11'.
Entonces, Jg (sen x /x) dx queda entre s n y s n + 1 y, en consecuencia, Iím b ..tll
Jg (senx/x) dx existe. _
Para evaluar este límite, recordemos que ·
Además, si h(O) = Oy
1 2
h(t) = - - ·para te (O' rr] '
sen ft t
0 11 0
lím 2
n-+co
J" se~(n t+ !)t dt:; 1am• J11 sen(n + !)t dt = n.
O
" .... co o sen !t
o
sen(,r
I
dt = lím
" ... oo
f<"+
O
112)"
sen x .
X
n
-dx::-
2
y, en consecuencia,
hm
. .fb -dx=-.
sen x 1t
•
b ... oo o X 2
s,(x) =
.
-f
1
F,c -,
r
](u)e'ux du.
-r - oo
= -1 ·Jao f(t)
sen r(x - t)
dt = -1 f 00
f(x + t) sen
-
rt
dt
1t -oo x-t n -oo t
·
=-
1
7t
f (!(x + t) + J(x - t)) -sent rt dt.
co
Como, para cada O > o,. if(x + t) + f(x - t)J1· 1· es integrable con respecto a
t en [ó, oo ), el teorema de Riemann- Lebesgue implica que
Por tanto: lím, .... 00 s,(x) = s(x) si, para algún ó > O,
l " sen rt
(11.6) lím - (f(x J + t) + f(x - t) - 2s(x))-- dt
1
= O.
r-+ oo 1t O
.
lím ~ 11_
r-+oo-V27t
J' J(u)e
-r
1
"" du = !(f(x+) + f(x-)).
Como
A partir de 11 · 6, sabemos que Iím , ... 00 s,(x) = s(x) si para algún ó >O
, f g(x, t) sen rt dt = O.
hm
6
,. ... QC) o t
l'
1m
J" -h,(t) sen rt dt = o i = 1, 2.
,. ... 00 0 t '
'"11en u
<e
J ·- d u re U
~.l,,(t) .
f- ,, t
senrt dt < e.
,, h (t)
f o
.J._ sén
t
rt dt < Se. •
-
PROBLEMAS
1. Sif(x) = e-JC
1 2
, determínese! ·
' 1
2. Si fe !i' y g(x) = f(x + e) demuéstrese que g(y) =Í(y )e1c •
3. Si f y g están en !i', definimos la convolución de fy g, que se denota por
f * g, como
(f * g)(x) =
1
f
r,;:
V 27t -ao
oO
f(t)g(x - t) dt.
Demuéstrese que:
a. f * g = g * f.
h. Si h = f * g, entonces h = ÍfJ·
Sugerencia: consúltese el problema 3, pág. 342,
4 · Si para todo r > o ¡ e !i' (-r r) definimos las medias ( C, 1), de Cesaro,
deJCI) ¡ ' ' '
-<T, por
b. Si f-oo
00 f = s, entonces lím u,.
,. .... co
= s.
J21t f
1 ao
· -= J(u)e1"" du
-ao
son
u,(x) = ~
v 21t
r (1 -~)
-, . r
J(u)l"" du.
.
u,(x) = ~
21t
f 00
-ao
f(t)
.
r (.1-
-,
lul)e'u(x-t) du dt.
r
K,(s) = r (1 - ~)e'"'
-r r
du
de modo que
u,(x) = -f
1
2n -
00
00
f(t)K,(x - t) dt.
Demuéstrese que:
b. K,(-.s) = K,(.s)
'
- - . . c . -- -..1~
Escaneado con CamScanner
11 • La integral d F
e OUfitr
c. O s K,(s) <r
d. ( K,(s) ds = 7t.
1 co
e. o-,(x) = 2rr fo (f(x + t) + f(x - t))K,(t) dt.
lím
~-+co
_!_ Ir
~ -r
(1 - ~)icu)lUJC du = f(x)
r _.
para CtXr
[31] Riesz, F. Sur les opérations fonctionnelles linéaires. Comptes Rendus Acad. ·
Sci. París, 149 (1909), p. 974-977.
[32] Riesz, F. y Sz.-Nagy, B. Functional Analysis. Traducido del francés por
L. F. Boron. Frederick Ungar Publishing Co., Nueva York, 1955.
[33] Rogosinki, W. W. Volume and Integral, Oliver and Boyd, Edimburgo, 1952.
[34] Royden, H. L. Real Analysis,· Second Edition. The Macmillan Company,
Nueva York, 1968.
[35] Rudin, W. Principies of Mathematical Analysis, 2a ed., McGraw-Hill
Book Company, Nueva York, 1964.
[36] Simmons, G. F. Introduction to Topology and Modern Anaiysis. McGraw-
Hill Book Company, Nueva York, 1963.
(37] Suppes, P. C. Axiomatic Set Theory. D. Van Nostrand Company, Prince-
ton, Nueva Jersey, 1960.
[38] Taylor, A. E. lntroduction to Functiona/ Analysis. John Wiley & Sons,
Nueva York, 1958.
(39] Taylor, A. E: General Theory of Functions and · Integration. Blaisdell
Publishing Company, Waltham , Mass., 1965 . d
[40) Varga, R. S. Matrix lterative Analysis. Prentice-Hall, Inc., Englewoo
Cliffs, Nueva Jersey, 1962.
(41] Waerden, B. L. van der. Ein einfaches Beispiel einer nichtdifferenzier-
bare_n stetigen Fu~ktion, Matlr. Zeitschr., 32 (1930), 474-475.
[42] Yos1da, K. Ftmctwnal Analysis. Springer-Verlag, Berlín, 1965.
111lice
; lf;1l1éticta
A
completo, 44
ordenado, 41-42
Álgebra, 76
Cauchy' August-Louis, 386
de Banach, 256
de conjuntos, 15
Cerradura; sy, 98 (problema 4)
Clase de eqmvalencia 27
normada, 256 Coeficiente de Fouri;r, 402
a -álgebra, 195 Combinación lineal 67
Anillo, 39 Complejo conjugado, ' 60 (problema 3)
arquimediano, 42 Complemento ortogonal, 400-401
de conjuntos, 15 Componente conexo, 124 (problema 3)
ordenado, 41 Con, 155
Aproximación, 258 Condición de Lipschitz, 136
a la matriz inversa, 27 8-279 Conjuntó compacto, 109-110
sucesiva, 129 Conjunto numerable, 29
Arco, 123 Conjunto de Borel, 197
Arzela-Ascoli, teorema de, (problema Conjunto de Cantor, 35, 202
6) 118, 120 Conjunto generado, 67
Axioma de elección, 23 Conjunto no numerable, 29
Conjunto no medible, ejemplo de, 204
B
Conjunto nulo, 157
Conjunto pote1tcia, 13-1~ ,
Conjunto totalmente inconexo, 1-4
Banach, Stefan, 126
Conjuntos, 13-14 .
Banach, teorema del punto fijo de, 127 abierto en un espacio métric?, _73 94
Base abierto en un espacio topologico,
de Hamel, 67 acotado, 109, 221
ortogonal, 412- 413 ajenos, 14
ortonormal, 412-413 por pares, 16
Base abierta, 89 álgebra de, 15
Bola
anillo de, 15 . métrico 85
abierta, 85 cerrado en un espac~o topoló~co, 96-
cerrada, 89 (problema 3) cerra do en un espacio
Bois-Reymond, P. du, 317 . 97
Bunyakovski, Víctor J acovlevtch, 386 cerradura de, 85
cociente, 27 09-11 O
e compacto, 1 5
complemento de, 1
Cadena, 26 conexo, 121
Campo, 40 463
Integración
L
por partes, 339, 354
por sustitución, 340 Lcbesgue
Integral conjunto de, 33 0 (problema 5)
de Daniell, 21 O ii1lcgral de, 170
de Darboux-Stieltjcs, 359 número <le, 113
de Fourier, 452 teorema de convergencia dom·1
de Lebesgue, 169 de, 179, 180 (problema 9) ~~~ª
de Lebesgue-Stieltjes, 379 194, 213 ' ,
de Riemann, 148 Lebesguc, Hcnri, 145
igual a la de Lebesgue, 171 Levi, Bcppo, 17 5
teorema de existencia, 162 Levi, teorema de, 176, 212
de Riemann-Slieltjes, 349 Ley del paralelogramo, 391
teorema de existencia, 368-369 Límite
de una función de valores complejos, de una sucesión, 43, 59, 222
193 inferior, 3 05
en un conjunto medible, 205 inferior, 57 (problema 8)
indefinida, 325 · por la derecha, 309
inferior, 14 7 por la izquierda, 309
iterada, 181 superior, 305
superior, 147 superior, 56 (problema 8)
Interior, 85, 96 Lusin, N. N., 209
Intervalo Lusin, teorema de, 209
admisible, 363
enRn,146 t>
M
norma de una partición, 148
partición, 14 7
~apeo (véase función)
refinamiento de una partición, 14 7 abierto, 93, 96
volumen, 146
Matriz, 63
Isometria, 82, 237
Isomorfismo aproximación de la inversa 279
de álgebras, 77 diagonalmente dominan te '134
de campos, 51 hermitiana, 393 (problema' 10)
de espacios lineales, 73 jacobiana, 294
homeomórfico, 240 positiva definida, 393, (problema 1or
isométrico, 237 simétrica, 393 (problema 10) ·
Medida
cero, 156
J de Lebesgue, 99
µg,363,364
Jacobi, Carl G. J., 135 Método de Newton, l 30 (problema 4)
Junto, 153 Métrica, 81
cordal, 85 (problema 9), 99 (probh:-
. ma 8), 108 (problema 6)
K discreta, 81
espacio producto, 97
Kérnel topológicamente equivalente, 96
de Dirichlet, 440 uniformemente, 97
de Fejer, 449 (problema 8) 458 (
blema 6) ' pro-
N
de una ecuación integral, 140
de una transformación lineal 75
blema 4) ' pro- Nada de puntos, 23
Norma, 221
•
•
,~W,;LIJ.van
--..&....__.. -- . . . . . · al e os autores es presentar
__.._.,..,,, _. . anál- .. lemental como matemá-
mo un in.stnimento de la cien-
.. tr entación en el espíritu y a la
e111á ·cas contemporáneas.
. ara l cursos elementales y medios
w 4 ~,i '-A.e matemáticas, física, ingeniería
n e el álc.ulo diferencial e integral
e u p an de estudios.
a má ·co. ol. n
~~..__e; y ·ullivan
1re L'L· e presente texto consideran el
- -.• ~ o "'lo como matemáticas, ino como
· .;).;lu i3.: __