Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 20230821151050211

    Cargado por

    Evamary TG
    17 vistas37 páginas

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    17 vistas37 páginas

    20230821151050211

    Cargado por

    Evamary TG

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 37
    Analisis funcional Walter Rudin Professor of Mathematics University of Wisconsin EDITORIAL REVERTE, S. A. Barcelona-Bogotd-Buenos Aires-Caracas-México-Rio de Janeiro Titulo de 18 obra original Functional Analysis diciin original en lengue inglesa publicads por McGraw-Hill Book Company, New York Copyright © by McGraw-Hill, In. Versién espafole por Jesis Fernandez Novoa Profesor Adjunto de la Facultad de Ciencias de le Universidad Complutense de Madrid y Luis Bou Garci Prof. Jefe de Estudios del Instituto Nacional de Ensefanza Media de Zalacte Le Coruia Revisade por Dr. Enrique Linés Escard6 Gatedratico de le Facultad de Ciencias de la Universidad de Madrid Propiedad de EDITORIAL REVERTE, S. A. Encarnacién, 86 Barcelona (24) Reservados todos los derechos. Ninguna parte del material cubierto por este titulo de propiedad literaria puede ser reproducida, simacenada en un sistema e informatics 0 transmitida de cualquier forms 0 por cualquier medio electré- nico, mecénico, fotocopia, grabacién u otros metodos sin el previo y expreso Permiso por escrito del editor. Edielén en espemol © EDITORIAL REVERTE, S. A. 1979 Impreso en Esparia Printed in Spain Prélogo rae TEORIA GENERAL + Espacosvetoite pa il + Epacin vectors tpt Propiedades de Aplicaciones lncaies Spacios de dimenee Metrizabilidad men eee ¥ Continuidad Espacios cociente aatoa Ermplos Bers Capito 2 Compleiud Cateporias de Bare corel de Banach-Steinhaus Teorems de is apliactin sheng ‘Totems de gato erage icacionesbilnelee Ejercicios wh Capitulo 3 Coorexdea Teorema de Hah le hn-Banact Topologias ‘débiles “ Conjuntos convexos compa Integracién vectorial a. Funciones holomosfas Bereicos tos Indice analitico vl Capitulo 4 Dualidad en espacios de Banach Espacio dual normado de un espacio normado Adjuntos Operadores compactos Ejercicios Capitulo $ Algunas aplicaciones Un teorema de continuidad Subespacios cerrados de los espacios L? Conjunto de valores de una medida vectorial Un teorema de Stone-Weierstrass generalizado Dos teoremas de interpolacién Un teorema del punto fijo Medida de Haar sobre grupos compactos Subespacios sin complementario Ejercicios Segunda parte DISTRIBUCIONES Y TRANSFORMADAS DE FOURIER Capitulo 6 Fanciones «test» y distribuctones Introduccién Espacios de funciones test Cileulo con distribuciones Localizacién Soporte de una distribucion Las distribuciones como derivadas Convolucién Ejercicios Capitulo 7. Transformadas de Fourier Propiedades fundamentales Distribuciones temperadas Teoremas de Paley-Wiener Lema de Sobolev Ejercicios Capitulo 8 Aplicaciones a las ecuaciones diferenciales Soluciones fundamentales Ecuaciones elipticas Ejercicios Capitulo 9 Teoria tanberiana Teorema de Wiener Teorema del nimero de primos indice ani 87 87 93 98 107 3 13 14 116 18 120 123, 125 129 134 139 139 136 146 152 154 137 160 167 173 173 180 187 193 195 201 201 206 213 207 217 221 Indice analitica La ccuacion de renovaciin Ejercicios Tercera parte ALGEBRAS DE BANACH ¥ TEORIA ESPECTRAL Capitulo 10 Algebras de Banach Introduccién Homomorfismos complejos Propiedades basicas de los espectros Cileulo simbslico Diferenciacién EI grupo de los elementos inversibles Ejercicios Capitulo 11 Algebras de Banach conmutativas Ideales y Homomorfsmos Transformacin de Gelfand InVohiiciones Aplicaciones @ algebras no comunicativas Formas lineales positivas Ejercicios Capitulo 12 Operadores acotados en un espacio de Hilbert Hechos fundamentales Operadores acotados Un teorema de conmutatividad Resoluciones de Ja identidad El teorema espectral Valores propios de operadores normales Operadores positivos y raices cuadradas El grupo de operadores inversibies Una caracterizacién de B*-dlgebras Ejercicios Capitulo 13 Operadores no acotados Introduccién Grafos y operadores simétricos La transformada de Cayley Resoluciones de la identidad El teorema especiral Semigrupos de operadores Ejercicios, Apéndice A Compacidad y continuidad Apéndice B_ Notas y comentarios 335 339 343 347 353 350 367 a7 375 vill Bibliografia : Lista de simbolos especiales Indice alfabético analitico indi 385, 387 390 exposicion de su axiométi rmiitica tepolégicos), deberia tratar co requisitos, El tema es ya muy amplio y cominia ere ciendo con rapides Scupa 96 paginas.) Por (La bibliograjia consiguiente ara una explorcion Por esta razén se han omit Sei Peta hr tugar on ta presentain de a eo ones ae ‘ogicos. Por ejemplo, no se exponen 5 espacic ee sgencia Moore-Srth. ni as teorias de vees ode Hone nde spare fe ‘séio. €n relacion con fos espacios métr : ore clos bornoldgicos nj Ic Elalenee = los tonelades. Se expon 0 en toda su extensién. La intepracion de ig cardeter especiainente esotérico, Ix et x Prélogo miento puramente instrumental que se concreta al considerar solamente integrandos Continuos con valores en un espacio de Fréchet. ‘No obstante, el contenido de la parte I es perfectamente suficiente para casi todas las aplicaciones a problemas coneretos. Al tomar este rumbo es preciso ‘subrayar que la estrecha interaccidn entre lo abstracto y lo concreto es no sélo la ‘caracteristica mds ttl de toda esta reoria, sino también ta mas fascinante, He aqui algunas caracteristicas de los temas seleccionados. Se presenta gran parie de la teoria general de espacios topoldgicos sin introducir la hipétesis de convexidad local. Las propiedades fundamentales de ios operadores compacios se dobtienen de la teoria de dualidad en espacios de Banach. En el capitulo 5 se util de varias formas el teorema de Krein-Milman sobre existencia de puntos exire- ‘males, La teoria de distribuciones y Ia transformacién de Fourier han sido expuesias con bastante detalle, y se aplican (en dos capitulos muy breves) a dos problemas de ecuaciones en derivadas parciales, asi como al teorema tauberiano de Wiener 1 dos de sus aplicaciones. El teorema espectral se deduce de la teoria de algebras de Banach (concretamente, de la caracterizacién de Geljand-Naimark de las B*- Algebras conmutativas); probablemente no sea éste el camino mds breve, pero, sin duda, es fécil. Se discute con considerable detalle el cdlculo simbélico en algebras de Banach; lo mismo se hace con las involuciones y los funcionales positivos. Se incluyen también varios resultados muy recientes sobre dlgebras de Banach que rodavia no han hellado lugar en otros textes. Se presupone al lector familiarizado con la teoria de la medida y con la integra- cidn de Lebesgue (incluidos hechos tales como la completitud de los espacios L?), con ciertos conocimientos bisicos de las funciones holomorjas (tales como la forma general del teorema de Cauchy y el teorema de Runge) y con la formacién topo- lgica exigida por los temas anteriores. Otros requisitos topoldgicos se exponen brevemente en el Apéndice A. Précticamente no se precisa mas élgebra que la im plicita en la nocién de homomorfismo. El Apéndice B reiine las referencias de cardcter histérico. Algunas dan las fuentes originales; otras, libros, trabajos y articulos expositivos en los que se pueden encontrar referencias més amplias. Evidentemente, hay muchos puntos de los que no se da documentacin alguna, La ausencia de referencia explicita no implica, en ningtin caso, pretension alguna de originalidad por mi parte. La mayor parte de las aplicaciones se hallan en los capitulos 5, 8 y 9. Exisien también algunas en el capitulo 11 y en los ejercicios, que superan los 250, en muchos de tos cuales se dan orientaciones al lector. La interdependencia de capi- tulos se muestra en el diagrama siguiente: XI ' ul 1 12 l 3 Ei Hite procede de un curso que el autor expuso en ta Universidat de Wis. consin: He tenido fructieras conversaciones con algunos de mn colegas, especial. places copearick Ahern, Paul Rabinowitz, Dariel Shea y Robert Tce Exun Placer expresarles aqui mi agradecimienio, Welter Rudin Primera parte Teorfa general Capitulo | Espacios vectoriales topoldgicos Introduccién J1_En muchos problemas de Andlis Viduales —una funcién, un operador— sino amplias ¢¢ Con gran frecuencia, en los casos de interés le Como en oresos de paso ‘oriales estén dotados de una relacién natural con sencillo © importante de ura asi obtenida (def nida spacio lineal normado, o todo problema analtico imtervenen ten A limit, no eausaré sorpresa que dichos equa méticas 0, al menos, de topologias, que erence ve los objetos gue constuyen et espacio, El meaees al onseguirlas conse en introducir na norma Lo eee mis adelante) elma espacio vectorial norms ne simplemente, espacio. normado, Alo largo de todo libro, e érmino espacio vesroia Sobre el cuerpo complejo C0 sobre el «1 Pea cepeso vectorial : po real R. Con inimo de cfiecee Srposicién completa, daremos defniciones dealadas en Ig gone FEE Un pubis 2 Anélisis funcional 1.2. Espacios normados. Un espacio vectorial ' se llama espacio normado cuando a cada xe ¥ esta asignado un nimero real no negative x , llamado norma de x, de manera que (@) |x + y\\< [xj + lyf para cualesquiera x ey de (®) jax) = [al [xl si x eX y a es un escalar, © ix>Osixeo. La palabra «norma» se usa también para denotar la funcién que aplica x en |x Todo espacio normado puede considerarse como un espacio métrico, en el que Ja distancia d(x, ») entre xe yes x — y,. Las propiedades caracteristicas de d son: () Os day) < © para cualesquiera x € y, (ii) d(x. y) si,y sdlo (il) dix. 9) = dlr, 3) para cualesquiera x e y, (i) aGs2) = atx,s) ~ ays) para cualesquiera x, », =: En un espacio métrico, la bola abierta de centro x y radio-r es el conjunto Bix) = (9: dex, ») <7). En particular, si 1° es un espacio normado, los conjuntos Bate xt < 1) y BO) = 4x: Ix st} son la bola wnitaria abierta y la bola unitaria cerrada de X. respectivamente Se define un subconjunto de un espacio métrico como abierto si, y sélo si, f una unién (puede ser vacia) de bolas abiertas, y asi se obtiene una topologia. (Ver seccién 1.5.) Es facil comprobar que las operaciones de espacio vectorial (Suma y multiplicacién por escalares) son continuas en esta topologia, si la m: twica proviene de una norma, como se ha: indicado, Un espacio de Banach es un espacio normado que es completo en la métrica definida por su norma; es decir, toda sucesién de Cauchy es convergente hacia un elemento del espacio. 1.3 Muchos de los espacios de funciones mas conocidos son espacios de Banach. Mencionaremos solamente algunos ejemplos: espacios de funciones con. tinuas sobre espacios compactos; los familiares espacios L? que aparecen en la ‘woria de integracién: los espacios de Hilbert —los parientes mas prdximos a los espacios euclideos: algunos espacios de funciones diferenciables; espacios de apli- caciones lineales continuas de un espacio de Banach en otro: algebras de Banach Todos ellos iran apareciendo en el texto, Pero existen también muchos espacios importantes que salen de este marco. He aqui algunos ejemplos: (a) C12). €l espacio de todas las funciones complejas continuas sobre un cierto Espacios vectoriales topolé icos ; conjunto abierto 2 de un espacio euclideo R° 0, HM. €l espacio de todas fas funciones holomor del plano complejo. (0) Ci el espacio de todas las funciones com ‘ fe todas las funciones complejas infinitamente diferen bles sobre * que se anulan fuera de un conjunto eompacio erent Siteensia terior no vacio, anos (@) Los espacios (2) que se usan en la teori mo Maens ) que se usan en Ia teoria de distribuciones, y las dis Ici topologias naturales de estos espacios no pueden ser inducidas por nor Same Were mis acne, Ess, as como los patos norman oe arma w= de espacios vectoriales: ropolégicos, nocién sift do el 4 clones spoléigicos, que se difurde por todo el Anilisis Después de este breve intento de motivacién, d te ivacién, damos a continuacién las d Giones detalladas y después (en la seccién 1.9) un progrs eerraal cat Pues (en la seccidn 1.9) un programa de los resultados del fas en un conjunto abierio 14. Espaciosvetoriles. Las letras Ry € denotars 1 es. Las letras Ry € denotarin en lo que sigue el ever Ge os mmeros reales ye cuerpo de os nimeos comple, een ee? & Say oe bien Ro bien €. Un escalar es un ‘elemento del ex af escalares M espacio vectorial sobre ® es un conjunto X, cuyos eleme aa Maman vesiors, sobre el que esta denias dos operaciones, pee es cin por excclares, con las usuales propiedades algebracas siguemee, Me (a) A cada par de vectores x © y corresponde un vector x — y, de tal modo que xtyeypex Xt tya@syt ¥ contiene un inico oe r 0 (el Yestor 0 (vector mow orien de X) tl que x = 0 = x eida xX: pn cada xe eet sree See Om aa snot gh A PHF) eon sce’ we comtponde uf nei Ge Ix=x, a(fx) = (af)x, ¥ las dos propiedades distributivas (a+ Px =ax+ fx ax + year tay, son vilidas El simbolo 0 utilizado antes tes se usa también para designar el element ara la sume del cuerpo de escalares yammiie Un espacio vectorial real es un , rial real es un espacio vectorial sobre ® = R: un espacio vee- i Complejo es un espacio vectorial sobre © = €. Debe de sobreentenderse 7 lo sero sobre espacosvecorles ene qe 20 © Mencone eaohns ee cuerpo de escalares es aplicable encada uno de est0s dos casos Si X's un espacio vectorial, 4c ¥. Be notaciones: / \, ¥ €y 2 €®, usamos las siguientes isis. funcional x+Ae(etarce dy x-A=(x-a:aed}, A+ B=(a+b:aed, beB), JA = (ia: ae 4} En particular (tomando = — 1), —A designa el conjunto de los opuestos de Jos elementos de A. Una advertencia: Con estos convenios, puede ocurrir que 24 # A+ A (ejer- cicio 1). Se dice que un subconjunto YX es un subespacio de X,si Y es también un ‘espacio vectorial (respecto de las mismas operaciones de X). Se comprueba fécil- mente que esto ocurre,si y slo si,0.« ¥ y a¥+pYcY para todo par de escalares # y 8. Se dice que un conjunto C= ¥ es comexo si 1C+-CeC Oxts)). Con otras palabras, se exige que C contenga a tx+ (I —ny sixeC, yeC,y Osrel. Se dice que un conjunto B< X es equilibrado si 2B< B para todo 2 tal que [2] <1. Un espacio vectorial ¥ tiene dimensién n (dim X =n) si X tiene una base {uy +t}. Esto quiere decir que cada x eX tiene una tinica representacién de Ta forma Kea t+, — (2,€o), Si dim X =n para algin n, se dice que X tiene dimensién finita. Si X = {0}, en- tonces dim = 0. Ejemplo Si X = C (espacio vectorial de dimensién 1 sobre el cuerpo de esca- lares €), los conjuntos equilibrados son: €, el conjunto vacio 2 y toda bola (abierta © cerrada) centrada en 0. Si X = R? (espacio vectorial de dimensiin dos sobre el cuerpo de escalares R), existen muchos mas conjuntos equilibrados; todo semento cuyo punto medio sea (0, 0) lo es. Desde este punto de vista y a pesar de la cono- cida y obvia identificacion de € con R°, estos espacios son completamente diferentes fen cuanto concierne a su estructura de espacio vectorial 1.5 Espacios topolégicos. Un espacio ropoldgico es un conjunto $ en el que se ha elegido una coleccién + de subconjuntos (Ilamados conjuntos abiertas) con las siguientes propiedades: S es abierto, es abierto, la interseccién de dos abiertos cualesquiers es un abierto y la unién de cualquier coleccidn de abiertos es un Espacios vectoriales topoldgicos abiero. Se dice que una tal coleccién = es una ropolog manifiesto que el espacio topoldgico es el cc ie ala es biremos (5, =) en luger de He aqui un resumen del vocabulario usual que utiliz: oe mr jo usual QUE utiizaremos, si (S,) es un 25 = es una base para = si cada elemento des (es dea eon usiéa de elementos de“. Uns colecién de eniomes de us ean SEO) tonees © es una topologia sobre E como puede cor 1 como pmprobarse fécil y sedice ‘us est topologia es la heredada por E de 5. menioy ees Yuna topologia = est inducida por una métrica d (ver secci que d y = son compatibles entre si. aamiucnase! bien, it Suoesién {34} en un espacio de Hausdorff converge a un Punto xe (0 ven yo 998 cada entorno de x contene los puntos x, salve quick wy nue ‘mero finito de ellos 1.6 Espacios vectoriales topologici + una topologi aS Poldgicos. Sea = una topologia sobre un espacio (@) cada punto de ¥ es un conjunto cerrado, y (©) las eperaciones de espacio vectorial son continuas respecto de = En estas condiciones, se dice que + ‘ S. Se dice que = es una topologia vectorial sobre X y 8 un espacio vectorial ropolégico, “ ead Gil una formulacién més precise de la condicén (@): para cada» ¢y el los teoremas interesantes exigen (a) is exigen (a) en sus hipdtsis, lah ‘mas. (EI teorema 1.12 probaré que (a) y joa de Heusdority | "7 P*ebard que (a) y () juntas impican que = es una topoloess Desir que Ia sums es continua significa, por deficin, gue ls aplicacién yoxey Anélisis funcional 6 Lyd del producto cartesiano ¥ x X en ¥ es continua: six, X para i es un entorno de x; + xp, existen entornos V, de x, tales que Wither. Anélogamente, la hipétesis de que la multiplicacién por escalares es continua sig- nifica que la aplicacién (x) ax de @ x Yen Xes continua: si xe X, «es un escalar y V es un entomno de ax, en- tonces para algin r>0 y algin entorno W, de x se verifica sW< V cuando |p—a 0 tal que Ee 1, para todo 1> 5. 1.7 Invariancia, Sea X un espacio vectorial topolégico. A cada ae X y a cada escalar >. # 0 hacemos corresponder el aperador traslacién T, y el operador ‘multiplicacién M;, por las férmulas Myx) = Ax (eX). La siguiente proposicién es muy importante: Proposicién. 7, y M; son homeomorfismos de X sobre X. Dewostaacion. Los axiomas de espacio vectorial implican que T. y M, son aplicaciones biyectivas de X sobre X y que sus inversas son T-, y Mya, respecti- vamente. La hipétesis de continuidad de las operaciones del espacio vectorial implica que estas cuatro aplicaciones son continuas, Por tanto, cada una de ellas €s un homeomorfismo (una aplicacién continua cuya inversa es también continua). ‘Una consecuencia de esta proposicién es que toda topologia vectorial = es invariante por traslaciones (0 simplemente invariante, por brevedad): Un conjunto Ec Xes abierto si,y solo sicada uno de sus trasladados a + E es abierto, Enton- es + queda completamente determinada por una base local. En el espacio vectorial correspondiente, el término base local significara siempre tuna base local en 0. Una base local de un espacio vectorial topoldgico X es, por tanto,una coleccién # de entornos de 0 tal que cada entorno de 0 contiene un ele- mento de @. Los conjuntos abiertos de son entonces precisamente los que se obtienen como uniones de trasladados de elementos de 2. Diremos que una métrica d sobre un espacio vectorial X' es invariante,si det zy +2 = dx, y) para cualesquiera x, y, = de X. Espacios vectoriales topolégicos 18 Tipos de espacios vectoriates topoigi s Sectorales topoigicos. En las definiciones siguientes denota siempre un espacio vectorial topoldgico, con topologis = “es (a) (es locaimente convexo si existe una base local @ cues elementos son convexos. @) X es localmente acotado si 0 tiene un entorno acotado, (0) X es locaimente compacto si 0 tiene un entorno euya adherencia es com- acta, d) X es metrizable si + es compatible con alguna métrica d. (@) Xes un Fy = riamte y completa. espacio si su topologia r std inducida por una métrica d inve- (Comparar con la seccién 1.25) mee (DX es un espacio de Fréchet si X es un Fespaci v le Fréchet si X es un Feespacio localmente convexo, () X es normable si existe una norma sobre X tal que la métrica indverda por esta norma es compatible con (Las espacios normados y los espacios de Banach ya han sido definidos (secci6f 122), @ X tiene la propiedad de Heine-Borel si toda, subconjunto cerrado y aco- tado de X es compacto, La terminologia de (@) y (f) no esté aceptada universalmente. En algunos texe far mite la convexidad local en la defnicién de espacio de Fréchet miemnc que otros utilizan espacio de Fréchet, los Feespacios para descrbir lo que nosotros hemos llamede 20, He aqui una lista de algunas relaciones entre estas propiedades de un espacio vectorial topolé; 0X. (a) Si X es localmente acotado, ‘entonces X tien et (ne igh inte ea, 36 na. base local mumerable (6) X es metrizable sivy sélo si,¥ ti ier 1a base | Ly Slo SX dene una bast local numerable (wor Lo) es normable sy slo x es loelmente conn y eek ce (eorema 1.38). (2) Hane dimension finite si,y sélo si,X es localmente compacto.(eore: mas 1.21, 1.22) (©) Si un espacio localmente acotado 4X tiene Ia prop ntonces X tiene dimensin fina (eorema 123). ts Heine-Borel, Los espacios (2) y Cz? mencionados en le secci6 . a Y GF mencionados en lt secién 1.3 son expacios de Fréche Ge dimension infnita con ia propiedad de Hine-Borel (Gecciones Iss aera onsiguente, no son localmente acotades y tampoco son normables Pave oye también que la resiproca de (a) es falsa mes Por otra part, exsien Fespacios localmene acotadas que no son localmente convexos (seccién 1 40) Propiedades de separacién 1.10 Teorema, Sean K y C dos subconjuntos de un espacio vectorial ropolee 8 Anélisis funcional z. Enionces 0 tiene un ico X tales que K es compacto, C es cerrado y Kn C entorno V sal que K+ C+ V=@. Observemos que K + V es unidn de los trasladados x + V de V (x eK). Ene tonces K+ Ves un conjunto abierto que contiene K. Por tanto, el teorema im- plica la existencia de conjuntos abiertos disjuntos que contienen Ky C, respecti- ‘vamente. Dewostaciox. Empezamos con la siguiente proposicién, que utilizaremos también en otras partes ‘Si W es un entorno de 0 en X, entonces existe un entorno U de 0 que es simétrico (en el sentido de que U = — U) y satisface U+ UC W. Para ver esto, observemos que 0 + 0 = 0, que la suma es continua y que por tanto, existen entornos de 0, V;, Vs tales que V;+ Vc W. Si U=Kahra(-ha(-h), entonces U tiene las propiedades requeridas. Puede aplicarse ahora la proposicidn a U en lugar de Wy obtener un nuevo entorno simétrico de 0 tal que U+U+UsUeW, Es claro que este proceso puede continuarse. Si K =, entonces K+ V = y la conclusién del teorema es obvia. Supon- gamos entonces que K # 2 y consideremos un punto x « K. Como C es cerrado, % no pertenece @ C y la topologia de X es invariante por traslaciones, la propo- sicién anterior prueba que 0 tiene un entorno simétrico V tal que x + Ve -+ Ve Ve no corts a C.La simettia de V_ prueba entonces que a (HVA VIO(C+ =f. Como K es compacto, existe un ntimero finito de puntos x, ..., Ke a +h) uv Gt F,,). 111 O Voge Entonces de K tales que Pongamos V = Va, K4Ve UG t¥e, + VEU) (i+ Vat Vad y ningiin término de este Ultima’ unién corta a C + F, por (1). Esto completa la ‘demostracién. Como C ~ Ves abierto, es igualmente cierto que la adierencia de corta a C~ V; en particular, la adherencia de K+ V no corta a C. El siguiente caso especial de éste, obtenido tomando K = {0}, es de considerable interés, K+Vn0 111 Teorema, Si es una base local para un espacio vectorial ropolégico X Espacios vectoriales topolégicos emtonces cada elemento de @ contiene la adherencia de algin elemento de Hasta ahora no hemos usado la hipétesis de que cada punto de 1 es un cone Junto cerrado, Usémosla y apliquemos el teorema 1.10 @ un par de puntos distintes en lugar de K y C. La conclusidn es que estos puntos poseen entornas disjunios Con otras palabras, se verifica el axiome de separacin de Heusdorft 142 Teorema, Todo espacio vectorial topolégico es un espacio de Hausdorff Deduciremos ahora algunas propiedades sencillas de las adherencias ¢ interiores en un espacio vectorial topoldgico. Véase la seccidn 1.5 para las notaciones Fy E Obsérvese que un punto p pertenece a E si,y sdlo siscada entorno de p coma a F GF Tewtema: | Sea X un espacio vectorial toplesico. (@) Si AZ X, entonces A +¥), donde V recorre el conjumto de to ton rat AE 2 A= (\(A +0), donde v el conjunto de todos Si ASX y BEY, entonces A+ BAS (©) Si ¥ es un subespacio de X, también lo es Y. (@) SiC es un subconjunto conexo de X, también lo son © y C (@) Si Bes un subconjunto equlibrado de X, también lo es B: si también 0 ¢ ‘entonces B° es equilibrado, () Si E es un subconjunto acotado de X, también lo es E. Denostracion. (a) xed si,y sélo sin(x~V) 0.4 V de 0, y esto ocurre siyy slo si,x eA — V’ para cada en lun entorno de 0 si,y sélo silo es V, la demostracion esta complera, (&) Tomemos ae 4, b 0 y un entorno V de 0 en X tales que 2’ U siempre que |2| <8. Sea W ta unidn de todos estos conjuntos a¥, Entonces W es un entorno de 0, Wes equilibrado y We U. (®) Sea U un entorno convexo de 0 en X. Sea 4 = (aU, donde x recorre el conjunto de los escalares de valor absoluto 1, Elijamos IV como en la parte (a). Como W es equilibrado, «+ W = W cuando || =1, por tanto We aU. En- tonces WA, Io que implica que el interior 4° de A es un entorno de 0. Eviden- temente A°< U. Por ser una interseccién de conjuntos convexos, A es convexo, luego también lo es A*. Para probar que 4° es un entorno con las propiedades deseadas, hemos de probar que ° es equilibrado; para ello es suficiente probar que 4 es equilibrado. Eljamos ry ¢ tales que 0'< r< 1, [s) = 1. Entonces 1BA = () rBaU = () ra. ia ies Como aU es un conjunto convexo que contiene a 0, se tiene rxU¢ aU. Entonces TBAT A, lo que completa la demostracién, El teorema 1.14 puede enunciarse en términos de bases locales. Se dice que una base local @ es eguilibrada si sus elementos son conjuntos equilibrados, y que @ es convexa si sus elementos son conjuntos convexos. Corotario (@) Todo espacio vectorial ropoldgico tiene una vase local equilibrada, (®) Todo espacio localmente convexo tiene una base local convexa y equilibrada. Observemos también que el teorema 1.1] se verifica para cada una de estas bases locales. 115 Teorema, Sea ¥ un entorno de 0 en un espacio vectorial topolégico X. @ SiO %> ... y &—0 cuando n— =, y si V es acotado, entonces la coleccién (8,Vin=1,2,3,..3 es una base local para X. DeMosTRAciOx. (a) Fijemos x eX, Como #— ax es una aplicacién continua del cuerpo de escalares en X, el conjunto de todos los = tales que ax € V es abierto, contiene a 0, luego contiene 1/r, para todo m suficientemente grande. Entonces (iraix €V, es decir, xer,¥, para n suficientemente grande (®) Sea W un entorno equilibrado de 0 tal que W= V. Por (a), Ke Gam. Como.k es compacto, existen enteros my <-.. n, se deduce que Ko wew. (c) Sea U un entorno de 0 en X. Si V ¢s acotado, existe s> 0 tal que Vo 1U para todo 1 > s. Sin es suficientemente grande para que s8, << 1, se deduce que Vc (1/8,)U. Por tanto, U contiene todos los conjuntos 8,V excepto un numero finito de ellos. Aplicaciones lineales 1.16 Definiciones. Si ¥ ¢ ¥ son conjuntos, e! simbolo fix denotard que fes una aplicacién de Yen ¥. Si AS Vy BC Y, la imagen fia) de A Y Ia imagen inversa o antiimagen f-(B) de B estén definidas por SA) =f @):x€4}, $78) = (x: f(0) € Bh Supongamos ahora que X ¢ Y son espacios vectoriales sobre el mismo cuerpo de escalares. Una aplicacin 4: ¥— ¥ se dice lineal si A(ax + By) = aAx+ BAy para cualesquiera xe y de X y todo par de escalares x y £ Observemos que fre- ‘cuentemente se escribe -Ax, en lugar de A(z), cuando es lineal Las aplicaciones lineales de X en el cuerpo de escalares se llaman formas lineales Por ejemplo, los operadores multiplicacién Mz de la seccién 1.7 son lineales, pero los operadores traslacién 7, no lo son, excepto cuando @ He aqui algunas propiedades ‘de las aplicaciones lineales \: '—- ¥ cuyas de- 2 isis funcional mostraciones son tan sencillas que las omitiremos. Se supone que Ac X y BC Y: (a) A0=0. (©), Si A es un subespacio (0 un conjunto convexo, o un conjunto equilibrado) también lo es ACA). (6) Si B es un subespacio (0 un conjunto convexo, o un conjunto equilibrado), también lo es \-¥(B), (@)_ En particular, el conjunto ‘A71(0)) = (xe X: Ax = 0} = (A) es un subespacio de ¥ que se llama micleo de A. ‘Veamos ahora las propiedades de continuidad de las aplicaciones lineales, 117 Teorema Sean X e Y dos espacias veetoriales topoldgicos. Si A: ¥—~ ¥ es lineal y continua en 0, entonces A es continua. De hecho, A es uniformemente continua en el siguiente sentido: Para cada entorno W de 0 en Y existe un entorno V de 0 en X tal que yoxeV implica Ay AxeW. DeMosTRACION. Elegido W, la continuidad de A en 0 prueba que AV< W para algiin entorno V de 0. Si ahora y —xeV, la linealidad de A prueba que Ay — Ax = AQ’— x) €W, Entonees A aplica el entorno x-+ V de x en el en- tomo prefjado Ax + W de Ax, lo que nos dice que -\ es continua en x. 118 Teorema. Sea A una forma lineal sobre un espacio vectorial topolégico X. Supongamos que Ax # 0 para algin x € X. Entonces cada una de las cuatro propie- dades siguientes implica las otras tres: (@) A es continua. @) El micleo W(A) es cerrado (©) H(A) no es denso en X. (@)_ 4 es acotada en algin entorno V de 0. Demostraci6x. Como 4) = A-¥({0}) y {0} es un subconjunto cerrado det cuerpo de escalares ®, (a) implica (6). Por hipétesis, (A) # X. Por tanto, (8) implica (6). Supongamos que se verifica (c); es decir, supongamos que el complementario de 4"(A) tiene interior no vacio. Por el teorema 1.14, ® &HNAWW=o para algin x eX y algin entorno equilibrado V de 0. Luego AV es un subcon- junto equilibrado del cuerpo ®. Entonces, bien AV es acotado, en cuyo caso se ‘veritica (d), 0 bien AV =o, En este ultimo caso, existe y'€ V tal que Ay y por tanto x+y eA"(A), en contradiccién con (I). Por consiguiente, (6) im- plica (d), Espacios vectoriales topolégicos 13 Finalmente, si se verifica (d),entonces | x} 6 ase verifiea (a), entonces |x) < Mf para todo x de Vy ale M < & Sir> Oy W = (?/M)V, entonees |x) “ 1 y que se verifica P,-.. Sea A:€— ¥ un iso- morfismo. Sea {e,,...,¢4} una base de €, en la que la k-ésima coordenada de ey €8 Ly las demas son 0. Pongamos u, = Aeg, para k= 1, ...,n. Entonces ACs oy ty) = Oty Ho ayy, y la continuidad de las operaciones de espacio vectorial en Y implica de nuevo que A es continua. Como es un isomorfismo, {u;,..., %4) e una base de Y. Por tanto, existen formas lineales 7,,...,% sobre ¥ tales que cada x « ¥ tiene luna tinica representacién en la forma xa nQou +2 +My. Espacios vectoriales topolégicos 15 és jensin m ~ 1, que es cerrado en Y, por la Cada ~, tiene un niicleo en Y, de dime supuesta validez de P,-;. Entonces 7 € continua, por el teorema 1.18. Como AT x eG) OD) EDs se deduce que \-! es continua, Por consiguiente, se verifca P, y la demostracion es completa. 2 Teorema. Todo espacio vectorial topolégico localmente compacto X tiene dimension finita. El origen de X tiene un entorno V cuya adherencia es cot MOSTRACION. a s acotado, y los conjuntos 2-*Y(n = 1, 2,3, acta. Por el teorema 1.15, Ve: forman una base local para X. La compacidad de V7 prueba que existe? Xy,...qy €n X tales que Vre'(e, + WV) UU Gy + HV) Sea ¥ el espacio vectorial engendrado a partir de x, © ema 1.21, ¥ es un subespacio cerrado de X. wer+w por tanto, VeYs Wes ¥+iv= eH Continuando este proceso, se prueba ve (\(r+2") = @) 1.13 se sigue que V¢ ¥. Como {2-*V} es una base local, dela parte (a) del teorema < See P Enon POY, lo que implica que AVS ¥ para k= 1,2,3,.... Entonces Y =X en virtud de la parte (a) del teorema 1.15 y en consecuencia, im ¥< m. 123 Teorema, Si X es un espacio vectorial topoligico lacalmente acotado con ls propiedad de Heine-Borel,entonces X tiene dimension init. Entonces dim ¥ < m. ene un entorno acotado ¥. DenostaaciON. Por hipétesis, el origen de X tiene un entoro acotado El aserto (f) del teorema 1-13 prueba que V'€s también acotado. Entonces 7s compacto, por la propiedad de Heine-Borel. Esto nos dice que X° es loealmente compacto, luego tiene dimension finita en virtud del teorema 1.22, Metrizabilidad Recordemos que una topologia = sobre un conjunto X se dice meirizable si 16 Anélisis funcional existe una métrica d sobre X que es compatible con =. En este caso, las bolas de centro x y radios 1/n forman una base local en x. Esto da una condicién nevesaria para la metrizabilidad que, para espacios vectoriales topoldgicos, es también suficiente 1.24 Teorema. Si X es un espacio vectorial topolégico con una base local mumerable, entonces existe una métrica d sobre X tal que (@) d es compatible con la topologia de X. (®) las bolas abiertas centradas en 0 son equilibradas, y (©) d es imariante: d(x + = d(x, y) para x,y, 2 €X. Si, ademés, X es localmente convexo, entonces se puede elegir d verificando (a), (8), (0) y también (@) ‘todas las bolas abiertas son convexas. DemostRacin. Por el teorema 1.14, X tiene una base local equilibrada {Ye} tal que a Vass Va Ve (= 12,3,-)5 cuando ¥ sea localmente convexo, esta base local puede elegirse de manera que cada Vy sea convexo. Sea D el conjunto de todos los niimeros racionales r de la forma 2 Lats, donde cada uno de los «digitos» cr) es 0.6 1 y sélo un mimero finito de ellos son 1 Entonces cada re D satisface las desigualdades 0 = r <1 Pongamos A(r) =X sir > 1; para cada re D definamos 8) Alr) = el, + CPV + gg + Observemos que cada una de estas sumas, es en realidad, finita. Definamos @ A(x) = infix A} (xe X) © dx, =faa-y) (xe X ye), La demostracién de que d tiene las propiedades deseadas depende de las in- clusiones © Ait Als) Alr +s) (re Dyse D), Antes de probar (6), veamos cdmo de esta inclusién se sigue el teorema. Como cada A(s) contiene 0, (6) implica o ADEA FAE= NCA Sit Entonces {4(r)} esta totalmente ordenada por inclusién. Queremos probar que es Espacios ® fee+y) ntonces existen r y 5 ct ‘Dales que fa 1 n> N y definamos r’ y s* por ay Entonces 2) entonces £4(0)< ¥,, Por tanto, £2, logia de ¥. Esto pru ao, Scar Bruebe (2. Como eade a ¢s vilido para cada B,(0), luego también. para cada ti Y ¢gs abirario, ‘amo cada Air) es equilibrado, f(x) = ot pant ae) AE 2 Es obvo que 0 B40) ff) <3) =U 40. 3(0)} es una base local rae (a). Con ) es equilibrado, tam onvero, también lo es cada A(r), y (7) implien _ os (9 Por induscidn, See Py el aserto ¥ G(r) = e(8) = 0 para todo n> N, entonces Alt) + Ais) = Air + 8) ue Py es vi Elijamos r « fjamos re D, s¢D de modo que r-+s <1 y c.ir) rar g(r + ens". Alt) = AU) + CMW, Als) = ACS") + gl SV Por Pony €8, Aly 185, Alt) + AS AG’ + 5), Por tanto. a3) Si estr) (3) Ar’ +5’) ¥ (10) se verifies Si csir) = ex(s) Ae ss) + 1, el segundo miembro de (13) es AW) + ALS) AU’ + 5°) + ent )M 0, entonces r= Fey (8) sy (13) da (10). Si Vy tr ts 4.27% £42 \e ars, de nuevo. El caso ex(r} , . = 1, (5) el segundo miembro de (1 es Wa Wy CAG +5) 4 Vy FAL +S) FAQ Ar ag 4 2-N Por tanto, fix) > 2-* > gue (3) elie una duced cok irs entraas on soho ear arate sgundo miembro se deduce (8), Six #0, para la topo- én Io es cada jue esto mismo rasladado de By(Q) ‘lida. Supongamos cierta Py-y para cals) = 0 si ex(r) Ose trata de la misma manera. Alr+9). Anélisis funcional 1a en virtud de Py-y Por tanto, se verifiea (6) ¥ {La ditima inctusién ¢ valid Entonces Py-s implica Py completa. la demostracién es Fs socesiones de Canchy. (6) See d una métries sobre va Sonn X, Una guceion (xy) on X os un. suceston de Cauchy si para cada «> O existe un entero N if gue does. %) << cuando m> Ny n> N. Si toda ‘sucesin de Cauchy en X tal airge a algin punto de X, entonces se dice que d es una métrica completa sobre X. {@) Sea = 1a topologia de un espacio vectorial topelésice El concepto de oc don de Cauchy puede definirse en este marco sin hacer reference ninguna se caz Fijemos una base local @ para =. Una sucesiin (x4) en ¥ 5 ama suce- marie Cauchy cuando para cada V «@ existe ua N tal que Xs — a ¢ Vsin> N ym> N. Me iNjaro que bases locales diferentes para la misma dan origen ala misma clase de sucesiones de Cauchy: “3 Supongamos ahora que X es un espacio vectorial topolésico SA One Jogia <,es compatible con una métrca invriante d. Usaremos temporalmente los teste coe @sucesién de Cauchy y 7ucesién de Cauchy para los concepio> defi- fpidos en (2) ¥ (@), respectivamente. Como ley, Xn) = Ae = > Os yy como las d-bolas centradas en cl origen forman unt base local para =, concinios syns qusestin {xs} en X es una dsucesisn de Cauchy sty slo sf es una =sucesién de Cauchy. $n consecuencia, dos métricas invariantes sobre X compatibles con = TSE tas nisms sucesiones de Cauchy, También es obvio que ellas tienen las misses Iss Miones convergentes (a saber, las =sucesiones convergentes). Estas observaciones prueban el siguiente teorema: 4126 Teorema. Si dy dyson métricas invarlantes sobre um espacio vectorial que inducen la misma topologia sobre X, entonces (a) dy da tienen las mismas sucestones de Cauchy» ¥ @) dees completa si,y silo siydy es completa {ia invariancia es necesaria en la hipétesis (ejercicio 12). El ciguinte teorema es anélogo al lema 1.20, si se pone compleiud + luge: cde compaciad local. Observemos que las dos demostraciones son totalment similares. 27 Teorema, Sea Y wn subespacio de wn espacio vectorial toporssice xy supongamos que Yes un F-espacto (para la topologia heredade de X). Entonces ¥ (es un subespacio cerrado de X. Espacios vectoriales topolégicos 19 DEMOSTRACION, Sea d una métrica invariante sobre Y, compatible con su topologia. Sea By = lye ¥: 40,0<3), y sea U, un entorno de 0 en X tal que YO U, os V, de 0 en X tales que Va + Fat Up Sea x e¥ y definamos E=YoR+h) M=123,..). Si J, By © Ye € Ey entonces yy — y2 pertenece a Y y tambit js 2 En — Ye pertenece a Y y también a Vat Vat Um Igo peed » Bie Por consist, lor dmetos do omnis enden 2.0. Como cada Z, es no vacio © Y es completo, se deduce que las adherencias en ¥ de los conjuntos E, tienen exactamente un punto yy en comin. Sea W un entorno de'0 en X y definamos SY o@+Wav) EI razonamiento anterior prucba que las adherencias en Y de los conjuntos F, ene un panto comin Pato Fu& Fy Por tanto, yy — Como Fa 2 w, dedusimos gue 3g perenee a Ia herencia en X de + 1, para cada Esto implica yp = x. Entonces x « ¥, lo que prueba que Y= Y. Los sencillos hechos siguientes son a menudo utiles. Byjq. Elijamos entornos simé- 1.28 Teorema (@) Sides una métrica invariante por traslacie eae deg 14 tris arate por walactone sabe wm espacio retold X dax, 0) < nd(x, 0) para cada x eX y para n=1,2,3,... (©) Si {xq} €5 ama sucesién en wn espacio vectorial topoldgico metrizable X y xy +0 cuando n> e=, entonces existen escalares postivos ~y ta Eaeden positivos Yq tales que a> = DEMostRAciGn. El aserto (a) se deduce de us, 0) = ¥ ex, e~ 1)2) = ns, 0). Para probar (6), sea d una mé como en (a), cor it fi , (, compatible con Ia topologia os oO 0) + 0, existe una sucesién creciente de enteros poaltver n ‘al iq 0) 1 tal que xy €8¥. Entonces meVeVesvtsvesW (n2N) xq xy + V para todo m = N. Tor Por tanto x, #17 para todo nz 1, si f es suficientemente grande “También, las adherencias de conjuntos acotados son acotadas ( teorema 1.13). Por otra parte, six #0 y E= {nxin= 1,2,3, --.}» entonces E no es aco- tado, ya que existe un entorno V de 0 que no contiene *, y por tanto mx n0 Pet tenece a nV. Luego se sigue que ningin nV” En consecuencia, ningiin subespacio de X’ El siguiente teorema caracteriza la acotaciéi contiene E. (distinto de {0}) puede ser acotado. nen términos de sucesiones 130. Teorema, Las dos propiedades sigulentes de un conjunto E de un espacio vectorial topolégico son equivalentes: (@ E es acoratlo (Si {xq} es una sucesion en Ey {an} es una sucesién de escalares tal que aq +0 cuando n> c2, entances %9%4->0 cuando n—> o DewostaAciON. Supongamos E acotado. Den X. Entonces E< 1V para algiin t. Si, € Sea V un entorno equilibrado de Ey a> 0, existe NV tal que [ay] # <1 Espacios vectoriales topolégicos ar si n> N. Como r#ES Vy Ves equilibrado, 2x, ¢V para todo n> N. Ene tonces 39%, +0. Reciprocamente, si £ no es acotado, existen un entorno V de 0 y una sucesia r,— tal que ningiin r.V contiene E. Sea x, ¢ E tal que x, # r4V. Entonces ningtin rai x, pertenece a V, luego {rq!x,} no converge a 0. 1.31 Aplicaciones lineales acotadas. Sean X e Y espacios vectoriales topol6- icos y A: X-—> ¥ una aplicacién lineal. Se dice que A es acotada si transforma onjuatos acotados en conjuntos acotados, es decir, si A(E) es un subconjunto acolado de Y para cada conjunto acotado E X. Esta definicién difiere del concepto usual de funcién acotada que es aquélla cuyo recorrido es un conjunto acotado. En este sentido, ninguna funcién lineal Gistinta de 0) puede ser acotada. Cuando hablemos de aplicaciones lineales, se sobreeatenderd que nos referimos a la definicién anterior, en térmiaos de con- juntos acotados. 132 Teorema Sean X e ¥ espacios vectorial topolégicos y A: X-> ¥ una ‘aplicactén lineal. Entre las cuatro propiedades siguientes de A se verifican las in plicaciones @-®-©. St X es metrizable, también se verfican ©-@-0, por lo que las cuatro propiedades son equlvalentes, (@ A es continua. @ 4 es acotada. (©) St xq—r0 entonces {Ax, : n= 1,2,3,...} es acotado, (Si xy +0 entonces Axy 0. En el ejercicio 13 se da un ejemplo en el que se verifica (B) pero no ast (2). Dado un sistema # de partes de E, para que una correspondencia en la que a cada x le corresponda un sistema parcial @,< @, defina una base de entornos abiertos en el espacio {E, +}, donde = es la topologia generada por &, es necesario Y suficiente que se verifiquen las condiciones de Hausdorff para las bases de entornos. DeMosrraci6N. Supongamos que se verifca (a), y sea E un conjunto acotado en Xy sea W un entorno de 0 en ¥. Como A es continua (y AO =O) existe un entorno de 0 en X tal que A(V)= W. Como E es acotado, Ec tV para todo t sufcientemente grande, luego AGE) < AGH) = tA) <1. Esto prucba que A(E) es un conjunto acotado en ¥. Entonees (a) > (6). bp Anélisis funcional Como las sucesiones convergentes son acotadas, (b) — (¢) Supongamos ahora que X es metrizable, que. verifica (c) y que x, —0. Por el teorema 1.28, existen escalares positivos ~, — = tales que “7.x, — 0. Por tanto, {AGre%)} €5 un conjunto acotado en Y y ahora, el teorema 1-30 implica que Ay, Finalmente, supongamos que no se verifica (a). Entonces existe un entorno W de O en Y tal que A~X(1W) no contiene ningtin entorno de 0 en X. Si X tiene una base local numerable, existe una sucesién {x,} en X tal que x, ~~ O,pero Ax, ¢ HW. Entonces no se verifca (d). W'AG,x) 0 cuando n= e Seminormas y convexidad local 1.33 Definiciones. Una seminorma en un espacio vectorial X es una fun- cién con valores reales p sobre X tal que (a) pix + y) = pix) + pO) (0) Plax) = |a|p(x) para cualesquiera x ¢ y en ¥ y todo escalar 2 La propiedad (a) se llama subaditividad. El teorema 1.34 probaré que una seminorma p es una norma si satisface © px) #0six xo. Una familia # de seminormas en X' se dice que separa puntos si para cada x #0 existe una pF tal que pix) # 0. Consideremos ahora un conjunto convexo 4 X que sea absorbente, en el sen- tido de que cada x eX pertenece a 14 para algiin t = r(x) > 0. [Por ejemplo, la parte (a) del teorema 1.15 implica que cada entorno de 0 en un espacio vectorial topoldgico es absorbente. Es obvio que todo conjunto absorbente contiene 0.] El funcional de Minkowski uy de A se define por p42) =inf(r> 0: xed} (eX), Observemos que u(x) < ce para todo x eX. puesto que 4 es absorbente, Las seminormas sobre ¥ resultaran ser precisamente los funcionales de Minkowski de los conjuntos convexos, eguilibrados y absorbentes. Las seminormas estén estrechamente relacionadas con Ia convexidad local. de dos maneras: En todo espacio localmente convexo existe una familia de seminormas continuas que separa puntos. Reciprocamente, si # es una familia mas sobre un espacio vectorial X que separa puntos. entonces # puede utilizarse para definir una topologia localmente convexe sobre X' con la propiedad de que Espacios vectoriales topolégicos cada p «7 es continua. Esto se usa frecuentemente como método de introduccién de una topologia. Los detalles se exponen en los teoremas 1.36 y 1.37 134 Teorema. Sea p una seminorma sobre un espacio vectorial ¥. Entonces @) pO) =0. (8) |p(x) — 20) < px — y). (©) pia) = 0. (@) {x pls) = 0} es um subespacio de X. (©) Elconjunto B= {x : plx) <1 es convexo, equilibrado, absorbente y p Demostracion. El aserto (a) sigue (ax) = |. subadiidad dep posta que)” SRE & AGS) = [7G pan 20. La P(e) = pox +9) < pla») +0) de donde p(x) — p(y) < plx —y). Estose verifica también se ve con xe y intercambiadas. Como p(x — y) = ply — x), se deduce (6). Con y = 0, (6) i px) = a ea ca) a Oil OS 0s pax + fy) < |alp(a) + |BlpG) = 0. Esto prueba (@) En cua vi f enti? # (), 5 evidente que B es equilbrado, Si xeB, yeByO<1< 1, pix + (I~ fy) < ip(a) + (1 py) <1. Por tanto B es convexo. Si xX . Si x € X'y 5 > p(x) entonces p(s“! x) = 541 pla) <1. Esto rusia gue Bes absorbetey también que na) = 5 Por aoe Pr Si 0 0: xe A}. Supongamos t ¢ Hy(x) ys > 1. C amos 1 « Hy(x) y s> 1. Como « 4 y A es comveno, se deduce que s ¢ Cada H,(x) es una semireecta cuyo extremo izguierdo es ny A 2 Anélisis funcional tt Entonces stxed, my ed. Supongamos a(x) <8, us) l, ya que V’ es abierto. Por consiguiente ay <1 en V. Sir 0, del teorema 1.34 se sigue que nya) ~ pv) S tol = 9)

    sobre X que convierte a X. en un espacio localmente convexo.tal que (@) cada p

    0 para algin pe. Como x no pertenece a V(p, n) si np(x)> 1, vemos que 0 no esté en el entorno x — V(p, n) de x, luego x no pertenece a la adherencia de {0}. Entonces {0} es un conjunto cerrado, y como = es invariante por traslaciones, cada punto de X es un conjunto ce- rrado. Probemos ahora que Ja suma y la multiplicacién por escalares son continuas. Sea U un entorno de 0 en X. Entonces ® U> VPM) 0-0 VOms Me) para ciertas py, ...,Pq €P y ciertos enteros positives my... ® V = V1.2) 0° Vm 2h) Como cada p ¢ 9 es subaditiva, V + V< U. Esto prueba que la suma es continua. Seanrthora x e X, un escalar y Uy V como antes. Entonces x e sV para algtin $> 0. Pongamos 1=s/(I + |3\s). Si yex-+1V y [8 —a| Mjn, para 1 < i < m, se deduce que E< nU, luego E €s acotado. Pongamos 1.38 Observaciones. (a) Era necesario tomar las intersecciones finitas de los conjuntos V(p,n) en el teorema 1.37, pues los conjuntos Vip.) no constituyen tuna base local. (Forman lo que usualmente se llama una subbase para la topo- logia construida.) Para ver un ejemplo de esto, témese X — RF y sea P la familia formada por las seminormas p, y p, definidas por p\(x) = |x|, donde x = (x4, x). El ejercicio § desarrolla mas ampliamente este comentario. (8) Los teoremas 1.36 y 1.37 suscitan un probleme natural: Si # es una base local convexa y equilibrada para la topotogia + de un espacio localmente con- vexo X, entonces # engendra una familia @ de seminormas continuas sobre Y que separa puntos, como en el teorems 1.36. Este # induce de nuevo una topolosi 26 Analisis funcional sobre X, por €l proceso deserito en el teorema | cocespuesia es afimativa, Para ver esto, observeros que cada p «7 es con inva respecte de +, Iuego los conjuntos V(p,n) del teorema 1.37 estén en =. Por cmsiguiente =,¢ + Reciprocamente, si Wed y p= py, entonces Wa (x: ws) <1} = VO, D. Por tanto, We; para cada We; esto implica que += =. © Si F={m: 1,2,3,...} ¢s una familia numerable de seminormas sobre X que separa puntos, el teorema 1.37 prueba que # induce una topologia Son una base local numerable. Por e} teorema 1.24, = es metrizable. En este e380, puede definirse directamente una métrica compatible, invariante por traslaciones, en términos de {p,}. Definamos & 2px - 9») &1Fn@—y) Es facil comprobar que d es una métrica sobre X. Para probar que d es compa- tible con +, probaremos que las bolas oy B= {x:dx,00) o a(x, y) forman una base local para =. ‘Como cada p, es continua ( teorema 1.37) y la serie (1) converge uniformemente sobre X x ¥, des continua; por tanto, cada B, es abierto. Si W es un entorno de 0, entonces W contiene la interseccién de los conjuntos ) Vopi.m) = [er 0) forman una base local para la topologia de X. Six + 0, entonces x ¢ rU para algun r > 0; por tanto, Xx] Br. Se sigue ahora del teorema 1.35 que (1) define una norma, La definicién del funcional de Minkowski junto con el hecho de que Ues abierto, implican que @ fe bel<=ru para cada r > 0. La topologia de la norma coincide por tanto con la topologia dada. E&psgios cociente 1.40 Definiciones. Sea N’ un subespacio de un espacio vectorial X. Para cada x eX, sea =(x) la clase de N’ que contiene x, es decir, na) = x40. Estas clases son los elementos de un espacio vectorial X/N que se llama espacio cociente de X médulo N, en el que la suma y la multiplicacién por escalares estin definidas por o a(x) +2) = 2+), maar [Obsérvese que ahora a>(x) = N’ cuando » =0. Esto cifiere de la notacién usual introducida en la seccién 1.4.] Como N es un espacio vectorial, las operaciones (1) estén bien definidas. Esto significa que si =(x) = x(x’) (@s decir, x’ —xeN) y (0, entonces Q 202) + a) =H) + 20 El origen de X/N es =(0) = N. Por (I), = es una aplicacién lineal de X sobre V cuyo nucleo es N; frecuentemente se dice que = es la aplicacién cociente de X sobre XN, Supongamos ahora que = es una topologia vectorial sobre X y que N es un subespacio cerrado de X. Sea =y la coleccién de todos los conjuntos ES X(N para los que ="1E) <7. Entonces =» resulta una topologia sobre XN, que se lama topologia cociense. Algunas de sus propiedades se dan en el teorema siguiente Recordemos que una aplicacién abierta es la que aplica conjuntos abiertos en con- juntos abiertos an(x’) = an(x). 141 Teorema. Sea N un subespacio cerrado de un espacio vectorial topolé- gico X. Sea = la topologia de ¥ » definamos =» como antes. (@) x es una ropologia vectorial sobre X'N'; la aplicacién cociente =: ¥—» X/N Andlisis funcional 28 ‘es lineal continua abierta (@) SiF 5 una base local para =, entonces Ia coleccién de todas los conjuntos Y) con V «@ es una base local para =». (6) Cada una de las propiedades siguientes de X es heredada por X|N: conre- ‘xidad local, acotacién local, metrizabilidad, normabilidad. (d) Si X es un Feespacio, 0 un espacio de Fréchet, 0 un espacio de Banach, tam- bién lo es XIN. DemostraciON. Como 744.9 B)==H4) 9 =%B) y w7*(UE,) = Ur“), zy €5 una topologia. Un conjunto FE XIN es cerrado respecto de ty siy sélo si, =A(F) es cerrado respecto de z. En particular, todo punto de X/N es cerrado, ya que Mao) = N +x y N se ha supuesto cerrado. La continuidad de = se sigue directamente de la definicién de zy. Supongamos ahora que V «+. Como a a(V=N+¥ y N+ Ves, se deduce que =(V) € ty. Por tanto, es una aplicacién abierta. Si ahora Wes un entorno de 0 en XIN, existe un entorno V de 0 en X tal que V+ Vor W), Por consiguiente, =(V) + =(V)< W. Como en XIN, La suma es pues continua en XN. La continuidad de lz multiplicacién por escalares en X/ andloga. Esto establece (a) Esta claro que (a) implica (6). Con ayuda de los teoremas 1.32, 1.24 y 1.39, es facil ver que (6) implica (6) Supongamos ahora que d es una métrica invariante sobre X, compatible con =. Definamos ¢ por a(x), n(y)) = inf {d(x — y, 2): 2€N}, ‘que puede interpretarse como la distancia de x—y 2 N, Omitimos las compro- baciones que seria necesario efectuar para ver que + esta bien definida y que es una métrice invariante en X/N. Como a(x: d(x, 0) b (donde 0 a+ &. Definimos ® fa)=4 [fear reteots en! Espacios vectoriales topolégicos 33 Derivando esta integral se prueba, por induccién, que fy tiene n derivadas con- tinuas y que |D°f,| < my. Si n> r, entonces ® DiC) = f [Ohad dr luego 00) \Dhism zn), de nuevo por induccién respecto de n. El teorema del valor medio, aplicado a (9), prueba que ay [DI,— Dhol sme Como32, <<, cada {D'f,} converge, uniformemente en (— ce, c), cuando n> oo, Por tanto, {/,} converge a una funcién g, con |D'g| < m,parar = 1,2,3,. tal que g(x) = 0 para x b, (r2r4D. 1.47 Los espacios L? con 0

    1. Las bolas © B= Vel: an 0, B, ¢s acotada. Por tanto. L? es un Feespacio locaimente acotado, Por otra parte. L? no contiene mds subconjuntos abiertos convexos que 2 y L?. _ Para probar esto. supongamos que I’ == es abierto y convexo en L’, Sin 34 Anélisis funcional pérdida de generalidad podemos suponer que 0 < V. Entonces V = B, para algun P> 0. Elijamos f « L”. Como p <1, existe un entero positive n tal que n?A(/) Por la continuidad de la integral indefinida de ||, existen puntos =x B,. Como V es convexo y ®) fahot~ +905 se deduce que fe V. Por tanto, V = 1 Esta carencia de conjuntos abiertos convexos tiene una curiosa consecuencia Sea A: L?— Y una aplicacidn lineal continua de L* en un espacio localmente convexo Y. Sea # una base local convexa para ¥. Si We, entonces A-1(W’) es convexo, abierto, no vacio. Por tanto, A-HiV) = L?. En consecuencia, A(L?)< W para cada We. Concluimos que Af=0 para cada fe L*. Por tanto, 0 es la tinica aplicacién lineal continua de L? en cualquier espacio localmente convexo Y, si O

    1 Ejercicios 1 Sea Xun espacio vectorial. Se sobrentiende que todos los conjuntos mencionados a continuacién son subconjuntos de 4, Probar los siguientes aserios a parti: de los axiomas dados en Ia se sion 1.4. (Aiguno de estos asertos han sido utilizados tacitamente en el texto.) (@) Six eXey eX, existe un tinico 2 eX tal que x === 7 (H) Ox a0 si x eX y a es un escalar. (@ 24 € 4 = 4; puede ocurtir que 244 4 = A. (d) A es conven si,y s6lo si,(s + 1A = 5A ~ rd para todo par de escalares positivas « y 1 (©) Toda unién (¢ interseccién) de conjuntos equilibrados es equilibrada. . () Toda imersescidn de conjuntos convexos es convera. () Si es una coleccion de conjuntos convexos (otalmente ordenada por inclusién, entonses la union de todos Jos elementos de Tes convex. (i) Si Ay B son convexos, también lo es A ~ 2, (D Si Ay B son equilibrados, también lo es 4 — B. G) Probar que las partes (f(z) y (A) son vilidas pars subespacios en lugar de conjuntos con- Espacios vectoriales topolégicos La envolvente consexa de un conjunto de un espacio vectorial X es el conjunto de todas las ‘combinaciones convexas de elementos de A, es decir. el conjunto de todas las sure titi t in donde x, «4, 4 0,51) = 15 m es arbitraio, Probar que la envolvete contexa de 4 es onvexa y que es Ie intrsecién de todos los conjuntos convexos que contents Sea X un espacio vectorial topolgica, Todos los conjuntos mencionados a cominuacién son subsonjunios de Probar los siguientes scertos. (@) La envelvente convena de todo abieio es bier @ Si Xs localmenteconvero entonces la envalvente convexa de todo Conjunto acotado es cota, (Esto ce faluo cuando fata la conveniad local; Net sescén 1.47) (2 SiA'y B son scotados, también lo es A ~ B (@) Si Ay B son compuctos, ambien lo & A ~ 2. (©) Si A es compacto y B es cerrado, entonces A ~ B es cerrado. G) La suma de dos conjuntoscerados pude no sr cerrada, (La inclusion ée a pane (2) el tcorema 113 puede por tanto ser esta) Sea B= {G4 =) «C*: 124! < | 2,1}. Probar que B es equilibrado pero que su interior no % 6s. (Comparar con (@) del_tcorema 1.13.1 Considerar ia defisicin de «conjunio acotado» dada en la secién 1.6, ;S alterar l contenido de esta definiion si se enge solamente que para cada entorno V de O exist alin > Ol que grew Probar que un conjunto Ede un espacio vectorial topoligico es acoiado si sl stodo sub- conjumto namerable de £ es acotado Sea J el espacio vectorial de todas las funciones compleas sobre el intervao unitario 0,1. topologzado por la fala de seminormas Vol » Oxx 2 entonces {vafy} no converge 40. (Usiizar el hecho de que ls colesign de todas las sucesiones conpleas convergentes 2 0 tiene el mismo cardinal que (0, 1]) Esto prueba que no se puede suprimir la metrizabildad en (6) del teorema 1.28 (6) Sea # uns familia de seminormas que separa puntos en un espacio vectorial X. Sea 2 Ja minima familia de seminormas en X° que contiene ? y que es cerrada respecto al mi imo. [Es dec: Sip ¢ 2, pz 2 yp = max (py, Po entonces p <2) Si se apica la cons truccidn del worema'137'2 9 y a 2, probar gue las dos topolosias resultanes coincidea La diferencia zencial estriba en que 2 da direcamente una base, en lugar d= una subbase. [er la observacion (a) de Ia. sesién 1.38.1 () Sea 2-como en la parte (a), y una forma lineal en X, Mostrar que la condicion nece- seria ysuflciente para que sea continua es gue existe una p «2 tal que Lr is Mp(o) para todo x ¢X'y una cieriaconsante M <2. sean! (@) X © Y espacios vecioriaes topolorices () As Yuna aplicacion lineal (©) N un subespacio cerrado de X. (@) 2: X— XIN la aplicacion cosiene, y (©) Supongemos que «Ax = 0 para todo x ¢N. Demostrar que existe una unica f:/A'—~ Y-que verifca \ = fo 2, es desi, que Ax =ftr(3)) para todo x « ¥. Demostrar que esta fs lineal, Que -\ es continua siy solameniesiSes con- fe suf es abierta Sean Xe Y espacios vectoriales topologicos, dim Y <= A:X— ¥ lineal y AG) = ¥ Andlisis funcional (@) Demostar que A. es una apicacion abier 5 Suponeamos ave, ademis, el nicco de ex cerado. Probar que entonces 1 es comin GL ex un subespacio de Xa codimension de N en 1 ex por denicon, a Gnension del pac cosiente 178 Suponiendo 0

    Setts para cieros xy. ..5 84 de [01] y ciertos e, ¢ (w) Demostrar que los unicos conjuntos abiertos y convexos de (C,0) son 4 y C. (e) Probar que id: (C,)— (C. x) no es continua. 14 Tomemos X= [0. 11) deiramos 7; como cn Is seccion 146 Probar que ls tres siguientes familias de seminormas (lendo n= 0, 1, 2,3..-) defen 1a misma. topulogia sobre 7p, sD = dav (@) 1DY in = sop {\DYia)is 22

    También podría gustarte