Scribd Logo
Upload

Welcome to Scribd!

  • Elem de Teoria de Func y Analisis Archivo2

    Uploaded by

    pirontani
    4 views178 pages

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    4 views178 pages

    Elem de Teoria de Func y Analisis Archivo2

    Uploaded by

    pirontani

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 178
    CAPITULO IV FUNCIONALES LINEALES Y OPERADORES LINEALES § 1, FUNCIONALES LINEALES CONTINUAS 1°, Funcionales lineales continuas sobre espacios topolégicos lineales, En el § 1 del cap. I11 hemos considerado ya funciona- les lineales definidas sobre un espacio lineal. En el caso de fun- cionales definidas sobre un espacio topoldgico lineal, representan interés principal las funcionales lineales continuas; como de costumbre, una funcional f, definida sobre un espacio E, se Nama confinwa, cuando para todo e >0 y todo x,€ 6 existe una vecindad U del elemento x, tal que |FO)—F(%)| 0. Esco- jamos ia vecindad U del punto x de manera que se cumpla la condicién (1). Entences el conjunto vaU+—2 seri ja vecindad deseada del punto y, ya que para z€V, tene- mos z+x—y€U y, por consiguiente, lF@—F@i=|Fe—-yt—-f)| x se deduce que f(x,)—>f(x). Dejamos a cargo del lector la demostracién de !a equivalencia {en caso de que se verifi- que el primer axioma de numerabilidad) de esta definicion con la dada anteriormente. TeOREMA 1, Para que una funcional lineal | sea continua sobre E, es necesario y suficiente que exista en E una vecindad del cero donde ta funcional f sea acotada. DEMOSTRACION. Si la funcional f es continua en el punto 0, para todo ¢ > 0 existe una vecindad del cero donde lil 0. Entonces, = U es aquella vecindad del cero, donde |FQ)|U,>...>U,>... un sistema numerable determinante de vecindades del cero en &. Si ja funcional { no es continua, no estd acotada en cada una de estas vecindades. Por eso, en cada una de las vecindades U, se puede indicar un punto x, en el cual |f(x)|>% La sucesién {x,} liende a cero y representa, por consiguiente, un conjunto acotado; la funcional f no est acotada sobre este conjunto. Es decir, si la funcional f no es continua en un espacio £ que verifica el primer axioma de numerabilidad, existe en £ un conjunto acotado sobre el cual la funcional no esta acotada. El teorema queda demostrado. Una funcional lineal acotada sobre todo conjunto acotado se llamara funcional lineal acofada. La acotacién de una funcional lineal no implica, en general, su. continuidad 3°. Funcionales lineales continuas sobre espacios normados. Vea- mos mds detalladamente el caso particular importante cuando E es un espacio nermado. Como todo espacio normado verilica el primer axioma de numerabilidad, la continuidad de una funcional lineal en €1 equivale a su acotacién. Pero en un espacio normado un conjunto es acotado si, y sdlo si, esta contenido en una bola con centro en el origen de coordenadas. Por eso la acotacién de una funcional en un espacio normado significa que la funcional esté acotada en cada bola. Debido a la linealidad, esta tltima condicién equivale a que la funcional esta acotada sobre la bola unitaria xi del espacio £. 188 CAP. IV. FUNCIONALES LINEALES Y OPERADORES LINEALES Sea f una funcional lineal acotada {=continua) en un espacio normado £, El numero Hll= sup |P GO esto es, la cota superior minima de los valores que toma |f(x)| sobre la bola unitaria del espacio £, se Nlamard norma de la fun- cional lineal f. Sefialemos las siguientes propiedades evidentes di i . 7 gag TGA ) VFl=sup “eq (2) esto sigue direclamente de que para todo x0 LiGl fe fe Yer =| Ger): 2) Para cualquier x€ E F@USUAl ele (3) En efecto, si +340, ef elemento TT pertenece a ja bola unita- ria, es decir, por definicién de la norma de una funcional \F Gay) |=4 SE SIF de donde se deduce (3). En cambio, si x=0, en los miembros de derecha y de izquierda de (3) figura 0. En to sucesivo. sélo consideraremos funcionales lineales conti- nuas; omitiremos, para abreviar, la palabra «continua». Veamos algunos ejemplos de funcionales lineales en espacios normados. 1, Sea R" ej espacio euclideo de m dimensiones y sea @ un vector fijo de él. Entonces, el producto escalar f)=(, 4), donde x recorre todo R*, representa, evidentemente, una funcional neat sobre R". Debido a la desigualdad de Cauchy — Buniakovski, enemos [FOO=1 a)[ gpa para todo x€L, es decir, que d= —4. Por otro Jado, de acuerdo con ja definicién de la WF norma de f, para cualquier «> 0 existe un elemento x, que verifica la condicién f(x,)==1 y tal que Y> (Fed eells por eso ; d= int Nall< qyy=e Como «> 0 es arbitrario, obtenemos 1 d= FIT es decir, la norma de la funcional lineal f(x) es el valor inverso de la distancia desde el hiperplano f(x)=1 hasta el punto 0. 4°, Teorema de Hahn — Banach en un espacio normado. En el § 2 del cap. IIL hemos demostrado el teorema de Hahn— Banach, § 1. FUNCIONALES LINEALES CONTINUAS 19t segiin el cuat toda funcional lineal f(x,), que esta definida sobre un subespacio L de un espacio lineal E y que verifica la condicion RWIS PO) ice) donde p es una funcional convexa fija sobre £, se puede prolongar a todo el £ conservando la condicién. En el caso de funcionales li- neales acotadas en espacios normados, este teorema se puede enunciar de la siguiente manera: Sean E un espacio normado real; L, un subespacio suyo y fos una funcional lineal acotada sobre L. Esta funcional lineal se puede prolongar a una funcional lineal f, definida sobre todo et espacio E, sin aumentar ta norma, esto es, de manera que Ifo llsotee z= Il Flleobre 2+ En efecto, sea 1 Fo Ilsobre 2 = Est4 claro que &||x|| es una funcional convexa. Tomandola igual a p y aplicando el teorema de Hahn—Banach, demostrado en el § ® del cap. III, obtendremos el resultado necesario. Enla forma que acabamos de dar, el teorema de Hahn — Banach admite la siguiente interpretacién geométrica. La ecuacion fo(xy=1 (8) define en el subespacio L un hiperplano que se encuentra a la = T del cero. La posibilidad de prolongar la funcio- ° nal f,, sin incrementar su norma, hasta una funcional definida en todo £, significa que este hiperplano puede completarse hasta un hiperplano en todo & y de manera que la distancia hasta el cero de este hiperplano mayor sea la misma que la del hiperplane (8). Aplicando la variante compleja del teorema de Hahn — Banach (teorema 4a del § 2 del cap. ITI), es faci) demostrar la validez de la siguiente proposicién: distancia Sean E un espacio normado complejo y fy una funcional lineal acotada, definida sobre un subespacio LOE. Entonces exisie una funcional lineal acotada f, definida en todo E, que verifica das con- diciones: P(=fo(x, xEL, WF lhaodee 2 = I Fo lence 2+ 5°. Funcionales lineales en espacios normades numerables. Sea FE un espacio normado numerable con fas normas |(-||, 192 CAP. 1V. FUNCIONALES LINEALES Y OPERADORES LINEALES (e=1, 2, ...); sim perder generalidad, se puede considerar que para todo x€E (alh0 tales que la bola S,,,.= [x:||¥||, <<} esta contenida en la vecindad U; entonces, la funcional f esta acotada sobre esta bola y, por consiguiente, es acotada y continua respecto a la norma ||-|);,, esto es, existe un C >0 tal que F<] zl, ¥ EE. Por otro lado, es evidente que una funcional lineal acotada res- pecto a una de las normas |j-|,, es continua sobre £. Por consi- guiente, si £} es el conjunto de fodas las funcionales lineales sobre E. continuas respecte a la norma ||+||q y si E* es el con- junto de todas las funcionales lineales continuas sobre E, tenemos B= UE: (10) n=l Ademas, de la condicién (9) se deduce que BPSCR Se cS Ben Siendo f una funcional lincal continua sobre E, esto es, FEL, su orden se define como el menor de los nameros n tales que FEE en virtud de la igualdad (10), toda funcional lineal con- tinua sobre £ tiene un orden finito. 6°. Existencia de un numero suficiente de funcionales lineales continuas. Si el espacio topoldgico lineal £ no se sujeta a limi- taciones adicionales, puede ocurrir que no exista sobre é] ninguna funcional lineal continua diferente del cero idéntico. No obstante, puede sefialarse una clase amplia de espacios para los cuales existe un nimero suficientemente grande de funcionales lineales continuas. Aceptemos la siguiente terminologia. Diremos que sobre el espacio E existe un niimero suficientemenie grande de funcionales lineales continuas, cuando para cualesquiera x, 4 x, de £ existe una funcional lineal continua f, definida sobre £, tal que f(x,)=4/(x,). Esta condicién equivale, evidentemente, a que para todo x, 0 exista una funcional f tal que /(x))+=0. Para cada espacio normado E existe un numero suficientemente giande de funcionales lineales continuas. En efecto, sea x, un elemento no nulo de £. Definamos para los elementos de tipo 4x, Ja funcional f,, tomando § 2, ESPACIO DUAL 193 fy (Axp)= >. y prolonguemos después esta funcional (valiéndonos, del teorema de Hahn--Banach) hasta una funcional continua, definida sobre todo ej espacio E. Obtendremos una funcional f tal que f (x)= 1340. Si E es un espacio normado numerable con jas normas (a(t =1, 2, ...) y si x>€£ y x30, podemos construir, re- pitiendo el razonamiento anterior, una funcional lineal f, definida sobre £ y continua respecto a la norma ||-||,, tal que f (x)= 0; puesto que esta funcional sera, evidentemente, continua sobre £, para todo espacio normado numerable existe también un nimero suficientemente grande de funcionales lineales continuas. Finalmente, si £ es un espacio real localmente convexo y: se-, parable, para cualquier elemento no nulo x,€£ existe una_ve- cindad U del cero convexa y simétrica (U=— UV) tal que x €U; sea py la funcional de Minkowski para la vecindad U, esto es, pultimini{t: £>0, Feu}. De Jo ‘demosirado en el § 2 del cap. III se deduce que py es una funcional convexa sobre £ finita ,y simétrica (es decir, tal que py(— x)= py (x) y que, ademés, Py(s) 1. Consideremos en £ el subespacio linea} unidimensional L, = = {Axo} y definamos en él una funcional lineal f,, tomando fo (Ato) = 4. Esta claro que |f,(*)| para cualquier funcional lineal no nula f; 2) lort=tel-7lk hel , ‘eet fs (x) fl 3) Ihc fall sup HETERO cup LAO 4 sup A - eed WTl Teo [lal STAl+I fll De esta forma, el espacio E*, dual a un espacio normado, puede ser provisto de una estructura natural de espacio normado. La topologia en £™, correspondiente a la norma introducida, se llama topologia fuerte en E*. Si es deseable subrayar que E* se consi- dera ni un espacio normado, en lugar de £* escribiremos E*, Ill). ‘ ltd lezcamos la siguiente propiedad importante del espacio dual a wn espacio normado. § 2. ESPACIO DUAL 195 TEOREMA 1. Ef espacio dual (E*, ||-|]) es completo. DEMosTRACION. Sea (f,} una sucesién fundamental de funcionales li- neales. Entonces, para cada e > 0 existe un N tal quell /,—fe lle para todo n, mi>N. De aqui obtenemos para cualquier xe E VFO) Fn (1 < [Fn Fol ell < ell ell, es decir, para cualquier x@£ la sucesion numérica {f,(x)} con- verge. Pongamos F(@)= lim f,.(") Comprobemos que f representa una funcional lineal continua. Comprobernos primero Ja linealidad: F(ex+ By} = lim 7, (ox + By) = = him [of, (2)-+ Bfa W)] = 9 + BF (Y)- Escojamos ahora N de manera que |!f,—fazp||< 1 para todo nZ2N y todo p>0. Entonces, |f,r,|| 0. Escojamos n tan grande que || f,—fn+pll< s para todo p> 0. Por definicién de Ja norma existe un elemento x, , tal que Wr ead =| (4) —t (es) +3: Emtonces, lM ParpPl| free (geet )—F (qe) | + - Pero el primer sumando del miembro derecho tiende a cero para p— oo. Por consiguiente, para todo p suficientemente grande se cumplira la desigualdad fn p—Fi} || Fl; comparando esto con la desigualdad de sentido opuesto, obtenida anieriormente, Jlegamos a la conclusién de que (IF I=Iif]. Hemos construido, de esta forma, una aplicacion lineal isométrica f—»7 del espacio 1, en el espacio ct; queda por comprobar que la imagen del espacio /, mediante esta aplicacién coincide con todo el co, es decir, que toda funcional 7 €cf se puede representar en la forma (2), donde f = {f,} € &. Para todo x= (x,} €¢o, tenemos = 3 %,2,; la serie que figura en el miembro derecho converge en c, al elemento x, ya que pS nel Fée% es continua, tenemos Fx)= 3D x, Fle,)s por eso, es sufici- 1 = sup ]x,]—+0 para N—+co, Como la funcional n>N sas Noy ente comprobar que >) |f (e,) |< 9. Tomando xine HS Lewd nal catlies| " y observando que x) €e,, [x || <1, tenemos N N . Sif eol=S LF ea =F oe) <0 ani a1 end | de donde, debido a la arbitrariedad de N, sacamos la conclusion de que a (en) | < 29. 3. No es dificit demostrar que el espacio /{ dual al espacio /, es isomorfo al espacio m compuesto por todas las sucesiones aco- tadas x={x,} con Ja norma || x}]—sup|x,|- A 4. Sean p>1 y 1, et espacio de todas las sucesiones x= {x,} tales que i vell=($ a)" 00; § 2. ESPACIO DUAL 199 se puede demostrar que el espacio /3 dual a él es isomorfo al espacio fy, $+t=1, La forma general de una funcional lineal continua sobre t, es: 10) = 3 fata = Binh Ely Fo tha} Cle La demostracién se basa en la desigualdad de Holder. Pongamos en claro la estructura del espacio dual al de Hilbert. trorema 2. Sea H wn espacio real de Hilbert. Para toda funcional lineal f continua sobre H existe el tinico elemento x_€H tal que FO)=( a) XEN (3) ademds, resuita que ||f\|=||x9\|- Viceversa, si x,€H, la for- mula (3) define una funcional lineal continua f tal que WW Is == [|x ||. Por consiguiente, los espacios H* g H son isomarfos. pemostTRracion. Es evidente que la iérmula (3) define para todo X,€H una funcional lineal sobre H. Como |/(x)|=|(% *0)|< <|[xl|-l|xol, esta funcional es continua y como T (Xo) = || % |l?, tenemos ademas ||} {]=||-o ||. Comprobemos que toda funcional lineal continua 7 sobre H se puede representar en la forma (3). Si f=0, tomamos x, =0. Sea ahora f 40 y sea Hy = (x:f (x) =0} el subespacio nulo de Ja funcional f; como f es continua, H, es un subespacio Jineal cerrado de H. Ene! punto 6 del § 1 del cap. I! ha sido demostrado que la codimensién del subespacio de ceros de cualquier funcional lineal es igual a 1. Por eso y tomando en consideracién el corolario 3 del teorema 7 del § 4 del cap. III, llegamos a la conclusion de que el complemento ortogonal Hé& del espacio H, es unidimensional, esto es, existe un elemento y, (no nulo) ortogonal a H, y tal que todo vector x€H se puede representar de manera tinicaen la forma x= y-> +iy,, donde y € H,, Podemos aceptar, evidentemente, que i gol=1s pongamos x,=/ (yo) Yo Entonces, para cualquier x€H tenemos xe ythin, YeHo f= HM (ua), (%1 %_) =) (Wor Xo) = AF YoMYor Yo) = AF (Yo): De manera que f (x})=(%, %) para todo xGH. Si fF (x}=(x, %), xEH, tenemos (x, x,—4*,)=0, de donde, tomando x=x,—%a, encontramos que x,—2,- El teorema queda demostrado. Observaciones. 1. Sea E un espacio euclideo no completo y sea H el espacio de Hilbert que representa su completacion. Coma los espacios E* y H* son isomorjos (véase la observacién 200 CAP. IV, FUNCIONALES LINEALES Y OPERADORES LINEALES de la pég. 196) y AH* es isomorfo a H, es valida la siguiente proposicién: ef espacio E* dual a un espacio euclideo no completo E es isomorfo a la completacién H del espacio E. 2. El teorema 2 es valido también para un espacio de Hilbert complejo (la demostracién es la misma, solamente hay que sustituir x)= f (4) %_ por Xp =F (Ye) Yo). La tinica diferencia entre el caso complejo y real consiste en que, en el caso com- plejo, la aplicacién del espacio H en el espacio H*, que pone en correspondencia al elemento x,€A la funcional f (x) =(x, x9). es un isomorfismo lineal conjugado, esto es, pone en corres- pondencia al elemento ix, la funcional Af. 4°. Estructura del espacio dual a un espacio normado nu- merable. Sea E un espacio normado numerable con las normas Wish 9,5...>0,>..., el espacio @* es la unién de una cadena creciente de espacios 202 CAP. IV. FUNCIONALES LINEALES Y OPERADORES LINEALES de Hilbert O* = YOE, Dfc@ic...chje... Conviene introducir la denotaciin Dj=@O_,. Si ademas denota- mos !, mediante ®,, obienemos la siguiente cadena infinita en ambos sentidos de espacios de Hilbert + CO,c...cO,cO,cO.,.c...cO.,c..., donde Dj @_, para cada k= 0, +1, +2, ... 5°. Topologia en el espacio dual. Siendo E un espacio nor- mado, hemos definido una vecindad del cero en E* como el conjunto de funcionales que verifican la condicién fll 0 y cualquier conjunto acotado ACE la vecindad U,,4 es un con- junto convexo en E£*. Denotaremos la topologia fuerte de E* mediante el simbolo }; si es preciso sefialar que E* s¢ consi- dera con la topologia fuerte, escribiremos a veces (E*, 6) (en lugar de E*). 6°. Segundo espacio dual. Puesto que las funcionales lineales continuas sobre un espacio topoldgico lineal E forman por si Mismas un espacio topolégico lineal (el espacio (E*, 6) dual a E), se puede hablar del espacio E** de funcionales lineales continuas sobre E*, es decir, del segundo espacio dual a E, etc. Sefialemos que todo elemento x, de £ define en E* una iuncional lineal. En efecto, tomemos vx, =F (rds (4) donde x, es un elemento fijo de £, mientras que / recorre todo el E*. La igualdad (4) pone en correspondencia a cada f un numero wp,,(f), esto es, define una funcional sobre E*, Como ademas Pe (CA BAIHOL, Cd -- Be Oe) = as, (A) + BPs, Fads esta funcional es lineal. Es mas, toda funcional de este tipo es continua sobre E*. En efecto, sea > 0 y sea A un conjunto acotade de E que contiene x,. Consideremos en E* la vecindad U (e, A) del cero. De acuerdo con la definicion de U(e, A), tenemos po @l=Ii Go| N (para ello es suficiente escoger N; de manera que |@,(x,)|Njy y tomar después N=maxN,). Viceversa, si para cada vecindad U del cero existe un N tal que x,€U para todo SN, la condicién p(x,)—+9 para n-+00 se cumple, eviden- temente, para cada funcional fija @€&*. Consideremos mas detalladamente el concepto de convergencia débil en el caso de espacios normados. TEOREMA 1. St {x,} es una sucesién débilmente convergente en un espacio normado, existe una constanfe C tal que lee. En otras palabras, toda sucesién débilmente convergente de un espacio normado es acotada. DEMOSTRACION. Siendo la sucesién {x,} no acotada, cualquiera que sea la bola cerrada S [fq, e] = {/:|/ —fo!| 1. Puesto que (f, x) depende continuamente de jf, la desigualdad |@.%,)| > | se verificaré para todos los f pertenecientes a una bola cerrada B,cB,. Razonando de la misma manera, encontraremos en 2B, uné bola cerrada B, y un nfimero a, tales que para todo FEB, se cumple la desigualdad |(f, x,,}| > 2, ete; en general, para cada & encontraremos un numero i, y una bola B,oB,-, tales que [f, *a,)| > para FEB. Se puede admitir, ademas, que los radios de las bolas B, tienden a cero cuando k~+0o, Puesto que el espacio E* es completo, existe un elemento f perteneciente a todas las bolas B, (jprincipio 208 «CAP. IV. FUNCIONALES LINEALES ¥ OPERADORES LINEALES de bolas encajadas!). Pero en tal caso 1h a) > k para todo Rk y esio contradice a la convergencia débil de la sucesiOn {x,}. Observacién. Al demostrar que 1a sucesién (x,} es acotada res- pecto a la norma nos hemos valido solamente de que la sucesién numérica (f, x,) es acotada para todo f € E*. Por eso, si la suce- sién {x,} de £ es tal que la sucesi6n numérica (f, x,) es acotada para toda f@ E*, existe una constante C tal que ||, || 0 existe un K tal que {|p—g,|| 0. 1. Demuéstrese que la proposicion del ejercicio 1 sigue siendo valida si se sustituye la condicién |] x, ||——> || || por la condicién |{ x, [|< |[ +] para todo mo por la condicién lim |)*_||- 3, Sea H un espacie (separable) de Hilbert y sea @ un subconjunto suyo acotado, Entonces, Ja topologia en Q inducida por la topologia débil del espacio H se puede definir mediante una métrica. 4. Demuésirese que todo subconjunto cerrado convexo de un espacio de Hilbert es cerrado respecto a la topologia débil (en particular, todo subes- pacio lineal cerrado de un espacio de Hilbert es debilmente cerrado). Dése un ejemplo de un conjunto cerrado de un espacio de Hilbert que no sea dé- bilmente cerrado. 3. Convergencia débil en el espacio Cla, ») de funciones continuas. Sea {x,()} uma sucesién acotada de funciones de Cia, 5) conver- gente débilmente a la funcién x(t). Entre las funcionales definidas sobre Cia, 9) s¢ encuentran, en particular, las funcionales $,, cada una de las cuales representa el valor de la funcién en un punto fijo f, (véase el ejemplo 4 del punto 3 del § 1). Para cada una de estas funcionales 6,, 1a condicién Sin O) — 8 (2) significa que Xn (to) > ¥ (to) Por consiguiente, si la sucesion {x,{f)} converge débilmente, ella 1) es equiacotada, esto es, |x, (t)|<+, 9,20 para |ASt; ® 2) ) 9, (dt=1. : Entonces, para cualquier funcién x(¢) continua sobre {a, 5], te- nemos, empleando el teorema del valor medio, 1 b 7 Vpal)x(Qdt= | o,f) xi dt—x(0) para n— oo. 1 a La expresion 5 Sate) «at @ representa una funcional lineal sobre Ca, 5}. De esta forma la Sduneién se puede representar como limite, en el sentido de convergencia débil de funcionales lineales sobre Cie, 4, de una sucesion de funciones «corrientes». Observacién. El espacio £* de las funcionales lineales sobre un espacio E se puede considerar desde dos puntos de vista: como espacio dual al espacio inicial E 0 como espacio princi- pal E*, relacionando con é! su espacio dual E*. De acuerdo D Consideramos que 0€fa, 5]. Se podria, claro esta, tomar en lugar del punta ¢=0 otro punte cualquiera. § 8, TOPOLOGIA DEBIL ¥ CONVERGENCIA"DEBIL 213 con esto, la topologia débil puede introducirse en E* de dos modos: 0 bien como en el espacio de funcionales, definiendo las yecindades en E* mediante todos los sistemas finitos de elemen- tos de £, o bien como en el espacio principal mediante el espa- cio E*. En el caso de un espacio reflexivo esto, por supuesto, es lo mismo. En cambio, si £ no es reflexivo, éstas seran dos topologias diferentes en £*. Para evitar la confusion que puede surgir aqui, la topologia débil definida en el espacio principal (esto es, la topologia en E*, definida mediante £™) se llamara topologia débil, mientras que la topologia débil del espacio. de las funcionales (esto ¢s, la topologia en £*, definida mediante E) se llamar fopologia *-débil, Es evidente que la topologia «-débil en E* es més débil que la topologia débil del espacio £* (es decir, la topologia débil tiene no menos conjuntos abierfos que la topologia *-débil), 4°. Topologia -débil en conjuntos acotados. En diferentes aplicaciones del concepto de convergencia débil de funcionales lineales desempejia un pape! importante el siguiente teorema. T#OREMA 8. Si E es un espacio normado lineal separable, cualquier | sucesion acotada de funcionates lineales continuas sobre E coniiene | una subsucesién débilmenie convergenie. DEMOSTRACION. Escojamos en £ un conjunto numerable siempre denso (x1, Xy: +++) ar +++)» Si {p,} €8 una sucesién acotada (respecto a la norma) de funcionales lineales sobre £, la sucesion. numérica G1 rb Pde 2 Pa Cae oe es acotada. Por eso, se puede extraer de {p,} una subsucesion GP, Ps eee Pals wees de manera que la sucesion numérica Pi eye GP hy weer Pa? abe + converja. Asimismo se puede extraer de la subsucesion {@j’} una subsucesion PP OP ee PRD vee de manera que converja la sucesién PE (Kale OE a)» ser OR UM )e = Continuando este proceso, obtendremos un sistema de sucesiones Pe DP, ees Daly eee 214 CAP. IV. FUNCIONALES LINEALES Y OPERADORES LINEALES (donde cada una es subsucesicn de la anterior), tal que {pf} con- verge en los puntos Xi Xa) -- +> %q- Entonces, tomando fa subsuce- sién «diagonal> PY, Pe PRPs ee obtendremos una sucesién de funcionales lineales tal que OL ade PEP Cds ++ converge para todos los n. Pero esto significa (en virtud del teo- rema 2*) que la sucesién o{"(x), p(x), ... converge también para todo x€E. El teorema queda demostrado. Este feorema, junto con el teorema 1*, indica que en el espa- cio £*, dual a un espacio separable de Banach, los subconjuntos acotados, y sdlo ellos, son relativamente numerables compactos en la topologia »-débil. Probemos que, de hecho, tiene lugar aqui Ja compacidad y no s6lo la compacidad numerable. Demostremos, ante todo, el siguiente teorema. TEOREMA 4. La fopologia inducida en la bola cerrada unitaria S det espacia E*, dual a un espacio normada separable E, por la lopologia «-débil de este espacio se puede definir mediante ta meétrica = L2-"| (Fe xn), donde {x,] es un conjunto fijo numerable y siempre denso en la bola unitaria det espacio E. pemostracion. Esta claro, que la funcién o(f, g) tiene todas las propiedades de la distancia; ademas, es invariante respecto a las traslaciones: pithy g+h=e(F a) Por eso, basta comprobar que a) cualquier «bola» Qs = [frp (f, 0) . Entonces, el conjunto u,= life > ake vecindad »-débil de la funcional f, que no contiene ningin ele- mento de la bola S,; por consiguiente, la bola S, es cerrada en la topologia »-débil. De la proposicién demostrada y del teorema 3* se deduce el siguiente tcorema. \ esuna tEOREMA 5. Toda bola cerrada del espacio, dual a un espacio nor- | mado separable, es compacta en Ia topologia +-débil. EI teorema 3* representa un caso particular del siguiente resul- tado general: si E es un espacio topoldgico lineal localmenie con- vexo, todo subconfunto acotado de E* es relativamente compacto en el sentido de la tepologia »-débil. No daremos aqui la demostracién de esta proposicién general. §4, FUNCIONES GENERALIZADAS 1°. Ampliacién del concepto de funcién, En diferentes cuestio- nes del Andlisis resulta necesario interpretar el término

    You might also like