Captulo 2

Estructura de la frontera de un conjunto

convexo. Los politopos

uando hablamos de polgonos y poliedros (cubos, prismas, etc.) es bien conocido por todos el
C
significado de los terminos vertice o cara. Sin embargo, estos conceptos resultan menos intuitivos
si nos estamos refiriendo a un conjunto convexo (cerrado) generico. El estudio de la frontera de
un conjunto convexo resulta de gran importancia, pues determinados puntos (o estructuras) de la
frontera capturan una gran cantidad de informacion sobre el propio conjunto (tanto en dimensi
on
finita como infinita).
Los poliedros (politopos convexos tridimensionales), especialmente los regulares, han fascinado
a la humanidad desde la antig
uedad. La construccion de los cinco solidos regulares en R3 (tetraedro,
cubo, octaedro, dodecaedro e icosaedro) en el Libro XIII, fue uno de los puntos mas relevantes del
famoso Los Elementos de Euclides (325-265 A.C.). Estos poliedros reciben el nombre de s
olidos
plat
onicos, debido a que Platon (427-347 A.C.) hace mencion expresa de ellos en el Timeo, uno
de sus dialogos. En el expona sus ideas sobre estos solidos, siendo tambien conocidos como los
cuerpos cosmicos ya que representaban la composicion y armona de las cosas:
la Tierra estaba formada por atomos agrupados en forma de cubos, pues este es el poliedro
mas solido de los cinco;
el fuego, de tetraedros, ya que este es el elemento mas peque
no, ligero, movil y agudo;
el aire, de octaedros, por ser el de tama
no, peso y fluidez, en cierto modo intermedios;
y el agua, de icosaedros: este es el mas movil y fluido de los elementos; debe tener como
forma propia o semilla, el icosaedro, el solido mas cercano a la esfera y, por tanto, el que con
mayor facilidad puede rodar;

22

Estructura de la frontera de un conjunto convexo. Los politopos

finalmente, el universo (o eter) estaba figurado en el dodecaedro: la forma del dodecaedro

es la que los dioses emplean para disponer las constelaciones en los cielos; Dios lo utilizo para
todo cuando dibujo el orden final.

Figura 2.1: Representaci

on de 5 los elementos en los cuerpos c
osmicos, seg
un Plat
on.

La primera demostracion conocida del hecho de que s

olo existen 5 poliedros regulares en R3 se
remonta a los pitagoricos (Pitagoras, 580-500 A.C.), y podra resumirse como sigue: Observese en
primer lugar que cada vertice debe ser com
un, al menos, a tres caras para que se forme un s
olido.
Ademas, la suma de los angulos interiores de las caras que se encuentran en cada vertice debe ser
menor que 360 (la figura se cierra, no es plana). As pues, las distintas posibilidades son:
Los angulos del triangulo equilatero miden 60 . Por tanto, en un vertice pueden concurrir 3,
4 o 5 de ellos. As se obtienen el tetraedro, el octaedro y el icosaedro.
Los angulos del cuadrado miden 90 . En consecuencia, solo pueden concurrir 3 en cada vertice.
Esto nos proporciona el cubo.
Los angulos del pentagono regular valen 108 . Poniendo 3 de ellos en cada vertice se obtiene
un dodecaedro.
Con los siguientes polgonos no es posible formar poliedros regulares: los angulos interiores
de una hexagono miden 120o y no es posible poner tres juntos sin llegar al lmite de 360o ; los
angulos interiores de los siguientes son mayores.
Muchos piensan que los pitagoricos fueron los primeros en observar este hecho, aunque su
historia es mucho mas antigua: los arqueologos han hallado imagenes de los solidos en piedra
considerablemente mas remotas.

Figura 2.2: Tierra, fuego, universo, agua y aire. Figuras recogidas en un yacimiento neoltico de Escocia (7000-3000 A.C.).

2.1 La estructura facial de un conjunto convexo.

23

