El teorema de Euler

Empezaremos demostrando un bello teorema de Euler relativo a poliedros. Como veremos, el enunciado del
teorema y su demostracion han motivado muchas de las ideas de la Topologia. La Iigura 1.1 muestra cuatro
poliedros. Entre ellos se observan muchas diIerencias, pero, si en cada uno de ellos al numero de vertices (v)
le restamos el numero de aristas (a) y le aadimos el numero de caras (c), siempre obtenemos el numero 2. La
Iormula v -a c 2 es valida para todo poliedro? La respuesta es no, si bien el resultado es valido para una
amplia e interesante clase de poliedros.
Figura 1.1
De entrada podemos caer en la tentacion de trabajar solo con poliedros regulares, o quizas convexos, y para
estos v -a c es siempre igual a 2. Sin embargo, a pesar de que uno de los ejemplos de nuestra Iigura no es
convexo, satisIace nuestra Iormula e ignorarlo seria desaIortunado. A Iin de encontrar un contraejemplo es
preciso ser un poco mas ingeniosos. Si eIectuamos el calculo indicado con los poliedros de las Iiguras 1.2 y
1.3 obtenemos, respectivamente, v -a c 4 y v -a c O. De donde proviene esta anomalia? En el primer
caso parece que se haya cometido una cierta trampa al construir un poliedro cuya superIicie consta de dos
piezas distintas; en lenguaje tecnico, su superIicie no es conexa. Sospechamos (bastante correctamente) que no
deberia permitirse tal situacion, ya que cada una de las piezas contribuye con un 2 en la Iormula v -a c. Pero,
por desgracia, esta objecion no sirve para la Iigura 1.3 puesto que la superIicie del poliedro representado
consta ciertamente de una sola pieza. Sin embargo, diIiere de las consideradas hasta aqui en un aspecto
realmente importante. Es posible construir un lazo sobre la superIicie que no la divida en dos partes distintas;
esto es, si imaginamos que nosotros mismos cortamos con unas tijeras a lo largo del lazo, la superIicie no se
divide en dos piezas. En la Iigura 1.3 se indica, por medio de Ilechas, un lazo especiIico con tal propiedad.
Demostraremos que, para los poliedros que carezcan de los deIectos ilustrados en las Iiguras 1.2 y 1.3, es v -a
c 2. Antes de proseguir se requiere una mayor precision. En nuestra anterior exposicion solo nos hemos
reIerido a las superIicies de los solidos representados (excepto al mencionar la convexidad).
Figuras 1.2 y 1.3
Por ello convenimos en usar la palabra poliedro para designar tales superIicies en vez de los solidos que
limitan. Por consiguiente, un poliedro es una coleccion Iinita de poligonos planos que se encajan
satisIactoriamente en el siguiente sentido. Si dos poligonos se encuentran, lo hacen en una arista comun y cada
arista de un poligono pertenece solo a otro poligono. Exigimos, ademas, que los poligonos que contienen un
vertice particular se puedan numerar Q1 Q2, ..., Qk de Iorma que cada Q; posea una arista comun con Qi 1
para 1 - i - k, y que Qk tenga una arista comun con Ql. Con otras palabras, los poligonos se ajustan unos a
otros Iormando un trozo de superIicie en torno a un vertice dado. (El numero k puede variar de un vertice a
otro.) Esta ultima condicion no se cumple por ejemplo en el caso de dos cubos unidos por un solo vertice.
(1.1) Teorema de Euler. Sea P un poliedro que satisIaga: (a) Dos vertices cualesquiera de P se pueden unir
mediante una cadena de aristas. (b) Todo lazo de P Iormado con segmentos rectilineos (no necesariamente
aristas) separa a P en dos piezas. Entonces v -a c 2 para P . La Iormula v -a c 2 tiene una historia larga
y complicada. Por primera vez aparece en una carta de Euler a Goldbach, datada en 1750. Sin embargo, Euler
no imponia ninguna restriccion a sus poliedros y su razonamiento solo es aplicable al caso convexo. Sesenta
aos despues Lhuilier observo (en 1813) los problemas que surgian al considerar poliedros como los
representados en nuestras Iiguras 1.2 y 1.3. El enunciado preciso del teorema (1.1) y la demostracion esbozada
a continuacion se deben a von Staudt y se publico en 1847.
Esbozo de demostracin. Un conjunto conexo de vertices y aristas de P se llama un grajo: conexo signiIica
simplemente que cada dos vertices se pueden unir mediante una cadena de aristas del graIo. En general,
usaremos la palabra graIo para designar todo conjunto Iinito y conexo de segmentos rectilineos del 3-espacio
unidos entre si. (Si dos segmentos se cortan deben hacerlo en un vertice comun.) Un graIo sin lazos recibe el
nombre de arbol. Observemos que en un arbol el numero de vertices menos el numero de aristas es igual a 1.
Si representamos por T al arbol, el resultado anterior se expresa por v(1) -a(1) 1.
Figura 1.4
Por la hipotesis (a), el conjunto de todos los vertices y aristas de P es un graIo. Es Iacil demostrar que todo
graIo contiene un subgraIo que es un arbol y contiene todos los vertices del graIo original. Elegimos, pues, un
arbol T que contenga todos los vertices y algunas de las aristas de P. (La Iigura 1.4a muestra un arbol, con las
propiedades descritas, en el caso de uno de los poliedros de la Iigura 1.1.)
Figura 1.5
Ahora consideremos una especie de dua1 de T. Este dual es un graIo I que se deIine como sigue. Para cada
cara A de P, en I tenemos un vertice A. Dos vertices A y B se hallan unidos por una arista si, y solo si, las
correspondientes caras A y B de P son adyacentes y su interseccion es una arista que no se halla en T. I se
puede representar en P de Iorma que omita T (el vertice A se hace corresponder con un punto interior de A) si
bien debemos permitir que las aristas se quiebren. La Iigura 1.5 ilustra el procedimiento descrito. No es muy
diIicil aceptar que este dual I es conexo y, por consiguiente, un graIo. Intuitivamente, si dos vertices de I no
se pueden unir por una cadena de aristas de I, entonces se pueden separar una de otra por medio de un lazo de
T. Dado que T no contiene lazos deducimos que I es conexo. En eIecto, I es un arbol. Si I poseyese un lazo,
este separaria P en dos piezas distintas, segun la hipotesis (b), y cada una de estas piezas contendria, por lo
menos, un vertice de T. Todo intento de unir dos vertices de T que se hallen en trozos diIerentes, mediante
una cadena de aristas, conduce a una cadena que corta el lazo separador y por consiguiente a una cadena que
no pertenece enteramente a T. Esto contradice que T sea conexo. Por consiguiente I es un arbol. (La
demostracion que acabamos de esbozar no se puede aplicar a poliedros como los de la Iigura 1.3, ya que su
graIo dual I contiene lazos.) Puesto que el numero de vertices de todo arbol excede al numero de aristas en 1,
tenemos v(7) -a(7) 1 y v(r) -a(r) 1. Por consiguiente, v(T) -|a(T) a(r)| v(r) 2. Pero, por construccion
v(7) v. a(7) a(r) a y v(r) c. Esto termina la demostracion.