1

Teorema de Euler, generalizado para hipercubos n

dimensionales.
E. R. Morgado Morales
Fac. de Matemtica Fsica y Computacin
Universidad central Marta Abreu de Las Villas,
Santa Clara, Cuba.
Abstract:
In this paper, a generalization of the well known Eulers theorem
on the numbers of vertexes, edges and faces of any convex
polyhedron, for n-dimensional hypercubes is studied. A proof,
based on combinatorial considerations, is given. A general
definition of convex n dimensional polytope is given and also of
regular convexe polytope and of orthogonal convex polytope,
also called orthotope. The statement of the theorem for general
convex polytopes is also given and the reader is invited to see the
proof in a referenced book.

I. Introduccin:
Es bien conocido el teorema, descubierto por Leonardo Euler, en
1750,que relaciona los nmeros de vrtices, de caras y de aristas de
cualquier poliedro convexo, en el espacio tridimensional, [1] . Por
observacin directa el brillante matemtico intuy que, si v denota el
nmero de vrtices, a el nmero de aristas y c el nmero de caras, de
cualquier poliedro tridimensional y convexo, no importa la forma que
este tenga, dichos nmeros satisfacen la igualdad
v+c =a+2
Muchos aos ms tarde, Agustn Louis Cauchy demostr el teorema
usando una ingeniosa idea, la cual consisti en convertir el poliedro en
una figura plana deformndolo, despus de haberle suprimido una de
sus caras, [2].
As, por ejemplo, si en un hexaedro regular, o cubo, suprimimos la
cara superior, sin suprimir aristas ni vrtices, y suponemos que
podemos deformarlo a nuestro antojo, el mismo se convertira en una
figura plana como la que mostramos a continuacin.

2
En la figura plana se aprecia que la relacin que se cumple es:

v+c =a+1

es decir, 8+5=12 +1
Pero, como habamos suprimido una cara, si la agregamos, la
igualdad se convierte en la que queremos probar.

Entonces, la demostracin se reduce a probar que en cualquier figura
plana, que sea igual a una unin de polgonos, con algunas aristas
comunes, se cumple la relacin v+c =a+1.
Demostracin dada por Cauchy:
La prueba puede hacerse por induccin sobre c, es decir, sobre el
nmero de caras, o polgonos unidos.
Para c =1, esto es, cuando es un solo polgono, como en este caso el
nmero de vrtices es igual al de aristas, es obvio que se tiene la
igualdad, que sera, para ese caso, v+1=a+1.
Supongamos que la relacin se cumple para cualquier figura que
sea la unin de c polgonos, con un total de v vrtices y a aristas, de
modo que sea v+c =a+1, (Hiptesis de induccin). Supongamos que
tenemos una figura que tiene c=c+1 aristas con v vrtices y a
aristas. Lo que queremos probar es que v+c =a+1. Si tomamos ahora
una cara exterior, que tiene k vrtices y k aristas, al retirarla, sin
suprimir los dos vrtices que tiene en comn con el resto de la figura,
ni la arista que los une, quedara una figura con v-(k-2) vrtices, con
c=c-1 caras y con a-1 aristas. Como es una figura plana de c caras,
se le puede aplicar la hiptesis de induccin y, por consiguiente, se
tiene la igualdad: (v-(k-2))+c =(a-(k-1)) +1, la cual es obviamente
equivalente a v+c =a+1 , que es la que se quiere probar.
3
(El teorema ha quedado demostrado)

