Tema

Versin Geomtrica del Teorema de Hahn-Banach

En este Tema abordamos la interpretacin geomtrica del Teorema de Hahn-Banach, que consistir en encontrar condiciones sucientes para separar dos subconjuntos de un espacio vectorial. Empezaremos aclarando en qu consiste esta separacin y qu tipo de resultados podemos esperar. Obtendremos un teorema general de separacin de conjuntos convexos en espacios vectoriales, que es equivalente a la versin analtica del Teorema de Hahn-Banach. Deduciremos consecuencias interesantes para EVT y para espacios normados.

7.1.

Motivacin

En trminos muy genricos podramos decir que el estudio de la dualidad pretende obtener informacin sobre un espacio a partir de su dual. Hemos visto ya algunos ejemplos: dado un espacio normado X , y puntos x, y X con x = y, existe f X tal que f (x) = f (y) ; podemos decir que el funcional f separa (distingue) x de y, o tambin que X separa los puntos de X . Para poner un ejemplo igualmente conocido pero menos evidente, dado un subespacio cerrado M de X y un punto x0 X \ M , sabemos que existe f X tal que f (M ) = {0} mientras que f (x0 ) = 0 ; tambin en este caso, el funcional f separa el punto x0 del subespacio M . Planteemos la nocin de separacin de una forma muy general. Sea X un espacio vectorial real en el que no consideramos norma o topologa alguna. Dados dos subconjuntos A, B X , no vacos y disjuntos, podemos preguntarnos si los funcionales lineales en X son capaces de separar o distinguir A de B, es decir si existe un funcional lineal (no nulo) f en X tal que /. f (A) f (B) = 0 Considerando el caso particular X = R2 , el caso no trivial ms sencillo posible, concretamos mejor nuestra pregunta. En efecto, a poco que A y B sean conexos, que no es mucho pedir, la continuidad de f hace que los conjuntos f (A) y f (B) sean intervalos en R y slo podrn ser disjuntos cuando se tenga f (a) < f (b) para cualesquiera a A y b B, o bien la desigualdad contraria, que se convierte en la misma cambiando f por f . Deducimos que sup f (A) 62 nf f (B). (1)

7. Versin Geomtrica del Teorema de Hahn-Banach

63

Aunque el recproco no siempre es cierto, en principio podemos no insistir en que los intervalos sean disjuntos y conformarnos con la ltima desigualdad, exigiendo que f = 0 para evitar trivialidades. Tomando de forma que sup f (A) nf f (B), la desigualdad (1) equivale a f (a) f (b) (a A, b B). (2)

La interpretacin geomtrica es clara: la recta de ecuacin f (x) = deja el conjunto A a un lado y el conjunto B al otro. Podemos entender que el funcional f = 0 separa los conjuntos A y B cuando se cumple (1), equivalentemente, cuando existe R vericando (2). Buscamos entonces condiciones sobre los conjuntos A y B que nos permitan separarlos. Con ejemplos muy sencillos observamos que debemos suponer que A y B son convexos. Adems, esta hiptesis no nos hace perder generalidad, siempre que separemos dos conjuntos estaremos separando dos = {x R2 : f (x) } conjuntos convexos ms grandes. En efecto, si se verica (2), tomando A 2 yB = {x R : f (x) }, es claro que f separa los conjuntos convexos A , ms grandes yB respectivamente que A y B. Volviendo al caso general, si A y B son dos subconjuntos convexos, no vacos y disjuntos de un espacio vectorial real X , nos preguntamos si podemos separar A y B, es decir, si existe un funcional lineal f = 0 en X vericando (1), o equivalentemente (2) para algn R. La interpretacin geomtrica sigue siendo muy clara: el hiperplano (afn) de ecuacin f (x) = deja el conjunto A a un lado y el conjunto B al otro. Antes de discutir la respuesta a la pregunta recin planteada, conviene considerar tambin el caso complejo, que no ofrece dicultad. Si X es un espacio vectorial complejo, siempre podemos considerar el espacio real subyacente XR . Puesto que la nocin de convexidad slo involucra el producto por escalares reales, podemos ver A y B como subconjuntos convexos de XR . Si conseguimos separarlos en XR , puesto que los funcionales lineales en XR no son ms que las partes reales de los funcionales lineales en X , tendremos un funcional lineal f = 0 en X vericando que sup Re f (A) nf Re f (B), o equivalentemente, Re f (a) Re f (b) (a A, b B),

