Universidad Nacional de Ingeniera

Sede: UNI-Norte
Asignatura:
Investigacin de Operaciones I
II Semestre 2008

Conjuntos Convexos

M.C. Ing. Julio Rito Vargas Avils Agosto 2008

 Conjuntos Convexos
Concepto de conjunto convexo:
Es un conjunto que contiene cualquier segmento que une dos
puntos del conjunto.
Ejemplos:
Conjunto A Conjunto B Conjunto C Conjunto D
 Conjuntos Convexos
Los conjuntos convexos son los conjuntos ms sencillos
que aparecen de forma natural en la programacin
matemtica. Un conjunto S es convexo si la lnea que
une dos puntos arbitrarios de ese conjunto, pertenece al
conjunto.

Teorema (teorema de representacin de conjuntos

convexos finitos). Si un conjunto convexo est acotado y
cerrado, cualquiera de sus puntos puede escribirse
como una combinacin convexa de sus puntos
extremos.
Conjuntos Convexos
 Conjuntos Convexos

Poliedro
Definicin (poliedro). Un poliedro es la interseccin de
un nmero finito de semiespacios:

Si S est acotado, S es un politopo.

La expresin muestra que el conjunto de todas las
soluciones factibles de un conjunto de desigualdades es
un poliedro.

El conjunto de restricciones de un PPL define un

poliedro.
 Conjuntos Convexos
Es claro grficamente que para cualquier par de puntos x, y, el
segmento que los une est totalmente contenido en dicho
conjunto.
Consideremos un ltimo ejemplo en el plano, sea el conjunto E

conjunto poligonal delimitado por los puntos ( (0,0),(5,0),(0,3),

(1,2),(0,0) )
 Conjuntos Convexos
Se puede ver que existen segmentos, como el indicado en la
figura que se sale del conjunto por lo que este conjunto no
sera CONVEXO.
 Conjuntos Convexos
As por ejemplo si consideramos el conjunto

Qu hacemos para dibujar este conjunto?

Usaremos Derive para graficar el conjunto de puntos.

Obsrvese que
es claramente
convexo pues
yx cualquier par
de puntos que
estn en S3; el
segmento que
los une est
claramente
contenido en
S3.
 Conjuntos Convexos
Qu sucedera si no podemos representar grficamente el conjunto, como
sucede con conjuntos de dimensin superior a 3?
En esos casos es necesario dar una definicin analtica de conjunto convexo,
para lo cual efectuamos la siguiente definicin:

CONJUNTO CONVEXO.
Diremos que un subconjunto S R n es convexo si para cualquier
par de puntos y para cualquier 0,1 se cumple que
est en S, es decir que si llamamos segmento de
extremos por
S es convexo si para cualesquiera ,
 Conjuntos Convexos
Ejemplo: Estudiar analticamente si el conjunto

siguiente es convexo. ( x, y ) R 2 ! y x
Para ello consideraremos dos vectores de S3
( x1 , y1 ), ( x 2 , y2 ) Habr que comprobar si
b( x1 , y1 ) (1 b)( x 2 , y 2 ) S 3 para cualquier
valor b 0,1 Es decir, tendremos que probar si
( x 2 y2 ) (1 b) x 2 (1 b) y 2
como bx1 (1 b) x 2 by1 (1 b) y2
as mismo ( x1 y1 ) bx1 by1
sumando ambas expresiones la desigualdad, por
tanto S3 es un conjunto convexo.
( x 2 y2 ) (1 b) x 2 (1 b) y2
Interseccin de conjuntos convexos
Conjunto Convexo
Conjunto Convexo
 Ejemplos
Usaremos el Software matemtico Derive
en su versin 6 para ejemplificar grfica y
analticamente si un conjunto es convexo.