\

28

sid:mn{fi,...,,r},entoncespB(p,d)e(pr-6upt*1)x..'x(p*6x,p*+,)4.
I
Prctica 5.

L. Los rectangulos abiertos en IRk son conjuntos abiertos.

2. Lo* rectauguLx; c,errados en Re zun coujuutos cerradrs.

3. Ar x..-x A es abiertoenlRk siy slo st, Anes abierto enlR, Vz e {1,...,k}.

4. & x...x JL es cerrado enRk si y slosi, d es eerrado en IR., Vi e {1,...,k}.
Proposicin 6. Sea {.I*}, una familia de rectangulos cerrados encajados en 1R&, es decir,
/,r+r C In,Y n [, enton"o n I* * .
n:l

Demostrac'in. Deno*emos .f,, : [ol, b1"1". ' .xa*,bfJ. Entonces, como In+t e In,V n [, s
tieneque:loL*r,bl,*r] elo:",W"1,V2e{1,...,&}.Esdecir, lasfa,uriiias{[ol,bl]],...,{|"*,llt
resultan colecciones de intervalos cerrados encajados en IR.. Luego, por un resultado conocido,

para cada z e {1, . . . ,k},, huy *u e ['f loL,"1.Luego, existe n : (rr, ... ,rx) Rk, tal que
z:1

n:(rt,...,rk). (r*,ul,) . "(' ,ult): {Lol.,ul,)x. -xl*f,bfl) :r,

Es decir,
ff l" * . S
n=l
Ileorema 11 (Bolzano-Weierstrass). Todo conjunto inflnito y acotado en lR,k tiene un punto
de acurnulaciu.

Demostrac'idr. Consideremos en IRft la norma f[fl*. Sea,4 C IKk infinito y acotado. Sea f1 un

rectarrgulo cerrado de IRe, tal que A I h, digamos /r : [ol,bl] "...x [rf,bf]. Dividamos
cada [o],b]] de f1, cori ei punto medio en dos subintervalos de iguat longitud, obteniendo 2k

recta,ngulos eerrados cuya unin contiene cubre a A. Dado que A es infinito, elijamos un: de

cstcrs rectangulrrs rtc couti.cnc inflnitos prmtcrs de y denotemoslo 12 : ..

[al, a3]". xfa, a\1.
Razonando de forma similar con 12 y as sucesivamente, podemos considerar una famila d.e
 w
rectanguios cerrados encajados It,Iz,. . . de IRe, cada uno con infinitos puntos de A. Segn la
proposicirr arrtcrior, soa r: (rr, ...,rt) n /" y vearnos que r . A'.
r:1
Denotando In : faf,,bl] * .. . x lak,{J, V n N[, sea l(,t,) : max{W * aL : I < ? < k},
es decir, l(/") es la longitud del irtervalo cerrado de mayor longitud en J,. Entonces, por
construccin 0 < l(1") : l(I)12"-r, V r N[. Sea ahora e > 0 y fijemos r N[ tal que

(1"): l(Iilz**L < e. Luego,In g B(r,e\, en efecto, r e ldn,lJ, V i {1,...,k1 y

W*"'" < (J") ( e, V e e {1, ...,k} implican que [ai, bLl e (*o-,ffi*e), V i e {t,...,k},
es decir, I" e B(r,e). Ya que B(r, e) coutiene infinitos pruitos de A, r resulta ser un punto
de acumulacin de A. f
Corolario 2. Toda sncesin acotada en IRp, tiene una subsucesin convergente.

Demostraci,n. Sea (s,,) en IRp acotada. Si {s"} : t,rr,...,sn,} es decir, (sr} se reduce
a r trminffi, entonce,s uno de estos trmiuos se repite infinitas veces. Si consideramos ia
subsucesirr de (sr,), eligierrdo urro tle estt trrrirrrs que se repite irrfirritas veces. catla ves que

este aparece, e tiene una subsucesin convergente de (s,")" Si infinito, como

{s"} es adems

{s"} est acotado, del teorema anterior, {sr,} tiene rm prurto rie acrrmrilacin, rligamos r. Sea

.rr, {s"}, tal que lls,,, - ull < L. Recordar que toda bola abierta con centro r, contiene
infiuitos puntos de {s,}. En particular,, B(r,1/2) contiene innitos puntos de {s,}. Luego,
3s,, {""}\{tr, s2t...,nr}, con 1o cual n2 } T\ tal que 11",, - rll < LlZ. Razonando
de forma similar, pero cor B(r,Ll3), podemos elegir so, {s,,}, con nt ) n2, tal que

11"", - rll < ll3. Continuando de esta manera, tenemos una subsucesin (s,,n) de (sr,), donde

o,,* --- n.l

Teorema L2 (Encaje de Cantor). Sea {l7"}"es una coleccin numerable de subconjuntos

no vacios,cerrados y encajados de IRk, es decir, F"*r e Fn, V n 1. Si Ii cst acotaclo.
entonces
frr"*
n-I
.

Derrwstvucin. Seaf = f-l f',r, elijamos rn eS, para cada r N y consid.eremos

n:l
 30
A:{rn:ne l}.Siesfinito,digamos A:{*nr,...,finol.,entoncesexiste j{1,...,p},
tal que rrr, pcrtcnccc a uil rrrncrt irrfirrito tlc clcrncrrtm cn {f}r}rr6ry. IV{rs aurr, 3j e {1, . . . ,?},
y 3f N, tal (Jer;nj E Fn,V r7 N. Ctnr fi} Fz f '..) h ? F.v+r )-.., entonees

rno F, F * . Si A esinfinito, comoA g r,i y .Fr est acotado. del teorema

es decir,
'de Bolzano-Weierstrass,3 u IRk, tal que n e A'. Luego, Ve > 0 ia bola abierta B@,e)

contiene infldtos puntoe de,4. Pero, como V r e N, \{r1, ...,fin-t! C Fn, entonces V r e N
yVe) 0, laboiaabiertaB(r,e) enntieneinfinitosplmtcls de Fr,, esdecir, nF*,VrN.
Como Fl, es cerrado, Vn N[, entonces r e Fn,V n1, es decir, rF.J
Teorema lS (El punto con la mnma distalcia). Sear d * F ; lRk cerrado y r Ru\f.
Entonces, 3 y ef, tal que llr-yll < ll, * rll, Y z e F.

Dcwtostrur:irn. Scguu el problcura 16 dc la prctica 4, sca d > 0, tal que:

F) : rnf{llr - zll : z Fl : . Consideremos la coleccin numerable {F"}"ex,
d,{r, de

cerradosnoracios deR.fr, donde F'= {ze F:ll"-rll < + Lln},Vr e N[.

Como F1 : {z F: ll"-rll < d+1} g E(r,d+t), entonces .F'r est acotado. Adems,

e Fn,V n N[. Luego, del teorema anterior, 3 y e [l n e F, es d^ecir, 3 U e F, tal

F,,+r

qued(llr-vll <lt*lfn,VrN.Dedondesecorrcluylto. llr*yll <ll*-rll,VzGF.

I
Proposicin ?. Sean ue IRft y.4 g Rft abierto, con r ,4. Entonces existe una bola abierta
B(y,r), cong/e Qe y r Q, cfr alanormaeuclideana llll, tulqueo B(y,r) e l.

Derrnstrac:ir. Sea e 2 0, tal que B(r,e) C A, B(r,e) cfr a Ia norma euclideana llll. Si

n: (rt,...,rx), usardo la densidad de Q en IR, elijamos U: (Au...,gx) en Qk tal que

lyn- nol < e f 4k, V i e {1,...,k}. Sea r Q, tat que ef4 <r < ef2.
Luego, lly -"ll ( lr, -ai* '..* [r* * g*l < 14 { r, es decir, n e B(y,r). Ademrs,
B{y,r) C B(x,e), pues z e Bdy,r) implicaque llz-"ll < llr*yll+lls-r,,ll < r+lly-"ll <
e/2+ef4:3e14<e.l
 3t
Definicin 16. $ean X un espacio normado y c X. Un cubrimiento de ,S es una familia
^

{C^}.n, dondeC e X, Vl l)ySq U Cr. Entodocaso, diremos que {C}6 cubre a

,9. Si fi es numerable, diremos que {}k ," cubrimiento numerable de,g. Si fl es finito,

CI : {}r,.-., },r} y en consecuencia .9 e c,

U- Uc., entonces diremos que {c}6s es
un cubrimicnto finito dc . Si cada C es un subconjunto abierto de X, entouces diremos
que {'}en es ur cubrimiesto abierto de,9. Si existe l}' C f }, tal que S g ,
U entouces
)o'
{C^}r.o, se dice un subcubrimiento de S en {C^}^.o.

Ejemplo 6. EnlR2 con llll*, sea,g: {(r,y):v >0}. sivr IR, con n2},denotamos
c, : Bl@,0),r], es decir, c* - (,2n) x {-r.,r), v r R, r } , entonces Ia familia
F : {C* : x elR,r } 0} cubre a s. Si - {(0,2r) x (-r, r) : r e e,r > 0}, entonces
I es un cubrimiento numerable de ,9 contenido en .F dicho d.e otra forma. . es u.,
subcubrimiento numerable de S et f .

Teorema L4 ( Linderf). Si A E R entonces, todo cubrimiento abierto de A tiene un

subcubrimiento numerabie para .4.

Demastracin. Sea it: {Cr}6 uI} cubrimiento abierto de A. Sea r A, entonces 3.\ f},
tal que r e Cx. Sea G : {Br, F,2,...} la familia numerable de bolas abiertas, cada una con
centro en @ y radio un racional positivo. Scgn cl rcsultado anterior, sca rc el menor indice

entreloselementosdeG,talque r g U Bn,y {Bn.}*r"eesnumerable.

e Bn* G C.Luego,/
Para cada r e A, elijamos un nico.\ e o y denotemorto r'lt*t que r E Bn,ec*.luego,

{Cr, t x e Ay Bn, q Ct,} es numerable y cubre a A.l

Prctica 6.

1. Toda coleccin de conjuntos abiertos de Re, no vacios y disjuntos dos a dos, es numerabie.

2. Dar un ejeinplo de una coleceion cle cerrados y disjunos dos a dos de iRft, que no sea
numerable.

3. La coleccin 7: {B(r,r): r Qfr,r e Q} es numerable.

)
 32
4. Si X es un espacio normado y Y ; X, entonces Y se dice denso en X si 7: X. El espacio
normado X se dice separable si existe Y C X, numerable y denso en X. Por ejemplo, IR es

separable, pue* Q C IR es nuureralle y denxr er R.

a. IR.& es separable. Deducir que la proposicin 7, es valida para cualquier norma en lR&.

b. El teorema de Lind,elf es valido en espa,cios normados separablee.

1.5. Conjuntos Compactos

Definicin L7. i X es un espacio normado y A g X, entonces A se dice compacto si todo

cubrimiento abierto de A tiene un subcubrimiento finito.

Ejemplos 1.

a. En uu esraeio ronruado, todo coujrurjto finito es lmpacto.

b. En el espacio normado (R,l l), el conjunto : {lln: n e [] U{0} es compacto.

c. En el espacio normado (R',llfi*), e} conjunto 5 : {(r, y} : n > 0} no es compacto. En

efecto, la fa,milia de bolas del tipo B[(n,0),n], donde n 1, cubre a S. Sin embargo, esta

familia de bolas no tiene ur subcubrimiento finito para S.

d. Ea ei espacio normado (R, I J), el intervalo cerrado [a, bJ es compacto. Una prueba de esto

se puede ver en Elon Lages Lima. Anrlisis Real, Volumen 1, pgina 65.

Proposicin 8. Sea X un espacio normado y sean A y B subconjuntos en X. Si A es

compacto, B es cerrado y B e .4, entonces B es compacto.

Demostracin. Sea.F una fa,rrilia de abiertos que cubren a B. Luego, "F[J{X\B} es una

familia rle abiertos que cubren a . Pero, como ,4 es compacto, exiten Ct, . " . .,C, en .F, tales

que q ClU...UC"UX\B.Luego, B e CtU---UG, ffi decir B es compacto. I

 33
Proposicin g. Sean X un espacio normado y A q X. Si A es compacto, entonces es
cer.ado y acotado.

Dnr**stv,t:drn. Ye*nros priurmo qus A es qerrsio- ks x e X\,rt y dr,"finarnrx plrrx ca*ln

n NI, e} cerrado Bn : B(r,tln). Bastar ver que existe N e N, tal que Br X\,4, pues

r e B(r,l/f) g .B. Para el1o, consideremo$ para cada n N,e1 abierto An : X\8," :
ty e X r llg - rll > U"l. Luego, dado que "a e X\{r} : U,4o, entonces la farnilia
rr:l
{An : n e [] cubre al conjunto A, el cual por ser compacto, permite elegir una carrtida finita
de conjuntos ,4rr, . . . , An,,tales que U A,rr. Pero dado que A, g A*, si fr 1 ffi, entonces
q
al elegir lf : nrx{rri : 1 < zl ( r}, *" ti*rl'qrre q -4. Luego, BN :X\Ar g X\.4.

Vea,mos ahora q_ue A est acotado. Tenemos que!.la familia {-B(r,n) : r N[, r e .4] cubre al

conjunto , el cnal por sex compacto, pe.rmite elegir una cantidarl nita Bl*r,nr), ... ,B(ar,n,),
tales que q UB(s;,n,).Sean n : mx{& : 1 ( i ( r} y k : m{x{ll*, - *ull: 1 ( ' {
i:l
"}.
Si I : n*h, entonces A QB(g,.N). En efecto. si g A. entonces y B{q;,ni), para al$.un
j{1,...,r},luegolls-"rl] <lly-r11+11"-rrli <n*k(n*k:.ll.Estodemuestra
que A est acotadn. I
Teorema t5 (Heine-tsorei). Si E lR]" es cerrario y acotacio, entonces .,t es compaco.

Demostracdr. ea A g R cerrado y acotado y consideremot .f un cubrimiento abierto pa,ra

. Por el teorema 14 (Li.nd,etof), existe un subcubrimiento numerable f : {Ct,Cz, . ..} q .,

para A. Definanros para cada n [, el abierto An: AU..'UC". Basta ver que existe

ifl e [ tal que .A f Ar. Pa,ra ello, denamr-s para catla n 1, el cerado y acotado
Bn * An(Re\") 9,4. Ntese que, como An An+t., V n e N, entonces B,+r C Bo,
V n N. Veanos que existe .fo" e N, tal que "Br : fi(R&\Ar) : d. En efecto, si V n e N,

B* * r/, entonces {B* , r f} constituSre una familia de subconjuntos de R, encajados,

cerrados y acotados. Luego, del teorema 12 (Encaje de Cantor), 3 r e Rk, tal que n e. Bn:
An(Re\",),Vr S[, esdecir, f r e A, talque r d An:CrU'.'Ur,Vr e S[. Peroesto
contradice el hecho de ser F : {Ct,l,...} uu cutrriuriento para A. Luego, existe N e N[,
 f

34
tal que Br:,4n(Rr\Au): dy por 1o tanto, Ae AN: CrU-..UCu. I
Corolario $. Sea.4 C Re, entonces A es compacto si y s1o si, A es cerrado y acotado.

La proposicin I y cl tcorcrna 15 antcrior cmprucban cstc corolario.

Teceroa. 16.. Sea A ! M." Euloaees, A es cou*pacto sl y s!o- si". tod-o suk'co$,unto- ifinito.

en A ticnc rm ptmto cte acumracin cn .

Demostracir. Sean A q R* compacto y B g A infinito. Como .4 es cerado y acoado

(Corolario 3), B es infinito y acotado. Luego por Bolzano-Wierstrass (Teorema 1L), B tiene

un ptrnto de acumulacin, es decir, existe r R& tal que r B' g A' g A, pues A es
cerrado. Recprocamente, si .4 q R* y todo subconjunto innito en A tiene un punto de

acrrmrilacin en A, para ver que A es compacto, del corolario 3, basta ver que .4 es cerrado

yacotado.Vea,mosprimeroqueescerrado.SeapeA',eotoncesVreF[, Irr1R*,ta,I
que n? B(p,f/n)t^l,A\{p}. Luego, podemm considerar un conjunto infinito y nunnerable

B: {xufi2j...\ C A. el r:ual por hiptesis tierre rur purtti de acuurula:irr en,4, es decir,
existe g E A, tal que q B'. Veamos que g - p. ea e ) 0, entonces B(q,el2) mtiene

innitos puntm de B, luego podemos elegir n N[, tal que r,, ev Lln < elL.
B(g, e 12)

Eutonces, llp-qll < [[p-r"l[ *llr"-qll < l/n+12<elT+f2: e,esdecir,p:e.

Luego, A' , A y por lc tantr: es cerrado. Veamos ahora que es acotado. Eu efecto, si A
no c.s arrrtarlo, existira (s,) en , td que fls"ll ) n, V n N[. Pr:ro, prr hiptesis, cl eoniruto

infinito B : f r .4, con s . B'

{sr, s2,.. .} tiene un purrto de acumulacin en .4, es decir, .

Sealf Bl, tal que lf > il"fi *1, entoncesV n> f,l, se tierre que lls,, *n\l> ilr"li *iirll >
n-lirll >N-llrll >1.Esdecir,snB(r,1),YnTNyporlota,ntoB{r,1)nocantiene
infinitos prurtos de B. Contraciendo el hecho de ser . B' . Luego, .4 est acotad.o. I

Ejercicio 5. i .4 C R&, demostrar que: .4 cs corpa,cto si y slo si, toda succsin cn A tiene
una subsucesin convergente a un punto de .4.

Pr.nnns,irin lO Spqn R (- IRI nprrsdnr R nnrnnqnfn Si AnR:

:**,..11*.Y,-tv*"E!
r/r pntnnr.pcewiste

d ) 0, tal que ll" -sll > 6,V r e AyV y e B.

 35
Demostracidn. Segrin el ejercicio 16 de la pctica 4. para cada g B g R*\, sea d'o > 0,
al que iiy : d{y,), donde dlg,A): irrf{llr - sll : s }. ea : if{ :s e B} > 0. Si
d: , eutuucet erisie (y") B, tal que * -+ 0. Luego, ya que B tx cuurpar*o y sep ei
",
ejercicio anterior, podemos elegir (y*) subsucesin d" (y,), tal que an" 1 u e B.De nuevo,
por el ejercicio L6 de la prctica 4, d(y*,,4) -+ d{g,A}, es decir, s," * dr. Corno tarnbiu,
6s* t 0 y por lo tanto, dy : 0, es decir, d(y,A): 0. Luego, eligimdo (*r) en , al que

ll*" - gll -+ 0, se tendra qlre A e A, pues A es cerrado, 1o cual no es posible. Luego, > 0.
Adera llr*yll >6,v se. Ayv y e B. Erefecto,sidadc x.A,exist & B,talque

ll" - yll < d, entoncrs , ( ll* - yll < d. 1o cual es una contradiein. I
m^^---- aF7 /t'!.^L4-+1,-- -- T ^L^^e:\ -: .!l
-trit rtiErrr r \/irlrfiriif(' ii'ireiii;-i; i .t eS E eryi$-
-- -- ^:---l^ BFE;
-r*-j^ r! .,i
v e3
^^ emlrate
^*--^r^

y f : {Cr}^.n es un cubrimieuto abierto de , entonces 3 > 0, tal que si ff,U E A, con

ll**yll <=+f CrF,con r,yCs.

Demostracddn. Tenemos que V * e A,3 C.r, .F, con r e C* y adems, J d, ) 0, tal

que r e 8(r,26,) C C,. Como {B(t:,6*): rne A} constituye un cubrimiento abierto de A,
podmos eligir 11, .. .,finen A, tales que q
U B{*u,6,,). Luego, si d : mn{r,, ., ., **} } 0
y t,a A, con ll"*yll Il e {1,... ,n},ta]quer e B{r d,r) e
< d, entoncesporr1ho,
B(*;,26,,) e Cr,, radems, llu-"ll < lly*"ll+ll"- < d+lln-rll ( d,,* 6,,:2d*,.
"jll
Es decir, fi,A g^*r. J

Prctica 7.

1". SeanAg R y B QlRp.Si Ay Bsoncompactos,demostrarque AxB c IR*xpescompacto.

r. S=tpara caria z e ir, ,..,k1, A gR es compacto, ciemostrar que r x. ..x,LxsiR* es

corupacto. Deducir que lm rectrrgulos cenatlos err IR& son compactos.

3. Si es X un espacio normado, demostrar que:

a. Si !x es cerrado, Bg x es comprcto y nB * f, entonces AnB es compacto.

 Captulo 2

Lmite y continuidad de una funcin

2.L. Lmite de una funcin

Definicin 18. ean (X;llllt) v (}|llllr) espacios normados, Ag X, a e A' y L e Y. Sea

iafimcinf , A f X -+ }'. UHmitede/(r) cuandortiendealvector aes.L, denotadci
[g/(") : tr, siV e > 0, : d > 0, ta] que r e AyO < ll*-alh < d irnplica" ll/(r) - Lll, < r.
La definicin arrterior depende de dos norms, a saber, llllr de1 espacio X y llllz del
espacio Y. Pero en adelante, ctusi ntulca haremc.s est distincin. pues segrrn el contexto se

tendr claro a que espacios pertenecen. Al menos que en un nrismo espacio se consideren ma

de una norma. como oclure en la siguiente proposicin.

Proposicin 11 .
X y Y espacios normados y llllt, llll, dos normas equivalentes en Y.
Sean

si A g x, ae A', L e Y y f : Ae x -+Y es unatuncin, entonceslgi/(r) : L clr a llllr,

si y sIo .ti,
ls f (r) : L clr u llllr.

lgl f (r): L clr a llll, y sea r > 0. Entonces, para la bola

Demostracidn. Supongamos quu

Bz(L,e): {U eY:lly-Lllz < s},elijamosr'>0,tal que Bt{L,s') g Bp(L,r),donde

Bt(L,e'):{y Y: lly*llt <e'}.Ahoraelijamos>0,talquesirAy0< llr*al[ <d,
eutoncesll/(r)*llr<e'.Luego, ll/(")*Lllr<eyporotanto,|gi.f(r):Lc/rallllr.
La demostracin recprcrca es analoga. I
 38
Teorema 18. Sean X un espacio normado y la funcin f : A X *r Rr, .f : (/1, ..., fp).
Sear a e A' y L: (Ly...,Lo) iRp. Eutonccs.
]$/(") : tr, si y slo ri lgl u(*): Lr,
\ t (. 'l
v 2 e* t L....,,P1.

Demostracin. De Ia proposicin anterior y debido a que todas las normas en IRp son equiv-

alentes, podemos usar cualquier norma en IRp. Consideremos en lRp la norma ll[*.
Supongamos quc
|gif(r) - L ysea e > 0, entonces I d > 0 tal que r Ay 0 < llr-all < ,
implican ll/(") - ll* : sup{l.f'(r) * Lnl: L ( < p} < a. Luego, I d > 0, tal que r A
y0< llr-"ll < impiican l/o(") - Ll < e, Vz {1,...,p}. De donde se concluyeque

ig/'(r):Li,V?{1....,p}.Recprocanente,ti}g;fo(*)=L,,Y'i{1....,p}ys}0,
entonces para cada i e {L,...,p} existe d } 0, tal que n e A y 0 < ll" * rll < 6 im-

plical/(r)-Lnl<s.Luego,si:mn{d1,...,6o],,reAy0<ll"-oll <d,entonces
ll/(") - ll* : sup{lf(n) * L,l: L ( i < p} < e. Es decir,
},{}/(r)
: L. J
Ejemplos 2.

1.. Sea f : [R -+ lR2, donde i$) : (ms{t),sen(t)), entonces V a JR, se tiene que:

|$;/{t)
: ( }[1cos(r),]gt sen(t) ) : (cos a,sen a).

2. Sea /: IR. -+ IR^3, doude /() : (t,t2,senl), entonces V o R\{0}, se tiene que:

lq1/()
: (
l5x,I*r',lrmsent ): (o, a2,sen!). Ntese que, lS/() no existe.
Ejercicio 6. Sean X,Yt,...,Yoespacios normados, A C X, a e A' y L Yr x . .' xYp,
L:(Lt,...,Lil. Paalafuncin f : Ac X -+Yy x...xYo, f : (.fr,.. .,fo)y Yr x...xYp
conlanormall(yr,...,yo)ll :sup{llyrlly,:1<?<p},demostrarque:}gi/(r):tr,siysIo
-i
lgt f'@)
: L,V i, {1. . . .,p}.
Ieorerna L9. SeanXyYespacios normados, Iafuncin rA e X *r Y,ae A'y LeY.
Errtutrces,
]g;/(r)
: tr, si y slo si V (r") en \{o}, con rn -+ o,, se tiene que f (r") -+ L.

Dem,ostmcrirn. Srtpongamos tuc ]S1/(r) : .L y sea (r,,) en \{o}, can sn -r a. Sea g } 0,

entonces f d > 0, tal que n A y 0 < ll, -all < implica ll/(") * ll < e. Sea N e NI, tai
 39
que llr"-oll < d, Vn ) N. Dado que rn * a,V n e N[, entonces 0 < llr" -oll < 6,Y n> N,
luego 1(r") * ll < e,Y n> N, es decir, f(a") ^+ L. Rccfproca.rncntc. suponsa,rlos quc
$g/(") f L,eutoncesJe > 0,taJqueV )
llrr*ufi < d, 0,potlernoselegir16 , crrr0 <
peroll/(rr)-ll 2e.Enparticular,paracadanNl,tomando6:l/n,existerneA,con
0 < llr" - oll < Lf n, pero (r") - Ll > a. Con 1o cual existira (r,) en ,a\{o}, con trn -+ ,

pero (f(r")) no converge a L. Contradiciendo ia hipotesis. I

Ejemplo 7. Sea
"f r lR2 r R, donde

(
r/-\ - l
J\.!/ - \
## , si {r,Y) l (o, o)

[o , si (r,y) : (o,o)

Entonces,' .
lm . /(") no existe. En efecto, ean sn
(o,y)-+(0,0)
: (A,Lln) y tn : (7/n,0) en IR2\{(0,0)},
donde sn -* (0,0) y , -+ (0,0), pero /(s") -+ *1 y f (t") -+ L.

Proposicin 12. Sean X un espacio normado, ias funciones f , g : A C X -+ 1R., a e A' y

Lu Lz e IR, tales uue: : L, v : .L2. Entonces,
]ig1 f @) *s(r)
,.) lH(/+g)(r) : Lt* Lz.

b.)
l,StfgXr)
: L2.
c.) Si Lz * 0, tigtr$ 1d{") : hlLz.
Demastraci,n. Sea (r") en A\{o}, n 1 a. Del teorema 19, se tieue que /(") -+ Lt y
g(r") a Lz. Luego, 4 Lt+Lz,(il(rn) a hLzystLz*A,Uld@)
(+s)(x" -+ \f L2.

De nuevo, del teorema 19. se tiene que

m(/ + gX") : Lt * h, !UsXr) : LL2 y si
Lz * a, :
2$ /d@) hlLz. J
Proposicin 13. Sea X un espacio normado, las funciones "f,g : A C X -+ Rp, o e A' y
t*,u lRP, tales que l3 f @) : uv !\s@) : ,. Entonces,

a,.)
}g(/+g)(r):u*a.
 b.)
1g1(/)(r)
: .1u, v l e R.
* (*, r).
".) l'g(/(r),g(r))
Demostraci,n. Si f : (/', ...,o) y g : (g',...,gp), del ejercicio 6, ]i11 f(r) : un y

:1)i,V z e {1,. ,p}. Lrrcgo, laproposicin 12 anterior ,Lj;(fn+g')(r) u*u!

|glou(")
.. cic
-
ig(f/'Xr): +s: (f'+g',...,fp+)y}/: (.f1,...,l.fp),
luu,Vz e {1,...,p}.Como f
es decir, (/+g)n : o*go y ()/)' : .\/i, V i {1,...,p}, de nuevo, por el ejerci-

cicr 6, lrn(/+g)(") : %*o y lrn(.\/X"):.\u. Adeurs. delaprg-rosici1 12 ariterior,

s-+o 3t-|o
ppp

i*l
Ejercicio 7. Sean XyY espaciosnormados, f ,AgX -+Y turaf'uncin.a A'y LeY.
Entonces,]rg1f(r):.Lsiyslosi,3r>0,talqueparag*fp6,,)n:B(a,r)fl-lY,
se tiene que lfm g(r) : L. Es decir. la nocin de llmite de una funcin en un punto es local

2.2. Continuidad de una funcin

Denicin 19. Sea(X,llll,) y (Y,llll2) espaciosnormados. Unafrncin f , Ae X*rY se

dicecontinuaenunpunto ae A, siVa > 0, f d ) 0, talqueVr A, ll* *ollr < d, se

tiene que ll/(") - f (a)llz < e. Diremos que / es continua en A, si lo es en todo punto de A.

Ntese que sta definicin depende de dos norma.s, llllr det espacio X V llllz del espacio
Y, pero casi nunca haremos esta distincin, pues segn el contexto se tendr claro a que

cspacitx portcrrcccu. Ntcsc alcurs quc, si a A A es ur punto aislado de A, entonces / es

continua en o, pues V e > 0 si legimos > 0, tal que.4|.']B(*,) : {a}, entonces r e Ay

li*-oll <dimplica,nquell/(r)*f(")ll :ll/(o)-f(a)ll :o<s.Pootrolado,sieA
no es un punto aislado de , es decir, o An', entonces J es continua en a si y slo si,
}S/(c)
: /(o).Luego, eI estudio de Ia continuidad de f en el punto a eA se reduce ai

caso donde a e An A'. Atlcms, scgrin la proposicin 11, si o AnA' y I es continua en a,

entonces dicha propiedad se marrtiene invariante bajo normas equivalentes en ei espacio Y.

 4r
Ejercicio 8. Sean X yY espaciosnormados, f : ACX*+ Yinyectivaycontinuaena A.
si /(a) es un punto aislado de Y, entonces & es un punto aislado de A.

Ejemplos 3,

1. Si l[ll1 V llllz, son oormas equivalentes en el espacio normado X, entonces la fi-rncin identidad
I : (X,llll,) -+ (X,lll[r), donde f(r) = *,Y r e X, es continua en X.
2. SiXyYsonespaciosnormados yce Y,entoneaslafuncinconstante f , X -+ y,definifla
Por: /(r) : crV fr . X,es continua en X,

3. Si X es un espacio normado y T : IRe + X es una transformacin lineal. entonces ? es

continua en IR. egn el ejercio g de la prctica 1, se& M > 0, tal que ll"rll ( Mllrll,
V r lRe. Luego, dado 16 lRfr, v > 0, si eligimos d : lM,se tiene que: llr * roll . d

implica l[Ts* ?rsll : llr@- ro)ll ( Mll"- roll < M6: e. En parricutar, para cada
d {1, ...,k},la proyeccin zr' : IRe -+ IR, zr(r1, ...,rn)
= r s continua en Re.

4. Si (x, llll) o un espacio normado, la norma llll , (x,llll) -+ (R,l l) es conrinua en x. En

efecto, dados 16 X y > 0, eligiendo d : ) 0, tenemos que llr - roll < d impllica
Ill"ll *llroll I<ll"-roll <u.
Proposicin 14. SeaaXyYespaciosnormados, -4 e Xy ae A' ('lA. Entonces. lafuncin

f,Acx-+Yescontinuaenasiyslosi,v("")enA,sn--)o,setieneque/(s,)-+/(a).

Demostracidn. uponganos f : A c X -+ Y coutinuaen a A' nAy sea (s,) en -4, sn 1 a.

como, v e ) 0, 3 -
- oll < d implican ll/(r) * f (n)ll < r, entonces
> 0, tal que r Ay ll"
I N e NI, tal que lls, * < 6,V n > N.Luego, ll/(r") - /(")ll ( e, V n D N,es decir,
"ll
/(s") -+ f (a). Recprocarnente, si v (r") en A, sn * a, se tiene que /(sr) *+ /(a), entonces
en particular, v (s") en \{o}, ", --} o, se tiene que /(s,) -+ {a),luego dei teorema 1g 3r

considerando la observacin hecha despus de la definicin 19, se concluye qtie / es continua

ena. I
Ejemplos 4.
 42
1. Sea / : IR *+ JR, definida por:

/():
{{ ,,ru ee
R\Q
[-t,r,
Entonces, / solo es continu& en o : 0. En efecto, si a 10, podemos elegir sucesiones (r,,)
y (y"), de racionales e irracionaies respectivarneute, tales que u?? -+ ay an1a. Con io cual

(*") : nn 4 ay f (y") : -an -+ *4. De doude se conciuye que .f no es continua en a. Pero,

i a : 0, eligiendo (r,r) en IR, con *n 1o, entonces lrrl -+ a. Con lo cual l/("")l : lrrl -+ a,
es decir, f(*")'+ (a) y por lo tanto / es continua en a : 0. Ntcsc quc a : 0 no es un
punto aisiado del dominio de /. Luego, una funcin continua en un punto de acumulacin de

su dominio, no necesa,riamente es continua en una vecindad de cho punto.

Teorema 20. Sean X,Y, y Z, e,spacios normados, / : A g X -+ y y g : B C y 1 Z.

funciones, con /(,4) g B. Si / es continu& en a e Ay g es continua en b:,f(o), entonces

go f I AgX 1 Z escontinua en o.

Dem,astm,cin,. Sea s > 0, entonces como g es continua err b, 3 a > 0, tel que g e B y
lly - all < cr implican llg(y) - g(b)ll < e. Por otro lado, como / es conrinua en a, 3 d > 0, ta.l
que r e y ll" - oll < d- impiican ll/(r)
- /(")ll < a. Luego, como /(.4) q B, si r y
ll, - oll < d, entonces ll9(/(r)) * g(/(a))ll < e, es decir, I o f es conrinua en a. I

Ntese que, si X eY /: Ag X -+ Y es unafuncuin continuay

son espacios normados,

B q A, entonces la fimcin fu : B c A 1Y, es continua. Pues /, : -f o,i, es decir, /, es Ia

composicin de funciones continuas, donde i, : B -+ A es la inclusin. As mismo, la funcin

ll/ll 'ex-+lR,deflnirlapor:ll/ll(r):ll,f(")li,vrA,esconrinua.puesll/ll :llll ./

y por 1o tanto, ll/ll .* la composiein de funciones continuas.

Proposicin 15. SeanXrurespacionormado, lafimcin f :AeX-+R.&, f :(fr,...,"f*)

yeeAnA',entonces/escontinuaenosiyslosi,fescontinuaena,vie{1,...,k}.
 43
Demostracin. Como conecuencia del teorema 18, tenemos que:
/ es continua en a si y slo si,
][X/("):f(a) -(/1(),...,fhb,ycstocs,siyst'siS/u("):fi(a),vie{1,...,k}.
Luego, / es crrrtinua, en si y slo si, /' es eontinua eu n, V i
c
{1, .. .rk}.J

Ejercicio 9. sean X,Yt,...,Yo espacios normados, Ae x y o A'{1A. para Ia frmcin

f : Ae X *+ Yr x . . - xYp, f : {f,,..,, fr)y }i x ... xyocon Ia norma ll(gr,. ..,ao)ll* :
up{lly,ll%:1(e<p},demostrarque:/escontinuaeno,siyslosi/iescontinuaena,
V i e {1....,p}.

Ejercicio 10. Sean Xt,...,Xb, Yt,...,Y espaciosnormados. ConsideremoserXrx. ..xXx

y Yr x .-. x Yx normas similares a las dadas en el ejercio g.

sean fi : Ar e xt -+Y:,...,f*: Ax e x* 1Y*, continuas en.a1, ...,Ax respectivamente.

Demostrarque: fi x..-x *:At x...x A*CXt x.-.xXr-|yr x...xy*,definidapor
(/,
"...x "f*)(cr,...,rr): (f(rr),...,/(r,)), es continua en /r x. .,x At,.
Ejercicio 11. Sean X un espacio normado y la funcin f : AC X -+ IR, continua en a e A,
con /(a) I 0. Demostrar que f d > 0, tal que /(r) * 0,V r e AfiB(a.d).
Proposicin 16. Sean X un espacio normado y las funciones /, g I A gX -+ R., continuas
ena AnA'.Entonces,

L. Las funciones f +gy /g son continuas en a.

2. Si g(a) * 0y en consecuencia segn el ejercicio 11, existe una bola abierta B de centro
a, tal que g(r) * a,Y r e A{-)8, con lo cuar lg, AnB c x -+ IR queda bien
dcfinida, tambin sc ticnc qre f /S es continua en o.

La demostracin de esta proposicin se deduce de forma inmediata usando la proposicin

12. Pero tambin podemos comprobarlo al considerar las funciones continuas s : IR, x R. *+ JR,

b,a) -+ r* y; rn: IR x lR * R, (*,y)l ny y r: JR\{0} *r R\{0}, :t/r,junro a las

"(r)
funciones {,g), Ac x *+ R xR,(.f, g){r): (f{r),s@y I xr: R xiR\{0} -+ lRxtR\{0},

(I xr)(r,y\: (I{r),r{): (r,1/gr), donrle (f g) resulta continuapor Iaproposicin 15;r

 44
I x r por el ejercicio 10. Luego, dado que la composicin de funciones continuas es continua
y que f + g: so(.f,g), f g:n't,o(f ,g) y f lg:mo(I x r) o (f
,g),eutonces f +g, f gv f /g
resultau coutiuuas.

ProposicinlT.SeanXunespacionormadoylasfuuciones/,g:AgX-+lRp,continuas
en a AnA', doude f :(',...,fo) y g: (gr,.. .,f). Entonces,

L. La funcion f +S:A cX -+ Rr, (/ + g)(r) : f(*) -t g(r),es continua en a.

2. Laftuncin (f'g',...,of): AcX-+lRp, (rgr,...,o;1)(*):($rsr)(*), ...,(frf){r}),

es contiuua en o.

3. La frmcin (f ,gl , A e x i R, (f ,s|@): (/(r),g(r)) : ftrnl,,), es eontinua en o.

=L

La demostracin de esta proposicin sale como cotrsecuencia de las proposicines 15 y 16..

Proposiciu 18. SeanXyYespaciosuormados. Unafuacin f , X *rYescontinnasiy

slo si, para cada bierto fJ gY, se tiene que /-1(t/) es abierto en X.

Dem,ostracin. Supongarnos , X -r Ycontinuay consideremos [/ c Y abierto. Seaahora

aef*t(u),conlocualu:f(a)e[/.Luego,rs>0,talqueB(b,e)g.Como/escontinua
en a,3 d ) 0, tal que (B(",)) q B(b,e) y por lo ranro B(a,d) g f-r(B(b,e)) q f*r(u),
es rlecir,-'UI) es abierto, Recproca,mente, si ca,cla a,bierto II c Y, se tiene que /*1(t/)
es abierto en x, entonces dados e > 0 y a e x, se tiene que
f-t(B(f("),e)) es abierto.
Luego, ya que a e f-t(B(f (a),6)), d > 0 ral que B(a, d) E
/*r( B{f (a),e)). Es decir,
(B(a,)) f Bff@),e) y por lo tarto / es continua en a. I
Ejercicio 12. Si XyY sonespaciosnormados,demostrarque:lafuncin f :X +lres
continua si y slo si, para cada cerrado v c Y, se tiene que f*t(v) es cerrado en x.
Proposicin 19. seanxyYespaciosnormados. unafuncin f :Ae x -+y escontinua
si y slo si, para cada abierto U C Y, existe un abierto v c x, tal que
f*r(U): Hll.
 -q*i I
I

45
Demostracin. Supongamos f : A e X -+ YcontinuayU Y abierto. Sabemosque,
para cada a . f*L(U), existe una bola abierta B:o1,, tal que /(a) e Bt,l e U. Adcrus,
ya que / es eorrtiua en , dado a " A existe urra brla abierta Bo, er:u u e Bn, tal que

/(,4n.B") q : U{8" : a e /-t(U)}, entonces /-'(U) : .4f^1tr/.

B@). Vea,mos gue, si V
En efecto, si a -t(U), entonces por construccin a e An f" g AnV. Si r AnV,
entonces existe a e A, tal que r e Bo, con /(nB") e BO) {/ y por lo tanto f(r) eU,
esdecir,fie-r(U).Paraelreeprocorleestere*rltado,searroe-4ye>0.Comola
bola B(/(a),e) q Y es un conjunto abierto. por hiptesis. existe V e X abierto, tal que
f*'(B(f("),.)):f ly.Como ae V, existe d ) 0, tal que B(a,6) c l. De donde setiene

que /(Al^lB(r,)) g /(AnY): (f*'(B(f(o),r))) c B(f(a),e), es decir, / es continua

ena. I

Prctica 8.

1. Sea X uu espacio normado y las funcionescontinuas fi, ...,fx: X -+ iR. Demostrar que:
{r e X t s) ) 0,V i e {1,...,k}} es abierto en X.

2. Sea X un espacio normado y las funciones continuas /, g : X *+ IR.. Demostrar que:

{r e X: f(r) t S@)} es uo conjunto abierto en X.

3. Sea X un espacio normado y Ia famiiia de funciones continuas f^ : X * R, r: l.

Demostrar que: {r e X : f"(") < 0,V o e f} es cerrado en X.

4. Sean XyY espaciosnormados. Si/: X -+ Yesunefuncin, elgrrficode/eselconjunto

G(/): l@, X x Y ry: /(r)).Demostrarque: si / es coutinua, entonces G(/) es un
conjunto cerrado en X x Y. En particular, A : {(r,y) X xY : A : l es cerrado en

X xY.
Definicin 20. Sean X y Y espacios normados. Una firncin f , A C X -+ Y se dice
Lipschitzianasi 3 M >A,talque ll/(")--/(u)ll { t}fllr-yll,V r,yA.

El nmero rea) M :> 0, en la deflnicin anterior. se llama constante de Lipschitz. Si dicho

 46

M > A,es tal que 0 < M <1, entonces / se llama una contraccin y si M : 1, .f se llama

utra coutaeciu dbil. Adcurs. / se dice localmente Lipschitziana si y slo si, pau'a carla
u e A, existe uua bcla alierta B(u,r') C X, tal que la furrcirr f,*ne{u,tr n B(u,r) -+ Y
es Lipschitziana.

Ntese que las funciones Lipschitzianas son continuas.

Ejemplos 5,

L. La funcin "f , lR * R, donde /(s) : nn, can n N, es localmeate Lipschitziana. En efecto,

sear>0yveamosque/esLipschitzianaenlaholaB(0,r):(-r,r).Seana,bB(0,r),
entonces por ei teorema del valor rnedio, existe c (a,b), tal que /(b) - /(o) : f'(c)(b * a).
Dado que l/'(c)l : nlcln*l {nrn-l, entonces l/(b) - /(a)l < nrn'tlb * al. Es decir, / es

Lipschitziana en la bola abierta B(0,r), V r > 0. De donde se deduce que "f es localmente
Lipschitziana, ]das aun, dado que Ia fllma fiuita de funciones Lipschitzian&s, resulta Lips-

chitziana y lo mismo ocurre paxa una suma finita de funciones localmente Lipschitzianas,

podemos concluir que todo polinomio q : IR. -+ IR, q(r) : ao*atr+. .-+ anfrn, cri una furrcirr
iocalmente Lipschitziana.

2. La funcin "f , IR\ {0} * R, definida por /(r) : Llx, es lipschitziana en el conjunto
Au :{r e IR : lrl2CI}, V o > 0. En efecto, si s } 0 y r,U Au,entonces l/(") * f(l :

l* - il :W < #lr-yl.Es decir, / es Lipschitziauaen A* y porlotanto f es continua

en .4,, Vrr ) 0. Mas aun, si alR\{0}, entonces &e Ao, parary: *lrl yporlotanto / es

continua en o.

3. Si X es uu espacio normado y A g X, entonces d,: X -r iR., definida por:

de{r) - nf{llr - all' a A} es Lipschitziana. En efecto, si r,y X y a e A,entonces
de(r) ( ll"-"ll < ll"-yll+lls*"ll yporlotanto, d,t(r)-lls*yll ( lls-oll,V A. Luego,
de(r) * ll, - yll { defu). Similarmente, d(y) * llr - sll < de(*).De donde se concluye que,

ldt@) *de(l { ll"-gll, V n,A X. Luego, d,: X *+R esLipschitzianayporiotanto

continua.
 47
4. SeanX esunespacionormado y &,u X, con ll"ll :1. Entonces/:lR.*lX definidapor
/() : a * tu, es Lipschitziana. Pues,
il/(,) - /(z)ii : iia * ttu - (a + t2u)il: l(r - r)lli"ii : lr - zl, v 1,f2 R.
5. ConsidremoseneiespaciolRftxlR&, lanormall(",y)llr:llrll +llyll,V(r,y) e iRkxlR.k.
Entonces, la funcin suma s : IRe x IR -t iR.ft, s(r, A) : r* y, es Lipschitziana y por io tanto
continua. En efecto, ll"(rr,y) - s(nz,yz)ll: llrr *At* (*r+yz)ll= llr, * rz*Ut-yrll.Y
por 1o tanto, ll"(rr, a) - stnz,yz)ll ( llr, * *rll + lly, - yzll: ll(rr, yr) - (rz,yz)li.

6. SeaXunespacionormadoyconsideremosenelespacioIRxX lanorma, llllrrIRxX +iR.,

ll(4,")llr: lal +llrll,V (o,r) e IRxX. Lafuncinrr: IR xX *r X,m(a,r): ar, es

Lipschitziana en el conjunto: {(o,r) IR x X : lol < M,ll"ll < M},V M > 0. En
Au
efecto,seanM>0y(u,*),(u',r')Ao,entoacesll*@,x)-m(rx',r')ll :ll"r-u'*'ll-
llor* an'+otr'* a'r'll ( llo*- ar'll+llor'- a'r'll: l"lll"-s'll +lo*o'lllrlll E
M{ll" *r'll +la*a'l): Mll@,n)-(a',r'}llp. Ntese qtre, si A g Rxx est acotarlo,
entoncesexisteM)O,talquell(*,r)llo:lal +llrll <M,V(o,r)eA,luegoACA2py
por 1o tanto rn es Lipschitziana en A.

7. Consideremos e1 espacio normado (Ro, llll), donde ll(rr,...,r*)ll : lnll +...+ lr1. En-
tonces, toda norma N : (R*,llll) -+ IR, es Lipschitziana y por lo tanto continua. En efecto,
si {e1, .. .,**} es l base canrrica de lR y elegimos M : rnx{N(rr),.. ., N(rr))}, entonces

Y r,U Rk, digamos r: (rr, ...,fix), U : (At,.. .,Ux),se tiene que:

lr(") - r(y)l ( N(r - a): tr((r, - y)q + .'.+ (** - sr)er) {

lsr - yrll[(r,) + ... * lrr - unlN(er) ( M(lrr - rrl * ... * lrt * arl) : utllr- sll.

8. Si X es un espacio normado y tr1, Nz son normas equivalentes en X, entonces

N, (X, fr) -) IR. es Lipschitziana y por lo tanto continua. En efecto, sea o > 0, tal que
'
fr(") < offz(r), V r e X. Luego, lfr(s) - fr(y)l < fr(" - s) < o,N2(r* U), V r,y e X.
Ntese que 4, tle Ejeurpios 3 quetla colrto caso particular a este resultatlo.