para algn R. La interpretacin geomtrica es tan sugestiva o ms que en el caso real: podemos pensar que el funcional f : X C nos da una imagen de X en el plano, con los conjuntos f (A) y f (B) a distinto lado de una recta vertical. Ntese que la existencia de un tal f no es evidente ni an en el caso X = C. En resumen, queda claro que el caso complejo de nuestro problema tiene perfecto sentido, pero su discusin se reduce al caso real. Pues bien, vamos a ver con un ejemplo que la respuesta a la pregunta planteada puede ser negativa: no siempre podemos separar dos conjuntos convexos disjuntos. En efecto, consideremos el espacio vectorial X = R(N) de las sucesiones casi-nulas de nmeros reales y sea A el subconjunto formado por las sucesiones cuyo ltimo trmino no nulo es estrictamente positivo. Usando la sucesin de vectores unidad {en }, el conjunto A tiene la siguiente descripcin: A=

k=1

k ek : N N, 1, 2, . . . , N R, N > 0

El otro conjunto convexo es simplemente B = {0} y vamos a comprobar que es imposible separar A y B , equivalentemente, todo funcional lineal no nulo f en X toma en A valores

7. Versin Geomtrica del Teorema de Hahn-Banach

64

estrictamente positivos y estrictamente negativos. En efecto, puesto que {en } es una base algebraica de X , por ser f = 0 existir un n N tal que f (en ) = 0 y, cambiando f por f si fuera necesario, podemos suponer que f (en ) > 0. Entonces, tomando > 0 sucientemente grande, tenemos f (en+1 ) f (en ) < 0 y hemos encontrado dos puntos de A , concretamente en y en + en+1 , en los que f toma valores de distinto signo. Resaltemos que el espacio vectorial X del contraejemplo anterior tiene dimensin innita. Veremos que en dimensin nita la pregunta planteada tiene respuesta armativa. Por otra parte, la versin analtica del Teorema de Hahn-Banach nos va a dar una condicin suciente para separar dos subconjuntos convexos no vacos y disjuntos de un espacio vectorial cualquiera, con una hiptesis poco restrictiva sobre uno de ellos.

7.2.

Separacin en espacios vectoriales

Para comprender mejor la hiptesis que nos va a permitir obtener un teorema de separacin de conjuntos convexos, introducimos el siguiente concepto, que se ha usado implcitamente en algn razonamiento anterior. Se dice que un subconjunto U de un espacio vectorial X es absorbente cuando para cada vector x X existe un nmero real positivo tal que x U , es decir, cuando R+ U = X . Es claro que entonces 0 U y adems U debe contener un punto en cada direccin del espacio, podemos decir que 0 est rodeado por puntos de U . Si U es un conjunto convexo y absorbente, para cada x X tenemos un > 0 tal que x/ U , con lo que el segmento de extremos 0 y x/ estar contenido en U , luego U contiene un segmento no trivial en todas las direcciones del espacio X , si bien la longitud de dicho segmento depende de la direccin. Esto nos lleva a pensar que 0 es una especie de punto interior de U . Por ejemplo, tomando X = R2 , es claro que cualquier entorno de cero es absorbente, y se ver que lo mismo ocurre en cualquier EVT. Sin embargo, es fcil dar un ejemplo de conjunto absorbente en R2 que no es entorno de cero. Podemos pensar que el hecho de que un subconjunto convexo U de un espacio vectorial X sea absorbente signica que 0 es un punto interior a U en un sentido algebraico bastante dbil. Naturalmente la misma idea se aplica salvo traslacin a cualquier punto del espacio: si A es un conjunto convexo y a0 A, el hecho de que A a0 sea absorbente signica que a0 es un punto interior de A en el mismo sentido algebraico. Podemos ya enunciar el principal resultado de este tema, que es equivalente, como se ver, a la versin analtica del Teorema de Hahn-Banach. Teorema (Separacin de convexos en espacios vectoriales). Sea X un espacio vectorial y A, B subconjuntos no vacos, convexos y disjuntos de X. Supongamos que existe un punto a0 A tal que A a0 es absorbente. Entonces existe un funcional lineal no nulo f en X que separa A y B, es decir, sup Re f (A) nf Re f (B). Demostracin. Aclaremos, en primer lugar, que basta considerar el caso real, en el caso complejo se usa el espacio real subyacente como ya hemos comentado. Empezamos con una observacin sencilla: separar A y B es lo mismo que separar A B / . As / A B, ya que A B = 0 y {0}, siendo claro adems que A B es convexo y que 0

