PUBLICACIONES DEL DEPARTAMENTO DE ANALISIS MATEMATICO SECCION 1 NUMERO 24 FUNCIONES CONVEXAS EN ESPACIOS DE BANACH Mar Jiménez Sevilla ‘Tesina. Dirigida por el profesor Javier Gémez-Gil Diciembre, 1993 FACULTAD DE MATEMATICAS UNIVERSIDAD COMPLUTENSEFUNCIONES CONVEXAS EN ESPACIOS DE BANACH Maria del Mar Jiménez Sevilla Director: Javier Gémez Gil Seccion 1 Namero 24INTRODUCCION Este trabajo trata sobre la diferenciabilidad de funciones convexas definidas en espacios de Banach. As{, si se consideran los espacios de Banach en los que toda funcién convexa y continua es Gateaux (respectivamente Fréchet, Lipschitz) diferenciable en un conJunto denso se obtienen los llamados espacios de Asplund (respectivamente de diferenciabilidad Gateaux y de diferenciabilidad Lipschitz). Para diferenciabilidad Gateaux sobre conjuntos Gs densos se obtienen los espacios débil Asplund. Una herramienta muy Wtil en nuestro estudio seré asociar a cada funcién convexa f una clerta funcién @f. Esto nos permitiré expresar la diferenciabilldad de f a través de la continuldad de af. Es claro que la norma en estos espacios, por ser una funcién convexa, va a cumplir ciertas propiedades de diferenciabilidad. De hecho se podria sustituir el estudio de la diferenciabilidad de las funciones convexas en (E, Il.) por el de las normas equivalentes a l,l. Mas atin, la existencia en un espacio de Banach E de alguna norma equivalente diferenciable en E\{0} y, en ciertos casos, de alguna otra condicién, es suficiente para garantizar que E sea alguno de los espacios mencionados al principio. Por otra parte, se expondran en este trabajo algunas de las relaciones existentes entre los espacios de Asplund, débil Asplund, de diferenciabilidad Gateaux y de diferenciabilidad Lipschitz y los espacios con normas diferenciables, extrictamente convexas, localmente uniformemente convexas y 4speras. También se estudiar la relacién con los espacios WCG y con aquellos que poseen funciones meseta diferenciables. Los espacios de Asplund, de diferenciabilidad Gateaux y Lipschitz se caracterizan geonétricamente a través de sus espacios duales. Esto es debidoa la existencia de una dualidad entre diferenciabilidad Gateaux, Fréchet y Lipschitz y, respectivamente y puntos w*-expuestos, w'-fuertemente expuestos y w*-Lipschitz expuestos del dual. En el caso particular de los espacios de Asplund se pueden obtener caracterizaciones, dificilmente generalizables a las demis clases de espacios. Asi, por ejemplo, son aquellos cuyo dual tiene la propiedad de que todo conjunto acotado es w*-dentable, lo cual nos permite tratar estos espacios con cierta facilidad. Finalmente, el hecho de que los espacios de Asplund sean aquellos cuyo dual posee la propiedad de Radon-Nikodym nos llevara a considerar la nocién, en cierta forma dual, de los espacios w*-Asplund, es decir, aquellos espacios duales E* tales que E tiene la propiedad de Radon-Nikodym.INDICE, CAPITULO 1. RESULTADOS PREVIOS. . va Diferenciabilidad Gateaux. 3 La aplicacién subdiferencial............ noo CI Diferenciabilidad Fréchet y Lipschitz. at Espacios de Asplund, débil Asplund, de diferenciabilidad Gateaux PALE Sordi ghS ni esadbcs os0cq shad Hboecod son pucdade aagseceae a Egemploes ee ce. sree cess. meee _ enced CAPITULO 2. ESPACIOS DEBIL ASPLUND. ee2d Teorema de Mazur. -.21 Normas suaves y estrictamente convexas...... ..23 Espacios WCG. El juego de Banach Mazur. Relacién entre espacios débil Asplund y espacios con normas Gateaux diferenciables. Algunas propledades de los espacios débil Asplund... CAPITULO 3. ESPACIOS DE ASPLUND, DE DIFERENCIABILIDAD GATEAUX Y DE DIFERENCIABILIDAD LIPSCHITZ 3.1 Puntos w*-expuestos, w*-fuertemente expuestos, w*-Lipschitz expuesto: Def iniciones. Funcionales de Minkowski y funcionales soporte. . Caracterizaciones duales entre diferenciabilidad y puntos expuestos. Caracterizacién de espacios de Asplund por sus funcionales de MinkOWSKL.........00.000c0eceeeeeeeeseeesereeeeee 63 Diferencibilidad de la norma. Conjuntos w*-dentables............73 Normas 4speras y fuertemente asperas. .. -75 3.2 Optimizacién y normas diferenciables. ear El principio variacional de Ekeland.. Funciones meseta y espacios de Asplund (T. Leach-Whithfield).. Teorema de Ekeland-Lebourg. Teorema de Brondsted-Rockafellar. . Teorema de Bishop-Phelps. ..Normas localmente uniformemente convexas.......- Martingalas. Funciones meseta y diferenciabilidad Lipschitz. . Funciones dos veces Gateaux diferenciables. Caracterizaciones Asomorfas de espacios de Hilbert......... eee 3.3 Propiedades. Bases oa 94 Caracterizacién de espacios de Asplund y Lipschitz por sus subespacios separables..............0+ 94 Propiedades de permanencia por aplicaciones lineales. - 96 Subespacios de un espacio de Asplund..........6.0s00e005 - 98 El caracter de densidad de un espacio. 102 Espacios WCG y espacios de Asplund. ++ -106 La propiedad de los tres espacios. -107 El producto 1, y c, de espacios... 108 CAPITULO 4. ESPACIOS W*-ASPLUND. 11 Definicién. La propiedad de Radon-Nikodym. Puntos fuertemente expuestos. ctr Caracterizacién de espacios w*-Asplund 116 Bibllografia Recetas a 1201. RESULTADOS PREVIOS. Sea E un espacio de Banach, D ¢ E un abierto convexo. Una funcién f:D —> R es convexa si para todo xy «Dy OSA 51, (ax + (1 = Ady) = AFG) + (1 = AEG). Si x € Ey 8 > 0, se denota B(x,5) = (y € E: lly - xil s 3) 1.1 Lema. St f:D —> R es una funcién convexa y esta acotada en un entorno de xX, € D, entonces f es continua en x,. Ademas existen constantes M > 0, 6 > 0 tales que si xy € B(X,,8), entonces |fG0 = eG] = Mix - yt, stendo Wl la norma en E. Demostracién: Sean M'>0 y &>0 tales que |f(x)| 0, t —+—" "es monetona creciente esté acotada inferiormente. Por tanto existe fx, + ty) = lx) lim) ———__— = trix, (9). 0° t Fx, + sy) ~ fl) Igualmente se comprueba que para s < 0 la aplicacién s —» "es monétona creciente y por (2) estd acotada superiormente. Asi existe Fx, + ty) ~ 10x, lim_ ———__— = e-lx,)(y). 0" t Las funciones d*f(x,) y d°f(x,) son positivamente homogeneas por las propiedades del limite. Por la convexidad de f, d*f(x,) y d°f(x,) son sublineales. En efecto 21 1 Si vy we E se tiene que x, + tly + w) = > (x, + 2tv) + > (xy + 2tw) ¥ F(x, + tv + W)) - FlxQ) Fxg + tv) - FOr) Gx, + 2tw) = Fx.) t 2t ¥ 2t es decir, d*f(x,)(v + w) < d*f(x,)(v) + d*f(x,)(w), y lo mismo ocurre para d°F(x,). Ademds se verifica que para todo v € E attx.)v) = -d™FGx,)(-V). Las aplicaciones d*f(x,) y d°f(x,) son continuas. En efecto, sean 5 >0 y M>0 tales que si x,y € B(x,,5), entonces |f(x) - f(y)| = Milx - yll. Asi, para todo y € E, llyll = 5, t € [0,1] se tiene que Fxg + ty) = f(x) atx.) s ——_—__—. . t Si t= 1, at(x,)(y) s fx, + y) - fGx,) < Mllyl, Por otra parte -d*f(x,)(y) = = dfx Mey) = dfCx.)-y) = fle, - y) - f(x,) = Milyl, es decir, |atrex.y)| = Muyn . Asi d*f(x,) es un funcional sublineal, positivamente homogeneo y continuo. Se comprueba de igual forma que d-f(x,) es también continuo. En lo que sigue, salvo que se diga lo contrario, se considera E un espacio de Banach, D E un abierto convexo y f:D —+ R una funcién continua y convexa. 1.2 Definicién. La functén f:D —> R es Gateaux diferenciable en x, € D si para todo y € E existe f0x, + ty) - f(x,) Lim —2——___*. wo t En ese caso, a este limite se le lama la diferencial de f en x, en la direccién del vector y, y se denota por df(x,)(y).1.3 Observaciones. (a) La funcién f es Gateaux diferenciable en x, €D si y sélo si para todo y € E d*tlx,My) = dP(x,)y) = dt(x,)y). () Si f es Gateaux diferenciable en x, f(x.) es lineal y continua. Evidentemente es homogenea por las propiedades del limite. Por otra parte si vw € E, se tiene que d*f(x,v + w) = dtf(x,)(v) + d*f(x,)(w) Catt (xv) + + atflx,)(-w)) = -d*#(,)(- v - w) = d*fGx,)lv + w), luego df(x,) es lineal. La aplicacién df(x,) es continua puesto que d*f(x.) lo es. 1.4 Teorema. Si I © R es un intervalo ablerto y f:1 —> R es una funcién convexa, entonces f es diferenciable en todos los puntos de I excepto en un conjunto a to mas numerable. Demostrac Por la anterior observacién, si x, €1, {(x,) existe si y sélo. si f7(x,) = f*(x,), siendo f*(x,) la derivada por la derecha de f en x, y f-(x,) la derivada por la izquierda. La aplicacién gl—R t— alt) = F(t) es monétona creciente por ser f convexa, pues sis 0 es suficientemente pequefio, f0x, + ty) ~ f(x,) xy) 7 es decir, x"(y) + d*f(xa)(y) = df(xg)ly). Como x* y df(x,) son funcionales lineales se tiene que x° = df(x,), y asi af(x,) = (df(x,)). Para comprobar el resultado inverso supongamos que af(x,) es unitario pero que f no es Gateaux diferenciable en x,. Existiria entonces y <¢ E tal que 5df-(x,)y) < d*f(x,My). Sea la recta E,=[(y)], y la aplicaciénes _lineales definidas en E,, xh E, OR ty Ho xilty) = ta), te R xf E, —or ty > xflty) = taTx,)y), t € R Por las propiedades de las aplicaciones d*f(x,) y d-f(x,) se puede comprobar que xf(z) = d*f(x,)lz) y x{(2) = d-f(x,)(z) para todo z € E, . Por el teorema de Hahn-Banach existen x" e y* €E* extensiénes de x} y x] tales que x"(2) = d*f(x,)(z) y y"(@) = d°flx,)z) para todo z € E. Los funcionales x" =e y® 109) = atx My) > EFC) = f(x,) para todo x €D se tiene que x* < af(x,). Igualmente y* € af(x,) pues son distintos_ puesto. que yy). Como x" ~ x4) = d(x, Nx - x4) £0 - y= x) 5 A(x) < ATOKA - x5) = = FOX) - f(x,) para todo x € D y esto es una contradiccién. Asi f es Gateaux diferenciable y como vimos al principio de la (efx) ha demostracién af(x,) 1.7 Ejemplo. Sea ll.ll la norma en un espacio de Banach E y x € E. Un funcional x € all.) si y s6lo si x(x) = Ixll y Mx = 1 Por tanto la norma en E es Gateaux diferenciable en E \ {0} si y sélo si para todo x ¢ E \ (0) existe un nico x* € E, lxtll = 1y x*(x) = Ixll, Obserservemos que una norma nunca es Gateaux diferenciable en x = 0. 1.8 Definicién. Sean X e Y espacios topoldgicos y F:X —> 2¥ una aplicactén de X en los subconjuntos de Y. Se dice que F es continua en un punto x, € X tal que F(x,) #@ sl para todo conjunto abierto W en Y tal que F(x,) © W existe un conJjunto abierto V en X, con x, € V, y Fly) S W para todo y € V. 1.9 Lema. Sea D ¢ E abierto y convexo y f:D —+ R convexa y continua. Entonces: ( af esta locaimente acotada. (ii) Para todo x € D se verifica que éf(x) es un subcon junto convexo no vacto y w*-compacto de E*. (iii) af es continua considerando en E* la topologia w*. Demostracién’ (i) Si x €D, existen constantes M>0, 5>0 tales que si zy € B(x,25)entonces |f(z) - fly)| = Milz - yll. Si y € B(x,8), y* € Af(y) y hls 8, se tiene que y'h) s f(y +h) - fy) = Mund, y ast ily" 2®,C ¢ E se llama monétona si para todo xy €C, xt © F(x), y* € Fly) se verifica que (y* - x"'y - x) = 0. Por tanto, af €s una aplicacién monétona. 1.10 Definiciones. (a) La functén f:D —> R es Fréchet diferenciable en x, € D si existe € € E*tal que Fx, +h) ~ (x5) - €(hd lim —-——___"_____ = 0. Into Wht Obviamente, si f es Fréchet diferenciable también es Gateaux diferenciable y & = df(x,). (&) La funcién f:D —> R es Lipschitz diferenciable en x, € D si existen € € E*, constantes M > Oy 8 > 0 tales que si lihll = 8, entonces [f(x, + bd - fGx,) - €(h)| = Mubw?, Es claro que si f es Lipschitz diferenciable también es Fréchet diferenciable y € = dflx,). Si f esta definida en una intervalo abierto I de R y es diferenciable con derivada lipschitziana, es decir existe una constante K > 0 tal que six ey el, IP) - "Go| = K|x - y|, entonces f es Lipschitz diferenciable en I. Esto Justifica de alguna forma el calificativo de "Lipschitz". Existe una fuerte relacién entre la continuidad de la aplicacién af en un punto x, y la diferenciabilidad de f en xg. En concreto se tiene el siguiente teorema. Ll Teorema. Sea D ¢ E abierto y convexo y f:D —»R convexa y continua. Entonces: (@ La aplicacién f es Fréchet diferenciable en x, €D st y sélo st af es continua en norma en x, (es decir, considerando en E* la topologia de la norma) y af(x,) es unttarto. (ii) La aplicacién f es Lipschitz diferenciable en x, € D st y sélo st f(xy) es unitario y existe un entorno V de xq, y una constante M > 0 tales que si y € V ey" € Af(y) entonces atx) - y°l = MIX, Demostracién: Veamos primero las implicaciones a la izquierda. Por hipétesis f(x,) es unitario y, por el teorema 1.6, f es Gateaux diferenciable en x,. Para todo y € D, y* € afty) se verifica quef(xy - x5) = f(y) - fx) e yl, - 9) $ fx.) - fy). Ast, 0 5 fly) ~ f(x) - dfx My - XQ) = 5 (y" = atx Wy - x) = Hy" - afGxg ly ~ xQll. La diferenciabilidad Lipschitz y Fréchet se deducen facilmente de esta desigualdad. Supongamos que f es Fréchet (0 Lipschitz) diferenciable. Si z € D, z* af(z) y h € D suficientemente pequefio, se tiene que (2 ~ attx,)Mh) = fz +b) - £(2) ~ aftx.)th) = (f(z +h) - £(x,) - df(x,)(z + h - x,)) - (f(z) - flx,) - dfx - xs s (flz + bh) = flx,) - df(x)(z +h - x,)). En el caso Fréchet, dado © > 0 existe 8 > 0 tal que si lly ~ x, < 8 entonces [f(y ~ £0) ~ atlx,)ly - x,)| $ elly - xl. Sean Zhe E, 0 < Iz ~ x,ll 6/2 y hil = 8/2, entonces (2* - at(x,)h) = ellz +h - xgi = elliz - x + whi). Tomando supremos entre todos los h € E tales que liz ~ xl = llhil, liz* - df(x.) = 2e, es decir, af es continua en x,. En el caso Lipschitz, existen constantes M>0, 6>0 tales que si lly - x, = 8, entonces f(y) - fx) - df(x,)y - x,)| = Mily - x, Si zh € E, 0 < Iz ~ x, s 8/2 y Ill s 8/2, entonces (2 = atGx.)0h) = Miz +h = xgH2 = MCiz = xg + unID?, Tomando de igual forma supremos entre todos los h € E tales que liz ~ xXglllia ~ dt(x,)I s 4Milz - x,t 112 Observacién. Por (i), si f es Fréchet diferenciable en D, también es Cl-diferenciable, esto es, la aplicacién df es continua. En general, se dice que una funcién h definida en un abierto D es de clase k, KEN, 6 Cdiferenciable si f es k veces diferenciable y la k-ésima diferencial de f, df, es continua. 113 Lema. Sea DS E abierto y convexo y f:D —»R convexa y continua. Se verifica que, (i) La funcién f es diferenciable Gateaux en x, si y sdlo st para todo y « E ¥ € > 0, existe 6 > 0 tal que si 0 = t = 6, entonces 0 = f(x, + ty) + fix, - ty) - 2f(x,) = et. (ii) La functén f es Fréchet diferenciable en x, st y sélo st para todo © > 0 existe 6 > 0 tal que si 0 = Ihll = 8, entonces 0 = f(x, +h) + flx, - h) ~ 2f(x,) 5 ellhil Gi) La funcién f es Lipschitz diferenciable en x, st y sdlo st existen M > 0 y 8 > 0 tales que si O = IIhll 8, entonces 0S fix, +h) + flxq - h) ~ 2fCx,) = MUR, Demostracié En el caso de la diferenciabilidad Gateaux, supongamos que f es Gateaux diferenciable en x, € D. Sean y € E y © > 0, existe entonces 5 > 0 tal que para 0 4t8 se tiene ® F(x, + ty) ~ F(xp) - df(xaN(ty) = (e/2)t. F(x, ty) - £0x,) + dC QMlty) = (e/2)t. ‘Sumando estas dos expresiones se tiene (i). Para obtener el recfproco, sean y € E, © > 0 y 3 > 0 como en las hipétesis, entonces si 0 st < 8, 10Fx, + ty) = fle) fx, = ty) = £6%5) os se. t ei Ast d*t(x(y) - d-flxgMy) = ©, es decir, dtf(x,Ny) = dflxMy) para todo ye E y f es Gateaux diferenciable. Ademas, si t > 0 f(x, + ty) ~ £6%) f(x, - ty) - flxQ) > = atx ity) = d-#6x,)9) = ———— t Por tanto, para O R, funcién convexa y continua, es Fréchet diferenciable es un subconjunto Gg de D, es decir, es interseccién numerable de abiertos de D. En efecto si se considera para cada n ¢ WN, f(x + 8h) + f(x - 8h) - 2f(K) 1 G, = {x € D: existe 8 > 0 con sup ————_________ « - }. mater 8 a fx + th) + fc = th) - 2fG«) Por (1) y (2), la aplicacién para t > 0, t —» ————_______— es creciente. Por tanto G=1G, es el conjunto de puntos de diferenciabilidad Fréchet de f. Se comprueba fécilmente que, por ser f localmente Lipschitziana, cada G, es abierto.m El conjunto de puntos donde una funcién f continua y convexa es Gateaux o Lipschitz diferenciable en general no es un conjunto Gg (ver [Co-Kel 6 [Tal, para el caso Gateaux y [Fa] para el caso Lipschitz). El estudio de la diferenciabilidad de funciones continuas y convexas definidas en un abierto de un espacio de Banach nos leva a una clasificacién de los espacios de Banach relativa a clertas condiciones de diferenciabilidad. 1.14 Definicién. Sea E un espacio de Banach. Se dice que E es un espacio de Asplund (de diferenciabilidad Gateaux, de diferenciabilidad Lipschitz) st toda ufuncién convexa continua definida en un abierto no vacio de E es Fréchet (Gateaux, Lipschitz) diferenctable en un subconjunto denso del dominio. De forma andloga al caso de los espacios de Asplund, se llama espacio débil Asplund a un espacio E en el que el conjunto de puntos de diferenclabilidad Gateaux de toda functén convexa y continua contiene un conjunto denso y Gg del abierto dénde esta definido. En este iiltimo caso la condicién Gg es afiadida a la condicién de densidad que s6lo se exije en las demas clases de espacios. Debido a ello se tratarén en la mayorfa de los casos aparte. Los primeros espacios que se estudiaron fueron los espacios de Asplund y débil Asplund por el propio Asplund ([Asl, 1968) quien los Mamaba espacios de diferenciabilidad fuerte y débil respectivamente. Anteriormente, en 1933, Mazur establecié el primer resultado sobre espacios débil Asplund, aunque él no los naba como tales, demostrando que en un espacio de Banach separable toda funcién continua y convexa definida en un abierto es Gateaux diferenciable en un subconjunto Gs denso de su domi io. Ms recientemente, en 1978, Larman y Phelps ((La-Ph]) introdujeron los espacios de diferenciabilidad Gateaux, y en 1984 Fabian introduce los espacios de diferenciabi lad Lipschitz, ambos intentando establecer un estudio paralelo al de los espacios de Asplund. EJEMPLOS @ La norma en ty, xl, = [xq] si x = (nen € ly» es Gateaux diferenciable en los puntos x = (xq)en tales que x, #0 para todo nN, pero no es Fréchet diferenciable en ningiin punto de 1,(P) Sea x = (xen tal que x, # 0, para todo n © N. Si x" = (q)en € Uy se tiene por la observacién 1.7 que y* € All.lI,(x) si y sélo si ly"l = 1 y 900 = YT yo%n =F [xa = txt, neN neN Jo cual es cierto si y sélo si y, sign(x,). Por tanto, en este caso dll.li(x) es un conjunto unitario y es y* = (sig(x,)nen- Por el teorema 1.6, W.ll, es Gateaux 12diferenciable en x. Reciprocamente, si existe i, € N tal que x, = 0, se definen y* y 2° € ly» fs six, =0 (- six, = 0 signtx), si x, #0 sign(x,), si x, # 0 Es claro que y*(x) = 2*(x) = IIxil y ily*ll = liz" = 1. Luego y* y z* € all.(x), y asf Al.1,(x) no es un conjunto unitario. Sin embargo, II.ll, no es Fréchet diferenciable en ningtin punto. Sea x € ly, podemos suponer que I.l, es G&teaux diferenciable en x, € Ym = -2E Xqeyi evidentemente lly,qlI tiende a 0 sim tiende a infinito y Use + yplly = thy ~ 26°C) pad Ser Wall De Jo anterior se deduce que la norma lll en el espacio de Banach 1,(0), 7 conjunto de indices no numerable, no es Gateaux diferenciable en ningun punto, pues cualquier elemento de 1,(7) tiene alguna coordenada nula. As{, 1y(P) no es un espacio de diferenciabilidad Gateaux, Siguiendo un proceso similar al caso 1; si (9,2,u) es un espacio de medida positiva y o-finita, la norma Ul.ll, en Ly(u) es Gateaux diferenciable en f € Ly(u) si |f(w)| > 0 para todo w € @. En efecto, si g € Ly(u) = Lalu) es tal que lglg = 1 y att) = f eowrtwautw) = f|rtwfaucws = nen, a a a(w) = sign(f(w)) en casi todo we 9. Asf ail.li(f) consta de un s6lo elemento 2 € Ly glw) = sign(f(w)) si we a Reciprocamente, si existe M € E de medida positiva tal que f(w) = 0 para todo w © M, se consideran g y h € Lalit) wm = fh si f(w) = 0 how « si flw) = 0 = TV eign(t(wi), si fw) # 0 sign(f(w)), si f(w) # 0 Los funcionales g y h son distintos y ambos estén en ll.ll,(x), luego por el teorema 1.6, ll.ll no es Gateaux diferenciable en x. 13Sin embargo, I.ll, no es Fréchet diferenciable en ningin punto. Sea Ay = (we |f(w)| < 1/n) ¥ By = -2f xa, € L,(u). Evidentemente, por el teorema de la convergencia monétona, lim liga, = 0 y, Mf + gall + If + gall, ~ 2ifN, ee as) gals (2) Si (9,,u) es un espacio de medida positiva y no o-finita, la norma en L(y) no es Gateaux diferenciable en ningin punto. Puesto que toda funcion f € LW) tiene soporte o-finito, se puede comprobar igual eque en el caso anterior que all.ll, no es unitario. (3) Sea (9,,u) es un espacio de medida positiva. La norma en Lyi), txt, = f [Pay 2 es Fréchet diferenciable en L,(u) \ {0} si 1

