Convexidad

Se revn a continuacin las propiedades ms importantes de los conjuntos convexos y

de las funciones convexas, tales conjuntos y funciones juegan un rol muy importante
en la optimizacin por dos motivos:
Cuando se tienen funciones y conjuntos convexos se puede identificar con
seguridad los llamados ptimos globales.
Muchas operaciones y transformaciones conservan la convexidad, por lo que se
puede construir funciones y conjuntos convexos ms complicados a partir de los ms
sencillos.
Definicin: Combinacin Convexa.
Dados (x,y) e 9n, una combinacin convexa de ellos es cualquier punto de la forma:
z = o x + (1o) y
con o e 9 | 0 s o s 1.
Notas:
Si o=0 y o=1, se dice que z es una combinacin convexa estricta (o propia).
La interpretacin geomtrica es que z es un punto del segmento de recta
determinado por (x,y).
Definicin: Conjunto Convexo.
S c 9n es un conjunto convexo si
[ox + (1 o) y] eS
(x,y) eS, o e 9: 0 s o s 1
Es decir que S es un conjunto convexo si contiene a todos los segmentos de recta que
se pueden formar con los puntos que le pertenecen.
Definicin: Funcin Convexa (en un conjunto convexo).
Sea S _ 9 n, un conjunto convexo.
La funcin f: S 9 es convexa en S si:
f [ox + (1o) y] s o f (x) + (1o) f (y)
(x,y) e S, s o e 9: 0 s o s 1
Si S = 9n, se dice que f es convexa.
Composicin de conjuntos y funciones convexas
La importancia de las funciones y conjuntos convexos radica en que las condiciones
necesarias para que una solucin sea un ptimo local se convierten en condiciones
suficientes para que sea ptimo global, cuando las funciones y conjuntos en cuestin
son convexos.
Sean S y T conjuntos convexos, o e 9 y f una funcin convexa. Entonces los
siguientes conjuntos tambin son convexos:
i oS = {ox| x e S} iii S +T = {x+y| x e S, y e T} v { (x,) | f(x) s }
ii S T iv {x| f(x) s o}
Sean f y g funciones convexas en un conjunto convexo S, y o > 0.
Entonces las siguientes funciones tambin son convexas en S.
i h1(x) = f(x) + g(x)
ii h2(x) = o f(x)
iii h3(x) = max{f(x), g(x)}
Sean fi : Ii 9, (i = 1,...,n) funciones convexas en el intervalo Ii _ 9
Funciones convexas reales, de una sola variable
Para poder utilizar los resultados anteriormente expuestos es necesario poder
reconocer las funciones convexas. Por tal motivo, en primer lugar se analizarn las
funciones de una sola variable.
Una funcin f : S 9 es convexa en el conjunto convexo S, sii:
f((1) x + y) > (1) f(x) + f(y)
x, y e S, con s 0 o bien > 1.
Una funcin diferenciable f : I 9 con I _ 9 es convexa sii:
f(y) > f(x) + f(x) (yx)
x,y e I
Una funcin diferenciable f en un intervalo I _ 9 es convexa sii f 'es no decreciente.
Una funcin f diferenciable hasta el segundo orden en un intervalo I _ 9 es convexa
sii f '' > 0 en I.