Teorema de separaci on de Minkowsky (1910)

Dados dos convexos disjuntos A, B en E de dimensi on nita, entonces existe : E R lineal no nula tal que (x) (y ) x A, y B Demostraci on: Dotamos a E de una norma euclidiana para que tenga estructura de espacio de Hilbert y poder usar el teorema de Tukey. Como E es de dimensi on nita (isomorfo a Rn ) sabemos que contiene n un conjunto numerable que es denso en E (isomorfo a Q ). Denotemos {An }nN y {Bn }nN dos conjuntos numerables en A y B que son densos en A y B. Con esto construimos n N los conjuntos An = co{a1 , . . . , an } Bn = co{b1 , . . . , bn } Denici on: Dado un conjunto A en un e.v. E , se dene coA como
k k

coA =
i=1

i ai : ai A, i 0,
i=1

i = 1, k N

es decir el conjunto de todas las combinaciones lineales convexas de elementos de A. Se demuestra que coA es la intersecci on de todos los conjuntos convexos que contienen a A, por lo que se dice que es el menor convexo que contiene al conjunto A. Contin ua la demostraci on. Claramente An y Bn son dos convexos cerrados y acotados (por lo tanto compactos) disjuntos. Luego, podemos usar el teorema de Tukey con An y Bn para n jo.
n (x) n

: E R lineal tal que

n (y )

x An , y Bn

(1)

Evidentemente, sin perder generalidad, podemos suponer n = 1 y obtenemos as una sucesi on acotada en un espacio de Hilbert de dimensi on nita. Sabemos entonces que np . Debemos mostrar ahora que (x) (y ) x A, y B . Primero veamos que (ak ) (bj ) k, j N. Para esto jamos en (1) x = ak , y = bj (k, j jos), entonces
np (ak )

np (bj )

np m ax{k, j }

Tomando l mite, se obtiene lo que se quer a. Proposici on: Si D es un conjunto denso en una parte A de un espacio m etrico E y f : E R es una funci on continua tal que f (x) x D, entonces f (x) x A

Demostraci on: Sea x A. > 0, > 0 tal que |f (y ) f (x)| y tal que y x . Como D es denso en A, y D tal que y x |f ( y ) f (x)| f (x) f ( y) + + Luego, como esto se cumple para todo , se concluye. Usando la proposici on, jamos bj y tenemos que (x) (bj ) x A, j N. Fijando ahora x A, se tiene que (x) (y ) x A, y B .

Veamos que la hip otesis de dimensi on nita es necesaria. Consideremos el e.v. E de las sucesiones reales con un n umero nito de t erminos no nulos. Consideremos ahora el conjunto A = {(xn ) E \ {0} : xk = 0 xj = 0 j > k xk > 0} es decir el conjunto de todas las sucesiones no nulas en E cuyo u ltimo t ermino no nulo es positivo. Evidentemente A es convexo. Veamos que no es posible separar A del conjunto {0} (claramente 0 / A). Supongamos que existe : E R lineal no nula tal que c (x) x A para alguna constante c. Sea (xn ) A y sea k tal que xn = 0 n k . Entonces, (xn ) + tek A t > 0 (con ek el k - esimo elemento de la base can onica de E ) y se tendr a c ((xn )) + t(ek ) Tomando l mite cuando t 0, se obtiene que |((xn ))| c
,

Para entender mejor el contraejemplo, vericar que A es denso en E para la norma que no se pueda separar A de {0}.

lo que explica