Ejercicio 1: Comprobar que en los casos siguicntes se cumplen los axiomas de norma, es decir, Ia norma esta definida correctamente. a)EI espacio /, de las sucesiones 1 = (1,,2,..), om 3, mimeros reales y que satisfacen la condicién ¥- [rx] < 00, con Ja norma |r|], = [zal Como r € f, entonces 3 rg] < oo, luego tmestro candidate a norma estat bien & definido ya que no es infinifo, sino que seré un niimero real “Ahora vamos a comprobar que se cumplen los axiomas de norma 1) Si |r|, =0 si y silo sir =0, Sillelh = ui al ent En ls fs ihe i wi eh 0, do osto obtmoros que 24 =0VE € N luge 2 = 0 Por otto lado si 2 = 0 > 2p =OVKEN > ¥ [| = 0 ist = lial, = 9. 2)21, = Al, para cualquier 2 € 4 y para cualquier X ER. rt, = 3 Beal = Slee = 5 bel = ME Syke + wll; < Mell, + Huth, para cualescuiera x.y € A ws We + ull, = 30 dee + yal S Do ead + baal) = 9 baal + 3 baal = 2 a eee = bell + loll, Para resolverlo hemos utilizado la desigualdad triangular para el valor pero esto significa que la suma de infinitos ubsohuto, ), con 1; mtimeros: reales y [Er] ‘Ver que esta norma est bien definida es muy féeil es simplemente por la definieién del espacio ly. ‘Vemos ahora que se cumplen los axiomas de norma. 1) Si fj], =O si y solo sir = 0. D)El espacio /y de las sucesiones x = (11,12, que satisfacen la condicién )> |r|? < 00, eon la norma [fzsill, = 0 [Eb] =0 proto sini que asta de i finitos mimoros positivas és como, y esto Sdlo puedo oewnrir cuando todos los mtimneros son 0 de esto obtencmos que zy =0 Vk € N lncgo z= 0. Oy =0VKEN t =0= [fr =0. = [| [lle para cualquier + € fy y para cualquier X€R pa, = [E, ar = [Spr iat =) [Eta] = = Pll Diz + ull, < ell, + Hull, para cualesquiera x,y € ls, |' < [Sat] + [Etmr]’ - ste paso tereero hemos utilizado la desigualdad de Minskowsid que We + oll, = | 3 lat = lll, + hole dice bagi [Eevee]? < [Seto] +[Se | * donde p > Les un nfimero real y ae y by Son mimeros complejas pero si las seriés som convergentes, como es aust caso, pul dal a sunt dsigual a, [Ber [Sn + En©)El espacio |, de las sucesiones x = (11, 12,..)y con ir; mimeros reales y fee mations Ia etd, = nx)? < 00, con Ta norma Ill, [z bal? ‘Ver que esta norma esti bien definida es muy ficil es simplemente por la definicin del espacio lp, ‘Vemas ahora que se cumplen las axiomas de norma. 1) Si f[a|l, = Osi y s6lo si = Silfz|,=0—> [= tnt = 0 pero esto significa que la suma de in- finitos nximeros pesitivos os cero, y esto g6lo puede ocurrir cuando todos los ntimeros son 0, de eto obtenene qu ru OYE € N Ingo 2 0 Porc lao sts 0324 “DOE N = [Star]! -0— te, DTA, = Ne para cualquier « € ly y para cualquier A € R.TS + te Daal, = [= bat] s [= brat] =~ lé al =i, Sebi a, wn claana ey, besa =[Stvtur}’ < [Stor] + [Eur] = | +l, En éste paso tercoro hemos utilizido la desigualdad do Minskowski igual que en el apartado anterior. A)BI espacio 1, de las sucesiones 1p = (1r),12,..), eon"; niimeros reales tales que son acotados, con Ia norma [[o||,. —sup|z:| para k EN. Fata norma estit bien definida ya que el espacio dag, esta formmdo por as suewsiomes x = (71,2, ..) que estan acotadas ‘Vemos ahora que se cumplen los asciomas de norma. 1) Si fell,, = Osi y sélo sir =0. Si |jz]l,, = 0 => sup|ra] = 0 como fry] > OVE € Ny lado sabemos que [14] < sup|2i| = 0 entoneos tenemos que |ry|=0 Vk EN luego 7 Por otro Indo six = 0 + [au] = 0 Vk EN — sup [aa [2p para cnalquier « € Le y para cualquier \ €B. [A = sup Phau] = sop axl = Bl sep aul = Plt S)lle + ull. S W2llnc + llell.. Para cualesquiera 2,4 € loo. We + ull, = sup [ae + uel < sup [lee] + vel] < supe] + sup || = = Heth + lvls ~ En este paso tercero hemos utilizado la desigualdad triangular para el ‘alor absoluto. EI espacio ¢ de las sucesiones 1r que satisfacen la condicién jim (11 Ex claro ya que ¢9 es subespacio vectorial de Io. £)EI espacio c de las sucesiones x = (17, 72,...), con 7; mimeros reales, jue son convergentes,con Ia norma | ne [ru « < Como ¢ es snbespacio vectorial de 1,, entonces es claro que se cumplen los eciomas de norm