7. Versin Geomtrica del Teorema de Hahn-Banach

65

que separar dos conjuntos convexos es lo mismo que separar un conjunto convexo de un punto. En nuestro caso hacemos adems una traslacin del problema. Concretamente, junto con el punto a0 A que por hiptesis hace que A a0 sea absorbente, jamos un b0 B arbitrario y tomamos U = (A a0 ) (B b0 ). Es claro que U es un subconjunto convexo de X y tambin / nos asegura es absorbente, ya que A a0 U . Escribiendo x0 = b0 a0 , la condicin A B = 0 que x0 / U y a poco que se piense, nuestro problema es separar U del punto x0 . Para entender mejor el razonamiento que sigue, pensemos en un caso conocido. Imaginemos que U fuese la bola unidad abierta de un espacio normado X . Entonces sabemos que existe f X tal que f = 1 y f (x0 ) = x0 1, con lo que es evidente que f separa U del punto x0 . La existencia de f se obtuvo de la versin analtica del Teorema de Hahn-Banach usando la norma del espacio. La clave para resolver nuestro caso mucho ms general consiste en darse cuenta de que la norma del espacio X est determinada por la bola unidad U mediante la siguiente igualdad de comprobacin evidente: x = nf{ > 0 : x U } para todo x X . El segundo miembro de esta igualdad tiene sentido en cualquier espacio vectorial X tan pronto como el conjunto U sea absorbente y dene una funcin de X en R que en general no ser ya una norma en X , pero tendr las propiedades que necesitamos para aplicar la versin analtica del Teorema de Hahn-Banach. Volvamos pues a nuestra demostracin. Usando que U es absorbente denimos una funcin : X R de la siguiente forma: (x) = nf{ > 0 : x U } (x X ).

Es evidente que (x) 1 para todo x U . Recordando que x0 / U deducimos que (x0 ) 1, ya que si fuese (x0 ) < 1 tendramos x0 U para algn con 0 < < 1, y usando que U es convexo con 0 U obtendramos x0 U U + (1 )U = U . Vamos a comprobar que verica las condiciones que nos permiten usarla en la versin analtica del Teorema de Hahn-Banach. La igualdad (r x) = r (x) (r R+ , x X )

se deduce claramente de la denicin de . La desigualdad triangular se deduce de la convexidad de U . En efecto, dados x, y X , tomamos , > 0 tales que x U , y U , y obtenemos: x + y U + U = ( + ) U+ U = ( + )U , + + +

donde, para la ltima igualdad hemos usado que U es convexo. Deducimos que (x + y) y la arbitrariedad de y nos permite tomar nmos para deducir que (x + y) para cualesquiera x, y X , como se quera. (x) + (y),

A partir de aqu todo es conocido, consideramos el subespacio R x0 de X y el funcional lineal g denido en dicho subespacio por g( x0 ) = (x0 ) para todo R. Observamos que g est dominado por , ya que para > 0 tenemos g( x0 ) = ( x0 ), mientras que para

7. Versin Geomtrica del Teorema de Hahn-Banach

66

0 ser g( x0 ) 0 ( x0 ). Aplicando la versin analtica del Teorema de Hahn-Banach tenemos un funcional lineal f en X que extiende a g y sigue dominado por . Vamos a comprobar que f es el funcional que buscamos. En efecto, por una parte tenemos f (x0 ) = (x0 ) 1, en particular f = 0, mientras que para cualquier x U ser f (x) (x) 1. Por tanto, f separa el conjunto U del punto x0 . Finalmente, para cualesquiera a A y b B, usando que a b + x0 = (a a0 ) (b b0 ) U tenemos f (a) f (b) + f (x0 ) 1 f (x0 ), de donde f (a) f (b) y f separa los conjuntos A y B, como queramos demostrar.

7.3.

Equivalencia entre las versiones analtica y geomtrica

