Conjuntos Convexos

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

Universidad Nacional de Ingeniera
Sede: UNI-Norte
Asignatura:
Investigacin de Operaciones I
II Semestre 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
cualquier par
de puntos que
estn en S3; el
segmento que
los une est
claramente
contenido en
S3.
x y >
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 es convexo si para cualquier
par de puntos y para cualquier se cumple
que est en S, es decir que si llamamos segmento
de extremos por
S es convexo si para cualesquiera ,


n
R S _
| | 1 , 0 e
Conjuntos Convexos
Ejemplo: Estudiar analticamente si el conjunto
siguiente es convexo.
Para ello consideraremos dos vectores de S
3
Habr que comprobar si
para cualquier
valor Es decir, tendremos que probar si

como
as mismo
sumando ambas expresiones la desigualdad, por
tanto S
3
es un conjunto convexo.
} { x y R y x s e ! ) , (
2
) , ( ), , (
2 2 1 1
y x y x
3 2 2 1 1
) , )( 1 ( ) , ( S y x b y x b e +
| | 1 , 0 e b
2 1 2 1
) 1 ( ) 1 ( y b by x b bx + > +
1 1 1 1
) ( by bx y x > >
2 2 2 2
) 1 ( ) 1 ( ) ( y b x b y x > >
2 2 2 2
) 1 ( ) 1 ( ) ( y b x b y x > >
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.