SECCION 18

Puntos Extremos y Caras de Conjuntos

Convexos
C , existen varios conjuntos de puntos

Dado un conjunto convexo

S , los puntos de

pueden ser

expresados como combinacin convexa de los puntos de

como en el

tal que

Teorema

C=conv S . Para cualquier

de

Carathodorys.

representacin interna de
externa de

Uno

puede

llamar

esto

como

una

C , en distincin a una representacin

como la interseccin de alguna coleccin de semiespacios.

Representaciones de la forma

C=conv S

ser considerado en los cuales

C=cl ( conv S )

puede tambin

contiene algunos puntos y direcciones,

como en la seccin precedente. Por supuesto, el ms pequeo

ms significativa representacin interna de

es, la

C . El ms pequeo

actualmente existe en la mayora de casos importantes. Probaremos esto

ms adelante utilizando la teora general de estructura facial.

Una cara de un conjunto convexo

de

C'

conjunto vaco y

con un

tiene los dos puntos finales en

C' . El

son caras de

C . Las caras cero dimensionales de

son llamados los puntos extremos de

es un punto extremo de

una combinacin convexa

0< <1 , excepto tomando

'

tal que cualquier segmento rectilneo (cerrado) en

punto interior relativo en

es un subconjunto convexo

C . Esto en un punto
x

si y slo si no se puede expresar

( 1 ) y + z

tal que

xC

yC ,

como

zC

x= y=z .

Para conos convexos, el concepto de un punto extremo no es muy til,

dado que el origen sea el nico candidato para un punto extremo. Uno
estudia los rayos extremos del cono en su lugar, un rayo extremo ser una
cara la cual es la semirecta emanada del origen. En general, si
semirecta de un conjunto convexo
una direccin extrema de

'

es una

C , llamaremos la direccin de

(punto extremo de

'

al infinito). Los rayos

extremos de un cono convexo estn en correspondencia de una a uno con

las direcciones extremas del cono.

Si

'

es el conjunto de puntos donde cierta funcin lineal

C , entonces

mximo sobre

'

es una cara de

convexo porque si es la interseccin de

logra su

C . (Sabemos,

{ xh ( x )= }

'

es

, donde

es

el mximo. Si el mximo se logra en el interior relativo del segmento de

LC , entonces

recta

L C ' .)

L , as que

debe ser constante en

Una cara de este tipo es llamado una cara expuesta. Las caras expuestas de

(para un

en s y posiblemente el conjunto vaco) son

C H , donde

precisamente los conjuntos de la forma

C . Un punto expuesto de

hiperplano soporte no trivial de

es un

es una

cara expuesta que se deduce a un punto, es decir, un punto a travs del

cual hay un hiperplano soporte que no contiene ningn otro punto de

C .

Definimos las direcciones expuestas (puntos expuestos al infinito) de

C . Un rayo

como las direcciones de las caras semilineales expuestas de

expuesto de un cono convexo es una cara expuesta que es una semirecta

emanando del origen. Note que un punto expuesto es un punto extremo,
una direccin expuesta es una direccin extrema, y rayo expuesto es un
rayo extremo.

Las caras no siempre son expuestas. Por ejemplo, sea

convexa de un toro, y sea

uno de los discos cerrados formando los

C . Los puntos limites relativos de

lados de

Si

C' '

es una cara de

C'

son puntos extremos de

C'

C .)

es una cara expuesta de

es una cara de

C . (Ellos son puntos extremos de

pero no puntos expuestos de

, sin embargo,

la cascara

es una cara de

C , entonces

C' '

C . Esto es inmediato para la definicin de cara. En

particular, un punto extremo o direccin extrema de una cara de

punto extremo o direccin extrema de

es un

C . La declaracin paralela para

caras expuestas no es cierto, como el ejemplo toro mostrado.

Si

C'

es una cara de

C' DC , entonces

C'

semirecta de

es un conjunto convexo tal que

es una cara de

C , si es tambin expuesta en
Por ejemplo, sea

D . Si

C'

D .

un conjunto convexo cerrado, sea

con extremo

es expuesta en

x , y sea

'

una cara

D=x +0 C . Entonces

'

C DC
'

C x

(Teorema 8.3), por tanto

es un rayo extremo del cono

extrema de

reciproca no es verdad: Si

0 C

0 C

'

es una cara semirecta de

C
C

0 C . Se sigue que cada direccin

es tambin direccin extrema de

cada direccin expuesta de

decimos,

0 C . Similarmente,

es una direccin expuesta de

0 C . La

es un conjunto convexo parablico en

es el rayo en la direccin del eje de

R2 ,

C ; en este caso

tiene una direccin extrema (actualmente expuesto), mientras si