Caracterizacion de Familias de Conjuntos Cerrados Convexos PDF

www.librospdf1.blogspot.com www.gratis2.com www.presanmarcos.
com
&DStWXOR
&DUDFWHUL]DFLyQ GH IDPLOLDV GH
FRQMXQWRV FHUUDGRV FRQYH[RV
,QWURGXFFLyQ
La caracterizacin de familias de conjuntos convexos cerrados puede ser til

desde diferentes puntos de vista. Un problema PSIL consiste en la minimizacin
de un funcional lineal sobre un conjunto convexo cerrado de U? que se describe por
medio de innitas desigualdades lineales. Si el conjunto factible es la suma de un
conjunto convexo compacto con un subespacio vectorial, veremos que la acotacin
del problema PSIL implica su resolubilidad. Por otra parte, asumiendo las hiptesis
necesarias sobre el sistema de restricciones, es posible obtener un punto extremo del
conjunto factible desde cualquier solucin factible sin prdida del objetivo (se pueden
encontrar algoritmos de puricacin en [3] y [19]) y despus, comenzando en este
punto extremo inicial, es posible construir una poligonal de aristas conectadas a lo
largo de las cuales el funcional ptimo decrece (se ha propuesto un mtodo simplex
PSIL en [ 2]). Obviamente, la viabilidad de un algoritmo progresando sobre la frontera
de la regin factible requiere su conexin por arcos. En este captulo caracterizaremos
la clase de conjuntos convexos cerrados cuya frontera relativa es no vaca y conexa por
83
www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

www.librospdf1.blogspot.com www.gratis2.com www.presanmarcos.com
84 3. Caracterizacin de familias de conjuntos cerrados convexos
arcos (Seccin 3.5).
Por otra parte, son problemas tpicos de combinatoria geomtrica, la

caracterizacin de aquellos cuerpos convexos (conjuntos convexos cerrados de
dimensin completa) para los cuales el mnimo nmero de puntos (o direcciones) que
los iluminan en un cierto sentido tienen una expresin dada (vanse [27] y [28]).
Este captulo trata sobre los diferentes modos de caracterizar familias de conjuntos
convexos cerrados.
Cualquier conjunto convexo cerrado U? admite diferentes representaciones.

En primer lugar, se puede descomponer como la suma de su espacio de linealidad,
*? , con _ E*? z (este es el cono apuntado de , si es un cono convexo). Este
ltimo conjunto es, a su vez, la suma de la envoltura convexa de su conjunto de puntos
extremos, . E 9' >, con la envoltura convexa cnica de su conjunto de direcciones
extremas, ( E [32, Th. 18.5], de modo que ' *? n . E n ( E. El triplete
E*? c . E c ( E constituye la UHSUHVHQWDFLyQ LQWHUQD de .
Por otra parte, es el conjunto de soluciones de un cierto sistema semi-innito

lineal j ' i@| % K| c | 5 A j, con @| 5 U? y K| 5 U para todo | 5 A , el cual constituye
una representacin externa de . Dicha representacin no es nica, pero el cono

@| f?
g E ' U* UL?i c | 5 A( c
K|
es el mismo para todas las representaciones externas de 9' >, de modo que, el
cono de referencia, g E, se puede considerar como una UHSUHVHQWDFLyQ FyQLFD de
. A partir de g E sepueden
obtener diferentes representaciones externas de

@
(por ejemplo, @ % Kc 5 U , donde el conjunto de ndices U es un subconjunto
K
denso arbitrario de g E). Sin embargo, existe una correspondencia biyectiva entre
los conjuntos convexoscerrados
no vacos de U? y los conos convexos cerrados de
f ? f ?
U?n que contienen a pero no contienen a (sus correspondientes conos

de referencia).
El inters de la representacin cnica deriva del hecho de que g E captura toda
la informacin relevante sobre . Por ejemplo, _4 ' ? _4 *? dg Eo [19,
Th. 5.8]) y el valor del problema de optimizacin ES G ? S % r@ % 5 ,

3.1 Introduccin 85

? S
donde S 5 U , es tT k 5 U m 5 g E [19, Th. 8.1(ii)], de modo que las
k
propiedades de g E y ES estn ntimamente relacionadas unas con otras. Adems,
dos conjuntos convexos cerrados, y 2 , se pueden separar mediante un hiperplano
si, y slo si, g E _ dg E2 o contiene al menos un rayo.
La unicidad, tanto de la representacin interna como de la cnica, es una

caracterstica til, de modo que grandes familias de conjuntos convexos cerrados no
vacos se pueden caracterizar por medio de las propiedades de sus correspondientes
representaciones interna y cnica. As, por ejemplo, resulta sencillo caracterizar la
familia de los semiespacios cerrados.
352326,&,1 'DGR XQ FRQMXQWR FRQYH[R FHUUDGR 9' > ODV VLJXLHQWHV
FRQGLFLRQHV VRQ HTXLYDOHQWHV
(i) HV XQ VHPLHVSDFLR
(ii) . E HV VLQJXODU _4 ( E ' \ _4 E*? ' ? \

f?
(iii) g E HV XQ FRQR FRQYH[R FHUUDGR \ DSXQWDGR _4 g E ' 2 \ 5 hM_ g E

'HPRVWUDFLyQ (i) , (ii) Supongamos
' i% 5 U? m @ % Kj c
con @ 5 U? q if? j y K 5 U. Entonces, *? ' i% 5 U? m @ % ' fj, por lo que

_4 E*? ' ? y E*? z ' tT@? i@j.
K z
Tomando % G' 2 @, resulta evidente que % 5 _ E*? y
n@n
i% n b@c b fj _ E*? z
Para demostrar la inclusin contraria, tomamos % 5 _ E*? z . Al ser

% % 5 E*? z , existe b 5 U tal que % ' % n b@, pero, dado que % 5 , debe
cumplirse
@ E% n b@ ' K n b n@n2 Kc
por lo que b f.

As pues
. E n ( E ' _ E*? z ' i% n b@c b fj c
de donde se obtiene . E ' i%j y ( E ' UL?i i@j.
(ii) , (iii) Supongamos que . E ' i%j, ( E ' UL?i i@j, @ 9' f? , y
_4 E*? ' ? . Como
% n UL?i i@j ' _ E*? z E*? z
y _4 E*? z ' , se tiene
E*? z ' tT@? i@j
*? ' i% 5 U? m @ % ' fj .
Entonces, dado cualquier % 5 , % ' % n b@ n 5 con b f y @ 5 ' f. Tomando

K G' @ %, se obtiene
@ % ' @ E% n b@ n 5 ' K n b n@n2 Kc

@
por lo que, aplicando el Lema de Farkas, 5 g E.
K
Probaremos que

@ f?
g E ' UL?i c (3.1)
K

S
En efecto, si 5 g E, entonces, de nuevo por el Lema de Farkas, S % _
_
para todo % 5 y, en particular, S + _ para todo + 5 _ E*? z . Tomando
+ 5 _ E*? z jo y 5 5 *? arbitrario, se tiene
S E+ n k5 ' S + n kS 5 _
para todo k 5 U, de donde obtenemos que S 5 ' f para todo 5 5 *? . As pues,
S 5 E*? z y existe > 5 U tal que S ' >@. En realidad, > no puede ser negativo ya
_ S %
que, si lo fuese, S @ ' > n@n2 f y, tomando b : f, se tendra
> n@n2
S E% n b@ _c

3.1 Introduccin 87
con % n b@ 5 , contradicindose el hecho de que S % _ para todo % 5 . As pues,

> f.
Por otra parte, puesto que >K ' S % _, podemos escribir

S @ f? @ f?
'> n E>K _ 5 UL?i c
_ K K

@ f?
Por lo tanto, se cumple (3.1) y, dado que c son linealmente
K
independientes, concluimos
que g E es un cono convexo cerrado apuntado
f?
bidimensional y 5 hM_ g E

(iii) , (i) Supongamos que

@ S
g E ' UL?i c c
K _

@ S
con c un conjunto linealmente independiente en U?n . Puesto que
K _
f?
5 g E, podemos escribir

f? @ S
'k nq c
K _
k
f y q f. Si fuesen k : f y q : f, por la Proposicin 0.6, tendramos
f?
5 h?| g E, lo que contradice la hiptesis.

f? S
Por lo tanto, podemos suponer 'q con q : f y
_

@ f?
g E ' UL?i c ,
K
de modo que ' i% 5 U? m @ % Kj es un semiespacio.
En la Tabla 3.1 se resume la informacin obtenida, en la proposicin anterior,

para los semiespacios cerrados y se recogen las caracterizaciones, ya conocidas [19,
Ths. 5.8 y 5.13], de otras familias de conjuntos convexos cerrados. Dicha tabla podr ir
completndose con los resultados obtenidos, en las distintas secciones de este captulo,
para familias como la de las sumas de conjuntos convexos compactos con subespacios
vectoriales (Seccin 3.2), la de los smplices (Seccin 3.3), sandwiches (Seccin 3.4)
o paralelotopos (Seccin 3.6) (las tres subfamilias de la anterior), la de los conjuntos

continuos (Seccin 3.7) o la de los cuerpos convexos suaves (Seccin 3.8).
5HSUHVHQWDFLyQ LQWHUQD 5HSUHVHQWDFLyQ FyQLFD

g E apuntado,
. E singular,
semiespacio cerrado _4 ( E ' c _4g E ' 2c
f?
_4 E*? ' ? 5 hM_ g E

El cono apuntado
de
. E singularc
variedad afn f?
( E ' if? j g E es UL?i

conjunto convexo . E poltopo,
g E polidrico
polidrico ( E polidrico
. E singular,
conjunto singular ( E ' if? j c g E semiespacio
*? ' if? j
_4 E*? n
cuerpo convexo g E apuntado
n _4 d. E n ( Eo ' ?
7DEOD
En la ltima seccin caracterizaremos algunas familias de cuerpos convexos

utilizando ciertos conceptos de iluminacin.
&DUDFWHUL]DFLyQ GH ODV VXPDV GH FRQMXQWRV FRQYH[RV

FRPSDFWRV FRQ VXEHVSDFLRV YHFWRULDOHV
FRQGLFLRQHV VRQ HTXLYDOHQWHV
(i) HV OD VXPD GH XQ FRQMXQWR FRQYH[R FRPSDFWR FRQ XQ VXEHVSDFLR YHFWRULDO

(ii) . E HV FRPSDFWR \ ( E ' if? j (

f?
(iii) 5 h?| g E \

(iv) E*? z ' Eg E GRQGH GHQRWD OD SUR\HFFLyQ YHUWLFDO

E% c c %?n ' E% c c %?

3.2 Caracterizacin de las sumas de conjuntos convexos compactos con subespacios vectoriales 89
'HPRVWUDFLyQ (i) , (ii) Si ' . n u, con . conjunto convexo compacto y u

subespacio vectorial, entonces *? ' u y _ uz ' E. n u _ uz es la proyeccin
ortogonal de . sobre uz , de modo que _uz es compacto por ser la imagen continua
de un conjunto compacto. Por lo tanto, ( E ' if? j y . E ' _uz es compacto.
(ii) , (iii) Asumamos que ' . E n *? , con. E compacto, . E
f
E*? z . Si *? ' U? , ' U? y g E ' UL?i
?
, de modo que se verica

(iii).
Sea i c c R j una base ortonormal de E*? z 9' if? j y sea 4 : f tal que
n+n 4 para todo + 5 . E.
Dado % 5 , podemos escribir % ' + n 5, + 5 .E y5 5 *? , de modo que

m % m ' m + m 4 y % 4. Por lo tanto, 5 g E, ' c c R
4
(por el Lema
de Farkas).
@
Dado 5 g E, @ % K para todo % 5 . Si 5 5 *? , tomando
K
un punto arbitrario % 5 . E, se tiene que % n k5 5 para todo k 5 U, de
modo que @ E% n k5 K para todo k 5 U, y esto implica que @ 5 ' f. Por lo
SR
tanto, @ 5 E*? z y podemos escribir @ ' k para ciertos escalares k 5 U,
'
' c c R.
Puesto que
[ R
f?
' E2R43 n c
' 4 4
se tiene
[ R # [R $
@ f?
' k Kn4 k 5 tT@? c ' c c R c
K ' 4 ' 4
y el ltimo conjunto resulta sertT@?g E. Por lo tanto, podemos aplicar la

f?
Proposicin 0.6 para concluir que 5 h?| g E.

?n ? f?
(iii) , (iv) Puesto que G U $ U es lineal y 5 h?| g E c se

tiene que f? 5 h?| dg Eo (Proposicin 0.3), siendo dg Eo un cono convexo.
Entonces dg Eo es subespacio vectorial.
f?
Si dg Eo ' if? j, entonces g E ' UL?i y ' U? , de modo que


*? ' U? y E*? z ' dg Eo. Podemos asumir, sin prdida de generalidad, que
dg Eo 9' if? j.
Sea i c c ^ j una base ortonormal del subespacio vectorial dg Eo. Dado
& 5 ic c ^j, existen escalares k& y q & tales que
& &

5 g E y 5 g E c
k& q &
de manera que k& % & q & para todo % 5 .
Probaremos que *? ' d dg Eooz .
En efecto, si 5 5 *? , tomando % 5 arbitrario, se tiene, para & 5 ic c ^j,
k& E% n k5 & q & para todo k 5 U, y esto implica 5 & ' f. Por lo tanto,
z
*? i c c ^ j ' d dg Eooz .
z ?
Recprocamente, si 5 5 d dg Eoo , entonces @ 5 ' f para todo @ 5 U tal que
@
5 g E para cierto K 5 U. Puesto que
K

@
@%Km 5 g E
K
es una representacin lineal de , 5 es una solucin del correspondiente sistema
homogneo, de manera que 5 5 n y 5 5 *? .
Por lo tanto, d dg Eooz ' *? y se verica (iv).
(iv) , (i) Si dg Eo ' if? j, ' U? y se verica (i). Asumamos, pues, que
_4 dg Eo ' ^, ^ ?.
Sea i c c ^ j una base ortonormal de dg Eo y sean k c c k^ ( q c c q ^
escalares tales que k& % & q & , para todo % 5 , & ' c c ^.
Si ^ ' ?, es compacto y se verica (i).
En otro caso E*? z ' dg Eo 9' U? y podemos seleccionar vectores
& 5 *? , & ' ^ n c c ?, tales que i c c ? j es una base ortonormal de U? .
Dado % 5 _E*? z , se tiene que k& % & q & , & ' c c ^ (puesto que % 5 )
y % & ' f, & ' ^ n c c ? (puesto que % 5 E*? z ). Por lo tanto _ E*? z es
k l
compacto y ' _ E*? z n *? es la descomposicin buscada.
El siguiente resultado justica el inters de esta clase de conjuntos convexos

3.2 Caracterizacin de las sumas de conjuntos convexos compactos con subespacios vectoriales 91
cerrados en PSIL.
&252/$5,2 6HD OD VXPD GH XQ FRQMXQWR FRQYH[R FRPSDFWR FRQ XQ VXEHVSDFLR

YHFWRULDO \ VHD ES W?u S % VD % 5 6L ES HV DFRWDGR HQWRQFHV HV UHVROXEOH
GLVFUHWL]DEOH \ WLHQH VDOWR GH GXDOLGDG QXOR
'HPRVWUDFLyQ Asumamos que es la suma de un conjunto convexo compacto

con un subespacio vectorial. De acuerdo con la Proposicin 3.2, podemos escribir
' . E n *? , con . E compacto y dg Eo ' E*? z .
Sea j ' i@| % K| c | 5 A j cualquier representacin externa de y sea el
primer cono de momentos de j. Dado | 5 A , se tiene que @| ' E@| c K| 5 dg Eo,
de manera que dg Eo. Por otra parte, si 5 5 dg Eo, existe una sucesin

o @| f?
i5 j UL?i c | 5 A(
K|
EA
tal que 5 '*4 5o , ' c c ?. Para cada 5 o existen bo 5 Un y >o f tales que
o
S o @| f? S o
5o ' b| n >o . Puesto que b| @| 5 , o ' c 2c c se tiene
|MA K| |MA
[
5 '*4 E5o c c 5?o '*4 bo| @| 5 U* .
o o
|MA
Hemos demostrado que E*? z U* , de modo que U* ' E*? z .
Por lo tanto,
E*? z ' h?| E*? z ' h?| U* ' h?| E*? z c
y esto implica h?| ' E*? z .

Si ES tiene valor nito, ES, entonces S 5 E*? z (en otro caso, existira
+ 5 *? ' En _ En tal que o S + f e + 5 n o S E+ f y
+ 5 n , de modo que ES ' 4 en ambos casos). Por lo tanto, S 5 h?| y
esto implica la resolubilidad de ES, su discretizacin (una solucin ptima se puede
obtener como lmite de soluciones ptimas de una sucesin de subproblemas nitos) y
el salto de dualidad nulo [19, Ths. 8.1(v) y 8.2].
Aunque bajo las hiptesis del Corolario 3.3, ES es resoluble y el salto de
dualidad es nulo, ( ES puede no ser resoluble, como veremos en el siguiente ejemplo.

(-(03/2 Consideremos el problema PSIL
E W?u %
r@ % *|c | ' c 2c c
% E| ' f

f
cuyo conjunto factible es ' Edfc o ifj n tT@? , suma de un conjunto

convexo compacto con un subespacio vectorial.
Se puede ver fcilmente que E ' Ef ' f, por lo que, como era de esperar,
E es resoluble.
Consideremos ahora el problema dual de E
S" b|
E( 5T bf
|' |
S"

r@ b| n bf '
|' f f f
b| fc | ' fc c
Desde luego, [ Eb f, para todo b 5 \, por lo que E( f. Veremos que, en
realidad, E( ' f. En efecto, si ibo j"
o' \ es tal que

o c | ' o
b| ' c
fc | 9' o

al ser [ Ebo ' , *4 [ Ebo ' f E(. Por lo tanto, E( ' f.
o o
Sin embargo, E( no es resoluble ya que, si lo fuese, existira b 5 \ tal que
S" b| " b|
S
bf ' f. Como b| f para todo | ' fc c , bf f si algn
|' | |' |
S"
b| 9' f. Por lo tanto, b| ' f para todo | ' fc c , en cuyo caso b| bf 9' , lo
|'
que se contradice con que b 5 \.
&252/$5,2 'DGR XQ FRQMXQWR FRQYH[R FHUUDGR 9' > ODV VLJXLHQWHV
DUPDFLRQHV VRQ HTXLYDOHQWHV
(i) HV XQ FRQMXQWR FRPSDFWR

(ii) . E HV FRPSDFWR \ *? ' ( E ' if? j (

f?
(iii) 5 ?| g E

(iv) Eg E ' U? \

3.3 Caracterizacin de los smplices 93
(v) ES HV UHVROXEOH SDUD WRGR S 5 U?
'HPRVWUDFLyQ La equivalencia entre las cuatro primeras armaciones es

consecuencia directa de la Proposicin 3.2. Puesto que (i) , (v) es trivial, acabaremos
la demostracin probando que (v) , (i). En efecto, si no se verica (i), entonces existe
+ 5 n , + 9' f? , y E+ no es ni siquiera acotado. Por lo tanto, tampoco se verica
(v).
&DUDFWHUL]DFLyQ GH ORV VtPSOLFHV
es a &VtPSOLFH si es la envoltura convexa de & n puntos afnmente

independientes. Obviamente, cualquier &-smplice es compacto.
(i) HV XQ &VtPSOLFH
(ii) . E WLHQH & n SXQWRV H[WUHPRV _4 . E ' & \ *? ' ( E ' if? j \

f?
(iii) 5 ?| g E _4 *? dg Eo ' ? & \ HO FRQR DSXQWDGR GH g E WLHQH

& n UD\RV H[WUHPRV
'HPRVWUDFLyQ (i) , (ii) Dado que es un conjunto convexo compacto, por el

Corolario 3.5, se tiene que *? ' ( E ' if? j y, por tanto, . E ' .

Si ' UL? % c c %&n , con % c c %&n afnmente independientes, es
obvio que % c c %&n contiene a todos los puntos extremos de . Por otra parte, si
&S n
% , 5 ic c & n j, no fuese punto extremo de , podramos escribir % ' b % ,
'
'
&S n &S n
b f, ' c c & n , 9' , b ' . Entonces b E% % ' f?n , de
' '
' '
modo que i% % c ' c c & n j son linealmente dependientes, lo que resulta
ser una contradiccin. As pues, los puntos extremos de son % c c %&n .

Por lo tanto, . E ' ' UL? % c c %&n tiene exactamente & n puntos
extremos y _4 . E ' _4 ' &.


(ii) , (i) *? ' ( E ' if? j implica que ' . E. Si % c c %&n
es el conjunto de puntos extremos de . E ' , entonces, por el teorema de

representacin, ' UL? % c c %&n . Si % c c %&n fuesen afnmente

dependientes, entonces _4 . E ' _4 @g % c c %&n & , lo que
contradice la hiptesis.
,(iii) Puesto que todo &-smplice es compacto, por el Corolario 3.5, se tiene
(i)
f?
que 5 ?| g E. Por otra parte, de acuerdo con la frmula dimensional,

_4 *? dg Eo ' ? _4 ' ? & (3.2)
Puesto que es un smplice de dimensin completa en la variedad afn T G' @g ,

con _4 T ' &, existen vectores no nulos
i@ , ' c c & n j T T
y correspondientes escalares
iK , ' c c & n j c
tales que i% 5 U? m @ % ' K j es un hiperplano soporte en los puntos del interior
relativo de la -sima faceta, ' c c & n . Podemos asumir, sin prdida de
generalidad, que @ % K para todo % 5 , ' c c & n , de modo que
' i% 5 T m @ % K c ' c c & n j
Adems, puesto que _4 T ' &, podemos escribir
T ' i% 5 U? m @ % ' K c ' & n 2c c ? n j c
con

@
c ' & n 2c c ? n
K
linealmente independientes (si es un ?-smplice, entonces T ' U? y esta parte de la
prueba se puede simplicar).
Entonces,

@ f?
g E ' UL?i c ' c c & n ( n
K

3.3 Caracterizacin de los smplices 95

@
n tT@? c ' & n 2c c ? n c
K

f?
y demostraremos que se puede eliminar en esta expresin. Para ello,

apelaremos a la conocida caracterizacin de los puntos interiores de un cono convexo
dada en la Proposicin 0.6.

f?
Puesto que 5 ?| g E, podemos escribir

[
f? @ f?
' b n> c b : f si & n c > fc (3.3)
MU K
para un cierto conjunto U ic c ? n j, con

@
tT@? c 5 U ' U?n si > ' f
K
y

@ f?
tT@? c 5 U( ' U?n si > : f
K
Si f > , de (3.3) se sigue

f? @ @
5 UL?i c ' c c & n n tT@? c ' & n 2c c ? n
K K
(3.4)
Probaremos que el caso > no sepuede dar, por lo que

(3.4) se cumple siempre.
f? S @
En efecto, si > : , entonces E> ' b 5 g E y esto implica
MU K
S @
' >. Por otra parte, si > ' , entonces de (3.3) se sigue que b ' f?n
MU K
un & n tal
y existir
que b : f (en otro caso U i& n 2c c ? n j y
@
c ' & n 2c c ? n son linealmente dependientes). Entonces,
K
[
@ 3 @
' b b 5 g E c
K K
MU .t
de modo que @ % ' K para todo % 5 . Por lo tanto,
@ 5 ET T _ ET T z ' if? j c
es decir, @ ' f? y esto es una contradiccin.

De (3.4) se sigue

@ @
g E ' UL?i c ' c c & n n tT@? c ' & n 2c c ? n
K K

@
Comparando _4 tT@? c ' & n 2c c ? n ' ? & con (3.2), concluimos
K
que el cono apuntado de g E es

e @
g E G' UL?i c ' c c & n
K

@ e E, entonces
Si UL?i , 5 ic c & n j, no es un rayo extremo de g
K
podemos escribir
[ &n
@ @
' c fc ' c c & n c 9' c
K ' K
'

e E ' UL?i @ e E &.
de modo que g c ' c c & n c 9' y _4 g
K
Entonces _4 g E ' _4 g e E n _4 *? dg Eo ? y esto contradice el hecho
de que ?| g E 9' >. As pues,

@
UL?i c ' c c & n
K
es el conjunto de rayos extremos de ge E.

f?
(iii) , (i) Las hiptesis 5 ?| g E y _4 *? dg Eo ' ? & garantizan

que es compacto y _4 ' &, respectivamente. Sea

@
UL?i c ' c c & n
K
e E. De acuerdo con el teorema de representacin,
el conjunto de rayos extremos de g

e E ' UL?i @
g c ' c c & n
K
Sea

@
c ' & n 2c c ? n
K
una base de *? dg Eo. Entonces ' i% 5 T m @ % K c ' c c & n j, donde
T ' i% 5 U? m @ % ' K c ' & n 2c c ? n j.

3.4 Caracterizacin de los sandwiches 97

&n
As pues, el nmero de puntos extremos de es R ' &n. Asumamos
&
que R & n y sea i% c c %R j el conjunto de puntos extremos de . El teorema de
representacin establece que ' UL? i% c c %R j, de modo que _4 R &.

Por lo tanto, R ' & n y % c c %&n es afnmente independiente (en otro caso,
_4 &). Esto completa la prueba.
&DUDFWHUL]DFLyQ GH ORV VDQGZLFKHV
Dos variedades anes de la misma dimensin en U? , L y L2 , son paralelas si

L L ' L2 L2 y L _ L2 ' >. Diremos que un conjunto es un &-VDQGZLFK cuando
es la envoltura convexa de la unin de dos variedades anes paralelas de dimensin
& . El siguiente resultado establece algunas propiedades elementales de los &-
sandwiches que se usarn ms adelante.
352326,&,1 6HD ' UL? EL ^ L2 GRQGH L \ L2 VRQ YDULHGDGHV DQHV

SDUDOHODV FRQ _4 L ' & ' c 2 6HD T ' L L ' L2 L2 L _T z ' i% j
' c 2 \ ' %2 % (QWRQFHV VH FXPSOHQ ODV VLJXLHQWHV DUPDFLRQHV
(i) ' T n d% c %2 o \ SRU WDQWR HV OD VXPD GH XQ FRQMXQWR FRQYH[R FRPSDFWR FRQ

XQ VXEHVSDFLR YHFWRULDO
(ii) _4 ' &
(iii) @g ' L n tT@? ij c ' c 2
(iv) L ' i% 5 @g m E% % ' fj ' c 2 \
(v) hM_ ' L ^ L2 \ h?| ' T n o% c %2 d
'HPRVWUDFLyQ Por ser L una variedad afn paralela a T , L _ T z se reduce a un

slo punto, por lo que % est bien denido, ' c 2.
Como L ' % n T , ' c 2, y L _ L2 ' >, necesariamente % 9' %2 , es decir,

G' %2 % 9' f? .
Procedemos a la prueba:
(i) Si % 5 , podemos escribir % ' E b E% n n b E%2 n 2 , donde

b 5 dfc o y c 2 5 T . Entonces

% ' E b % n b%2 n E b n b 2 5 % c %2 n T .
Recprocamente, si 5 T y b 5 dfc o,

n E b % n b%2 ' E b % n n b %2 n 5 UL? EL ^ L2 '
(ii) Obviamente, para ic j ' ic 2j, se tiene

L n tT@? ij ' % n T n tT@? ij ' T n % n tT@? ij ' T n @g % c %2 c
variedad afn que contiene a L y a L2 . As pues, si ic j ' ic 2j c

UL? L ^ % L n tT@? ij . (3.5)
* L y 5 T z , se sigue de (3.5)
Puesto que % 5

& _4 UL? L ^ % _4 _4 dL n tT@? ijo '
' _4 dT n tT@? ijo ' &
Por lo tanto, se verica (ii).
(iii) Es consecuencia de la segunda inclusin en (3.5) y de la ecuacin _4 '

_4 dL n tT@? ijo que hemos probado antes.
(iv) Dado % 5 L ' % n T , E% % ' f debido a que 5 T z .

Recprocamente, si % 5 @g satisface que E% % ' f, entonces podemos
escribir (en virtud de (iii)) % ' % n n k, 5 T y k 5 U, con E n k '
k nn2 ' f. Esto implica que k ' f, es decir, % ' % n 5 L .
(v) Es consecuencia directa de la Proposicin 0.4 aplicada a (i).
A continuacin, damos tres caracterizaciones diferentes de los sandwiches basadas

en las representaciones interna, externa y cnica de los mismos. En la Seccin 3.5 se
dar una caracterizacin topolgica.
352326,&,1 6HD XQ FRQMXQWR FRQYH[R FHUUDGR QR YDFtR \ VHD g E VX FRQR
GH UHIHUHQFLD /DV VLJXLHQWHV DUPDFLRQHV VRQ HTXLYDOHQWHV

(i) HV XQ &VDQGZLFK
(ii) ( E ' if? j . E HV XQ VHJPHQWR FHUUDGR SURSLR \ _4 E*? ' &
(iii) H[LVWH VXEHVSDFLR YHFWRULDO T E@g FRQ _4 T ' & XQ YHFWRU QR QXOR
5 T z q dE@g oz \ GRV Q~PHURV UHDOHV k \ k2 WDOHV TXH k k2 \
' i% 5 @g m k % k2 j
(iv) g E ' g n ` GRQGH g HV XQ FRQR FRQYH[R FHUUDGR \DSXQWDGR

\ ` HV XQ
f?
VXEHVSDFLR YHFWRULDO WDOHV TXH _4 g ' 2 _4 ` ' ? & 5 h?| g \

f? f?
g _ ` n tT@? ' UL?i (3.6)

'HPRVWUDFLyQ Probaremos (ii) / (i) , (iii) , (iv) , (i).

(ii) , (i) Si . E n ( E ' d% c %2 o, con % 9' %2 , deniendo L ' % n *? ,
es fcil probar que ' UL? EL ^ L2 , siendo L y L2 variedades paralelas, tales que
_4 L ' & , ' c 2.
(i) , (ii) Es consecuencia directa de la armacin (i) de la Proposicin 3.7.
(i) , (iii) Sea ' UL? EL ^ L2 , donde L y L2 son variedades anes paralelas.
Sean T , % , %2 y denidos como en la Proposicin 3.7, cuyas armaciones (ii) y
(iii) demuestran que _4 T ' _4 y T T n tT@? ij ' E@g ,
respectivamente. Retomando la denicin de , se tiene que 5 T z q if? j y
5 E@g , por lo que 5 T z q dE@g oz .
Sean k ' % , ' c 2. Obviamente, k2 k ' nn2 : f.
Puesto que L ' i% 5 @g m % ' k j, ' c 2, de acuerdo con la armacin
(iv) de la Proposicin 3.7, se obtiene
' UL? EL ^ L2 ' i% 5 @g m k % k2 j
(iii) , (iv) Sea _ ' _4 . Distinguiremos los casos _ ' ? y _ ?.

Supongamos que _ ' ?. Puesto que ' i% 5 U? m k % k2 j, k k2 ,
se tiene

f?
g E ' UL?i c c
k k2

Adems,

f?
' n c
k2 k k k2

de modo que g E ' UL?i c y la Proposicin 0.6 establece que
k k2
f?
5 h?| g E.

Es ms, puesto que k 9' k2 , y son linealmente independientes y
k k2
g E es un cono apuntado bidimensional.
Acabaremos esta parte de la demostracin probando que g E ' g Enif?n j
es la descomposicin deseada. En efecto, si

f?
5 5 g E _ tT@? c

se puede escribir

f?
5 ' 4 n 42 ' , 4 f, 42 f, 5 Uc
k k2

f?
lo que implica que 4 ' 42 y ' 4 Ek2 k f, de modo que 5 5 UL?i .

Esto prueba que

f? f?
g E _ tT@? UL?i c

mientras que la inclusin opuesta se cumple trivialmente. Por lo tanto, se verica (3.6).
Supongamos ahora que _ ?. Sea
@g ' i% 5 U? m @ % ' K , ' c c ? _j c
con i@ , ' c c ? _j un subconjunto linealmente independiente de U? y K 5 U,

' c c ? _.
Puesto que ' i% 5 @g m k % k2 j, se tiene ahora

@ f?
g E ' UL?i c ' c c ? _( c c '
K k k2

@ f?
' tT@? c ' c c ? _ n UL?i c c
K k k2

Sea

@
` G' tT@? c ' c c ? _
K
y

f?
g G' UL?i c c
k k2
` es un subespacio vectorial de U?n , con _4 ` ' ? _, y g (el mismo cono
que
en el caso _ ' ?) es un cono convexo cerrado y apuntado, con _4 g ' 2 y
f?
5 h?| g. Adems, es obvio que

f? f? f?
UL?i g _ tT@? g _ ` n tT@? (3.7)

f?
Consideremos ahora 5 5 g _ ` n tT@? arbitrario. Podemos

escribir
[?3_
@ f?
5 ' 4 n 42 ' q n c (3.8)
k k2 ' K
con 4 f, 42 f, q 5 U, ' c c ? _, y 5 U. De (3.8), se deduce

?3_
[
E42 4 n q @ ' f? c
'
siendo i( @ c ' c c ? _j un conjunto de vectores linealmente independientes,
debido a que 9' f? y
* dE@g oz ' tT@? i@ c ' c c ? _j

5
Por lo tanto, 4 ' 42 y q ' f, ' c c ? _, de modo que (3.8) se convierte

en

f? f?
5 ' 4 '
k k2

f? f?
y se llega a que ' 4 Ek2 k f. As pues, 5 ' 5 UL?i .

Hemos probado que

f? f?
g _ ` n tT@? UL?i c


que junto con (3.7) demuestra que se verica (3.6).
(iv) , (i) Cualquier cono convexo cerrado apuntado bidimensional es la envoltura

convexa cnica de dos direcciones
extremas
(es decir,
un ngulo agudo plano).
@ K @ K
Sea g ' UL?i c , donde c es un conjunto linealmente
k q k q
? n f?
independiente en U . Puesto que estamos asumiendo que 5 h?| g, podemos

escribir (por la Proposicin 0.6),

f? @ K
' 4 n 42 c 4 : fc 42 : fc (3.9)
k q

@ K
de modo que @ 9' f? (en otro caso @ ' K ' f? y c es linealmente
k q
dependiente).
Deniendo ' 4 @ 9' f? y ' 4 k, se obtiene de (3.9)

g ' UL?i c

@
Sea c ' c c ? _ una base de ` , con _ ' _4 .
k
Dado que estamos suponiendo que g E ' g n ` , se tiene

@
g E ' UL?i c ' c c ? _( c c
k
de modo que
' i% 5 U? m @ % ' k c ' c c ? _( % n j (3.10)
Sean ' , 2 ' n y

L ' % 5 U? m @ % ' k c ' c c ? _( % ' c ' c 2
Probaremos que L 9' >, ' c 2.
Si L ' >,

f? @
5 g EL ' tT@? c ' c c ? _(
k
y podemos escribir
[ ?3_
f? @
' q n qf c q 5 Uc ' fc c ? _, (3.11)
' k

3.5 Caracterizacin topolgica de los &-sandwiches 103

f?
de donde se deduce que q f 5 ` n tT@? .

f?
Si q f : f, entonces 5 ` n tT@? . Si ' ,

f? f?
5 g _ ` n tT@? ' UL?i c

de acuerdo con (3.6), contradiciendo que 9' f? . Alternativamente, si ' 2, entonces

f? f?
5 g _ ` n tT@? ' UL?i c
2
y obtenemos otra vez que ' f? .
Si q f f, se obtiene ' f? del mismo modo.
Finalmente, si q f ' f, (3.11) implica que i@ % ' k c ' c c ? _j es

inconsistente, en contradiccin con (3.10) (ya que 9' >).

Se concluye que L y L2 son variedades anes paralelas y se puede demostrar
fcilmente que ' UL? EL ^ L2 .
Esto completa la demostracin.
&DUDFWHUL]DFLyQ WRSROyJLFD GH ORV &VDQGZLFKHV
Por la armacin (v) de la Proposicin 3.7, est claro que la frontera relativa
de cualquier &-sandwich no es ni siquiera conexa. En la siguiente proposicin
demostraremos que la no conexin de la frontera relativa es, en realidad, una propiedad
que caracteriza a los &-sandwiches.
352326,&,1 6HD XQ FRQMXQWR FRQYH[R FHUUDGR QR YDFtR GH U? TXH QR HV XQD

YDULHGDG DItQ FRQ _4 ' & (QWRQFHV ODV VLJXLHQWHV DUPDFLRQHV VRQ HTXLYDOHQWHV
(i) hM_ HV QR FRQH[D
(ii) hM_ HV QR FRQH[D SRU DUFRV \
(iii) HV XQ &VDQGZLFK
'HPRVWUDFLyQ (i) , (ii) Es trivial.

(ii) , (iii) Supongamos, en primer lugar, que tiene dimensin completa. As

pues, la hiptesis ser que M_ no es conexa por arcos.
Si ? ' , puesto que _4 ' y 9' U, ser o una semirrecta cerrada (lo cual
es imposible porque cualquier conjunto singular es conexo por arcos) o un segmento
cerrado propio de U. Por lo tanto, es un sandwich unidimensional.
As pues, podemos suponer sin prdida de generalidad que ? 2.
Sean % 5 M_ , ' c 2, puntos que no se pueden conectar por medio de ninguna
curva enteramente contenida en M_ .
Sean S 9' f? , tales que

S % % f para todo % 5 c ' c 2

(3.12)
Denotaremos por

M G' % 5 U? m S % % ' f c ' c 2c

los correspondientes hiperplanos soporte de . Probaremos que M _ M2 ' > por

reduccin al absurdo. As pues, sea 5 5 M _ M2 .
Para ic j ' ic 2j, puesto que 5 5 M y % 5 , se tiene

S 5 % ' S 5 % n % % ' S % % f

Si S E5 % ' f entonces % 5 M (ya que 5 5 M ), de modo que

% c % _ M M_
(ya que M es hiperplano soporte de ), y esto contradice la hiptesis acerca de % y

%2 . Por lo tanto,

S 5 % f si ic j ' ic 2j

(3.13)
Consideremos ahora el vector ' 25 E% n %2 . De (3.13), se obtiene

S ' S 5 % n S 5 % f, si ic j ' ic 2j

(3.14)
De (3.12) y (3.14) se deduce que, para ' c 2, S es solucin del sistema

+ f( + % % fc % 5


3.5 Caracterizacin topolgica de los &-sandwiches 105
y, por la Proposicin 2.4, esto implica que % 5 i?_ E( , ' c 2. Entonces,
podemos aplicar la Proposicin 2.21 para obtener la deseada contradiccin.
As pues, hemos probado que M _ M2 ' >, de modo que tT@? iS j ' tT@? iS2 j.
Probaremos, a continuacin, que ' UL? EM ^ M2 .
Puesto que % 5
* M2 y %2 5
* M (en caso contrario M _ M2 9' >), S2 E% %2 : f

y S E% %2 f, de modo que S2 es un mltiplo negativo de S y podemos escribir

M ' i% 5 U? m S % ' k j, ' c 2, donde S 9' f? , S % ' k , ' c 2, y k k2 .

Puesto que M es un hiperplano soporte de en % , ' c 2, se tiene
i% 5 U? m k S % k2 j ' UL? EM ^ M2

(3.15)
Para probar la inclusin opuesta, consideremos un vector arbitrario
5 T G' M M ' M2 M2
* n , existen nmeros reales no negativos

Si 5

b G' 4@ | 5 U m % n | 5 c ' c 2c
y % n b 5 i?_ E( , ' c 2.

Entonces, por una parte, d% c % n b o _ M M_ , ' c 2, y por otra,
existe un arco conectando % n b con %2 n b2 que est completamente contenido
en M_ (de nuevo por la Proposicin 2.21), y esto signica que % se puede conectar
con %2 por medio de un arco contenido en M_ , compuesto por tres arcos conectados.
Esto es una contradiccin, de modo que T n .
As pues, M ' % n T n n ' , ' c 2, y se obtiene
UL? EM ^ M2 (3.16)
De (3.15) y (3.16), se concluye que ' UL? EM ^ M2 es un sandwich de

dimensin completa.
Supongamos ahora que & ?. Entonces es un conjunto convexo cerrado de
dimensin completa, en @g , tal que su frontera, en la topologa de @g , no es
conexa por arcos. Aplicando el argumento previo, es de nuevo un sandwich de
dimensin completa en @g , es decir, un &-sandwich.

(iii) , (i) Es consecuencia directa de la armacin (v) de la Proposicin

3.7.
En la Proposicin 2.23, se estableci como condicin suciente para la conexin

por arcos de la frontera relativa de un conjunto convexo no vaco de dimensin mayor
o igual que 2, la compacidad de dicho conjunto. Sin embargo, slo hay que considerar
el caso en el que sea un semiespacio para ver que no es una condicin necesaria.
Quedaba pendiente, por tanto, el estudio de la conexin por arcos de la frontera relativa
de los conjuntos convexos cerrados no vacos de dimensin 1 y los de dimensin mayor
o igual que 2 no acotados, cuestin que queda resuelta en la Proposicin 3.9.
&DUDFWHUL]DFLyQ GH ORV SDUDOHORWRSRV
Un SDUDOHORWRSR se puede denir como la interseccin de una familia de ? ?-

?
sandwiches independientes, es decir, un conjunto de la forma ' _ , con
'
' i% 5 U? m k @ % q j, k q para ' c c ?, y i@ c ' c c ?j

linealmente independientes. En la siguiente proposicin se caracteriza esta familia de

conjuntos en trminos de sus representaciones interna y cnica.
352326,&,1 6HD XQ FRQMXQWR FRQYH[R FHUUDGR QR YDFtR GH U? (QWRQFHV

ODV VLJXLHQWHV DUPDFLRQHV VRQ HTXLYDOHQWHV
(i) HV XQ SDUDOHORWRSR
(ii) . E HV XQ SROtWRSR GH GLPHQVLyQ ? FRQ 2? IDFHWDV SDUDOHODV GRV D GRV \
*? ' ( E ' if? j \
(iii) H[LVWH XQD EDVH GH U? i@ c ' c c ?j \ GRV FRQMXQWRV GH HVFDODUHV

ik c ' c c ?j \ iq c ' c c ?j
FRQ k q SDUD WRGR ' c c ? WDOHV TXH

@ @ f?
g E ' UL?i c ' c c ?( c ' c c ?(
k q
'HPRVWUDFLyQ (i) , (ii) Sea un paralelotopo, es decir,
' i% 5 U? m k @ % q c ' c c ?j c


3.6 Caracterizacin de los paralelotopos 107
con k q para ' c c ? y i@ c ' c c ?j linealmente independientes.

Entonces, denotando por j el sistema nito ik @ % q c ' c c ?j que

representa a , el primer cono de momentos de j resulta ser
' UL?i i @ c ' c c ?j ' tT@? i@ c ' c c ?j ' U?
y, por la Proposicin 0.19, es acotado.
As pues, es un conjunto convexo compacto por lo que, aplicando el Corolario

3.5, se tiene
*? ' ( E ' if? j
y, en consecuencia,
. E ' ' i% 5 U? m k @ % q c ' c c ?j c

que es un poltopo por ser interseccin de un nmero nito de semiespacios cerrados

y ser acotado.
Por otra parte, como j es un sistema LFM no trivial, de acuerdo con la Proposicin
0.17, _4 ' ? si, y slo si, ninguna combinacin convexa de desigualdades no
triviales de j da lugar a la desigualdad trivial. Por reduccin al absurdo, supongamos
que
[
? [ ?
@ @
f?n ' b > c
'
k
'
q
S?
con b c > 5 dfc o para todo ' c c ? y Eb n > ' . Entonces, podemos
'
escribir
[?
f? ' Eb > @ (3.17)

'
y
[
?
f' b k > q (3.18)

'
Puesto que i@ c ' c c ?j son linealmente independientes, de (3.17) se deduce

que b ' > para todo ' c c ? y, sustituyendo en (3.18), obtenemos

[
?
f' b Ek q
'
Al ser k q f para todo ' c c ?, se tiene que b ' > ' f para todo
S
?
' c c ?, lo cual se contradice con Eb n > ' .
'
As pues, . E es un poltopo de dimensin ? representado linealmente por el
sistema j. De acuerdo con la Proposicin 0.20 (ii), las facetas de deben ser de
la forma i% 5 m @ % ' k j o i% 5 m @ % ' q j, con 5 ic c ?j. Por otra

parte, si demostramos que j es una representacin minimal de (es decir no tiene

restricciones redundantes), por el apartado (iii) de la misma proposicin, se obtiene
que ' i% 5 m @ % ' k j y ' i% 5 m @ % ' q j, ' c c ?, son las 2?

facetas, paralelas dos a dos, de .

Supongamos, pues, que @ % k , 5 ic c ?j, es redundante en j (se hara

del mismo modo para @ % q ). Entonces, por el Lema de Farkas,

@ @ @ f?
5 UL?i c ' c c ?c 9' ( c ' c c ?( c
k k q
es decir, existen escalares b f, ' c ?, 9' , > f, ' c ? y 4 f
tales que
[ ? [ ?
@ @ @ f?
' b > n4 c
k '
k
'
q
'
de donde se obtiene
[
?

f? ' Eb > @ > n @
'
'
Entonces, por ser i@ c ' c c ?j linealmente independientes, b > ' f,
' c ?, 9' , y > n ' f, lo que se contradice con > f.
(ii) , (i) Por hiptesis, ' . E es un poltopo de dimensin ? con 2? facetas
paralelas dos a dos. Sean i c c ? c c c ? j las 2? facetas y supongamos que

y son paralelas para todo ' c c ?.

Por ser un poltopo, siempre podemos encontrar una representacin lineal nita

3.6 Caracterizacin de los paralelotopos 109
minimal para . Sea

j ' @ % K c ' c c R

dicha representacin. Por la Proposicin 0.20 (iii), los conjuntos % 5 m @ % ' K ,
' c c R, son las facetas de , por lo que R ' 2?. Reordenando si es

preciso las inecuaciones de j, podemos suponer que ' i% 5 m @ % ' K j y

' % 5 m @n? % ' Kn? , ' c c ?. Dado 5 ic c ?j y puesto que

y son paralelos, se tiene @ n? ' b @ para algn b 9' f, en cuyo caso podemos

escribir

@ n? @ f?
' b n EK n? b K
K n? K
Por lo tanto, si fuese b : f, entonces @ n? % K n? es consecuencia de @ % K

si K n? b K f (Lema de Farkas) y @ % K es consecuencia de @ n? % K n? si

K n? b K f. En ambos casos j no es minimal.

K n?
As pues, b f y K @ %
si, y slo si, % 5 . Si denotamos k G' K y
b
K n?
q G' , se tiene k @ % q si, y slo si, % 5 .

b
As pues,
' i% 5 U? m k @ % q c ' c c ?j .

Desde luego, k q para todo ' c c ?, puesto que _4 ' ?.

Por otra parte, i@ c ' c c ?j son linealmente independientes ya que, en caso
contrario,
' UL?i i @ c ' c c ?j ' tT@? i@ c ' c c ?j 9' U?
y, por la Proposicin 0.19, no sera acotado y, por lo tanto, no sera un poltopo.
(i) / (iii) Se obtiene de forma inmediata aplicando la denicin de cono de

referencia y teniendo en cuenta que los conos nitamente generados son cerrados.


&DUDFWHUL]DFLyQ GH FRQMXQWRV FRQWLQXRV
Un conjunto convexo cerrado no vaco es FRQWLQXR cuando su correspondiente

funcin soporte, B E m denida por
W
B E% m ' tT i% + m + 5 j ,
W
es continua en U? q if? j.
B E m es una funcin convexa y _L4 B E m ' U? si es compacto (vase
W W
[32, Th. 5.5]). Por lo tanto, cualquier conjunto compacto es continuo (las funciones
convexas son continuas en el interior de su dominio).
Esta clase de conjuntos fue introducida por Gale y Klee en 1959 en un artculo [15]
en el que dan algunas caracterizaciones geomtricas de estos conjuntos. En particular,
la primera de ellas establece que un conjunto convexo cerrado de U? es continuo si,
y slo si, no tiene ni rayos frontera ni asntotas. Esta caracterizacin muestra que el
epigrafo de una funcin cuadrtica estrictamente convexa (por ejemplo, %2 ' %2 ) es
continuo, a pesar de no ser acotado. Por lo tanto, todo conjunto convexo compacto es
continuo, pero no todo conjunto continuo es compacto.
Los conjuntos convexos compactos tienen importantes propiedades que no
cumplen, en general, los conjuntos convexos cerrados no acotados. Por ejemplo, si
es un conjunto convexo compacto no vaco y ( es cualquier convexo cerrado no
vaco, se cumple que n ( es cerrado y que y ( pueden separarse fuertemente en
caso de ser y ( disjuntos. En [15] se demuestra que cada una de estas propiedades
caracteriza a la familia de los conjuntos continuos, por lo que sta es la clase maximal
de conjuntos que poseen dichas propiedades.
Por otra parte, se demostr en el Corolario 3.5 que un conjunto convexo cerrado
no vaco es compacto si, y slo si, el problema ES W?u S % s.a. % 5 es
resoluble para todo S 5 U? y, en ese caso, su conjunto ptimo tambin es compacto.

La condicin anloga que caracteriza a la familia de los conjuntos continuos en general
es la que damos en la siguiente proposicin.
352326,&,1 >4 3UR @ 6HD XQ FRQMXQWR FRQYH[R FHUUDGR QR YDFtR
(QWRQFHV HV FRQWLQXR VL \ VyOR VL HO FRQMXQWR ySWLPR GH FXDOTXLHU SUREOHPD DFRWDGR

3.7 Caracterizacin de conjuntos continuos 111
ES S 9' f? HV XQ FRPSDFWR QR YDFtR
La condicin de la Proposicin 3.11 garantiza la anulacin del salto de dualidad

para todo S 5 U? (si S ' f? o ES ' 4 la armacin es trivial, mientras que si
S 9' f? y ES : 4, la conclusin se obtiene de la Proposicin 3.11 y de [19, Th.
8.1]). Sin embargo, aunque la proposicin
Si ES, S 9' f? , es acotado entonces ES es resoluble y B ES ' f
se cumple tanto para la familia de los conjuntos continuos como para la de

las sumas de compactos con subespacios vectoriales (Corolario 3.3), sta no
caracteriza a la unin de ambas familias (basta considerar el semiespacio cerrado
' i% 5 U2 m % n %2 fj y el nico problema, con conjunto factible , que es
acotado: W?u E% n %2 s.a. % 5 ).
En esta seccin, obtendremos una caracterizacin de los conjuntos continuos en

trminos de su cono de referencia, pero para ello ser necesario probar previamente
dos lemas.
/(0$ 'DGRV GRV FRQMXQWRV FRQYH[RV FHUUDGRV QR YDFtRV \ 2 ODV VLJXLHQWHV
(i) _ 2 9' >
(ii) g E n g E2 HVWi FRQWHQLGR HQ HO KLSRJUDIR GH XQD IXQFLyQ OLQHDO \

f?
(iii) 5* U* ig E n g E2 j

'HPRVWUDFLyQ (i) , (ii) Sea % 5 _ 2 arbitrario.

Dado que

@
@ % Kc

5 g E
K

% @
es una representacin lineal de , ' c 2, se cumple f para todo

K
@ %
5 g E ^ g E2 . Por lo tanto, 5 f para todo 5 5 g E n g E2

K
y g E n g E2 est contenido en el hipografo de la funcin lineal s E% ' % %.
(ii) , (iii) La hiptesis implica que U* ig E n g E2 j est contenido en


f?
el hipografo (cerrado) de una funcin lineal s E% ' @ %. Si fallase (iii),

pertenecera a dicho hipografo, por lo que @ f? , lo cual es imposible.

(iii) , (i) Por la Proposicin 1.2 (ii.a), la hiptesis implica la consistencia del
sistema

@
@ % Kc

5 g E ^ g E2 c (3.19)
K
ya que su cono de referencia es

f?
U* UL?i g E ^ g E2 ^ ' U* ig E n g E2 j c

de acuerdo con la Proposicin 0.1. Se llega a la conclusin observando que (3.19) es
una representacin lineal de _ 2 .
/(0$ 6HDQ \ 2 GRV FRQMXQWRV FRQYH[RV FHUUDGRV QR YDFtRV \ 2 VRQ

?n
VHSDUDEOHV VL \ VyOR VL H[LVWH XQ VXEHVSDFLR YHFWRULDO GH U ` WDO
IXHUWHPHQWH
f?
TXH 5 ` _4 ` ' 2 \ U* i` q dg E ^ g E2 oj HV XQ FRQR DSXQWDGR

'HPRVWUDFLyQ Sean y 2 fuertemente separables y sea @ 9' f? tal que
tT i@ % m % 5 j ?u i@ + m + 5 2 j.

Sean k G' tT i@ % m % 5 j y q G' ?u i@ + m + 5 2 j. Como @ % k para

todo % 5 y @ + q para todo + 5 2 , se tiene

@ @
5 g E + 5 g E2
k q

@ f? f?
Sea ` G' tT@? c . Obviamente, 5 ` \ _4 ` ' 2.
f
Probaremos que

@ f? @ f?
` _ g E2 UL?i c ^ UL?i c
q k

@
En efecto, sea 5 ` _ g E2 , con c B 5 U. Se pueden dar los siguientes
B
casos:
@
(i) Si : f, 5 g E2 , por lo que @ + B para todo + 5 2 y B q.
3 3
B
3
Entonces

@ @ f? @ f?
' n q B 5 UL?i c
B q q

3.7 Caracterizacin de conjuntos continuos 113

@ f?
(ii) Si ' f, ' 5 g E2 , debiendo ser B f puesto que 2 9' >.
B B
Entonces,

@ f? @ f?
' EB 5 UL?i c
B q

@ @
(iii) Si f y k B, al ser k q, q k B y, como y mm son
B q
elementos de g E2 , tendramos

f? @ 3 @
' B q n 5 g E2 c
B q
en contradiccin con 2 9' >. Por lo tanto, para f, se cumple k B f y

@ @ f? @ f?
' mm n Ek B 5 UL?i c
B k k
Se cumple, pues, la doble inclusin

@ f?
UL?i c ` _ g E2
q

@ f? @ f?
UL?i c ^ UL?i c (3.20)
q k
De forma semejante, se demuestra que

@ f?
UL?i c ` _ g E
k

@ f? @ f?
UL?i c ^ UL?i c (3.21)
q k
De (3.20) y (3.21) se deduce que

@ f? @ f?
` _ dg E ^ g E2 o ' UL?i c ^ UL?i c c
q k
de donde (vase Figura 3.1)

@ @
U* i` q dg E ^ g E2 oj ' UL?i c (3.22)
q k

@ @
Si c fuesen linealmente dependientes, sera posible escribir
q k

@ @
' b , con b 5 U. Entonces, b ' y q ' k, en contradiccin con
q k
k q. Como el cono convexo generado por dos vectores linealmente independientes

D
D

:[.(&1).(&2)]
)LJXUD
es siempre apuntado, (3.22) es un cono apuntado.

f?
Recprocamente, si ` es un subespacio vectorial de U n tal que
5 ` ?

_4 ` ' 2 \ U* i` q dg E ^ g E2 oj es un cono apuntado, podemos escribir
(3.22) para un vector @ 9' f? y dos escalares k y q tales que k q.

@ @
Dado que y pertenecen a la unin de g E y g E2 , debern
k q
@ @
pertenecer a uno de dichos conos. Supongamos 5 g E2 . Si 5 g E2 ,
q k
entonces

f? @ 3 @
' qk 5 g E2
q k

@
contradiciendo 2 9' >. Supondremos, por lo tanto, 5 g E
k
De acuerdo con el Teorema de Farkas, se tiene, para % 5 e + 5 2 cualesquiera,
@ % k y @ + q. Por lo tanto,

tT i@ % m % 5 j k q ?u i@ + m + 5 2 j c

estando y 2 fuertemente separados.
352326,&,1 6HD XQ FRQMXQWR FRQYH[R FHUUDGR QR YDFtR

HV FRQWLQXR VL
f?
\ VyOR VL SDUD WRGR FRQR FRQYH[R FHUUDGR g TXH FRQWLHQH D QR FRQWLHQH D


3.8 Caracterizacin de cuerpos convexos suaves 115

f? f?
\ WDO TXH 5 U* ig E n gj H[LVWH XQ VXEHVSDFLR YHFWRULDO GH U?n `

f?
FRQ 5 ` \ _4 ` ' 2 WDO TXH U* i` q dg E ^ goj HV XQ FRQR DSXQWDGR

'HPRVWUDFLyQ Se sabe que los conos de referencia delos cerrados

convexos no
f?
vacos son los conos cerrados convexos que contienen a pero no contienen

f?
a . Tambin se sabe [15] que ' es continuo si, y slo si, cualquier

otro conjunto cerrado convexo no vaco, 2 , disjunto con puede ser separado
fuertemente de . Se llega a la conclusin combinando estos resultados con los Lemas
3.12 y 3.13.
&DUDFWHUL]DFLyQ GH FXHUSRV FRQYH[RV VXDYHV
Dado un conjunto convexo cerrado no vaco , se dice que un SXQWR de M_

es VXDYH en cuando existe un nico hiperplano soporte de en dicho punto. Un
FRQMXQWR convexo cerrado 9' U? es VXDYH cuando todos sus puntos frontera son
suaves en .
Si _4 ? y no es una variedad afn, entonces hM_ 9' > y no hay puntos de
hM_ que sean suaves. Si es variedad afn, es suave si, y slo si, _4 ' ? .
As pues, los conjuntos suaves son cuerpos convexos o hiperplanos. Dado que
estos ltimos carecen de inters, se reeren a FXHUSRV FRQYH[RV VXDYHV Felcyn [13] y
Bezdek [7] en artculos sobre combinatoria geomtrica. El concepto de punto suave
aparece en Valentine [36] para cuerpos convexos. La denicin de otros autores es ms
exigente, imponiendo, por ejemplo, que M_ sea una variedad diferenciable de orden
R (vase, por ejemplo, [22]).
Como se apunta en [36], la diferenciabilidad de las funciones convexas est

conectada con la suavidad de su epigrafo. En efecto, si s G U? $ U^ in4j es
una funcin convexa y iT s es suave (en cuyo caso es cuerpo convexo, porque los
nicos hiperplanos que pueden ser epigrafo son los verticales y entonces la imagen
de cierta recta de U? debera ser 4), entonces, para cada % 5 _L4 s , existe un


%
nico hiperplano que soporta a iT s en y, si dicho hiperplano es no vertical,
s E%
entonces tiene asociado un subgradiente de s en %. Por lo tanto, si iT s es suave,
la diferenciabilidad y la subdiferenciabilidad de s en un punto de _L4 s resultan ser
conceptos equivalentes y, en particular, s es diferenciable en h?| E_L4 s [32, Th.
23.4].
La siguiente proposicin caracteriza los puntos suaves de un conjunto convexo
cerrado en funcin de su cono de referencia.
352326,&,1 6HD XQ FRQMXQWR FRQYH[R FHUUDGR (QWRQFHV % 5 M_ HV XQ

SXQWR VXDYH GH VL \ VyOR VL HO FRQR FRQYH[R

@
@5U m ?
5 g E (3.23)
@%
WLHQH GLPHQVLyQ (Q SDUWLFXODU VL HV XQ FXHUSR FRQYH[R % HV VXDYH VL \ VyOR VL HO

FRQMXQWR GH HV XQ UD\R
'HPRVWUDFLyQ Sea % 5 M_ un punto suavede y sea h

@ 9' f? tal que h
@%h @%
h
@
para todo % 5 . Por el Lema de Farkas, 5 g E, es decir, h @ pertenece al
h@%
conjunto (3.23),
cuya dimensin es al menos 1.
@
Dado 5 g E, tenemos @ % @ % para todo % 5 (de nuevo por el Lema

@%
de Farkas) y se cumple
i% 5 U? m @ E% % ' fj ' i% 5 U? m h

@ E% % ' fj c
de donde @ ' kh
@ para cierto k 9' f. Entonces

@
@5U m ?
5 g E tT@? ih
@j c
@%
y

@
_4 @ 5 U m
?
5 g E ' (3.24)
@%
Supongamos ahora que % 5 M_ satisface (3.24), y sea h @ '

9 f? un
elemento
@
de (3.23). Si @ % @ % para todo % 5 , con @ 9' f? , entonces

5 g E
@%
y, por la hiptesis, puede escribirse @ ' kh

@ para cierto k 9' f, en cuyo caso
i% 5 U? m @ E% % ' fj ' i% 5 U? m h

@ E% % ' fj. Por lo tanto, % es punto

suave de .

Supongamos ahora que es un cuerpo convexo y % 5 M_ es un punto suave o,

lo que es lo mismo, satisface (3.24).
Sea h
@ 9' f? un elemento de (3.23). Entonces,
tomando
% 5 ?| arbitrariamente,
@
@ E% % : f y @ E% % : f si
se tiene h
5 g E, lo que implica, junto
@%
con (3.24), que @ ' kh @ para cierto k : f. As pues,

@
UL?i ih
@j @ 5 U m ?
5 g E UL?i ih @j
@%

@
Por lo tanto, @ 5 U m?
5 g E ' UL?i ih @j es un rayo.
@%
Obsrvese que, si es un hiperplano, entonces el conjunto de (3.23) es una recta

por el origen f? .
&252/$5,2 8Q FRQMXQWR FRQYH[R FHUUDGR QR YDFtR FXHUSR FRQYH[R HV

VXDYH VL \ VyOR VL HO FRQMXQWR GH WLHQH GLPHQVLyQ HV XQ UD\R UHVSHFWLYDPHQWH
HQ WRGRV ORV SXQWRV GH M_
Este resultado caracteriza a los cerrados convexos suaves (cuerpos convexos

suaves) en funcin de su representacin cnica.
Por otra parte, si j ' i@| % K| c | 5 A j es una representacin LFM de (cuya

existencia garantiza [19, Th. 5.11]), el conjunto de (3.23) coincide con E% para
todo % 5 (por [19, (5.18)]) y, por lo tanto, % 5 M_ es suave si, y slo si,
_4 E% ' . Obviamente, como consecuencia de esta armacin, se puede obtener
una caracterizacin de los cerrados convexos suaves (cuerpos convexos suaves) en
relacin con cualquier representacin externa que sea LFM.
A continuacin, nos proponemos caracterizar estos conjuntos en funcin de su
representacin interna. Con tal n relajaremos el concepto de conjunto suave para que
no implique dimensin mxima.
Si es un conjunto convexo cerrado que no es variedad afn y _ ' _4 , se
dice que un punto % 5 hM_ es UHODWLYDPHQWH VXDYH en si existe una nica variedad
afn T @g , _4 T ' _ , tal que % 5 T y est contenido en una de las dos
componentes conexas de E@g qT . Decimos que es UHODWLYDPHQWH VXDYH cuando
todos los puntos de hM_ son relativamente suaves en .

352326,&,1 6HD XQ FRQMXQWR FRQYH[R FHUUDGR TXH QR HV YDULHGDG DItQ

% 5 hM_ HV UHODWLYDPHQWH VXDYH HQ VL \ VyOR VL HO FRQR FRQYH[R

@
@ 5 E@g m 5 g E (3.25)
@%
HV XQ UD\R
'HPRVWUDFLyQ Si _ ' ?, entonces es un cuerpo convexo, hM_ ' M_ y

E@g ' U? , por lo que los conjuntos de (3.25) y de (3.23) coinciden.
h G' n `
Suponemos, pues, _ ?. Sean ` G' dE@g o 9' if? j y z
(cuerpo convexo). Entonces, como se vi en la demostracin de la Proposicin 2.9(ii),

h Probaremos que % 5 hM_ es relativamente suave en si, y slo si,
hM_ M_ .
h es suave en .
% 5 M_ h
En efecto, si T @g , con _4 T ' _ , es la nica variedad afn tal que

% 5 T y est contenido en una de las dos componentes conexas de E@g qT ,
considerando M G' T n ` , se tiene _4 M ' _4 T n _4 ` ' ? , % 5 M y
h est contenido en uno de los semiespacios determinados por M (aquel que contenga

a la componente conexa de E@g qT que contiene a ), por lo que M es el nico
h en % 5 M_ .
hiperplano que soporta a h Recprocamente, si M es el nico hiperplano
h en % 5 hM_ M_ ,
que soporta a h tomando la variedad afn T G' M _ @g ,
resulta que T @g , % 5 T , _4 T ' _ (ya que M ' T n ` ), est contenido

en una de las dos componentes conexas de E@g qT y adems T es la nica variedad
afn que cumple todas estas propiedades.
Sea @ 9' f? la direccin del hiperplano M y supongamos que @ E% % f
h Entonces, tomando % ' % n b, 5 ` jo y b 5 U, debe

para todo % 5 .
cumplirse b E@ f para todo b 5 U, y esto slo es posible si @ ' f. Por lo tanto,

@ 5 ` ' E@g .
z
As pues, % es relativamente suave en si, y slo si, existe un nico vector (salvo
factor multiplicativo positivo) @ 5 E@g , @ 9' f? , tal que
@ E% % f para

@
todo % 5 , pudiendo sustituirse esta ltima condicin por 5 g E como
@%
consecuencia de Lema de Farkas. Por lo tanto, (3.25) est formado por los mltiplos
positivos de dicho @ y por f? .

&252/$5,2 6HD XQ FRQMXQWR FRQYH[R FHUUDGR QR YDFtR TXH QR HV YDULHGDG

DItQ HV UHODWLYDPHQWH VXDYH VL \ VyOR VL HO FRQMXQWR GH HV XQ UD\R FXDOTXLHUD
TXH VHD % 5 hM_
352326,&,1 8Q FXHUSR FRQYH[R HV VXDYH VL \ VyOR VL . E n ( E HV
UHODWLYDPHQWH VXDYH
'HPRVWUDFLyQ Sea f G' . E n ( E, conjunto convexo cerrado no vaco.

Sabemos que ' f n *? . Repitiendo el argumento de la Proposicin 3.17, con
` ' *? , es suave si, y slo si, f es relativamente suave.
Obsrvese que si . E es relativamente suave y ( E ' if? j se cumple la

condicin de la Proposicin 3.19. Sin embargo, como se puede ver en el siguiente
ejemplo, el recproco no es cierto.
(-(03/2 Sea ' i% 5 U m % %2 j el cilindro parablico de la Figura 3.2.
25
20
15
10
5
0
-4 -4
-2 -2
0 0
2 2
4 4
)LJXUD
;3 4< ;3 4 <
? f @ ? % @
En este caso, *? ' tT@? C D , . E ' C f D m % %2 y
= f > = % >
;3 4<
? f @
( E ' UL?i C f D . Se observa que es suave, . E n ( E ' . E
= >
es relativamente suave, pero ( E 9' if j.
A pesar de lo visto anteriormente, no basta con que . E sea relativamente suave
para que el cuerpo convexo sea suave.


;3 4<
? f @
(-(03/2 Sea ' EU* 2 ifj n UL?i C f D el cono truncado de la
= >
Figura 3.3.
&
(&
)LJXUD
no es suave por no serlo los puntos de la circunferencia de

;3 la base,
4<a pesar de
? f @
que la base, . E, es relativamente suave. Aqu, ( E ' UL?i C f D .
= >
Tampoco es cierto que suave implique que . E sea relativamente suave.

ULt |
(-(03/2 Sea ' UL? c | 5 dZ*2c Z*2o n UL?i el
ti? | f
conjunto convexo cerrado de la Figura 3.4.
[
(&
&
[
)LJXUD
En este caso, es suave, mientras que . E c que es la regin sombreada de la

gura, no es relativamente suave por no serlo los puntos % y %2 .

3.9 Caracterizacin de familias de cuerpos convexos mediante conceptos de iluminacin 121
&DUDFWHUL]DFLyQ GH IDPLOLDV GH FXHUSRV FRQYH[RV

PHGLDQWH FRQFHSWRV GH LOXPLQDFLyQ
Adems de los conceptos de iluminacin que ya hemos tratado en la Seccin 2.4,

existen otros muchos (vase [28]). Entre ellos el siguiente, que fue introducido por
Valentine [37]: dado un cuerpo convexo y 5 5
* , se dice que % 5 M_ es YLVLEOH
desde 5 si o%c 5d _ ' >. Denotamos por t E( 5 el conjunto de puntos frontera
de visibles desde 5 5
* y por | E el mnimo nmero de puntos exteriores a
necesarios para que sea visible toda la frontera de .
Soltan [34] demostr que, si es un cuerpo convexo compacto, entonces
2 | E ? n , por lo que t E( 5 9' M_ para cualquier 5 5
* .
En un reciente artculo de Martini y Soltan [27], se prueba que, dado un cuerpo
convexo compacto , es un ?-smplice si, y slo si, para todo 5 5
* existe otro
punto 5 2 5
* tal que t E( 5 ^ t E( 5 2 ' M_ , es decir, todo el conjunto es
visible desde i5 c 5 2 j.
La compacidad de es esencial en esta caracterizacin, incluso reforzando la
anterior condicin con t E( 5 9' M_ para todo 5 5
* . En efecto, dado un ?-
sandwich ' i% 5 U? m k @ % k2 j, con @ 9' f? y k k2 , y 5 5

* , se tiene
;
? i% 5 U? m @ % ' k j r @ 5 k

t E( 5 ' c (3.26)

=
i% 5 U? m @ % ' k2 j r @ 5 : k2

de modo que los ?-sandwiches (que son cuerpos convexos no acotados) satisfacen
las condiciones anteriores. Desafortunadamente, no son los nicos cuerpos convexos
no acotados que satisfacen estas condiciones. Este es el caso de cualquier conjunto
convexo cerrado tal que . E es un E? -smplice, *? es una recta que pasa
por el origen y ( E ' if? j (por ejemplo, el producto cartesiano 7 U donde
7 es un E? -smplice de U?3 ). Sin embargo, los ?-sandwiches (la clase de
cuerpos convexos con frontera no vaca y no conexa) tambin se pueden caracterizar
en trminos de visibilidades.
352326,&,1 6HD XQ FXHUSR FRQYH[R (QWRQFHV HV XQ ?VDQGZLFK VL \ VyOR

VL t E( 5 HV XQ KLSHUSODQR \ t E( 5 9' M_ SDUD WRGR 5 5
*

'HPRVWUDFLyQ La implicacin directa es consecuencia de (3.26).
Supongamos que t E( 5 es un hiperplano distinto de M_ para todo 5 5

* .
Puesto que it E( 5 c 5 5
* j es un recubrimiento de M_ , M_ resulta ser la
unin de al menos dos hiperplanos. Suponiendo que M_ contiene dos hiperplanos no
paralelos, obtendremos una contradiccin. En efecto, sea M ' i% 5 U? m @ % ' K j,
con @ % K para todo % 5 , ' c 2, con tT@? i@ j 9' tT@? i@2 j. Puesto que M no
est contenido en i% 5 U? m @2 % K2 j, existe % 5 U? tal que @ % ' K y @2 % K2 .
Entonces % 5 M q, contradiciendo M M_ .
Puesto que M_ es la unin de al menos dos hiperplanos paralelos, M_ no es
conexa, y por tanto es un ?-sandwich por la Proposicin 3.9.
Ntese que, en esta caracterizacin de los ?-sandwiches, se puede sustituir

t E( 5 por ** E( , t E( o i?_ E( , con 5 U? qn .
Al igual que los ?-smplices y los ?-sandwiches, los paralelotopos no slo se
pueden caracterizar por medio de sus representaciones interna y cnica sino tambin
a travs de sus propiedades de combinatoria geomtrica. Un paralelotopo es una clase
particular de ?-zonotopo (cuerpo convexo que se puede expresar como la suma de un
nmero nito de segmentos compactos). Un ?-zonotopo dado, , es un paralelotopo
si, y slo si, el mnimo nmero de copias homotcicas ms pequeas de que cubren
(o direcciones iluminando ) es exactamente 2? [33].
Tambin existen artculos ([34] y [35], por ejemplo) en los que se utilizan otros
conceptos de iluminacin distintos para caracterizar familias de cuerpos convexos
como los semiespacios o los conos. As, a partir de la caracterizacin de los
semiespacios cerrados que se da en [34, Cor. 1], se puede demostrar fcilmente que un
cuerpo convexo es un semiespacio si, y slo si, t E( 5 ' M_ para todo 5 5
* .
Los paralelotopos, ?-smplices y ?-sandwiches son slo algunas de las familias
de cuerpos convexos que tienen buenas propiedades de combinatoria geomtrica, de
optimalidad y de separabilidad (vase, por ejemplo, [28], [19] y [6], respectivamente).
La caracterizacin de todas estas familias en trminos de sus representaciones interna
y cnica y sus propiedades de iluminacin son desaantes problemas abiertos.

Caracterizacion de Familias de Conjuntos Cerrados Convexos PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Caracterizacion de Familias de Conjuntos Cerrados Convexos PDF

Încărcat de

Drepturi de autor:

Formate disponibile

www.librospdf1.blogspot.com www.gratis2.com www.presanmarcos.

La caracterizacin de familias de conjuntos convexos cerrados puede ser til

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

84 3. Caracterizacin de familias de conjuntos cerrados convexos

arcos (Seccin 3.5).

Por otra parte, son problemas tpicos de combinatoria geomtrica, la

Cualquier conjunto convexo cerrado   U? admite diferentes representaciones.

Por otra parte,  es el conjunto de soluciones de un cierto sistema semi-innito

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

La unicidad, tanto de la representacin interna como de la cnica, es una

'HPRVWUDFLyQ (i) , (ii) Supongamos

con @ 5 U? q if? j y K 5 U. Entonces, *?  ' i% 5 U? m @ % ' fj, por lo que

Para demostrar la inclusin contraria, tomamos % 5  _ E*? z . Al ser

@ E% n b@ ' K n b n@n2  Kc

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

86 3. Caracterizacin de familias de conjuntos cerrados convexos

. E n ( E '  _ E*? z ' i% n b@c b  fj c

de donde se obtiene . E ' i%j y ( E ' UL?i i@j.

% n UL?i i@j '  _ E*? z  E*? z

y _4 E*? z ' , se tiene

E*? z ' tT@? i@j

*?  ' i% 5 U? m @ % ' fj .

Entonces, dado cualquier % 5 , % ' % n b@ n 5 con b  f y @ 5 ' f. Tomando

@ % ' @ E% n b@ n 5 ' K n b n@n2  Kc

S E+ n k5 ' S + n kS 5  _

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

con % n b@ 5 , contradicindose el hecho de que S %  _ para todo % 5 . As pues,

En la Tabla 3.1 se resume la informacin obtenida, en la proposicin anterior,

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

88 3. Caracterizacin de familias de conjuntos cerrados convexos

continuos (Seccin 3.7) o la de los cuerpos convexos suaves (Seccin 3.8).

 5HSUHVHQWDFLyQ LQWHUQD 5HSUHVHQWDFLyQ FyQLFD

En la ltima seccin caracterizaremos algunas familias de cuerpos convexos

 &DUDFWHUL]DFLyQ GH ODV VXPDV GH FRQMXQWRV FRQYH[RV

(i)  HV OD VXPD GH XQ FRQMXQWR FRQYH[R FRPSDFWR FRQ XQ VXEHVSDFLR YHFWRULDO

(iv) E*? z '  Eg E GRQGH  GHQRWD OD SUR\HFFLyQ YHUWLFDO

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

'HPRVWUDFLyQ (i) , (ii) Si  ' . n u, con . conjunto convexo compacto y u

y el ltimo conjunto resulta sertT@?g E. Por lo tanto, podemos aplicar la

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

90 3. Caracterizacin de familias de conjuntos cerrados convexos

El siguiente resultado justica el inters de esta clase de conjuntos convexos

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

&252/$5,2  6HD  OD VXPD GH XQ FRQMXQWR FRQYH[R FRPSDFWR FRQ XQ VXEHVSDFLR

'HPRVWUDFLyQ Asumamos que  es la suma de un conjunto convexo compacto

y esto implica h?|  ' E*? z .

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

92 3. Caracterizacin de familias de conjuntos cerrados convexos

(-(03/2  Consideremos el problema PSIL

r@ %  *|c | ' c 2c    c

(i)  HV XQ FRQMXQWR FRPSDFWR

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

3.3 Caracterizacin de los smplices 93

(v)  ES HV UHVROXEOH SDUD WRGR S 5 U? 

'HPRVWUDFLyQ La equivalencia entre las cuatro primeras armaciones es

 &DUDFWHUL]DFLyQ GH ORV VtPSOLFHV

 es a &VtPSOLFH si es la envoltura convexa de & n puntos afnmente

'HPRVWUDFLyQ (i) , (ii) Dado que  es un conjunto convexo compacto, por el

www.librospdf1.blogspot.com www.gratis2.com www.miacademia1.blogspot.com

94 3. Caracterizacin de familias de conjuntos cerrados convexos

Puesto que  es un smplice de dimensin completa en la variedad afn T G' @g ,

i@ ,  ' c    c & n j  T T

iK ,  ' c    c & n j c

Cualquier conjunto convexo cerrado U? admite diferentes representaciones.

Por otra parte, es el conjunto de soluciones de un cierto sistema semi-innito

'HPRVWUDFLyQ (i) , (ii) Supongamos

con @ 5 U? q if? j y K 5 U. Entonces, *? ' i% 5 U? m @ % ' fj, por lo que

Para demostrar la inclusin contraria, tomamos % 5 _ E*? z . Al ser

@ E% n b@ ' K n b n@n2 Kc

. E n ( E ' _ E*? z ' i% n b@c b fj c

de donde se obtiene . E ' i%j y ( E ' UL?i i@j.

% n UL?i i@j ' _ E? z E? z

y _4 E*? z ' , se tiene

E*? z ' tT@? i@j

*? ' i% 5 U? m @ % ' fj .

Entonces, dado cualquier % 5 , % ' % n b@ n 5 con b f y @ 5 ' f. Tomando

@ % ' @ E% n b@ n 5 ' K n b n@n2 Kc

S E+ n k5 ' S + n kS 5 _

con % n b@ 5 , contradicindose el hecho de que S % _ para todo % 5 . As pues,

5HSUHVHQWDFLyQ LQWHUQD 5HSUHVHQWDFLyQ FyQLFD

&DUDFWHUL]DFLyQ GH ODV VXPDV GH FRQMXQWRV FRQYH[RV

(i) HV OD VXPD GH XQ FRQMXQWR FRQYH[R FRPSDFWR FRQ XQ VXEHVSDFLR YHFWRULDO

(iv) E*? z ' Eg E GRQGH GHQRWD OD SUR\HFFLyQ YHUWLFDO

'HPRVWUDFLyQ (i) , (ii) Si ' . n u, con . conjunto convexo compacto y u

y el ltimo conjunto resulta sertT@?g E. Por lo tanto, podemos aplicar la

&252/$5,2 6HD OD VXPD GH XQ FRQMXQWR FRQYH[R FRPSDFWR FRQ XQ VXEHVSDFLR

'HPRVWUDFLyQ Asumamos que es la suma de un conjunto convexo compacto

y esto implica h?| ' E*? z .

(-(03/2 Consideremos el problema PSIL

r@ % *|c | ' c 2c c

(i) HV XQ FRQMXQWR FRPSDFWR

(v) ES HV UHVROXEOH SDUD WRGR S 5 U?

'HPRVWUDFLyQ La equivalencia entre las cuatro primeras armaciones es

&DUDFWHUL]DFLyQ GH ORV VtPSOLFHV

es a &VtPSOLFH si es la envoltura convexa de & n puntos afnmente

'HPRVWUDFLyQ (i) , (ii) Dado que es un conjunto convexo compacto, por el

Puesto que es un smplice de dimensin completa en la variedad afn T G' @g ,

i@ , ' c c & n j T T

iK , ' c c & n j c

' i% 5 T m @ % K c ' c c & n j

Adems, puesto que _4 T ' &, podemos escribir

T ' i% 5 U? m @ % ' K c ' & n 2c c ? n j c

para un cierto conjunto U ic c ? n j, con

Probaremos que el caso > no sepuede dar, por lo que

es decir, @ ' f? y esto es una contradiccin.

de que ?| g E 9' >. As pues,

&DUDFWHUL]DFLyQ GH ORV VDQGZLFKHV

352326,&,1 6HD ' UL? EL ^ L2 GRQGH L \ L2 VRQ YDULHGDGHV DQHV

(i) ' T n d% c %2 o \ SRU WDQWR HV OD VXPD GH XQ FRQMXQWR FRQYH[R FRPSDFWR FRQ

'HPRVWUDFLyQ Por ser L una variedad afn paralela a T , L _ T z se reduce a un

Como L ' % n T , ' c 2, y L _ L2 ' >, necesariamente % 9' %2 , es decir,

(i) Si % 5 , podemos escribir % ' E b E% n n b E%2 n 2 , donde

(ii) Obviamente, para ic j ' ic 2j, se tiene

variedad afn que contiene a L y a L2 . As pues, si ic j ' ic 2j c

(iii) Es consecuencia de la segunda inclusin en (3.5) y de la ecuacin _4 '

(iv) Dado % 5 L ' % n T , E% % ' f debido a que 5 T z .

(v) Es consecuencia directa de la Proposicin 0.4 aplicada a (i).

(iv) g E ' g n ` GRQGH g HV XQ FRQR FRQYH[R FHUUDGR \DSXQWDGR

'HPRVWUDFLyQ Probaremos (ii) / (i) , (iii) , (iv) , (i).

' UL? EL ^ L2 ' i% 5 @g m k % k2 j

(iii) , (iv) Sea _ ' _4 . Distinguiremos los casos _ ' ? y _ ?.

@g ' i% 5 U? m @ % ' K , ' c c ? _j c

con i@ , ' c c ? _j un subconjunto linealmente independiente de U? y K 5 U,

con 4 f, 42 f, q 5 U, ' c c ? _, y 5 U. De (3.8), se deduce

* dE@g oz ' tT@? i@ c ' c c ? _j

Por lo tanto, 4 ' 42 y q ' f, ' c c ? _, de modo que (3.8) se convierte

Deniendo ' 4 @ 9' f? y ' 4 k, se obtiene de (3.9)

' i% 5 U? m @ % ' k c ' c c ? _( % n j (3.10)

Sean ' , 2 ' n y

Probaremos que L 9' >, ' c 2.

inconsistente, en contradiccin con (3.10) (ya que 9' >).

&DUDFWHUL]DFLyQ WRSROyJLFD GH ORV &VDQGZLFKHV

352326,&,1 6HD XQ FRQMXQWR FRQYH[R FHUUDGR QR YDFtR GH U? TXH QR HV XQD

'HPRVWUDFLyQ (i) , (ii) Es trivial.

(ii) , (iii) Supongamos, en primer lugar, que tiene dimensin completa. As

los correspondientes hiperplanos soporte de . Probaremos que M _ M2 ' > por

Si S E5 % ' f entonces % 5 M (ya que 5 5 M ), de modo que

(ya que M es hiperplano soporte de ), y esto contradice la hiptesis acerca de % y

Consideremos ahora el vector ' 25 E% n %2 . De (3.13), se obtiene

De (3.12) y (3.14) se deduce que, para ' c 2, S es solucin del sistema

y S E% %2 f, de modo que S2 es un mltiplo negativo de S y podemos escribir