Documentos de Académico
Documentos de Profesional
Documentos de Cultura
com
&DStWXOR
&DUDFWHUL]DFLyQ GH IDPLOLDV GH
FRQMXQWRV FHUUDGRV FRQYH[RV
,QWURGXFFLyQ
Este captulo trata sobre los diferentes modos de caracterizar familias de conjuntos
convexos cerrados.
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.
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
' i% 5 U? m @ % Kj c
por lo que b f.
As pues
(ii) , (iii) Supongamos que . E ' i%j, ( E ' UL?i i@j, @ 9' f? , y
_4 E*? ' ? . Como
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
7DEOD
352326,&,1 'DGR XQ FRQMXQWR FRQYH[R FHUUDGR 9' > ODV VLJXLHQWHV
FRQGLFLRQHV VRQ HTXLYDOHQWHV
3.2 Caracterizacin de las sumas de conjuntos convexos compactos con subespacios vectoriales 89
(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
*? ' 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.
3.2 Caracterizacin de las sumas de conjuntos convexos compactos con subespacios vectoriales 91
cerrados en PSIL.
E*? z ' h?| E*? z ' h?| U* ' h?| E*? z c
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.
E W?u %
% 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
352326,&,1 'DGR XQ FRQMXQWR FRQYH[R FHUUDGR 9' > ODV VLJXLHQWHV
DUPDFLRQHV VRQ HTXLYDOHQWHV
(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
,(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)
y correspondientes escalares
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
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
@ 5 ET T _ ET T z ' if? j c
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
Procedemos a la prueba:
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 '
* 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 ' &
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
(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
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
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
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
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.
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
% c % _ M M_
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
i% 5 U? m k S % k2 j ' UL? EM ^ M2
(3.15)
5 T G' M M ' M2 M2
UL? EM ^ M2 (3.16)
' i% 5 U? m k @ % q c ' c c ?j c
y, en consecuencia,
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' 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
@ @ @ 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
Por ser un poltopo, siempre podemos encontrar una representacin lineal nita
dicha representacin. Por la Proposicin 0.20 (iii), los conjuntos % 5 m @ % ' K ,
' % 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
b
As pues,
' i% 5 U? m k @ % q c ' c c ?j .
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
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
/(0$ 'DGRV GRV FRQMXQWRV FRQYH[RV FHUUDGRV QR YDFtRV \ 2 ODV VLJXLHQWHV
DUPDFLRQHV VRQ HTXLYDOHQWHV
(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
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 .
@ @
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
D
D
:[.(&1).(&2)]
)LJXUD
_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
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]).
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)
@%
suave de .
@
Por lo tanto, @ 5 U m?
5 g E ' UL?i ih @j es un rayo.
@%
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 .
HV XQ UD\R
@ 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? .
352326,&,1 8Q FXHUSR FRQYH[R HV VXDYH VL \ VyOR VL . E n ( E HV
UHODWLYDPHQWH VXDYH
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.
&
(&
)LJXUD
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
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.