2. El teorema de euler para el ortoedro o hexaedro regular.
Para el ortoedro, o hexaedro regular, llamado tambin cubo, la
igualdad que se cumple es 8+6=12 +2, ya que , en este caso, el
poliedro tiene 8 vrtices, 6 caras y 12 aristas. (Recordamos aqu al
lector que en el cubo , o hexaedro regular, todas las aristas son de la
misma longitud y el ngulo entre dos aristas adyacentes es un ngulo
recto. Por consiguiente, todas las caras son cuadrados planos, todos
del mismo tamao, luego, congruentes dos a dos. )
En el espacio tridimensional, dotado de un sistema de ejes
cartesianos, podemos insertar, en el primer octante, un cubo cuyos 8
vrtices se corresponden con los puntos de coordenadas:
(0,0,0) , (0,0,1), (0,1,0), (0,1,1), (1,0,0) , (1,0,1), (1,1,0), (1,1,1),
Como este conjunto es el de todos los tros ordenados de ceros y
unos, l es el producto cartesiano del conjunto {0,1} consigo mismo,
tomado tres veces como factor. Si denotamos a dicho conjunto como
Z
2
, ya que es el conjunto de los restos de dividir por 2 cualquier
nmero entero, el cubo quedar representado, algebraicamente, por el
conjunto (Z
2
)
3
.
Nota: Ciertamente, el conjunto de los 8 puntos mencionados, no es el
cubo, sino el conjunto de sus 8 vrtices. El verdadero cubo es lo que
comnmente se llama un slido geomtrico y el mismo incluye, tanto a
los puntos de sus aristas y sus caras como a sus puntos interiores,
incluido su centro que es el punto de coordenadas (1/3,1/3,1/3). No
obstante lo dicho, es costumbre tomar el conjunto de los 8 vrtices
como una representacin de todo el cubo y llamarle cubo a dicho
conjunto.
En este cubo, todas las aristas son de longitud 1 y si tomamos la
longitud de una arista como unidad, su volumen es igual a una unidad
cbica. Por esta razn diremos que es un cubo unitario.

Estructura algebraica del conjunto Z
2
={0,1}.
En el conjunto Z
2
podemos considerar las operaciones binarias de
suma y multiplicacin, llamadas suma y multiplicacin mdulo 2,
definidas por las siguientes tablas:

