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.

yx

Obsrvese que
es claramente
convexo pues
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.