Ya en el siglo XVI, en su tratado Mysterium Cosmographicum, Kepler (1571-1630) defenda la idea de que las orbitas
(circulares) de los planetas estaban en proporcion con los radios de las esferas inscritas en solidos platonicos dispuestos uno
dentro de otro. Solo tras conocer los resultados de las observaciones de Tycho Brahe, Kepler concluyo que tal modelo era
err
oneo y que los planetas se movan describiendo trayectorias
elpticas. En los propios comentarios y grabados de la obra de
Kepler antes citada se puede observar como a
un sobreviva en
esta epoca tan tarda la asociacion entre elementos y poliedros
establecida por Platon.
La investigacion de los politopos convexos en dimensi
on
tres ha sido una de las principales fuentes de la Teora de
Figura 2.3: Representaci
on del universo de Grafos Planos, y gracias al buen desarrollo de esta teora, los
poliedros son, relativamente, bien conocidos. Sin embargo, los
Kepler.
politopos en dimension cuatro y superior suponen un desafo
considerablemente mayor para los matematicos, lo que ha supuesto el desarrollo de una teora sorprendentemente profunda y compleja, fundamentalmente de
naturaleza algebraica, en un intento por entender su estructura.
Ademas del gran interes que tienen por s mismos, los politopos juegan un papel esencial en
muy diversos campos, como en la ya mencionada Teora de Grafos, en Cristalografa, para medir
conjuntos convexos, en Programacion Lineal, en Teora de Juegos o en Geometra Combinatoria,
entre otros.

2.1.

La estructura facial de un conjunto convexo.

Sumario. Caras i-dimensionales. Caras expuestas. Cono soporte y cono normal de
K en un punto x. Vector normal exterior. Puntos r-singulares y puntos regulares

in duda alguna, todos estamos familiarizados con el termino cara cuando este se aplica a los
S
poliedros convexos, tales como cubos, prismas triangulares, piramides cuadrangulares, etc. En la
presente leccion vamos a introducir el concepto de cara para conjuntos convexos (cerrados) arbitrarios, lo que nos permitira describir la estructura de la frontera relativa de un conjunto convexo.
Definici
on 2.1. Una cara de un conjunto convexo cerrado K de Rn es un subconjunto convexo F
de K de forma que, siempre que
x + (1 )y F,
donde x, y K y 0 < < 1, entonces ambos puntos x, y F .

24

Estructura de la frontera de un conjunto convexo. Los politopos

O, dicho de otro modo, una cara de K es un subconjunto convexo F K tal que cada segmento
[x, y] K

con

F relint[x, y] 6=

esta contenido en F .
Se considera que tanto el conjunto vaco como el propio conjunto K son caras de K, denominadas caras impropias de K; todas las demas caras se dicen propias. Ademas, para hacer referencia
a la dimension de las caras se hablara de i-caras del conjunto. En lo sucesivo, representaremos por
F (K) el conjunto de todas las caras del conjunto K, y por Fi (K) el conjunto de todas las caras
i-dimensionales de K.
Algunas propiedades elementales, que se deducen directamente de la definicion son las siguientes:
Las 0-caras son los puntos extremos del conjunto.
Las caras de un conjunto convexo cerrado K son cerradas.
Si F 6= K es una cara de K, entonces F relint K = .
En particular, F relbd K y dim F < n.
Proposici
on 2.2. Si K es un conjunto convexo cerrado de Rn :
i) La intersecci
on de cualquier colecci
on no vaca de caras de K es una cara de K.
ii) Si F es una cara de K y G es una cara de F , entonces G tambien es una cara de K.
iii) Si F1 , F2 F (K) son dos caras distintas de K, entonces relint F1 relint F2 = . Esto permite