4
Tabla de la suma:
+ 0 1
0 0 1
1 1 0
Tabla de la multiplicacin:
0 1
0 0 0
1 0 1
Observacin:La suma que hemos definido coincide con la suma
ordinaria de nmeros enteros, en todos los casos, salvo en el caso
1+1, donde el resultado es, en vez de 2, el resto de dividir por 2 el
propio 2, es decir, 0. La multiplicacin s coincide totalmente con la
multiplicacin ordinaria de nmeros enteros. Ambas operaciones
coinciden, adems, con las operaciones lgicas de disyuncin
excluyente (XOR) y de conjuncin (And), tomados el cero y el uno
como representantes, respectivamente, de lo falso y de lo verdadero.
Con estas operaciones el conjunto Z
2
tiene una estructura algebraica
de campo , o cuerpo conmutativo, ya que con la suma es un grupo
abeliano y con el producto un monoide conmutativo, en el que el nico
elemento no nulo es inversible, siendo el producto distributivo con
respecto a la suma.
3.El hipercubo n-dimensional.
Por analoga con el cubo de dimensin 3, al que llamaremos tambin
cubo ordinario, le llamaremos hipercubo n-dimensional al conjunto
(Z
2
)
n
de todos los n-uplos ordenados (o
1
, o
2
,...o
n
), de ceros y unos,
es decir tales que cada o
i
eZ
2
. A los elementos de este conjunto le
llamaremos vrtices del hipercubo. Es fcil notar que el nmero de
vrtices es igual a 2
n
, ya que cada componente de un n-uplo puede
tomar dos valores, el cero o el uno.
Estructura algebraica del hipercubo (Z
2
)
n
. Definiendo la suma, por
componentes, entre los n-uplos de (Z
2
)
n
, a partir de la que fue definida
en Z
2
, el mismo resulta un grupo abeliano, en el que el elemento
neutro es el n-uplo O=(0,0,0). El producto por un escalar, esto es,
por un elemento del campo Z
2
, se define, para los dos nicos
escalares, mediante las igualdades: 0.o=O y 1.o=o, cualquiera que
sea el n-uplo o. Con estas dos operaciones el hipercubo tiene una
estructura de espacio vectorial sobre el campo binario Z
2
. Por esta
5
razn a sus elementos les llamaremos, adems de vrtices del
hipercubo, vectores binarios n-dimensionales.
El sistema de n vectores, (e
1
=(1,0,0),e
2
=(0,1,=),e
n
=(0,0,1),
que forman la llamada base cannica del espacio euclidiano R
n
,
generadores de los ejes de coordenadas, constituyen tambin una
base de (Z
2
)
n
, visto como espacio vectorial sobre el campo binario.
Es por ello que podemos afirmar que su dimensin como espacio
vectorial es tambin el nmero n.
Distancia entre dos vrtices. Para la distancia entre dos vrtices
tomaremos, no la distancia euclidiana , sino un tipo especial de
distancia, llamada distancia de Hamming, la cual se define del modo
siguiente:
Para dos vrtices o= (o
1
,o
2
,...o
n
) y |=(|
1
,|
2
,...|
n
) definimos la distancia
de Hamming entre ambos como el nmero entero, no negativo,
d(o,|)=

=

n
i
i i
1
| o , lo cual coincide con el nmero de lugares en que
ambos tienen diferentes componentes, es decir, de lugares en los que
uno de ellos tiene un uno donde el otro tiene un cero.
Adyacencia: Diremos que dos vrtices o y | son adyacentes si la
distancia de Hamming entre ambos es igual a 1, es decir, si se
diferencian en uno solo de sus componentes.
Nota: Cuando dos vrtices son adyacentes su distancia de Hamming
coincide con su distancia euclidiana, la cual se define como:
d
e
(o,|) =

=

n
i
i i
1
2
) ( | o
Ntese que, para n=2, o n=3, sta es la distancia euclidiana usual,
entre dos puntos del plano, o del espacio, representados como pares ,
o como tros ordenados de nmeros reales, respectivamente.
Conceptos de arista y de cara.
Definicin: Llamaremos arista del hipercubo a cada subconjunto
binario {o,|} tal que o y | son vrtices adyacentes.
Para cada vrtice o hay exactamente n vrtices | que son adyacentes
a o. Esto significa que cada vrtice pertenece a exactamente n
aristas. Si multiplicamos el nmero total de vrtices, que es 2
n
, por el
nmero total de aristas a que pertenece cada uno, que es n, el
producto n.2
n
, nos dara el nmero total de aristas, pero contada cada
una dos veces, en sus dos vrtices. Luego , el verdadero nmero total
de aristas es n.2
n-1
.
6
Ejemplo: En el cubo de dimensin 3, las aristas son los subconjuntos
binarios:
(0,0,0) , (0,0,1)`; (0,0,0) , (0,1,0)`; (0,0,0) , (1,0,0)`;
(0,0,1) , (1,0,1)`; (0,0,1) , (0,1,1)`; (0,1,0) , (1,1,0)`;
(0,1,0) , (0,1,1)`; (0,1,1) , (1,1,1)`; (1,0,1) , (1,1,1)`;
(1,1,0) , (1,1,1)`; (0,1,1) , (0,0,1)`; (0,1,1) , (0,1,0)`.
Ntese como cada uno de los vrtices aparece exactamente en tres
aristas y como el nmero total de ellas es 3.2
3-1
=3.2
2
=12, de acuerdo
con la frmula que habamos deducido.
Aristas adyacentes:.
Decimos que dos aristas son adyacentes si ambas tienen un vrtice
comn.

Definicin: Llamaremos cara del hipercubo a cada subconjunto de
cuatro vrtices o,|, ,o`, donde, eligiendo convenientemente los
smbolos, los subconjuntos binarios o,|`,
|, ` ,o `, o,o` son aristas del hipercubo.
La definicin implica que en los 4 n-uplos o,|, y o, cada uno
diferencindose del siguiente en un solo lugar y ocurriendo lo mismo
entre el ltimo y el primero, debern tener constantes n-2 de sus n
componentes, tomando, los dos restantes, las cuatros combinaciones
de valores que son posibles, esto es, 00, 01, 10 y 11.

As, por ejemplo, en el hipercubo (Z
2
)
4
, los cuatro vrtices:
o=(1,1, 0,0), |= (1,1, 0,1), o=(1,1,1,1) =(1,1,1,0), conforman una
cara, pues tienen constantes, con el valor 1, los dos primeros
componentes, siendo libres los dos ltimos. Esto hace que los dos
ltimos valores pueden elegirse, ordenadamente, de modo que dos
consecutivos se diferencien en un solo lugar y lo mismo ocurra entre el
ltimo y el primero.
La cara o=(1,1, 0,0), |= (1,1, 0,1) , o=(1,1,1,1) , =(1,1,1,0) ` no es
ms que el conjunto solucin del sistema de ecuaciones lineales
x
1
=1
x
2
= 1
considerado como un sistema de 4 incgnitas, donde son variables
libres las dos ltimas, esto es, x
3
y x
4.

7
Concepto de hipercara del hipercubo.
Definicin:Si para r subndices i
1
,i
2
i
r
, seleccionados en el conjunto
{1,2,n}, de modo que i
1
<i
2
<<i
r
y siendo 0s r sn, fijamos los
correspondientes r valores para los n-uplos (x
1
,x
2
,x
n
) , asignndole a
cada variable
j
i
x un valor fijo o
j
tomado en Z
2
, el conjunto que resulta,
dndole valores arbitrarios a las restantes n-r variables, es un conjunto
de 2
n-r
elementos, al que llamaremos hipercara de dimensin n-r.
Segn la anterior definicin una hipercara no es ms que el conjunto
solucin de un sistema de r ecuaciones lineales en el que slo son
visibles r de las n incgnitas, estando las mismas igualadas a
constantes tomadas en el campo Z
2
. La matriz asociada al sistema es
siempre una matriz diagonal, de rango r , la cual tiene r unos y n-r
ceros en su diagonal principal .
Ejemplos: Los conjuntos unitarios, es decir, de un solo vrtice, son las
hipercaras de dimensin 0.
Las aristas son las hipercaras de dimensin 1.
Las caras son las hipercaras de dimensin 2.
El propio cubo (Z
2
)
n
, puede ser considerado como la nica hipercara
de dimensin n, conjunto solucin de un sistema vaco de ecuaciones
lineales, en el que las n variables son libres.

Nmero de hipercaras de dimensin k=n-r, siendo k un entero tal
que 0s k sn.
Para definir una hipercara de dimensin k=n-r los r subndices i
1
,i
2
i
r
se pueden seleccionar de
|
|
.
|

\
|
r
n
maneras , siendo
|
|
.
|

\
|
r
n
=
)! ( !
!
r n r
n

la
cantidad de subconjuntos de r elementos en el conjunto {1,2,n}, de
todos los posibles subndices. Pero una vez elegidas las r variables
que se han de fijar, como a cada una se le pueden asignar 2 valores,
el 0 o el 1, la cantidad de posibilidades es 2
r
. Por consiguiente, el
nmero total de posibles hipercaras de dimensin k=n-r es el nmero
|
|
.
|

\
|
r
n
.2
r
.
Para r=n, este nmero es igual a 2
n
, que es el nmero de vrtices, o
de hipercaras de dimensin 0.
Para r=n-1, este nmero es igual a n.2
n-1
, que es el nmero de aristas,
o hipercaras de dimensin 1.
8
Para r=n-2, este nmero es igual a .
2
) 1 .( n n
2
n-2
que es igual al nmero
de caras, o hipercaras de dimensin 2.

Para r =0 el nmero es igual a 1, lo cual corresponde a la nica
hipercara de dimensin n, que es el propio hipercubo.

Es muy fcil probar, a partir de la igualdad
|
|
.
|

\
|
r
n
=
)! ( !
!
r n r
n

, que el
nmero,
|
|
.
|

\
|
r
n
, llamado coeficiente binomial, o nmero combinatorio, es
igual a
|
|
.
|

\
|
k
n
, si r = n-k. Por consiguiente, el nmero de hipercaras de
dimensin k, puede tambin expresarse como

|
|
.
|

\
|
k
n
.2
n-k
y ser esta la expresin que en lo adelante usaremos.
Nmero total de hipercaras del hipercubo n-dimensional.
Sumando los nmeros
|
|
.
|

\
|
k
n
.2
n-k
, para todos los valores de k, entre 0 y
n, obtenemos la sumatoria

=
|
|
.
|

\
|
n
k
k
n
0
2
n-k
, la cual, por la bien conocida
frmula del binomio, es igual a (2+1)
n
= 3
n
.
La igualdad de Euler para hipercubos de dimensin superior a 3.
En la siguiente tabla mostramos las cantidades de hipercaras de cada
dimensin, para diferentes valores de n, desde n=3 en adelante:

n
|
|
.
|

\
|
0
n
.2
n
|
|
.
|

\
|
1
n
.2
n-1
|
|
.
|

\
|
2
n
.2
n-2
|
|
.
|

\
|
3
n
.2
n-3
|
|
.
|

\
|
4
n
.2
n-4
|
|
.
|

\
|
5
n
.2
n-5
3 8 12 6 1 - -
4 16 32 24 8 1 -
5 32 80 80 40 10 1
6 64 192 240 160 60 12
Denotando como h
k
al nmero de hipercaras

de dimensin k, esto es
h
k
=
|
|
.
|

\
|
k
n
.2
n-k
y observando la tabla, vemos que en los casos de n impar,
n=3 y n=5, se tienen las igualdades:
9
h
0
+h
2
=h
1
+2
h
0
+h
2
+h
4
=h
1
+h
3
+2
siendo la primera, la descubierta por Euler, esto es, v+c=a+2 y la
segunda, una generalizacin de aquella, la cual nos muestra que el
nmero de hipercaras de dimensin par es igual al de hipercaras de
dimensin impar ms el nmero 2.
Pero observando la tabla en los casos en que n es par , n=4 y n=6, se
tienen las igualdades :
h
0
+h
2
=h
1
+h
3
h
0
+h
2
+h
4
=h
1
+h
3
+h
5
donde, en ambos casos se observa que el nmero de hipercaras de
dimensin par es igual al nmero de las que tienen dimensin impar.

La conjetura que obviamente se deriva de las observaciones, nos
conduce al teorema que a continuacin demostraremos:
Teorema: (Teorema de Euler, generalizado para hipercubos n-
dimensionales) En cualquier hipercubo n-dimensional , si denotamos
por P al nmero de hipercaras de dimensin par y por I al nmero de
las que tienen dimensin impar, sin contar al propio hipercubo, que es
la nica hipercara de dimensin n, se obtiene que :
P=I+2 si n es impar y P=I si n es par
Demostracin:
Elevando a la potencia n el binomio (2-1), obtenemos que
1=(2-1)
n
=

=
|
|
.
|

\
|
n
k
k
n
0
2
n-k
.(-1)
k
, segn la frmula del binomio.
Luego 1=

=
|
|
.
|

\
|
t
k
k
n
0
2
2
n-2k
-

+
=
|
|
.
|

\
|

1
1
1 2
t
k
k
n
2
n-2k+1
(1),
donde t es la parte entera del nmero n/2, lo cual significa que n=2t+1
si es impar ,o n=2t cuando es par.
En la igualdad (1) hemos descompuesto la sumatoria en dos , una
que corresponde a los nmeros de hipercaras de dimensin par y la
otra a los nmeros de hipercaras de dimensin impar.
Demostracin para el caso de n impar:
En este primer caso , esto es, cuando n=2t+1, si separamos el ltimo
trmino de la segunda sumatoria, la igualdad queda como
1=

=
|
|
.
|

\
|
t
k
k
n
0
2
2
n-2k
-

=
|
|
.
|

\
|

t
k
k
n
1
1 2
2
n-2k+1
-1,lo cual significa que
1= P-I-1, lo cual, a su vez, equivale a P=I+2, como queramos probar.

10
Demostracin para el caso de n par:
En el segundo caso, esto es, cuando n=2t, si separamos el ltimo
trmino de la primera sumatoria, la igualdad queda como :
1=

=
|
|
.
|

\
|
1
0
2
t
k
k
n
2
n-2k
+1 -

+
=
|
|
.
|

\
|

1
1
1 2
t
k
k
n
2
n-2k+1
, lo cual significa que
1=P+1-I, lo cual, a su vez, cancelando el 1, equivale a P-I=0, es decir,
P= I, como queramos probar.
( El teorema ha quedado demostrado).

Concepto de politopo convexo.
El teorema que acabamos de estudiar es una generalizacin del
teorema de Euler-Cauchy, para el caso de los hipercubos
n- dimensionales. Un hipercubo n-dimensional puede considerarse
un caso particular de un cierto tipo de conjunto, subconjunto del
espacio euclidiano R
n
, al que se le da el nombre de politopo convexo.
Antes de definir este concepto se requieren algunas definiciones
previas.
Concepto de combinacin lineal afn:
Definicin: Diremos que un punto P del espacio euclidiano R
n
, siendo
R el campo de los nmeros reales, es combinacin lineal afn de los
puntos P
1
,P
2
,P
k
, si existen escalares, esto es, nmeros reales,
o
1
,o
2
, o
k
tales que P = o
1
P
1
+o
2
P
2
o
k
P
k
, siendo la suma
o
1
+o
2
+o
k
=1. (Ntese, como el concepto de combinacin lineal
afn es un caso particular del concepto usual de combinacin lineal).
Concepto de combinacin lineal convexa:
Definicin: Diremos que un punto del espacio euclidiano R
n
, siendo
R el campo de los nmeros reales, es combinacin lineal convexa de
los puntos P
1
,P
2
,P
k
si es combinacin lineal afn de ellos, .es decir,
existen escalares o
1
,o
2
, o
k
tales que P= o
1
P
1
+o
2
P
2
o
k
P
k
,
siendo la suma o
1
+o
2
+o
k
=1 y, adems, para cada ie{1,2,k} el
escalar o
i
es tal que 0so
i
s1. (Ntese aqu, como el concepto de
combinacin lineal convexa es un caso particular del concepto de
combinacin lineal afn).
De las definiciones resulta, de modo evidente, que:

Comb. Lineal convexa Comb. Lineal afn Comb.lineal

11
Envoltura o clausura afn de un conjunto finito de puntos
P
1
,P
2
,P
k
.
Definicin: Llamaremos envoltura afn, o clausura afn, del conjunto
{ P
1
,P
2
,P
k
} al conjunto Aff(P
1,
P
2
,P
k
) de todos los puntos P que
son combinacin lineal afn de los k puntos P
1
,P
2
,P
k
. Si el conjunto
es unitario su envoltura afn es el propio conjunto.
Se puede probar, sin gran dificultad, que la envoltura afn de cualquier
conjunto de puntos, no es ms que el menor subespacio afn que
contiene a dicho conjunto. ( Aqu entendemos por subespacio afn a
todo conjunto de la forma {v}+S, donde v es un vector fijo y S un
subespacio vectorial. Dicho subespacio afn no es ms que la imagen
del subespacio S bajo la traslacin t
v
: uu+v).

Envoltura convexa de un conjunto finito de puntos P
1
,P
2
,P
k
.
Definicin: Llamaremos envoltura convexa del conjunto
{ P
1
,P
2
,P
k
} al conjunto Convex(P
1,
P
2
,P
k
) de todos los puntos P
que son combinacin lineal convexa de los k puntos P
1
,P
2
,P
k
. Si el
conjunto es unitario su envoltura convexa es el propio conjunto.
Es bastante obvio que la envoltura convexa de un conjunto de
puntos es un subconjunto, propio, de su envoltura afn. Es decir, segn
las definiciones, cualesquiera que sean los puntos P
1
,P
2
,P
k
, se tiene
la inclusin estricta:
Convex (P
1,
P
2
P
k
)c Aff(P
1,
P
2
,P
k
)
La inclusin es estricta porque siempre ser posible encontrar puntos
que son combinacin lineal afn sin ser combinacin lineal convexa.
Por ejemplo, el punto P=5P
2
- 4P
1
, pertenece al subespacio afn
Aff(P
1,
P
2
,P
k
), pero no pertece al conjunto Convex (P
1,
P
2
,P
k
).

Ejemplos:
1) Para un conjunto de 2 puntos, P
1
y P
2
, la envoltura convexa es el
segmento de recta que une a ambos puntos. La recta L(P
1
,P
2
) que
contiene a ambos puntos, P
1
y P
2
, es su envoltura afn, es decir, el
conjunto de los puntos P tales que P= o
1
P
1
+o
2
P
2
, siendo o
1
y o
2
tales que o
1
+o
2
=1. La clausura convexa del conjunto {P
1
,P
2
}, o
segmento que une a ambos puntos, es el subconjunto s(P
1
,P
2
) de la
recta L(P
1
,P
2
) formado por los puntos P= o
1
P
1
+o
2
P
2
tales que,
adems de ser o
1
+o
2
=1 se cumple que 0so
i
s1 para ie{1,2}.
2) Para un conjunto de 3 puntos P
1
,P
2
y P
3
, tales que ninguno de
ellos pertenece al segmento que une a los otros dos, esto es, ninguno
12
de los tres es combinacin lineal convexa de los otros dos, la clausura
convexa es el tringulo plano determinado por ellos. Dicho tringulo es
subconjunto del plano determinado por los tres puntos, que es su
envoltura afn, esto es, el conjunto de todos los P tales que
P= o
1
P
1
+o
2
P
2
+o
3
P
3
, donde o
1
+o
2
+o
3
=1, sin que necesariamente se
tenga que 0so
i
s1.
Concepto de conjunto Convexo: Diremos que un subconjunto C, del
espacio euclidiano R
n
, es convexo, si es un conjunto unitario, o si,
dados dos puntos cualesquiera P y Q, que pertenecen a C, el
segmento s(P,Q), que une a ambos puntos est contenido en C.
De acuerdo con la anterior definicin, la envoltura convexa de un
conjunto finito de puntos { P
1
,P
2
,P
k
} no es ms que el menor
subconjunto convexo del espacio euclidiano R
n
, que contiene a los k
puntos P
1
,P
2
,P
k
.
Independencia afin: Diremos que los k puntos P
1
,P
2
,P
k
son
afinmente independientes si ninguno de ellos es combinacin lineal
afin de los k-1 restantes. Un conjunto unitario, esto es, de un solo
elemento, ser tambin considerado como afinmente independiente.
Ntese, como la independencia lineal usual implica a la
independencia afn, aunque no ocurre a la inversa. Por ejemplo, tres
puntos, no colineales, en el plano, son afinmente independientes,
pero no son linealmente independientes.
Independencia convexa: Diremos que los k puntos P
1
,P
2
,P
k
son
convexamente independientes si ninguno de ellos es combinacin
lineal convexa de los restantes, esto es, ninguno de ellos pertenece a
la envoltura convexa del conjunto de los k-1 restantes. Un conjunto
unitario ser tambin considerado convexamente independiente.
Ntese como la independencia afn implica la independencia
convexa, aunque no a la inversa. Por ejemplo, 4 puntos del plano,
tales que ninguno de ellos pertenece al tringulo determinado por los
otros tres, forman un conjunto que es convexamente independiente,
pero que no es afinmente independiente.
Dimensin de un conjunto convexo: Se llama dimensin de un
conjunto convexo a la dimensin del menor subespacio afin que lo
contiene.
Ejercicio: Demuestre que la dimensin de la envoltura convexa de
un conjunto de k+1 puntos, que son afinmente independientes, es
igual a k.
13
Definicin de Politopo convexo: Se llama politopo convexo, a la
clausura convexa de cualquier conjunto finito de puntos del espacio
R
n
. Un conjunto unitario ser considerado un politopo convexo .
Un hipercubo (Z
2
)
n,
visto como subconjunto del espacio euclidiano R
n
,
determina un politopo convexo n dimensional, ya que el nmero
mximo de puntos que son afinmente independientes es n+1. Por
ejemplo, los n+1 puntos e
1
, e
2,
e
n,
e
12,n
=(1,1,1) forman un conjunto
afinmente independiente, tal que cualquiera de sus subconjuntos
propios es linealmente independiente. Luego, el menor subespacio
afin que contiene al hipercubo es el propio R
n
.
Identificando cada vector o=(o
1
,o
2
,...o
n
) con el nmero n(o) que l
representa en el sistema binario de numeracin, es decir, n(o)=
o
1
2
n-1
+o
2
2
n-2
+o
n-1
2+o
n
podemos representar los 2
n
vrtices del
hipercubo como P
0
, P
1
,P
1
2
n
. Entonces, los puntos del politopo
convexo asociado al hipercubo son los P de la forma
o
0
P
0
+o
1
P
1
+o
1
2
n
P
1
2
n
, donde o
0
+o
1
+o
1
2
n
=1, siendo, para cada
subndice i, o
i
>0. En particular, cuando uno de los o
i
es igual a 1, lo
cual implica que los dems son nulos, el punto es uno de los vrtices
del hipercubo.
Concepto de punto interior: Dado un politopo convexo C, clausura
convexa del conjunto de puntos P
1
,P
2
,P
k
, decimos que un punto P
es interior si el mismo puede representarse como P=o
1
P
1
+o
2
P
2
o
k
P
k
,
con la condicin 0s o
i
s1, para todo i, donde ninguno de los
coeficientes o
i
es igual a 0. Los puntos P
1
,P
2
,P
k
, a los que
llamaremos vrtices del politopo, no son puntos interiores del mismo.
Ejemplo: El punto P= (1/k)P
1
+(1/k)P
2
+(1/k)P
k
es un punto interior
del politopo C, al que se llama baricentro o centro de gravedad de C.

