Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teorema de Euler PDF
Teorema de Euler PDF
dimensionales.
E. R. Morgado Morales
Fac. de Matemática Física y Computación
Universidad central “Marta Abreu” de Las Villas,
Santa Clara, Cuba.
Abstract:
In this paper, a generalization of the well known Euler´s 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. Introducción:
Es bien conocido el teorema, descubierto por Leonardo Euler, en
1750,que relaciona los números de vértices, de caras y de aristas de
cualquier poliedro convexo, en el espacio tridimensional, [1] . Por
observación directa el brillante matemático intuyó que, si v denota el
número de vértices, a el número de aristas y c el número de caras, de
cualquier poliedro tridimensional y convexo, no importa la forma que
este tenga, dichos números satisfacen la igualdad
v+c =a+2
Muchos años más tarde, Agustín Louis Cauchy demostró el teorema
usando una ingeniosa idea, la cual consistió en convertir el poliedro en
una figura plana deformándolo, después 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 vértices, y suponemos que
podemos deformarlo a nuestro antojo, el mismo se convertiría en una
figura plana como la que mostramos a continuación.
1
En la figura plana se aprecia que la relación que se cumple es:
v+c =a+1
es decir, 8+5=12 +1
Pero, como habíamos suprimido una cara, si la agregamos, la
igualdad se convierte en la que queremos probar.
2
(El teorema ha quedado demostrado)
3
Tabla de la suma:
+ 0 1
0 0 1
1 1 0
Tabla de la multiplicación:
• 0 1
0 0 0
1 0 1
Observación:La suma que hemos definido coincide con la suma
ordinaria de números 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 multiplicación sí coincide totalmente con la
multiplicación ordinaria de números enteros. Ambas operaciones
coinciden, además, con las operaciones lógicas de disyunción
excluyente (XOR) y de conjunción (And), tomados el cero y el uno
como representantes, respectivamente, de lo falso y de lo verdadero.
Con estas operaciones el conjunto Z2 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.
4
razón a sus elementos les llamaremos, además de vértices del
hipercubo, vectores binarios n-dimensionales.
El sistema de n vectores, (e1=(1,0,…0),e2=(0,1,…=),…en=(0,0,…1),
que forman la llamada base canónica del espacio euclidiano Rn,
generadores de los ejes de coordenadas, constituyen también una
base de (Z2)n, visto como espacio vectorial sobre el campo binario.
Es por ello que podemos afirmar que su dimensión como espacio
vectorial es también el número n.
Distancia entre dos vértices. Para la distancia entre dos vértices
tomaremos, no la distancia euclidiana , sino un tipo especial de
distancia, llamada distancia de Hamming, la cual se define del modo
siguiente:
Para dos vértices = ( 1, 2,... n) y =( 1, 2,... n) definimos la distancia
de Hamming entre ambos como el número entero, no negativo,
n
d( , )= i i , lo cual coincide con el número de lugares en que
i =1
5
Ejemplo: En el cubo de dimensión 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) .
Nótese como cada uno de los vértices aparece exactamente en tres
aristas y como el número total de ellas es 3.23-1=3.22=12, de acuerdo
con la fórmula que habíamos deducido.
Aristas adyacentes:.
Decimos que dos aristas son adyacentes si ambas tienen un vértice
común.
6
Concepto de hipercara del hipercubo.
Definición:Si para r subíndices i1,i2…ir, seleccionados en el conjunto
{1,2,…n}, de modo que i1 <i2 <…<ir y siendo 0 r n, fijamos los
correspondientes r valores para los n-uplos (x1,x2,…xn) , asignándole a
cada variable xi un valor fijo j tomado en Z2 , el conjunto que resulta,
j
7
n.(n 1) n-2
Para r=n-2, este número es igual a . 2 que es igual al número
2
de caras, o hipercaras de dimensión 2.
n n!
Es muy fácil probar, a partir de la igualdad = , que el
r r!(n r )!
n
número, , llamado coeficiente binomial, o número combinatorio, es
r
n
igual a , si r = n-k. Por consiguiente, el número de hipercaras de
k
dimensión k, puede también expresarse como
n n-k
.2 y será esta la expresión que en lo adelante usaremos.
k
Número total de hipercaras del hipercubo n-dimensional.
n n-k
Sumando los números .2 , para todos los valores de k, entre 0 y
k
n n n-k
n, obtenemos la sumatoria 2 , la cual, por la bien conocida
k =0 k
fórmula del binomio, es igual a (2+1)n= 3n.
n n n n n n n
.2n .2n-1 .2n-2 .2n-3 .2n-4 .2n-5
0 1 2 3 4 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 hk al número de hipercaras de dimensión k, esto es
n n-k
hk= .2 y observando la tabla, vemos que en los casos de n impar,
k
n=3 y n=5, se tienen las igualdades:
8
h0+h2=h1+2
h0+h2 +h4=h1+h3 +2
siendo la primera, la descubierta por Euler, esto es, v+c=a+2 y la
segunda, una generalización de aquella, la cual nos muestra que el
número de hipercaras de dimensión par es igual al de hipercaras de
dimensión impar más el número 2.
Pero observando la tabla en los casos en que n es par , n=4 y n=6, se
tienen las igualdades :
h0+h2 =h1+h3
h0+h2 +h4=h1+h3 +h5
donde, en ambos casos se observa que el número de hipercaras de
dimensión par es igual al número de las que tienen dimensión impar.
9
Demostración para el caso de n par:
En el segundo caso, esto es, cuando n=2t, si separamos el último
término de la primera sumatoria, la igualdad queda como :
t 1 n n-2k
t +1 n
1= 2 +1 - 2n-2k+1, lo cual significa que
k =0 2k k =1 2 k 1
1=P+1-I, lo cual, a su vez, cancelando el 1, equivale a P-I=0, es decir,
P= I, como queríamos probar.
( El teorema ha quedado demostrado).
10
Envoltura o clausura afín de un conjunto finito de puntos
P1,P2,…Pk.
Definición: Llamaremos envoltura afín, o clausura afín, del conjunto
{ P1,P2,…Pk} al conjunto Aff(P1, P2,…Pk) de todos los puntos P que
son combinación lineal afín de los k puntos P1,P2,…Pk. Si el conjunto
es unitario su envoltura afín es el propio conjunto.
Se puede probar, sin gran dificultad, que la envoltura afín de cualquier
conjunto de puntos, no es más que el menor subespacio afín que
contiene a dicho conjunto. ( Aquí entendemos por subespacio afín a
todo conjunto de la forma {v}+S, donde v es un vector fijo y S un
subespacio vectorial. Dicho subespacio afín no es más que la imagen
del subespacio S bajo la traslación tv: u u+v).
Ejemplos:
1) Para un conjunto de 2 puntos, P1 y P2, la envoltura convexa es el
segmento de recta que une a ambos puntos. La recta L(P1,P2) que
contiene a ambos puntos, P1 y P2, es su envoltura afín, es decir, el
conjunto de los puntos P tales que P= 1 P1+ 2 P2, siendo 1 y 2
tales que 1+ 2=1. La clausura convexa del conjunto {P1,P2}, o
segmento que une a ambos puntos, es el subconjunto s(P1,P2) de la
recta L(P1,P2) formado por los puntos P= 1 P1+ 2 P2 tales que,
además de ser 1 + 2=1 se cumple que 0 i 1 para i {1,2}.
2) Para un conjunto de 3 puntos P1,P2 y P3, tales que ninguno de
ellos pertenece al segmento que une a los otros dos, esto es, ninguno
11
de los tres es combinación lineal convexa de los otros dos, la clausura
convexa es el triángulo plano determinado por ellos. Dicho triángulo es
subconjunto del plano determinado por los tres puntos, que es su
envoltura afín, esto es, el conjunto de todos los P tales que
P= 1 P1+ 2 P2 + 3 P3, donde 1+ 2 + 3 =1, sin que necesariamente se
tenga que 0 i 1.
Concepto de conjunto Convexo: Diremos que un subconjunto C, del
espacio euclidiano Rn, 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 definición, la envoltura convexa de un
conjunto finito de puntos { P1,P2,…Pk} no es más que el menor
subconjunto convexo del espacio euclidiano Rn, que contiene a los k
puntos P1,P2,…Pk.
Independencia afin: Diremos que los k puntos P1,P2,…Pk son
afinmente independientes si ninguno de ellos es combinación lineal
afin de los k-1 restantes. Un conjunto unitario, esto es, de un solo
elemento, será también considerado como afinmente independiente.
Nótese, como la independencia lineal usual implica a la
independencia afín, 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 P1,P2,…Pk son
convexamente independientes si ninguno de ellos es combinación
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á también considerado convexamente independiente.
Nótese como la independencia afín implica la independencia
convexa, aunque no a la inversa. Por ejemplo, 4 puntos del plano,
tales que ninguno de ellos pertenece al triángulo determinado por los
otros tres, forman un conjunto que es convexamente independiente,
pero que no es afinmente independiente.
Dimensión de un conjunto convexo: Se llama dimensión de un
conjunto convexo a la dimensión del menor subespacio afin que lo
contiene.
Ejercicio: Demuestre que la dimensión de la envoltura convexa de
un conjunto de k+1 puntos, que son afinmente independientes, es
igual a k.
12
Definición de Politopo convexo: Se llama politopo convexo, a la
clausura convexa de cualquier conjunto finito de puntos del espacio
Rn. Un conjunto unitario será considerado un politopo convexo .
Un hipercubo (Z2)n, visto como subconjunto del espacio euclidiano Rn,
determina un politopo convexo n dimensional, ya que el número
máximo de puntos que son afinmente independientes es n+1. Por
ejemplo, los n+1 puntos e1, e2,…en, e12,…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 Rn.
Identificando cada vector =( 1, 2,... n) con el número n( ) que él
representa en el sistema binario de numeración, es decir, n( )=
n-1 n-2
12 + 22 +… n-12+ n podemos representar los 2n vértices del
hipercubo como P0, P1,…P 2 . Entonces, los puntos del politopo
n 1
13
s(P2,P4), a los que llamaremos segmentos diagonales del cuadrilatero,
no son hipercaras, pues ambos contienen puntos interiores. Por
ejemplo, los puntos P=(1/2)P1 + (1/2)P3 y Q= (1/2)P2+(1/2)P4 son
puntos interiores, los baricentros, de s(P1,P3) y s(P2,P4),
respectivamente. En cambio, si C es de dimensión 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
triángulos planos. A este tipo de politopos es al que llamamos
usualmente tetraedro y también se le llama a veces un simplex
tridimensional.
14
que son también iguales y paralelos s(P1,P3) y s(P2,P4). Es decir, es
un cuadrilátero 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 dimensión k-1.
Como se ve, quedan incluidos en el concepto, los segmentos y los
paralelogramos. Los paralelotopos 3-dimensionales son los
comúnmente 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 .
Bibliografía:
[1] Mundo de la Matemáticas/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).
15
16