deducir adem
as que el sistema relint F : F F (K) es una descomposici
on disjunta de K.
Si H es un hiperplano soporte al conjunto K, entonces H K es una cara de K. Esto nos
permite establecer la siguiente definicion:
Definici
on 2.3. La intersecci
on de un conjunto convexo cerrado K de Rn con uno de sus hiperplanos soporte recibe el nombre de cara expuesta de K (o i-cara expuesta de K).
De nuevo, los conjuntos y K se consideran caras expuestas y se denominan impropias.
Al igual que ocurra para las caras de un conjunto convexo cerrado K (vease la Proposici
on
2.2), se puede demostrar que:
Proposici
on 2.4. La intersecci
on de cualquier colecci
on no vaca de caras expuestas de K es una
cara expuesta de K.
Sin embargo, la propiedad (ii) de la Proposicion 2.2 no tiene contrapartida para las caras
expuestas: una cara expuesta G de una cara expuesta F del conjunto K no tiene por que ser,
necesariamente, una cara expuesta de K.

2.1 La estructura facial de un conjunto convexo.

25

Definici
on 2.5. Sean K un cuerpo convexo y x un punto de K. Definimos el conjunto
[


P (K, x) := (y x) : y K, > 0 =
(K x).
>0

Entonces S(K, x) = cl P (K, x) recibe el nombre de cono soporte de K en x.

Claramente P (K, x) es un cono convexo, y ademas, P (K, x) = aff K x si, y solo si, x relint K.
Evidentemente, el cono soporte S(K, x) puede representarse de la forma
\
H (K, u) x,
S(K, x) =
xH(K,u)

donde la interseccion se toma sobre todas las direcciones u Sn1 para las que x se encuentra en
el hiperplano soporte H(K, u) (si x relint K, se adopta el convenio usual de que la intersecci
on
de una familia vaca de subconjuntos de Rn es igual a Rn ).
Definici
on 2.6. Se define el cono normal de K en x como


N (K, x) := u Rn \{O} : x H(K, u) {O}.
Si x K H(K, u), entonces se dice que u es un vector normal exterior a K en x. Por lo tanto,
N (K, x) no es otra cosa que el conjunto de todos los vectores normales exteriores a K en x junto
con el vector nulo. Claramente, N (K, x) es un cono convexo cerrado, y ademas N (K, x) = S(K, x) ,
esto es, N (K, x) y S(K, x) son conos convexos duales.
Un hecho interesante es que el cono normal esta estrechamente relacionado con la proyecci
on
metrica: el Lema 1.17 nos aseguraba que si x 6 K, entonces el hiperplano H que pasa por el punto
mas proximo p(K, x) = pK (x), ortogonal al vector u(K, x), soporta K; de aqu se deduce que
N (K, x) = p1
K (x) x.
El siguiente resultado describe el comportamiento de los conos soporte y normal respecto a la
suma y la interseccion de conjuntos.
Teorema 2.7. Sean K y L dos cuerpos convexos de Rn .
i) Si x K e y L, entonces
S(K + L, x + y) = S(K, x) + S(L, y),
N (K + L, x + y) = N (K, x) N (L, y).
ii) Si x K L y relint K relint L 6= , entonces
S(K L, x) = S(K, x) S(L, x),
N (K L, x) = N (K, x) + N (L, x).

26

Estructura de la frontera de un conjunto convexo. Los politopos

Los conos normales conducen, de forma natural, a una clasificacion de los puntos singulares de
la frontera de un cuerpo convexo.
Definici
on 2.8. Sea K un cuerpo convexo con O int K y sea x un punto de la frontera de K.
Decimos que x es un punto r-singular de K si dim N (K, x) n r. Un punto (n 2)-singular se
denomina, simplemente, punto singular.
En particular, un punto 0-singular verifica que dim N (K, x) = n, y es lo que se conoce com
unmente por un vertice de K. Si el hiperplano soporte a K en x es u
nico, es decir, si x es no singular,
entonces x se llama regular. En consecuencia, el cuerpo convexo K se dice regular si todos sus
puntos frontera son regulares.

2.2.

Los politopos.
Sumario. Los k-politopos. Los solidos platonicos. Paralelotopos, k-smplices y
k-crosspolitopos. Vertices, aristas y caras de un politopo. Politopos simpliciales
y simples. Zonotopos. Teorema Principal de los Politopos. La formula de EulerPoincare. Aproximacion por politopos.