Hipercaras de un politopo convexo: Se llama hipercara de un
politopo convexo al propio politopo convexo o a todo subconjunto
propio que sea tambin un politopo convexo y que no contenga
puntos interiores.
Ejemplo: En el politopo convexo C, determinado por los puntos P
1
,P
2
,
P
3
y P
4
, convexamente independientes, donde los segmentos,
s(P
1
,P
2
), s(P
2
,P
3
), s(P
3
,P
4
) y s(P
4
,P
1
), no tienen puntos interiores
comunes, los mismos son hipercaras de C. Si suponemos adems que
los cuatro puntos son coplanares, es decir, si C es de dimensin 2, lo
cual significa que son afinmente dependientes, diremos que el mismo
es un cuadriltero plano. En este caso, los segmentos s(P
1
,P
3
) y
14
s(P
2
,P
4
), a los que llamaremos segmentos diagonales del cuadrilatero,
no son hipercaras, pues ambos contienen puntos interiores. Por
ejemplo, los puntos P=(1/2)P
1
+ (1/2)P
3
y Q=

(1/2)P
2
+(1/2)P
4
son
puntos interiores, los baricentros, de s(P
1
,P
3
) y s(P
2
,P
4
),
respectivamente. En cambio, si C es de dimensin 3, lo cual significa
que los cuatro puntos no son coplanares, es decir, que son afinmente
independientes, los seis segmentos son hipercaras uno-dimensionales
y los cuatros subconjuntos ternarios determinan caras que son
tringulos planos. A este tipo de politopos es al que llamamos
usualmente tetraedro y tambin se le llama a veces un simplex
tridimensional.
Las hipercaras de dimensin 1 reciben el nombre de aristas del
politopo y las de dimensin 2 reciben el nombre de caras. Como ya
dijimos antes los subconjuntos unitarios son las hipercaras de
dimensin 0. El propio politopo, de dimensin n, es su nica hipercara
de dimensin n .
No es difcil notar que las hipercaras del politopo convexo que es la
clausura convexa del hipercubo (Z
2
)
n
son las envolturas convexas de
las hipercaras de dicho hipercubo.