Ha quedado claro que el teorema de separacin recin demostrado es consecuencia directa de la versin analtica del Teorema de Hahn-Banach. Recprocamente, vamos a ver ahora cmo dicha versin analtica puede deducirse sin dicultad del teorema de separacin, con lo que ambos teoremas son dos formulaciones equivalentes de un mismo principio. Extender funcionales conservando un cierto tipo de dominacin resulta pues equivalente a separar ciertos conjuntos convexos. De hecho el teorema de separacin nos permitir obtener una versin ligeramente fortalecida de la versin analtica, pues en lugar de la funcin que en ella aparece, que es evidentemente una funcin convexa, podemos usar cualquier funcin convexa. En conjunto tendremos por tanto tres formulaciones equivalentes del mismo principio. Teorema (Nueva versin analtica del Teorema de Hahn-Banach). Sea X un espacio vectorial y : X R una funcin convexa. Sea M un subespacio de X y g un funcional lineal en M vericando que Re g(m) (m) para todo m M. Entonces existe un funcional lineal f en X que extiende a g y sigue dominado por , es decir, f (m) = g(m) para todo m M y Re f (x) (x) para todo x X. Veamos cmo puede deducirse directamente este enunciado del teorema de separacin. En primer lugar, como siempre viene ocurriendo, basta considerar el caso real. Consideramos el espacio vectorial producto Y = X R , en el que vamos a aplicar el teorema de separacin a los siguientes subconjuntos: A = {(x, t ) X R : (x) < t } ; B = {(m, g(m)) : m M }. Es evidente que A y B son subconjuntos convexos no vacos de Y , A es convexo por ser la epigrca de la funcin convexa y B es de hecho un subespacio de Y , la grca de g. La / y, para poder aplicar el teorema de sepahiptesis de dominacin hace que se tenga A B = 0 racin, comprobamos que cualquier punto a0 = (x0 , t0 ) A verica que A a0 es absorbente (podramos decir que el conjunto A es algebraicamente abierto). En efecto, a poco que se piense, debemos probar que para cualquier (x, t ) Y se puede encontrar un r > 0 tal que (rx + x0 , rt + t0 ) A, ya que entonces, tomando = 1/r se tendr (x, t ) (A a0 ). Queremos por tanto un r > 0 que verique (rx + x0 ) < rt + t0 . Ahora bien, tomando de entrada 0 < r < 1 y usando la convexidad de tenemos: (rx + x0 ) rt t0 = r(x + x0 ) + (1 r)x0 rt t0 r (x + x0 ) + (1 r) (x0 ) rt t0 = r (x + x0 ) t t0 + (1 r) ((x0 ) t0 ).

7. Versin Geomtrica del Teorema de Hahn-Banach

67

Puesto que el ltimo miembro de la desigualdad anterior tiende a (x0 ) t0 cuando r tiende a cero, y sabemos que (x0 ) < t0 (porque (x0 , t0 ) A), para conseguir (rx + x0 ) < rt + t0 basta tomar r > 0 sucientemente pequeo. As pues, podemos aplicar el teorema de separacin para obtener un funcional lineal no nulo en X R que separa los conjuntos A y B . Dicho funcional tendr la forma (x, t ) h(x) + t donde h es un funcional lineal en X y R, no pudiendo ocurrir simultneamente que h = 0 y = 0. La separacin de A y B se traduce entonces en que existe un R tal que h(x) + t h(m) + g(m) (x, t ) A, m M ). ()

La segunda desigualdad nos dice que el funcional lineal h + g est minorado en M luego se deber tener h(m) + g(m) = 0 (m M ). Si fuese = 0 la primera desigualdad en () nos dira que h est mayorado en X , es decir, h = 0, y sabemos que h y no pueden anularse simultneamente, as que = 0 y tomando f = h/ tenemos un funcional lineal f en X que claramente extiende a g. Slo queda ver que f est dominado por pero esto se comprueba sin dicultad. En efecto, tomando en () m = 0 tenemos h(x) + t 0 para todo (x, t ) A. Haciendo primero x = 0 tenemos t 0 siempre que sea t > (0), luego < 0 . Dividiendo entonces la ltima desigualdad por obtenemos que f (x) t siempre que sea t > (x), de donde f (x) (x) para todo x X , como queramos comprobar. En resumen, queda de maniesto la equivalencia entre versiones analticas del Teorema de Hahn-Banach (teoremas de extensin) y versiones geomtricas (teoremas de separacin). No vamos a extendernos ms en esta direccin, pero conviene mencionar que existen otras varias versiones del Teorema, aparentemente no relacionadas con las que aqu hemos presentado, pero en realidad tambin equivalentes, que se aplican a situaciones muy diversas.

7.4.