e define un politopo como la envoltura convexa de un conjunto finito (posiblemente vaco) de

S
puntos en R . Es por tanto la generalizacion natural de un polgono en el plano y un poliedro en
n

dimension tres. De forma mas general, se da el nombre de k-politopo a un politopo de dimension k.

Ademas de los famosos solidos platonicos, conocemos ya algunos ejemplos sencillos de politopos:
i) Los paralelotopos: politopos generados mediante la suma de un n
umero finito de vectores
n
linealmente independientes de R . Entre ellos, los mas sencillos son los cubos: un cubo
n-dimensional no es mas que el producto cartesiano [1, 1]n .
ii) Los k-smplices: politopos generados por la envoltura convexa de k + 1 puntos afnmente
independientes.
iii) Los crosspolitopos: en general, un crosspolitopo k-dimensional es la envoltura convexa de k
segmentos linealmente independientes en Rn cuyos puntos medios coinciden. Tal crosspolitopo
se dice regular si todos los segmentos tienen la misma longitud y son ademas mutuamente
ortogonales.
Si P es un politopo, se denominan
vertices, los puntos extremos de P ,
aristas o lados, las 1-caras de P , y simplemente

2.2 Los politopos.

27

caras, las caras (n 1)-dimensionales de P .

Existen ademas dos clases muy importantes de politopos: los llamados simpliciales y los simples.
Definici
on 2.9. Un politopo de Rn se dice simplicial si todas sus caras (propias) son smplices, es
decir, si toda cara (n 1)-dimensional tiene n vertices. Un politopo de Rn se dice simple si todo
vertice est
a contenido en n caras (n 1)-dimensionales.
Estos dos conceptos estan ligados por la polaridad: si dos politopos P y Q son duales, entonces
uno de ellos es simple si, y solo si, el otro es simplicial, y viceversa.

2.2.1.

La estructura facial de un politopo.

Los vertices de un politopo P = conv{x1 , . . . , xk } son los puntos extremos de P , y coincidiesen