0, y considerando tht, = Se puede comprobar incluso que Ill, ¢s C"-diferenciable si p es un entero par. En caso contrario, ll.ll, es C*-diferenciable, siendo k el menor entero estrictamente menor que p (IBo-Fr]). 1s(4) En el espacio de Banach (lll) 1a seminorma continua lg —>R x — lim sup |x no es Gateaux diferenciable en ningiin punto. Claramente p(x) = IIxllg, por tanto p es una seminorma continua. Puesto que p es una seminorma, p no es Gateaux diferenciable en los puntos x € lp tales que p(x) = 0. Si plx) = 0 se tiene que p(x + y) = ply) para todo y € ley ¥ asf si ply) > 0 (x + ty) - plx) t poe + ty) = pled Ith iy = snip), t 7 por lo que dp(x)(y) no existe. Si p(x) > 0, podemos suponer que p(x) = 1. Elegimos tuna subsucesién {x,) tal que |%q,| converge a 1. Se puede suponer que xq, > 0, para todo i € N. Se define y € ley 0, sin#nyieN Jn = q 1 sin=nyieN entonces, px + ty) - p(x) fi, sit>o t jo, sit 0 para todo n € N. En efecto, si no es puramente atémica, se aplica reiteradamente el teorema de Darboux a un conjunto B que no contenga atomos y tal que u(B) > 0. Si w es puramente atémica, dado que L,(22,u) es de dimensién infinita, existe una cantidad infinita de atomos de medida finita y disjuntos. La ptt) = tim sup (IP x,y) no es GAteaux diferenciable en ningin punto. 16(©) Sea T un conjunto de indices cualquiera, en el espacio de Banach (c,(P),M.th) la norma W.lg eS Lipschitz diferenciable en los puntos x = (xy)yer si la norma se alcanza slo en una coordenada. Sea y ¢T tal que |xy| = Wxllp #0 y tal que [xq] < xp para a €T\G). Si t es suficientemente pequefio y h € c,(T\(0), lhl = 1, se tiene que x + thy - Uxlly — [xy + thy| - [xy] sighxy)h, t t elxq hy. Six? € o,(F)* = L(P), xf = 0 sia # 7 y x} = sig(xy), se tiene que Ux + hill = xl - x%Ch) hil Se comprueba fécilmente que en los demés casos la norma Illy no es Gateaux diferenciable. (7) La norma Wil en el espacio de Banach (CI0,1J,lI.llg) no es Fréchet diferenciable en ningiin punto. Sea f € C[0,1], f # 0. Podemos suponer que existe X. € [0,1] tal que lif, = f(x); si se considera para cada e > 0 fo, si [fo] s f(x.) - gelx) = 42(FGd) - fx.) + ©), si f(x) = f(x.) - € 2(fx) + f(x) - €), si f(x) = -f(x,) +e Be € CI0,11, ligelly = 2e y se tiene que IE + gelly + If - Zell - 2ilflly f(x.) + 2e + f(x) - € ~ 2Flx,) Neell 2e nie (8) Sea X = C,(K), el espacio de las funciones continuas y acotadas en un espacio separado y localmente compacto K que se anulan en el infinito y sea lig la norma del supremo en C,(K). Sea x € C,(K), se tiene que a(a) La norma Illy es Gateaux diferenciable en x si y s6lo si el conjunto M, = {t € K: |x(t)| = lxilg) es unitario. (b) Ill, es Fréchet diferenciable en x si y s6lo si M, consta de un tnico punto y es aislado en K. Para demostrar (a) supongamos que existen dos puntos t, # t, en K tales que [x(tp] = |x(t,)| funcionales ©3,, y £2, € C,(K)" (la evaluacién en t, y en t, respectivamente) Uxlly Se pueden elegir c, y €, € (ijl) tales que los verifican que (e,8,,)(x) = (€78,,)(x) = llxlly, tienen norma unitaria._y son distintos. Por tanto, dll.ll, no es unitario y M.llg no es Gateaux diferenciable en x. Recfprocamente, si la norma no es Gateaux diferenciable en x, existen puntos distintos gy f € C(K)*, Melly = lly tales que g(x) 1, dénde ill! es la norma dual en C,(K)* £(x) = Ixll. El conjunto dl.llg(x) es w*-compacto y convexo, luego por el teorema de Krein-Milman, dll.tig(x) es la envoltura convexa y w*-cerrada de sus puntos extremales (recordemos que un punto x es extremal de un conjunto A si no existe un segmento [a,b] © A, a # b, tal que x € (a,b)). Existen entonces al menos dos puntos extremales h, y hy en dilly. Es inmediato ver que hy y hz son también puntos extremales de la bola unidad del dual Be,yg* y, por tanto estos son de la forma hy = €454, ¥ hy = €28, con ty € K, ty # tp ¥ | € CUI) Ast [x(t] = [xtt,)| Para comprobar (b) supongamos que M, es unitario, M, = {t). Si t no es un punto aislado se puede encontrar una sucesién {t,sen ty © K y t, #t, tal que X(t) converge a x(t). Existe entonces ¢, € {1,-I) para cada nN tal que e,X(t) = €y54,(0) converge a |x(t)| = lxlly, Se tiene entonces que ¢, = €, para todo n € WN, siendo © = sign(x(t)). Sin embargo, Wed, - edyll = 5, ~ Syl As(, Oll-llg no es continua en norma en x. Por el teorema 1.11 Il no es Fréchet diferenciable en x. Reciprocamente, si t es un punto aislado, por compacidad se tiene que |x| > sup {|xtw)]: we KN (0) 18Por tanto, existe un entorno de x en el que la norma Ixll, es el funcional lineal £34, siendo © = sign(x(t)) y, en consecuencia ll.llg es Lipschitz diferenciable en x. Observemos que coinciden en C,(K) los puntos de diferenciabilidad Fréchet y Lipschitz de la norma W.lly « De lo anterior se deduce que la norma Ill en Cl0,1] es Gateaux diferenciable en un punto x si y s6lo si My es unitario. ‘Ademés, se tiene que la norma Illy es Fréchet diferenciable en un subconjunto Gg denso de C,(K) si y s6lo si el conjunto de puntos aislados de K es denso (ver [co-Kel). (9) En el caso en que E es de dimensién finita la diferenciabilidad fréchet y Gateaux coinciden para funciones convexas. Esto es debido a que la topologia w" y la topologfa de la norma coinciden, Pero no es asf en el caso de la diferenciabilidad Lipschitz. Sea E=R y g € C(R), tal que g’(x) > 0 para todo xe Ry g(0) y lMamamos G(x) (y)dy. La funcién G es convexa (G’(x) > 0 para todo x € R) y diferenciable en R. Si G fuese Lipschitz diferenciable en x = 0, se tendria que |o'(y) - G*(0)| = Mly - 0] en un entorno de 0 para alguna constante M > 0, y asf ely) - g(0) y Jo cual es absurdo pues g'(0) = ». 192. ESPACIOS DEBIL ASPLUND Se ha definido un espacio débil Asplund como un espacio de Banach E en el que toda funcién continua, convexa, definida en un abierto de E es diferenciable Gateaux en un subconjunto genérico de puntos de su dominio, esto es, el conjunto de puntos de diferenciabilidad Gateaux contiene un subconjunto Gg y denso del dominio de f. El término débil no se refiere a la topologia débil, sino a que la diferenciabilidad Gateaux ha sido a veces considerada como la diferenciabilidad débil, siendo la diferenciabilidad Fréchet la fuerte. Es claro que todo espacio de Asplund es un espacio débil Asplund. El rec{proco no es cierto: la norma usual en 1, no es diferenciable Fréchet en ningin punto y veremos (teorema de Mazur) que por ser separable es un espacio débil Asplund. Histéricamente el primer resultado sobre estos espacios es el siguiente. 2.1 Teorema (Mazur; 1933). Los espacios de Banach separables son espacios débil Asplund. Demostra Sea D c E abierto y convexo y f: D —> R convexa y continua. Veamos que B, el conjunto de puntos de D donde f no es Gateaux diferenciable, es un subconjunto Fy en D. Sea (x,) una sucesién densa en la esfera unidad de E. Se define para cada nym = 1, el conjunto 1 Anm = (% € D: existen x*y* € Of(x) con (x* - y*)( x, ) = - }. m Dado que df(x) no existe si y solo si f(x) contiene més de un punto, es claro que B=U Aum Veamos que cada Anm eS cerrado en D. Sea {2,) ¢ Ann una sucesién convergente a 2 € D. Para cada k se eligen xf, yf en af (z,) tales que Get = yt xy) = m aPor la acotacién local de la aplicacién af, existe kg € N tal que U af(z,) esta ky acotado en E*. En consecuencia, por el teorema de Alaouglu-Bourbaki existen subsucesiones (eZ, (yf) (pues el espacio E es separable) convergentes para la topologia w*. Si x* e y* son los limites de dichas subsucesiones, entonces 1 = ( (xf, - iJon)? PE x = yxy y en consecuencia 1 (x? = yg) B=. m Ademés x* e y* € af(z), pues XL - 2) = xb - a) + xi, - 2) = 5 1y) ~ Faq) + XE 24) - 2) 5 5 Hy) ~ Faqy) + WxpMllzy, ~ 2 Se puede suponer que existe una constante M > 0 tal que xj, = M para todo j ¢ W Tomando limites se tiene que xtly - 2) = fly) - f(z) para todo y € D. Por tanto, x* € af(z). Para y* se hace de forma andloga, Asf tenemos que el conjunto D\B=NNW\ Ann) es interseccién numerable de subconjuntos abiertos en D. Veamos que cada n€ WN, el conjunto D \ An, es denso en D. Sea x, € D; estudiemos las rectas que = pasan. «por x,, Sea el_intervalo I= (t © R: x, + tx, € Db, y consideremos la funcién fy 1 —3R t 5 Alt) = Flxy + tq) - 22La aplicacién f; es convexa y asi, por el lema 1.4, existe en cualquier entorno de X_ un punto x =X, + t,%y t,€ 1, tal que f, es derivable en x. Si x" € y’€ af(x), sus restricciones a la linea «x, + tx nos, dan f(t) = x"(xq) = y"Gx,). En consecuencia x € D\ Agg, ¥ as{ este conjunto abierto es denso en D. Es decir D \ B es intersecién numerable de conjuntos abiertos y densos en D. Por el teorema de Baire, D es un subconjunto Gg denso de D.m Existen, sin embargo, clases més amplias de espacios de Banach formadas por espacios débil Asplund. Observemos que la propiedad de ser un espacio débil Asplund (al igual que la de ser un espacio de Asplund, de diferenciabilidad Lipschitz 6 de diferenciabilidad Gateaux) es invariante por isomorfismos lineales. El hecho de sustituir una norma por otra equivalente no influye en la diferenciabilidad de una funcién. El siguiente teorema de Asplund muestra que en ciertos espacios que admiten normas con "buenas" propiedades de diferenciabilidad, las funciones convexas y continuas tambien tienen "buenas" propiedades. 2.2 Definicién. (a) Una norma en un espacio de Banach E es estrictamente convexa si no existen segmentos en la esfera unidad, es decir, si para todo xy < E, ixt = lyi=x#y, Wax + (1 = Aly < Alix + (1 = Aly SiO R, A espacio topoldgico, es inferiormentesemicontinua (L.s.c.) st (x € A: f(x) = r) es cerrado en A para todo r € R. 2.4 Lema. Una funcién f i.s.c. definida en un abierto D de un espacio métrico completo M (o con una métrica equivalente completa) es continua en un subcon junto Gg denso de D. La demostracién se puede encontrar en [Ch], pg. 111. 2.5 Teorema (Asplund; 1968). Si E admite una norma equivalente cuya norma dual es estrictamente convexa, entonces E es un espacio débil Asplund. Demostracién: Se puede comprobar que, por ser It estrictamente convexa, todo convexo en E* tiene a lo més un punto de norma minima. Sea una funcién f:D —> R, Dc E abierto, f convexa y continua. Se tiene entonces que para todo x € D, Af(x) tiene a lo més un punto de norma mfnima. Se considera la aplicacién WUT(E*, ofE*, E)) —> R xt itt Tenemos que si r € R, el conjunto (x* € E*: IIx*lI* sr} es w*-cerrado y por tanto lI" es is.c.. Toda funcién i. esta acotada inferiormente, de hecho ‘tiene un minimo, en cada compacto. Por tanto, tenemos que para todo x € D existe un Gnico x* en 6f(x) con norma minima. Se define la siguiente funcion B DR x —> Bd) = min (xtI": x" € atx). Veamos que B es también is.c. en D. Sean AER, y el conjunto V = (x* € E*: xt" > A), que es ut-abierto. Si x €D y lx) >A (por tanto, af(x) ¢ V) existe un entorno U de x tal que af(U) c V, por ser éf continua para la topologia w* y, por tanto, Bly) > A para todo y € U. Se tiene as{ que {x € D: B(x) > A) es w'-abierto, es decir @ es is.c.. Por el lema anterior 8 es continua en un subconjunto Gs denso de D. Veamos qué ocurre en los puntos donde 8 es continua. Sea x* ¢ af(x) tal que B(x) = Iixtl" y B es continua en x. Supongamos que existe y* # x* con y* € af(x). 24Por la convexidad estricta de lI.lI* se tiene que lly*l® > lxti*, y por tanto existe y €E, llyll = 1, tal que y"(y) > ix*I* = B(x). Si B es continua en x, existe 6 > 0 tal que B(x,3) ¢ D y A(z) < y*ly) para todo z € B(x,6). Sean z= x 2" © af(z) con B(z*) = IIz*I*, entonces 8 0 5 (2 - yz = x) = 5 tet - yy, y ast z2%y) = y"y) > Blz) = i2"u*, lo cual es una contradiccién. Por tanto, of(x) es un conjunto unitario en aquellos puntos de D en los que @ es continua. Asi f es diferenciable en un subconjunto Gg denso de 2.6 Observacién. Este teorema extiende el Teorema de Mazur, dado que todo espa de Banach separable posee una norma equivalente cuya norma dual es estrictamente convexa y asi todo espacio de Banach separable tiene una norma equivalente suave. Esta norma se puede construir de la siguiente forma. Sea (x,) una sucesién densa en la esfera unidad de E, para cada x" € E se define el funcinal L: E71, xt (29 net L es un funcional lineal y continuo. Si consideramos en E* la norma | = neti + 1 Loe) esta es equivalente a UI (por ser L continua). Ademés al ser |.| u*-i.s.c., por el lema siguiente es una norma dual en E*. 2.7 Lema. Sean (E,ll.lI) un espacio de Banach, (E*,lI.lI") su dual y una norma que notamos por |.| equivalente a l,l". Son equivalentes: () La norma |.| es dual de una norma equivalente aU. Gi) La norma |.| es w*-Ls.c. Gii) EI conjunto {x" € E*: |x"| = I) es w*-cerrado. Demostracién: Es obvio que (ii) es equivalente a (iii) Por otra parte, toda norma dual, Mamémosla |.|*, equivalente a l.lI*, es 28vt-i.s.c. pues el conjunto {x* € E*: |x*|* sr} es w*-cerrado para todo r € R. Para ver el recfproco, si |.| es w*-i.s.c., se considera su dual en E™ y su restriccién a E, la cual notamos por |-|- Por la definicién, si Veamos que entonces |.|* = |. *| <1 entonces |x*|* = 1. Por tanto, Bil = Gx" e@ EY [x*] sD S Brie = Gt © EY Por hipétesis ambas normas son w*-i.s.c. y, por tanto, ambos conJjuntos BI. y B1.1* son u*-cerrados. Si la inclusién es estricta, existen por el teorema de Hahn-Banach, x € E y x" € BI.1* tales que x(x) > sup (y*O0: y* € Bit} = [x], Jo cual es una contradiccién. Por tanto Bi. = BI.I*, y se tiene la equivalencia entre (i) y (i).m 2.8 Observacién. El reciproco del teorema 2.6 no es cierto, existen espacios que tienen normas suaves y que, como se vera despues, son espacio débil Asplund tales que no se pueden renormar con una norma equivalente de forma que la norma dual sea estrictamente convexa (ver [Tal,). Una cierta clase de espacios de Banach que puede ser renormados de la anterior forma son los espacios WCG (débilmente compactamente generados). 2.9 Definicién, Un espacio de Banach E es débilmente compactamente generado, abreviadamente WCG, sl existe un subcon junto K débilmente compacto de E, tal que el subespacio lineal que genera es denso en E. 2.10 Teorema (Asplund; 1968). Sea E un espacio de Banach que es un subespacio de un espacio de Banach F que es WCG, entonces E es un espacio débil Asplund. Demostraci Los espacios WCG pueden ser renormados con una norma equivalente de forma que su norma dual sea estrictamente convexa (ver (Dil), y la restriccién de esa norma a cualquier subespacio sigue teniendo dual estrictamente convexo. Por el teorema 1.6, E es un espacio débil Asplund. 262.11 Ejemplos. (@) Todo espacio separable es WCG. En efecto, si (x,) es una sucesién densa en la esfera unidad, el conjunto K=}™, new hu es débilmente compacto y IK], el subespacio vectorial generado por K, es denso en E. (2) Todo espacio de Banach reflexivo es WCG, pues K = Be (la bola unidad cerrada en E) es débilmente compacta. () col) es WCG, para cualquier conjunto T, pues si consideramos la base canénica (eybyer, el conjunto K = {0} u {ey)yer es débilmente compacto. (4) IT) es WCG si y solo si T es numerable (si y solo si (T) es separable). Por la propiedad de Schur y el teorema de Eberlein-Smulian se tiene que en estos espacios los conjuntos débllmente compactos y los compactos en norma son los mismos. Teniendo esto en cuenta se comprueba la equivalencia. () Sea (9,E,u) un espacio de medida positiva, Ly(u) es WCG si y sélo si w es o-finita. En efecto, supongamos que # es finita, entonces el conjunto C = (x,: A € 3) es acotado en L,(u) y uniformemente integrable, esto es lim f Jglau = 0 wis0 Ja uniformemente para todo g € C. Asi, C es débilmente relativamente compacto (ver IDil, pg.76) y el subespacio que genera C es denso en Ly(u) Si es o-finita (y no finita), sean {Aen Una sucesion de elementos de = tales que Ay S Ana» U Ay = X y M(A,) = my, O < my < @, entonces el conjunto a AED ASAD nom, es débilmente relativamente compacto. Sea (fq)nen C, Se puede suponer que existe 27una subsucesién, que lamamos igual tal que Km, By, © Ax, Ky < Ky (Pues de lo contrario se podria considerar (g,) incluido en un espacio de medida finita, y por lo anterior se tendria una subsucesién convergente). Si g € Ly(u)" = La(w), se tiene que lel “Bal dh jf El ays file Bn| du Paras y esta iiltima expresién tiende a 0 sin tiende a infinito. Por tanto, gq, es débilmente convergente a 0. Evidentemente, el subespacio que genera C es denso en Lyn. El recfproco es claro puesto que si no es o-finita sabemos que la norma Jil, en Ly) no es Gateaux diferenciable en ningun punto y, por el teorema 2.10, L\(u) no puede ser WCG. El teorema 2.6 nos conduce a la siguiente cuestién. Sabemos que si la norma Wit en el espacio de banach E” es estrictamente convexa, la norma l.ll en E es suave. Pero ya hemos dicho que el reciproco no es cierto, Parece natural preguntarse si la existencia de una norma suave equivalente en E nos puede asegurar que E sea un espacio débil Asplund [Dal. Una respuesta parcial fue conseguida por Borwein y Preiss en 1987. Bajo estas condiciones aseguraban la densidad del conjunto de puntos de diferenciabilidad GAteaux de una funcion convexa f, pero no el hecho de que contenga a un subconjunto Gg denso. La respuesta afirmativa fue dada por Preiss, Phelps y Namioka en 1990 [Pr-Ph-N]. El teorema se basa en dos lemas. El primero es el Juego de Banach-Mazur, el cual nos permite obtener un conjunto Gg denso de puntos de diferenciabilidad. El segundo lema nos muestra la relacién entre diferenciabilidad de la norma y el hecho de que af sea univaluado. 2.12 Definicién (El juego de Banach Mazur). Sea X un espacio de Hausdorff, S un subconjunto de X, y A,B jugadores.Una partida es una sucesién decreciente de subconjuntos abiertos no vactos U, 2 V, 2 U; 2 Vz 2. los cuales han sido elegidos alternativamente, los U, por A y los Vy por B. El jugador B gana una partida si Aves. En caso contrario A gana la partida ( puede ocurrir que NV, sea vacto). Una estrategia para B es una sucesién de funciones (f,)neN + (en) FU x U Xen xU—>U, siendo U la familia de todos los conjuntos abiertos no vactos de X, tales que Fe(GyGyyGzn.1) S Cony El jugador B juega utilizando esta estrategia si elige Vee Fg(UpVareesVq-pUn)> El jugador B tiene una estrategia ganadora si uséndola gana todas las partidas cualesquiera que sean las elecciones de A. 2.13 Lema de Banach-Mazur ([Ox]; 1957). Con la notacién anterior, st el jugador B tiene una estrategia ganadora, entonces S es un conjunto residual, es decir, X \ S es de primera categoria. En particular, si X tiene una métrica equivalente que es completa, $ contiene a un subconjunto Gg denso. Demostracién: Llamamos una cadena de érden k a una sucesién de abiertos no vacios, Up 20, a0UsanVaqa a Ue a Ve elegidos alternativamente los U, por A y los V, por B, utilizando este dltimo su estrategia ganadora (se supone que B utiliza siempre la misma estrategia ganadora). Decimos que V,, el ltimo abierto elegido por B, es el interior de la cadena. Se dice que una cadena de érden k + n es continuacién de otra de érden k si las k primeras elecciones de A y B coinciden en ambas cadenas. Se tiene entonces 29que la clase de todas las cadenas esta ordenada con la relacién de continuacién. Se considera el conjunto de todas las familias de cadenas de érden uno tales que los interiores de las cadenas de una familia son disjuntos dos a dos. De este conjunto de familias se elige, por el lema de Zorn, una familia maximal F,. Se lama W, a la unién de todos los interiores de los miembros de Fy. Se comprueba fécilmente que el conjunto W, es abierto y denso en X, por ser F, una familia maximal. Procediendo por induccién, suponemos definida una familia F, de cadenas de 6rden n tal que los interiores de los miembros de F, son disjuntos dos a dos y su unién, W,, 5 un conjunto abierto y denso en X. De entre el conjunto de las familias de cadenas de érden n+l que son continuacién de miembros de Fy, se toma Fy, Una familia maximal, que existe por el lema de Zorn, con la propiedad de que los interiores de cualesquiera dos miembros son disjuntos. De la maximalidad de Fy S€ deduce fécilmente que la unién W,,, de los interiores de los miembros de Fyoy 5 densa en X. Por tanto, se supone elegida para cada ne WN, una familia F, de cadenas tal que cada miembro de F,,, es continuacién de algin miembro de F,. Ademés, dos elementos cualesquiera de F, tienen interiores disjuntos y el conjunto abierto W,, Ja unién de todos los interiores de los miembros de F,, es denso en X. Se comprueba facilmente que para cada x ¢f1W, . existe una Gnica sucesién (C,) de cadenas, C, ¢ Fy, tal que x estd en el interior de C,. Ademas esta sucesién de cadenas est4 linealmente ordenada por continuacién, y por tanto, define una sucesién encajada de conjuntos abiertos no vacfos, U; 2 Vy 2 Up 2 Vz 2...2 Up 2 Vp 2. los cuales forman una partida en la que B ha utilizado su estrategia ganadora. Por tanto x € 11 V, SS, y asf 1 W, SS. En consecuencia, K\S SUG \ Ww) y X\W, es un cerrado con interior vacio, es decir X\S es de primera categoria.m 2.14 Notacién. Sea (E, ll.ll) espacio de Banach, D¢E ablerto y convexo, : D —> R una funcién continua, convexa y e € Ey() aflx,)e) = { xtle: x? € aflx,) } af(x,)(e) es un subconjunto de R. @) o,(%) = Sup { x*(e): x" € aflx,) } o(x,) € R. 21S Lema. Sean x,€D y e,€E, lle =1, tales que af(x,)e,) ={ a). St sup ( o,(x,): llell = 1) 5 @ entonces af(x,) ¢ a ail. le, Demostracisn: Se tiene que o,(x,) s@ para todo e €E con tell 1. Por tanto, si x" © Af(x,) se cumple que Ix‘ll = @, Como ademas af(x,)(e,) = { a), se tiene entonces x*(e,) = a y, por tanto, Ix*ll = a. As{ x" € a dill. ll(e,)-m 2.16 Teorema (Preiss, Phelps y Namioka; 1990). Si E es un espacio de Banach que admite una norma suave entonces E es un espacio débil Asplund. Demostr: Sea D SE, abierto convexo y f: D —+ R continua y convexa, Veamos que af esté univaluada en un subconjunto Gs denso de D. Sea p, una norma equivalente suave en E, Se eligen sucesiones de nimeros positivos {e,) y {8,} tales que 1 > €1 > €2 > €g ves (G,) convergente a 0, w y By > Bo > Bye Y BS 3 y — om, (2) rte LR De Se aplica el juego de Banach-Mazur tomando, con la notacién del lema anterior, X = Dy S = (x € D: Af(x) es unitario}. Veamos que B tiene una estrategia ganadora. A elije un abierto no vacfo U, en D. A continuacién B elije otro abierto no vacio V,, V; © U, con af(V,) acotado. Se puede suponer —entonces. © que.—=—sf(U,)-—ses-_—Ssacotado © y= que sup { py(x*): x" € @f(U,) ) > 0, siendo pf la norma dual de pj, pues si este supremo es 0 resulta que f(x) = {0} para todo x € U,, es decir U, © S. Entonces B ganaria la partida eligiendo V, = Uy, pues MV, SU, SS. Sea el conjunto 31S, = & € E: px) =D, y se lama, 5, = sup (o,(x): (xe) € U, x S)) = sup { p(x"): x* © afd, x € U) > 0. Sea x € Uy para todo e < E con pyle) = 1 existen puntos de la forma x + te, t > 0 arbitrariamente pequefio, tales que o,(x) = o(x + te) y af(x + tele) es unitario. Esto se deduce de considerar la funcién convexa f(t) = f(x + te) en un entorno de 0, pues existe t > 0, arbitrariamente pequefio tal que @,(x) = d*f,(0) = att) = aft) o4(x + te). Por tanto, 5, = sup { o,(x): (xe) € U, x S, y Af(x)(e) es unitario). Se clige (xp) € Ux S, tal que f(x,y) es unitario oy @,,04) > (1 = eq)s;. Observemos que por ser 4f(x,)(e,) un conjunto unitario y af continua para la topologia w*, la funcién Le D> 2 x —> (x) a es continua en x;. En efecto, para © > se considera el conjunto w*-abierto W= G" © E% lye) - oe,(x))| < €). Como aftx,) ¢ W, existe V entorno de x, tal que af(V) © W y, por tanto, |o9,(x) - oe,(x;)| ¥ © para todo x € V. Existe pues r, €.N, 0 (1 - ey)5y, para todo x € Bx, 2r, La eleccién de B es entonces Vy = Boxy, rp. Se define q, para x ¢ E, q(x) = inf { px - Aep: Ae RY Y se considera la norma p, en E equivalente a py, ae el | Py + By 32