Separacin en EVT

Vamos ahora a obtener consecuencias y aplicaciones importantes del teorema general de separacin de conjuntos convexos, empezando por considerar el caso ms natural en el que disponemos de una topologa razonable en nuestro espacio vectorial. Sea pues X un EVT y empecemos observando, como ya se dijo, que todo entorno de cero U en X es un conjunto absorbente. Una forma rpida de ver esto es considerar, para cada x X , la sucesin {x/n} que, por la continuidad del producto por escalares, converge a cero, luego para n N sucientemente grande se tendr que x nU y U es absorbente. Si ahora A es un subconjunto de X y a0 es un punto interior de A, entonces A a0 es absorbente por ser entorno de cero. As pues, la hiptesis del teorema de separacin queda asegurada suponiendo que uno de los conjuntos convexos que pretendemos separar tiene interior no vaco. Ya se coment que esta hiptesis es un poco ms restrictiva de lo necesario, pues un conjunto absorbente no tiene por qu ser entorno de cero, pero a cambio de fortalecer ligeramente esta hiptesis obtenemos importantes mejoras en las conclusiones. Denotamos por int (A) al interior de un conjunto A en cualquier espacio topolgico.

7. Versin Geomtrica del Teorema de Hahn-Banach

68

Corolario (Separacin de convexos en EVT). Sea X un EVT, A y B subconjuntos convexos / , int (A) = 0 / y int (A) B = 0 / . Entonces existen un funcional de X, y supongamos que B = 0 lineal continuo f en X y un R tales que: Re f (a) < Como consecuencia se tiene tambin Re f (a) Re f (b) (a A, b B). Re f (b) (a int (A), b B).

Comparemos este enunciado con el teorema general de separacin. En presencia de una topologa razonable en X , lo cual no supone restriccin alguna, a cambio de fortalecer un poco / , debilitamos la hiptesis de que A y B sean disla hiptesis sobre A exigiendo que int (A) = 0 / . Adems, conseguimos separar A y B mediante un juntos, exigiendo solamente int(A) B = 0 funcional lineal continuo, e incluso separamos estrictamente int (A) y B, ya que los conjuntos f (int (A)) y f (B) son disjuntos. La demostracin del corolario anterior se reduce a aplicar el teorema general de separacin, junto con algunas observaciones bastante elementales sobre subconjuntos convexos de un EVT, que tienen inters en s mismas. En primer lugar, es muy fcil comprobar que, en cualquier EVT, el interior de un conjunto convexo tambin es convexo. En efecto, si x, y son puntos interiores de un convexo A, existen entornos de cero U y V tales que (x + U ) (y + V ) A, y usando U V no hay inconveniente en tomar V = U . Pero entonces, para cualquier t [0, 1] tenemos (1 t )x + ty + U (1 t )(x + U ) + t (y + U ) (1 t )A + tA A lo que demuestra que (1 t )x + ty es un punto interior de A y por tanto int (A) es convexo. Volviendo a nuestro corolario, la observacin anterior nos permite aplicar el teorema de separacin a los conjuntos (convexos, no vacos, disjuntos) int (A) y B. Obviamente, cualquier punto a0 int (A) verica que int (A) a0 es absorbente. Obtenemos un funcional lineal no nulo f en X que separa dichos conjuntos y tenemos pues un R que verica Re f (a) Re f (b) (a int (A), b B),

Queremos que la primera desigualdad sea siempre estricta, pero esto es consecuencia de algo conocido: en cualquier EVT, un funcional lineal no nulo siempre es una aplicacin abierta. Por si estuviramos en el caso complejo, es claro que la funcin parte real (de C en R) tambin es abierta. As que, en cualquier caso, Re f (int(A)) es un subconjunto abierto de R que no puede tener mximo, luego se deber tener Re f (a) < para todo a int (A). Podemos ahora comprobar sin dicultad que f es continuo. El hiperplano (afn, real) de ecuacin Re f (x) = no es denso en X , ya que tiene interseccin vaca con el conjunto abierto no vaco int (A). Salvo una traslacin, deducimos que ker (Re f ) no es denso en X , luego es cerrado y Re f es continuo. En el caso complejo, se comprueba sin dicultad que la continuidad de Re f implica la de f , sin ms que recordar la forma en que f queda determinado por Re f . Queda probar que f separa tambin los conjuntos A y B, pues hasta ahora slo sabemos que separa int (A) y B. La desigualdad Re f (a) < , que sabemos es vlida para todo a int(A),