Politopos regulares. Paralelotopos y ortotopos.
Entre los politopos convexos se distinguen los llamados
politopos regulares, los cuales constituyen una importante familia
a la cual pertenecen los hipercubos.
Concepto de politopo regular:
Definicin: Diremos que un politopo convexo es regular si todas
sus aristas son iguales, o congruentes, dos a dos, y adems, los
ngulos entre dos aristas adyacentes, situadas en una misma cara,
son iguales.
Se puede probar que la anterior definicin implica que en todo
politopo regular dos hipercaras de una misma dimensin son iguales o
congruentes.
Concepto de paralelismo:
Definicin: Decimos que dos hipercaras H
1
y H
2
de un mismo
politopo, son iguales y paralelas, si existe un vector v de R
n
tal que H
2
=
{v}+ H
1
.
Concepto de paralelogramo: Se llama paralelogramo a todo
cuadriltero plano, determinado por puntos P
1
,P
2,
P
3
y P
4
tales que los
segmentos s(P
1
,P
2
) y s(P
3
,P
4
) son iguales y paralelos, lo cual implica
15
que son tambin iguales y paralelos s(P
1
,P
3
) y s(P
2
,P
4
). Es decir, es
un cuadriltero plano en el que las aristas disjuntas son iguales y
paralelas.
Concepto de paralelotopo: Se llama paralelotopo a todo politopo
unitario y a todo politopo k-dimensional, con k>1, que tiene dos
hipercaras, paralelas y congruentes entre s, ambas de dimensin k-1.
Como se ve, quedan incluidos en el concepto, los segmentos y los
paralelogramos. Los paralelotopos 3-dimensionales son los
comnmente llamados paralelepipedos.
Concepto de ortotopo: Un paralelotopo se llama ortotopo si el
ngulo entre cada dos aristas adyacentes, situadas en una misma
cara, es un ngulo recto o de 90 grados. Esto significa que dos aristas
adyacentes, situadas en una misma cara, son ortogonales .

Son ejemplos de ortotopos los rectngulos planos y los prismas
rectangulares, llamados tambin cajas,(boxes).
Las anteriores definiciones implican que todo politopo convexo, que
es la envoltura convexa de un hipercubo n-dimensional, es regular y,
al mismo tiempo un ortotopo.

El teorema generalizado de Euler-Cauchy, se cumple tambin para
los politopos convexos, que no son clausuras convexas de
hipercubos.
Si como en el caso del hipercubo n-dimensional, denotamos por P
al nmero de hipercaras de dimensin par y por I al nmero de las que
tienen dimensin impar, sin contar al propio politopo, que es la nica
hipercara de dimensin n, se obtiene tambin que:
P=I+2 si n es impar y P=I si n es par.
Para ver la demostracin general de este notable teorema
recomendamos al lector el libro [3].
Bibliografa:
[1] Mundo de la Matemticas/Vol5n1.Jun2004/node11.
http://www.cidse.itcr.uc.cr/revistamate
[2] http://www.mat.ucm.es/deptos
[3].Banko Grunbaum, Convex Polytopes, Springer Verlag,
New York, 2003, (Second Edition).

16