a su vez con los puntos x1 , . . . , xk si, y solo si, para cada i = 1, . . . , k,
[
xi 6 conv
xj .
j6=i

Los politopos son los cuerpos convexos que tienen una cantidad finita de puntos extremos. Otras
propiedades de los politopos son las siguientes:
Si H es un hiperplano soporte de un politopo P = conv{x1 , . . . , xk }, entonces


H P = conv H {x1 , . . . , xk } ,
y por tanto la interseccion H P es un politopo.
Es innecesaria la distincion entre caras y caras expuestas: en efecto; se demuestra que toda
cara propia de un politopo P es la interseccion de P con alg
un hiperplano soporte H a P .
En particular, cada punto extremo de un politopo es un punto expuesto.
Ademas si F es una cara propia de P , como existe un hiperplano H con


F = H P = conv H {x1 , . . . , xk } ,
se puede concluir que toda cara es la envoltura convexa de un subconjunto de los vertices.
Si P y Q son dos politopos en Rn y R, entonces P + Q y P son tambien politopos. En
particular:
Definici
on 2.10. La suma vectorial de un n
umero finito de segmentos en Rn es un politopo
que recibe el nombre de zonotopo.
Un politopo se ha definido como la envoltura convexa de un n
umero finito de puntos. De manera
alternativa, se puede ver como la interseccion de un n
umero finito de semiespacios:

28

Estructura de la frontera de un conjunto convexo. Los politopos

Teorema 2.11. Todo politopo es la intersecci

on de una cantidad finita de semiespacios cerrados.
Teorema 2.12. Toda intersecci
on acotada de una cantidad finita de semiespacios cerrados es un
politopo.
La caracterizacion de los politopos establecida por los Teoremas 2.11 y 2.12 suele recibir el
nombre de Teorema Principal de los Politopos.
Lema 2.13. El cuerpo polar de un politopo es de nuevo un politopo.
Por ejemplo, si consideramos los cinco solidos platonicos, se tiene que el cubo y el octaedro son
politopos duales, que el dodecaedro y el icosaedro son tambien polares y que el tetraedro es dual
de s mismo.
La siguiente elegante construccion, puramente geometrica, del dodecaedro a partir del icosaedro
(y viceversa) permite intuir esa dualidad existente entre ambas figuras: Imaginemos dos pentagonos
regulares y horizontales, situados uno sobre el otro, y rotemos el superior, dentro de su plano, un
angulo de 36 . Conectemos entonces los vertices mediante 10 triangulos isosceles, lo que nos da
un poliedro que, usualmente, recibe el nombre de antiprisma. Claramente, para una distancia
adecuada entre los pentagonos, dichos triangulos seran equilateros. Finalmente, sustituyamos los
dos pentagonos por sendos capuchones formados por 5 triangulos equilateros. Hemos construido
un icosaedro. Si ahora conectamos los puntos medios de las caras triangulares adyacentes, obtenemos
los 12 pentagonos regulares que forman las caras del dodecaedro.
Ya sabemos que toda cara de un politopo P es la envoltura convexa de un subconjunto de sus
vertices. Sea V el conjunto de los vertices de P . La pregunta surge entonces de forma natural:
Que subconjuntos W del conjunto de los vertices V van a determinar una cara de P ? El siguiente
resultado proporciona la respuesta a la cuestion anterior:
Proposici
on 2.14. Sea W un subconjunto del conjunto de los vertices V de un politopo P . Entonces
conv W es una cara de P si, y s
olo si, (aff W ) conv(V \W ) = .
De forma general, se establece el siguiente teorema sobre la estructura facial de los politopos:
Teorema 2.15 (La estructura facial). Si F (P ) es el conjunto de todas las caras de un politopo
P , entonces:
i) Para cualesquiera dos caras F y G de F (P ), la intersecci
on F G es una nueva cara de P
que incluye todas las caras que est
an contenidas tanto en F como en G.
ii) Para cualesquiera dos caras F y G de F (P ), existe una cara de P , denominada la cara
com
un de F y G, que contiene a ambas, y que est
a incluida a su vez en cualquier otra cara
que contenga, tanto a F como a G.

2.2 Los politopos.

2.2.2.

29

La f
ormula de Euler.

En 1752, Euler descubrio que, para los politopos 3-dimensionales, se verificaba la hoy conocida
formula
f e + v = 2,
donde f representa el n
umero de caras, e el n
umero de aristas y v el n
umero de vertices del politopo.
El caso general fue demostrado por Poincare en 1899, por lo que dicha relacion se conoce a menudo
con el nombre de f
ormula de Euler-Poincare.
Vamos a representar por fr (P ) el n
umero de r-caras que presenta un n-politopo P de Rn para
r = 1, 0, 1, . . . , n, donde
f1 (P ) = fn (P ) = 1.
De forma general, si r < 1 o r > n se considera que fr (P ) = 0.
Teorema 2.16 (La f
ormula de Euler-Poincar
e, 17521899). Sea P un m-politopo no vaco
n
en R . Entonces
m1
X
(1)r fr (P ) = 1 (1)m .
r=0

2.2.3.

Aproximaci
on de cuerpos convexos por politopos.

Dado que disponemos de una metrica en la familia K n de los cuerpos convexos de Rn , la

metrica de Hausdorff, podemos estudiar la aproximaci
on de cuerpos convexos arbitrarios por otros
particulares.
La aproximacion de cuerpos convexos generales por politopos es una herramienta extremadamente u
til en numerosas investigaciones. Vamos a se
nalar aqu u
nicamente los hechos mas basicos
referentes a la aproximacion por politopos.
Teorema 2.17. Sean K un cuerpo convexo de Rn y > 0. Entonces, existe un politopo P K
verificando que
P K P + Bn ,

y por tanto, con (P, K) .

Teorema 2.18 (Teorema de aproximaci
on). Sea K un cuerpo convexo de Rn que contiene el
origen en su interior. Entonces, para cada > 1, existe un politopo P K n verificando que
P K P.

30

Estructura de la frontera de un conjunto convexo. Los politopos