7. Versin Geomtrica del Teorema de Hahn-Banach

69

junto con la continuidad de f , implica evidentemente que Re f (x) para todo x int (A). La demostracin se concluye viendo que A int (A), y esta es la ltima observacin elemental que necesitamos: En cualquier EVT, un conjunto convexo con interior no vaco est contenido en el cierre de su interior. En efecto, jados a int (A) y x A, tomamos un entorno de cero U tal que a + U A y para 0 t < 1 tenemos (1 t )a + tx + (1 t )U = (1 t )(a + U ) + tx A. Como (1 t )U es entorno de cero (por serlo U ), deducimos que (1 t )a + tx int(A) para 0 t < 1. Pero entonces, x = l m[(1 t )a + tx] int (A).
t 1

7.5.

Funcionales y puntos de soporte

Vamos a considerar un caso particular del ltimo corolario cuya interpretacin geomtrica es especialmente interesante. Sea X un EVT y A un subconjunto convexo de X con interior no vaco. Dado un punto x0 en la frontera de A, podemos aplicar el corolario anterior tomando B = {x0 } y obtenemos un funcional lineal continuo f en X que verica: Re f (a) Re f (x0 ) (a A).

La interpretacin geomtrica es muy clara: el hiperplano de ecuacin Re f (x) = Re f (x0 ) pasa por el punto x0 y deja el conjunto A a un lado. Casi tendramos la tentacin de decir que dicho hiperplano es tangente al conjunto A en el punto x0 , pero esa terminologa nos llevara a cuestiones de diferenciabilidad que no estamos considerando. Decimos, y esto est tambin muy de acuerdo con la intuicin, que dicho hiperplano soporta al conjunto A en el punto x0 . Consecuentemente decimos que f es un funcional de soporte del conjunto A o tambin que x0 es un punto de soporte de A. La relacin con problemas de optimizacin resulta evidente: si A es cerrado, y por tanto x0 A, f es un funcional de soporte de A cuando la funcin Re f alcanza su mximo en A. Enunciamos la informacin obtenida: Corolario (Abundancia de puntos de soporte). Si X es un EVT y A un subconjunto convexo de X con interior no vaco, todo punto de la frontera de A es un punto de soporte de A. Un caso particular del corolario anterior era ya conocido. Si X es un espacio normado, podemos tomar como A la bola unidad de X (abierta o cerrada da igual) y lgicamente x0 X con x0 = 1. Sabemos hace tiempo que existe f X tal que f = 1 = f (x0 ) y es evidente que f es entonces un funcional de soporte de la bola unidad en el punto x0 .

7.6.

Separacin en espacios normados

Cuando X es un espacio normado, la separacin entre subconjuntos convexos de X se puede cuanticar muy bien. Supongamos que dos subconjuntos convexos no vacos A y B de X , no slo son disjuntos, sino que estn a distancia positiva, es decir: d (A, B) = nf{ a b : a A, b B} = > 0.

7. Versin Geomtrica del Teorema de Hahn-Banach

70

Para evitar un conicto de notacin, llamemos U a la bola abierta unidad de X . Podemos entonces separar los conjuntos A + U y B, que claramente son convexos no vacos disjuntos y el primero de ellos tiene interior no vaco. Obtenemos f X \ {0} vericando que sup Re f (A + U ) nf Re f (B). Esta desigualdad no se altera si la dividimos por f , as que podemos suponer que f = 1, pero entonces es inmediato que Re f (U ) =] 1, 1[ con lo que sup Re f (A + U ) = sup Re f (A) + . Poniendo = sup Re f (A) hemos demostrado lo siguiente: Corolario (Separacin fuerte en espacios normados). Sean A y B subconjuntos convexos no vacos de un espacio normado X y supongamos que d (A, B) = > 0. Entonces existen f X , con f = 1 y R tales que Re f (a) + Re f (b) (a A, b B).

Se dice que el funcional f separa fuertemente los conjuntos A y B. Obsrvese que tenemos dos hiperplanos, como siempre reales y anes, los de ecuaciones Re f (x) = y Re f (x) = + , tales que el conjunto A queda a un lado de ambos y B al otro. Adems, la distancia entre tales hiperplanos es , obviamente la mxima posible. Recordemos un caso particular del corolario anterior que ya conocamos: si como conjunto A tomamos un subespacio M del espacio normado X y B = {x0 } con d (x0 , M ) > 0, de la versin analtica del Teorema de Hahn-Banach habamos ya obtenido directamente la existencia de un f X tal que f (M ) = {0} y f (x0 ) = d (x0 , M ) . El corolario anterior es claramente un resultado mucho ms general. Condiciones naturales para aplicar el corolario anterior se presentan cuando uno de los con/ . La funcin continua juntos convexos, pongamos A, es compacto, y B es cerrado con A B = 0 x d (x, B) alcanza un valor mnimo en el compacto A, luego d (A, B) > 0.

7.7.

Separacin en espacios de dimensin nita

Concluimos este tema probando que en dimensin nita no es necesaria ninguna hiptesis restrictiva para separar conjuntos convexos disjuntos. Empezamos con una observacin que debe ser conocida. Si C es un conjunto convexo en un espacio vectorial, entonces C contiene a cualquier combinacin convexa de sus elementos, es decir, para n N, x1 , x2 , . . . , xn C y cualesquiera nmeros reales no negativos 1 , 2 , . . . , n n tales que n k=1 k = 1, se tiene k=1 k xk C . En el caso n = 2 esto es precisamente la denicin de conjunto convexo, el caso general se comprueba fcilmente por induccin. Si 0 C la n condicin n 1. k=1 k = 1 puede evidentemente sustituirse por k=1 k La observacin anterior nos permite probar que si U es un subconjunto convexo de RN , con 0 U , y el subespacio engendrado por U es todo RN , entonces U tiene interior no vaco. En efecto, U contendr una base algebraica {u1 , u2 , . . . , uN } y por tanto contendr al conjunto =

k =1

k uk : 1, 2, . . . , N R+,

k=1

k < 1

7. Versin Geomtrica del Teorema de Hahn-Banach

71

Bastar entonces comprobar que es abierto. En efecto, para cada x RN y k = 1, 2, . . . , N sea fk (x) la k-sima coordenada de x en la base {u1 , u2 , . . . , uN } . Entonces fk es un funcional lineal (automticamente continuo) en RN y el hecho de que es un conjunto abierto se deduce de la igualdad: = x R : f1 (x), f2 (x), . . . , fN (x) > 0 ; fk (x) < 1 .
k=1 N N

La condicin 0 U no es restrictiva, salvo una traslacin lo que obtenemos es que un subconjunto convexo de RN con interior vaco ha de estar contenido en un subespacio afn propio de RN , algo que intuitivamente era fcil adivinar. Podemos ya enunciar: Corolario (Separacin de convexos en dimensin nita). Sean A y B subconjuntos no vacos, convexos y disjuntos de RN . Entonces existe un funcional lineal en RN que separa A y B. Ms concretamente, existen 1 , 2 , . . . , N R, y tambin R, tales que

k=1

k ak

k=1

k bk ,

para cualesquiera (a1 , a2 , . . . , aN ) A y (b1 , b2 , . . . , bN ) B. Al igual que para el teorema general de separacin, empezamos por reducir el problema a separar un conjunto convexo de un punto que no le pertenezca. Ms concretamente, jamos a0 A, b0 B y tomamos U = (A a0 ) (B b0 ), un subconjunto convexo no vaco de RN tal que 0 U , y nuestro problema es separar U del punto x0 = b0 a0 que no pertenece a U por ser A y B disjuntos. A partir de aqu la demostracin se organiza por induccin sobre N . Puesto que el resultado es evidente en dimensin 1, lo suponemos cierto para dimensin N 1 y lo demostramos para N . Si U tiene interior no vaco, aplicamos, por ejemplo, el teorema de separacin de conjuntos convexos en EVT. Si U tiene interior vaco, las observaciones hechas anteriormente nos aseguran que U est contenido en un subespacio propio de RN , en particular existe un funcional lineal no nulo h en RN tal que U ker h. Caben entonces dos posibilidades, segn sea el valor de h(x0 ). Si h(x0 ) = 0, entonces el propio funcional h separa a U del punto x0 . Si h(x0 ) = 0 entonces U y x0 estn contenidos en ker h que es un espacio vectorial de dimensin N 1. La hiptesis de induccin nos da un funcional lineal en ker h que separa U y x0 . Cualquier extensin lineal de dicho funcional a todo RN tambin separa evidentemente a U de x0 .