Graduado en Matemáticas e Informática

Universidad Politécnica de Madrid

Escuela Técnica Superior de
Ingenieros Informáticos

TRABAJO FIN DE GRADO

Teorema de Clasificación de Superficies

Compactas

Autor: Diego Rodríguez Vicente

Director: Héctor Barge Yáñez

MADRID, JULIO 2019

1
2
Indice

x Propuesta 4
x Introducción 5
x Conceptos básicos 7
o Espacio Topológico 7
o Base 7
o Espacio Hausdorff 7
o Aplicación Continua 9
o Homeomorfismo 9
o Topología Cociente 10
o Conexión 10
o Compacidad 13
x Variedades 13
x Superficies 14
x Operaciones con palabras 23
x Teorema de clasificación de superficies compactas 24
x Algoritmo del teorema de clasificación de superficies compactas 25
x Implementación y uso del programa 28
x Bibliografía 31

3
Propuesta

En este trabajo lo que se propone es entender bien el Teorema de clasificación de

superficies compactas y elaborar un programa al que se le introduzca el símbolo de la
superficie y devuelva su forma normal y su tipo topológico.

La topología es la rama de las matemáticas que se encarga de estudiar nociones

espaciales que no dependen de la métrica. Propiedades como “estar dentro”, “estar
fuera”, “estar en la frontera” o “tener un agujero” entran dentro de esta categoría. Es
claro que estas propiedades son invariantes por deformaciones continuas del espacio
en cuestión. Esta filosofía queda perfectamente recogida en la conocida expresión
“para un topólogo un donut es lo mismo que una taza de café”.

El principal objetivo del trabajo es entender bien la demostración del Teorema de

clasificación y a partir de ella crear un algoritmo que permita clasificar una superficie
compacta a partir de su símbolo.

Con este objetivo estudiaremos algunos conceptos como el de variedad, haciendo

especial hincapié en el caso 2-dimensional, el de triangulación de una superficie o el de
la característica de Euler de un complejo simplicial.

4
Introducción

El problema de clasificación de variedades ha motivado gran parte de la investigación

matemática durante el siglo XX y sigue siendo un área activa en la actualidad. Hasta
ahora, solamente se ha podido establecer una clasificación completa de las variedades
de dimensiones 1 y 2, a éstas últimas las llamaremos superficies a lo largo del trabajo.
La primera demostración rigurosa de la clasificación de superficies compactas no
apareció hasta 1907 y se debe a los matemáticos Dehn y Heegaard. Sin embargo, este
problema ya había sido estudiado y parcialmente resuelto por matemáticos de la talla
de Möbius, Jordan o Klein a finales del siglo XIX. Cabe destacar que las superficies no
compactas también están clasificadas. Esta clasificación fue obtenida en 1923 por
Kerékjartó. Se recomienda al lector interesado el artículo [10] que contiene la
demostración del teorema además de algunas consecuencias.

La clasificación de variedades tridimensionales no está completamente establecida. La

investigación matemática en este problema concreto se ha mantenido muy activa
desde que Poincaré formuló su famosa conjetura a principios del siglo XX. La conjetura
de Poincaré afirma que toda 3-variedad compacta conexa y simplemente conexa es
homeomorfa a la esfera tridimensional. En 1982 Thurston enunció la conjetura de
geometrización, que afirma que toda 3-variedad prima cerrada y orientada se puede
cortar a lo largo de toros de tal modo que los interiores de las piezas obtenidas
admiten estructuras geométricas de volumen finito. La conjetura de geometrización de
Thurston, que implica la conjetura de Poincaré, fue demostrada en el año 2003 por
Perelman.

Por otro lado, es imposible clasificar las variedades de dimensión superior a 3. Esto se
debe a que todo grupo finitamente presentado se puede obtener como grupo
fundamental de una variedad de dimensión superior a 3 y estos grupos no se pueden
clasificar debido al problema de la palabra. Un bosquejo de la prueba de este hecho se
puede encontrar en [5, chapter 4, pg. 143]. Sin embargo, este hecho no ha disuadido a
la comunidad matemática de la importancia de comprender estos objetos. Al estudio
de la topología de variedades de dimensión superior han contribuido matemáticos de
la talla de Milnor, Smale, Freedman y Donaldson entre muchos otros. En 1956, Milnor
demostró que había 7-variedades homeomorfas pero no difeomorfas a la esfera de
dimensión 7. En 1962, Smale demostró el Teorema de ݄-cobordismo. Este resultado
implica la conjetura de Poincaré generalizada para dimensiones mayores que 4. La
conjetura de Poincaré para dimensión 4 fue probada por Freedman en 1982. Para más
información sobre la historia de la conjetura de Poincaré se recomiendan los artículos
[3] y [8].

5
En esta memoria se presentarán tanto conceptos básicos de topología como conceptos
más avanzados, todos con el fin de entender y comprender el teorema que aborda
este trabajo.

Para ello, dedicaremos el capítulo 3, se presentan los conceptos topológicos

indispensables para entender este teorema, como pueden ser el concepto de espacio
topológico, el de espacio conexo y los homeomorfismos, así como algunos otros más
específicos.

En el siguiente capítulo se hablará de las variedades topológicas. Se definirán

formalmente y se expondrán algunos ejemplos.

El siguiente capítulo es el más importante para este trabajo, pues se centra en las
superficies, las cuales son un tipo específico de variedades. Aquí se definirán las
superficies desde un punto de vista topológico, se hablará del polígono fundamental,
el cual es otra forma de representar una superficie; también hablaremos de las
triangulaciones de superficies; y por último, de la orientabilidad de las mismas.

Le sigue un capítulo dedicado a las distintas operaciones que se pueden hacer con los
polígonos fundamentales de una superficie. Operaciones como cortar y pegar.

Y para finalizar este trabajo, los 2 últimos capítulos son la exposición del teorema de
clasificación de superficies compactas y el algoritmo esquematizado para la
clasificación de superficies mediante una pequeña aplicación.

6
Conceptos básicos

En esta sección se introducirán los conceptos topológicos necesarios para hacer esta
memoria autocontenida. La referencia básica para esta parte es del libro de Munkres
[7].

¾ Espacio Topológico

Un espacio topológico es un par ሺܺǡ ܶሻ en el que ܺ es un conjunto, y una ܶ familia de

subconjuntos de ܺ, a la que llamaremos topología, que cumple lo siguiente:

1. ߶ y ܺ ‫ܶ א‬.
2. La unión de los elementos de cualquier subcolección de ܶ está en ܶ.
3. La intersección de cualquier subcolección finita de ܶ está en ܶ.

¾ Base:

Sea ܺ un espacio topológico. Sea ߚ una colección de abiertos de ܺ. Diremos que ߚ es

una base de la topología ܺ si para cada abierto ܷ de ܺ y para cada ‫ ݔ‬en ܷ, existe un
elemento ܾ de ߚ tal que ‫ܷ ؿ ߚ א ݔ‬.

¾ Espacio Hausdorff o espacio ࢀ૛

Un espacio topológico ܺ es Hausdorff si para cada par de puntos ‫ ݔ‬e ‫ ݕ‬de ܺ distintos
existen abiertos ࣯௫ y ࣯௬ tales que ‫࣯ א ݔ‬௫ e ‫࣯ א ݕ‬௬ :

࣯௫ ‫࣯  ת‬௬ ൌ ߶

Ejemplo:

El espacio topológico de los números reales ሺԹሻ con la topología usual, ሺԹǡ Ȯ௨ ሻ es
Hausdorff:

Sean ‫ ݔ‬e ‫ ݕ‬dos puntos distintos de Թ.

7
Podemos suponer que ‫ ݔ‬൏ ‫ݕ‬. Entonces, existen tres reales ܽ, ܾ y ܿ tales que

ܽ൏‫ݔ‬൏ܾ൏‫ݕ‬൏ܿ

Luego los conjuntos

‫ ܣ‬ൌ ሺܽǡ ܾሻ

‫ ܤ‬ൌ ሺܾǡ ܿሻ

Son abiertos por ser intervalos abiertos. Y, además, son disjuntos cumpliendo que
‫ ܣ א ݔ‬e ‫ܤ א ݕ‬.

En general, el espacio Euclídeo Թ௡ es Hausdorff. Para ver esto recordaremos

brevemente la bien conocida topología de Թ௡ :

En Թ௡ está tenemos definida una función distancia, o métrica, conocida como

distancia Euclídea, y que viene dada por la siguiente expresión:

݀ሺܽǡ ܾሻ ൌ  ԡܽ െ ܾԡ ൌ ඩ෍ሺܽ௜ െ ܾ௜ ሻଶ
௜ୀଵ

Por otro lado, llamaremos bola de centro ܿ y radio ‫ ݎ‬al conjunto:

‫ܤ‬௖ ሺ‫ݎ‬ሻ ൌ ሼ‫ א ݔ‬Թ௡ ‫݀ ׷‬ሺܿǡ ‫ݔ‬ሻ ൏ ‫ݎ‬ሽ

Es decir, los puntos de Թ௡ cuya distancia a ܿ es menor que ‫ݎ‬.

En Թ௡ se define la topología Euclídea o usual utilizando la distancia Euclídea del

siguiente modo:

Un conjunto ܷ es abierto si para cada ‫ ݔ‬de ܷ existe ‫ ݎ‬൐ Ͳ tal que ‫ܤ‬௫ ሺ‫ݎ‬ሻ está
contenida en ܷ.

8
 Así pues, Թ௡ es un espacio Hausdorff, pues para cada par de puntos ‫ ݔ‬e ‫ ݕ‬distintos,
las bolas abiertas ‫ܤ‬ఊ ሺ‫ݔ‬ሻ y ‫ܤ‬ఊ ሺ‫ݕ‬ሻ con ߛ ൏ ݀ሺ‫ݔ‬ǡ ‫ݕ‬ሻΤʹ son disjuntas.

¾ Aplicación continua

Una aplicación entre espacios topológicos, ݂ǣ ܺ ՜ ܻ, es continua en un punto ‫ ܺ א ݔ‬si

para todo abierto ܷ ‫݂ ד‬ሺ‫ݔ‬ሻ existe un abierto ܸ ‫ ݔ ד‬tal que ݂ሺܸሻ ‫ ؿ‬U.

Una aplicación ݂ǣ ܺ ՜ ܻ se dice que es continua si, y sólo si (de ahora en adelante sii),
es continua en todos sus puntos.

Equivalentemente, una aplicación ݂ǣ ܺ ՜ ܻ es continua sii la imagen inversa de un

abierto en ܻ es abierto en ܺ.

¾ Homeomorfismo

Sean ܺ e ܻ espacios topológicos, y ݂ una aplicación de ܺ a ܻ; diremos que ݂ es un

homeomorfismo si se cumple que:

1. ݂ es una biyección.
2. ݂ es continua.
3. ݂ ିଵ es continua.

Dos espacios son homeomorfos si existe un homeomorfismo entre ellos. Dos espacios
homeomorfos son equivalentes desde el punto de vista topológico, lo cual facilita
mucho el estudio y la clasificación de los mismos.

Ejemplo:

Supongamos la topología usual. Sean ܺ ൌ ሾͲǡͳሿ e ܻ ൌ ሾܽǡ ܾሿ con ܽ ൏ ܾ, dos

intervalos cerrados. ܺ e ܻ son espacios homeomorfos, y su homeomorfismo viene
dado por la aplicación continua ݂ሺ‫ݔ‬ሻ ൌ ሺܾ െ ܽሻ‫ ݔ‬൅ ܽ.

Se dice que una propiedad es topológica (o invariante topológico) si se preserva

mediante homeomorfismos. Algunos de estos invariantes son la conexión y la
compacidad, de los cuales hablaremos a continuación.

9
¾ Topología cociente:

Sean ܺ e ܻ dos espacios topológicos y sea ݂ǣ ܺ ՜ ܻ una aplicación sobreyectiva (cada

elemento de ܻ es imagen de mínimo un elemento de ܺ). La aplicación ݂ se dice que es
una aplicación cociente siempre que un subconjunto ܷ de ܻ es abierto en ܻ sii ݂ ିଵ ሺܷሻ
es abierto en ܺ.

Un ejemplo de espacio cociente es la esfera unidad de dimensión 1 ሺܵ ଵ ሻ, resultado de

identificar los extremos del intervalo ሾͲǡͳሿ como uno solo.

¾ Conexión:

Aquí hablaremos sobre 2 tipos de conexión distintos: la conexión propiamente dicha, y

la conexión por caminos.

1. Espacio conexo:

Sea ܺ un espacio topológico. Una separación de ܺ es un par ܷǡ ܸ de abiertos

disjuntos no vacíos de ܺ cuya unión es ܺ. Se dice que ܺ es conexo si no existe
dicha separación.

2. Espacio conexo por caminos:

Dados ‫ ݔ‬e ‫ ݕ‬puntos de un espacio topológico ܺ, un camino en ܺ desde ‫ ݔ‬hasta ‫ ݕ‬es

una aplicación continua ݂ǣ ሾͲǡͳሿ ՜ ܺ, tal que ݂ሺͲሻ ൌ ‫ ݔ‬y ݂ሺͳሻ ൌ ‫ݕ‬. Se dice que un
espacio es conexo por caminos si existe un camino para cada par de puntos de ܺ.

Se cumple que todo espacio conexo por caminos es también conexo, pero el recíproco
no siempre se cumple.

Un ejemplo es el famoso seno del topólogo, que se define como la adherencia de la

ଵ
función ݂ሺ‫ݔ‬ሻ ൌ ‫݊݅ݏ‬ቀ ቁ, es decir, el conjunto ‫ ܩ‬ൌ ቄሺ‫ݔ‬ǡ ‫ݕ‬ሻ ‫ א‬Թଶ ‫ א ݔ ׷‬ሺͲǡ ͳሻǡ ‫ ݕ‬ൌ
௫
ଵ
‫ ݊݅ݏ‬ቀ ቁቅ  ‫  ׫‬ሼሺ‫ݔ‬ǡ ‫ݕ‬ሻ ‫ א‬Թଶ ‫ ݔ ׷‬ൌ Ͳǡ‫ א ݕ‬ሾͲǡͳሿሽ.
௫

Como el gráfico de una función es conexo por ser la imagen del intervalo ሺͲǡͳሻ de una
aplicación continua, su adherencia también. Sin embargo nunca podremos conectar un
punto del grafo con un punto del eje ‫ݔ‬.

10
 ͳ ͳ
݂ሺ‫ݔ‬ሻ ൌ ‫ ݊݅ݏ‬൬ ൰ ǡ ‫ א ݔ‬ሺͲǡ ͳሻ ݂ሺ‫ݔ‬ሻ ൌ ‫ ݊݅ݏ‬൬ ൰ ǡ ‫ א ݔ‬ሺͲǡ ͲǤͳሻ
‫ݔ‬ ‫ݔ‬

ͳ ͳ
݂ሺ‫ݔ‬ሻ ൌ ‫ ݊݅ݏ‬൬ ൰ ǡ ‫ א ݔ‬ሺͲǡ ͲǤͲͳሻ ݂ሺ‫ݔ‬ሻ ൌ ‫ ݊݅ݏ‬൬ ൰ ǡ ‫ א ݔ‬ሺͲǡ ͲǤͲͲͳሻ
‫ݔ‬ ‫ݔ‬

Como se puede apreciar, cuanto más cerca del eje ‫ ݔ‬nos encontremos, más veces
oscilará la función. Intuitivamente, podemos decir que oscila infinitas veces, lo cual
implica que no existe un camino finito entre un punto del eje ‫ ݔ‬y otro punto
perteneciente a la función.

¾ Compacidad:

Se dice que una colección ߁ de subconjuntos de ܺ es un recubrimiento de ܺ si la unión de

los elementos de ߁ coincide con ܺ. Se dice que un recubrimiento es abierto si está formado
por conjuntos abiertos de ܺ.

Un espacio topológico X se dice compacto si de cada recubrimiento abierto ߁ de ܺ

podemos extraer una subcolección finita que también recubra ܺ.

11
 Ejemplo:

La recta real Թ no es compacta, pues el recubrimiento de Թ por intervalos abiertos

߁ ൌ  ሼሺ݊ǡ ݊ ൅ ʹሻȁ݊ ‫ א‬Ժሽ no contiene ninguna subcolección finita que recubraԹ.

Ejemplo:

Cualquier espacio ܺ que contenga un número finito de puntos es compacto, pues

cualquier recubrimiento por abiertos de ܺ es finito.

Según el teorema de Heine-Borel, un subconjunto Թ௡ con la topología usual es

compacto sii es cerrado y acotado.

12
Variedades

Supongamos ݊ un entero positivo. Una variedad topológica ݊-dimensional es un

espacio Hausdorff tal que para cada punto existe una vecindad homeomorfa a la bola
unidad abierta ‫ܤ‬଴ ሺͳሻ.

Ejemplos:

x Թ௡ :

Թ௡ es en sí mismo una variedad. No solo por ser espacio Hausdorff, también

porque dado un ‫ ݔ‬en Թ௡ , ‫ܤ‬௫ ሺͳሻ es homeomorfa a ‫ܤ‬଴ ሺͳሻ.

x •ˆ‡”ƒܵ ଶ ǣ

Se puede demostrar fácilmente que ܵ ଶ es una variedad. Es Hausdorff por estar

contenida en Թ௡ାଵ .

Por otro lado, ܵ ଶ es una variedad debido a la proyección estereográfica. Esta

aplicación está definida para todos los puntos de la esfera salvo el polo norte. La
proyección estereográfica mapea cada punto de la esfera con la intersección de la
recta que pasa por un punto ‫ ݔ‬de la esfera y el polo norte.

Como una recta está definida por 2 puntos distintos, cuando el punto seleccionado
sea el propio polo norte, dicha proyección se hará entre el polo norte y el polo sur.
Así todos los puntos de la esfera tendrán su imagen sobre el plano real. Y como ya
hemos visto, Թଶ es una variedad, entonces la esfera ܵ ଶ también lo es.

Aunque no es el objeto de este trabajo, las 1-variedades están clasificadas. En

particular, toda 1-variedad conexa es homeomorfa a ܵ ଵ si es compacta o a Թ si no lo
es. Una demostración de este resultado utilizando técnicas diferenciales puede
encontrarse en los libros [6, Appendix, pg. 55], [11]. Una demostración utilizando
técnicas combinatorias se encuentra en [2, Theorem 6.1, pg. 118].

13
Superficies

En esta sección se hablará de las superficies y algunas de sus propiedades más

importantes. La referencia fundamental para este capítulo es [4], aunque también
serán de utilidad los libros [1], [2], [7] y [9].

Para nosotros, una superficie será una variedad conexa de dimensión 2.

Algunos ejemplos de superficies son:

x Esfera ܵ ଶ :

x Toro ܶ:

14
 x Plano proyectivo real ܲଶ :

Esta representación del plano proyectivo es lo que se conoce como polígono

fundamental.

El polígono fundamental de una superficie es la representación de dicha superficie

como un cociente de un subconjunto de plano real con lo lados identificados a pares.

Otro ejemplo de polígono fundamental es el siguiente:

La famosa botella de Klein, representada en la siguiente imagen

15
también puede ser representada de la siguiente forma:

El sentido de las flechas indica el espacio cociente resultado de la relación de

equivalencia de identificar los lados con la misma letra en el sentido
correspondiente.

Topológicamente, son la misma superficie; la primera representada en el espacio

tridimensional, y, esta última, representada de forma planar, es su polígono
fundamental. Los lados ܽ y ܾ se pegarían siguiendo la orientación que posee cada
uno.

Así pues, una tercera manera de referirnos a una superficie será mediante su
palabra, la cual es una codificación del polígono fundamental.

Por ejemplo, una palabra del ejemplo anterior, sería ܾܽܽ ିଵ ܾ. Denotaremos con el
exponente -1 si la orientación del lado en cuestión difiere del sentido en el que
estemos escribiendo el polígono. Aunque de esto se hablará más adelante, cabe
destacar que no importa el lado tomado como origen, pero sí ha de conservarse el
sentido de lectura, ya sea positivo o negativo.

Como las superficies que se usarán en la demostración de este teorema son la

esfera, el toro y el plano proyectivo real, a continuación están sus
correspondientes palabras:

- Esfera: ܽܽ ିଵ .
- Toro: ܾܽܽିଵ ܾ ିଵ.
- Plano: ܽܽ.

16
Con el polígono fundamental de una superficie definido, podemos triangular una
superficie triangulando su polígono, pues, como hemos dicho anteriormente,
topológicamente una superficie y su polígono fundamental son equivalentes.

Una triangulación de una superficie compacta es una descomposición de la misma en

un número finito de triángulos topológicos tal que dos triángulos o son disjuntos, o
tienen exactamente una arista completa en común, o tienen exactamente un vértice
en común.

Un triángulo topológico es un conjunto homeomorfo a un triángulo plano ܶ. Los

vértices y las aristas dicho triángulo son la imagen mediante ese homeomorfismo de
los vértices y aristas de ܶ.

Como demostró el matemático húngaro Tibor Radó en 1925, toda superficie tiene al
menos una triangulación, la cual no es única. Este teorema es solo aplicable a
variedades de dimensión menor o igual que 3. En dimensión 4 se pueden encontrar
ejemplos de variedades que no son triangulables. En 2013, Manolescu demostró que
para toda dimensión mayor o igual que 5, existían ejemplos de superficies no
triangulables [4].

A continuación, se exponen las triangulaciones de las 3 superficies que, como veremos,

sirven como cimientos para construir todas las demás.

x Esfera:

Triangulación de la esfera ܵ ଶ .

17
 x Toro:

Triangulación del toro ܶ.

x Plano Proyectivo:

Triangulación del plano proyectivoܲ.

Otro teorema dice que toda superficie compacta puede ser considerada como espacio
cociente de un polígono con los lados identificados a pares.

Este último teorema es fundamental para este trabajo, pues es el que nos permite
expresar las superficies como palabras. Gracias a esto, el problema del estudio de
superficies compactas se reduce al estudio de polígonos con los lados identificados a
pares.

18
Otro concepto importante en la clasificación de superficies compactas, es el invariante
topológico conocido como la característica de Euler, denotado por la letra ߯. La
característica de Euler de una superficie se puede calcular de la siguiente forma:

߯ ൌ ܸ െ ‫ ܣ‬൅ ‫ܥ‬,

donde ܸ es el número de vértices, ‫ ܣ‬es el número de aristas, y ‫ ܥ‬es el número de caras

de una triangulación de dicha superficie.

Este resultado está bien definido, es decir, no depende de la triangulación elegida.

Ejemplos:

x La esfera, representada por la palabra ‫ ݌‬ൌ ܾܾܽ ିଵ ܽିଵ, tiene߯ሺ‫݌‬ሻ ൌ ͷ െ ͻ ൅

͸ ൌ ʹ.

x El toro, representado por la palabra ’ ൌ ƒ„ƒିଵ „ିଵ, tiene ɖሺ’ሻ ൌ ͻ െ ʹ͹ ൅

ͳͺ ൌ Ͳ.

x El plano proyectivo, representado por la palabra ‫ ݌‬ൌ ܾܾܽܽ, tiene ߯ሺ‫݌‬ሻ ൌ ͳͲ െ

ʹ͹ ൅ ͳͺ ൌ ͳ.

Tras haber visto lo que es la triangulación de una superficie, podemos definir la

orientabilidad de la propia triangulación, para, posteriormente, extenderla a una
superficie compacta cualquiera.

Una triangulación es orientable si es posible orientar sus triángulos de manera que dos
triángulos que compartan una arista tienen, para dicha arista, orientaciones opuestas.

Orientar un triángulo es simplemente ordenar sus vértices.

19
Ejemplos:

x Toro:

Esta triangulación del toro, sí es orientable,

pues para cada par de triángulos, la arista
que comparten tiene orientaciones
opuestas.

Aclarar que como esta triangulación es

orientable, cualquier otra también lo es.

x Banda de Möbius:

Esta triangulación de la banda de Möbius,

no es orientable. En rojo están coloreados
los conflictos con la orientación.

De forma similar al toro, como esta

triangulación no es orientable, ninguna lo
es.

20
Ahora que hemos definido la orientación de una superficie triangulada, podemos
enunciar los siguientes teoremas, ambos equivalentes:

- Una superficie compacta es orientable sii tiene una triangulación orientable.

- Una superficie compacta es orientable sii no contiene una banda de Möbius.

Otro resultado importante para el teorema de clasificación de superficies compactas

es el siguiente:

Sea ‫ ܯ‬ൌ ‫ܯ‬ଵ ͓‫ܯ‬ଶ . Entonces ‫ ܯ‬es orientable sii ‫ܯ‬ଵ y ‫ܯ‬ଶ lo son.

El símbolo ͓ denota la suma conexa de 2 superficies, de la cual hablaremos a

continuación.

Sean ‫ܯ‬ଵ y ‫ܯ‬ଶ dos superficies disjuntas. La suma conexa de ‫ܯ‬ଵ y ‫ܯ‬ଶ es el espacio
topológico ‫ܯ‬ଵ ͓‫ܯ‬ଶ que se obtiene eliminando un disco abierto de ‫ܯ‬ଵ y otro de ‫ܯ‬ଶ y
pegando los espacios resultantes por la frontera de los discos mediante un
homeomorfismo. El espacio resultante es una superficie, y su topología no depende ni
de los discos ni del homeomorfismo escogido.

Ahora veremos cómo es la palabra que define la suma conexa de ݊ toros y de ݊ planos
proyectivos. Esto se hace por inducción, pero mostraremos en las siguientes figuras el
caso ݊ ൌ ʹ.

- Suma conexa de ݊ toros:

Como se puede ver en la imagen resultante, la suma conexa de 2 toros viene

dada por la palabra ܾܽܽ ିଵ ܾ ିଵ ‫ି ݕݔݕ‬ଵ ‫ି ݔ‬ଵ . Es fácil ver, por inducción, que la
suma conexa de ݊ toros viene representada por la palabra
ܽଵ ܾଵ ܽଵ ିଵ ܾଵ ିଵ ǥ ܽ௡ ܾ௡ ܽ௡ ିଵ ܾ௡ ିଵ .

21
- Suma conexa de ݊ planos proyectivos:

En el caso de 2 planos proyectivos, su suma conexa viene representada por la

palabra ܾܾܽܽ‫ݕݔݕݔ‬. Del mismo modo que con la suma conexa de ݊ toros, se
puede ver que, para el caso de los planos proyectivos, la palabra resultante es
ܽଵ ܾଵ ܽଵ ܾଵ ǥ ܽ௡ ܾ௡ ܽ௡ ܾ௡ .

22
Operaciones elementales con palabras

Como ya hemos explicado anteriormente, una palabra (o esquema) es una forma de

codificar el polígono fundamental de una superficie.

Dado un esquema ɘ se pueden realizar sobre él las siguientes operaciones

elementales sin que alteren el espacio cociente ܺ.

Corte: Se puede sustituir el esquema ߱ ൌ ‫ݕ‬଴ ‫ݕ‬ଵ por el esquema ‫ݕ‬଴ ܿ ିଵ y ܿ‫ݕ‬ଵ , siempre
que ܿ no aparezca en algún otro sitio del esquema total y que ‫ݕ‬଴ e ‫ݕ‬ଵ sean de longitud
al menos dos.

Pegado: Se puede sustituir el esquema ‫ݕ‬଴ ܿ ିଵ y ܿ‫ݕ‬ଵ por el esquema ‫ݕ‬଴ ‫ݕ‬ଵ siempre que ܿ
no aparezca en algún otro sitio del esquema total.

Reetiquetado: Se pueden sustituir todas las presencias de una etiqueta dada por
alguna otra etiqueta que no aparezca en otro lugar del esquema. Análogamente, se
puede cambiar el signo del exponente de todas las apariciones de una etiqueta ܽ
dada, esto equivale a invertir todas las orientaciones de las aristas con la etiqueta ƒ.

Permutación: Se puede sustituir uno cualquiera de los esquemas ߱ por una

permutación cíclica de ߱. Específicamente, si ߱ ൌ  ‫ݕ‬଴ ‫ݕ‬ଵ , se puede sustituir ߱ por
‫ݕ‬ଵ ‫ݕ‬଴ .
ఌభ ఌ೙
Inversión: Se puede sustituir el esquema ߱ ൌ ൫ܽ௜భ ൯ ǥ ൫ܽ௜೙ ൯ por el esquema
ିఌభ ିఌ೙
߱ିଵ ൌ ൫ܽ௜೙ ൯ ǥ ൫ܽ௜భ ൯

Esto es simplemente “invertir el polígono ࣪”. El orden de los vértices se invierte y por
tanto la orientación de cada arista. El espacio cociente no se ve alterado.

Eliminación: Se puede sustituir el esquema ߱ ൌ ‫ݕ‬଴ ܽܽିଵ ‫ݕ‬ଵ por el esquema ߱ ൌ ‫ݕ‬଴ ‫ݕ‬ଵ
siempre que ƒ no aparezca en otro sitio del esquema total y ambos ‫ݕ‬଴ e ‫ݕ‬ଵ sean de
longitud al menos dos.

Sean ܾ y ܿ las etiquetas que no aparecen en ningún otro sitio del esquema total. En
primer lugar se sustituye ‫ݕ‬଴ ܽܽିଵ ‫ݕ‬ଵ por el esquema ‫ݕ‬଴ ܾܽ y ܾ ିଵ ܽିଵ ‫ݕ‬ଵ usando la
operación de corte. Entonces las aristas ܽ y ܾ de cada polígono se combinan para
formar una nueva arista de etiqueta ܿ, resultando en el esquema ‫ݕ‬଴ ܿ y ܿ ିଵ ‫ݕ‬଴ , que se
puede sustituir por el esquema simple ‫ݕ‬଴ ‫ݕ‬ଵ mediante la operación de pegado.

Añadido: Es la operación inversa de Eliminación. Consiste en sustituir el esquema ‫ݕ‬଴ ‫ݕ‬ଵ

por el ‫ݕ‬଴ ܽܽିଵ ‫ݕ‬ଵ , siendo ƒ una etiqueta que no aparezca en ningún otro lugar del
esquema total.

23
Teorema de clasificación de superficies compactas

Después de haber visto todo lo anterior, podemos enunciar el teorema objeto de este
trabajo.

El teorema de clasificación de superficies compactas dice lo siguiente:

Toda superficie compacta 2-dimensional es homeomorfa a alguna de las siguientes

familias:

- A la esfera ܵ ଶ .
- A la suma conexa de ݊ toros.
- A la suma conexa de ݉ planos proyectivos.

Supongamos que ߱ଵ ǡ ǥ ǡ ߱௞ es un esquema de los polígonos ࣪ଵ ǡ ǥ ǡ ࣪௞ . Si cada etiqueta

aparece exactamente dos veces en el esquema, entonces será un esquema propio.

Sea ߱ un esquema propio de un polígono. Diremos que ߱ es de tipo toro si cada

etiqueta aparece en ߱ una vez con exponente ൅ͳ y otra vez con exponente െͳ. En
otro caso se dirá que ߱ es de tipo proyectivo.

24
Algoritmo del teorema de clasificación de superficies compactas

Para la implementación del algoritmo primero veremos gráficamente algunos

movimientos en el esquema de palabras los cuales no alteran la superficie que
tratamos.

Sean ߩ௜ un esquema de palabras y ߙ௜ una letra del esquema, a saber:

1. ߩଵ ߩଶ ՜  ߩଶ ߩଵ . Este movimiento es simplemente empezar el esquema desde

otra posición.

2. Se puede invertir el exponente de una letra. Es decir, cambiar ߙ por ߙ ିଵ y ߙ ିଵ

por ߙ simultáneamente. Implica cambiar la orientación de dos lados
identificados.

3. ߩ ՜  ߩିଵ. Invertir una palabra consiste en invertir el orden de las letras, así
como su exponente. Significa leer el polígono en sentido opuesto.

4. ߙߙ ିଵ ߩ ՜ ߩ. Este movimiento consiste en eliminar las esferas.

5. ߙߩଵ ߙߩଶ ՜ ܾܾߩଵ ିଵ ߩଶ ǤEste movimiento agrupa los planos proyectivos.

25
 6. ߙߩଵ ܾߩଶ ߙ ିଵ ߩଷ ܾ ିଵ ߩସ ՜ ߙܾߙ ିଵ ܾ ିଵ ߩଵ ߩସ ߩଷ ߩଶ . Este movimiento agrupa los toros.


ିଵ ିଵ
7. ߙܾܾܿ ܿ ՜ ݂݂݀݀݁݁. Este movimiento relaciona un plano proyectivo y un
toro con parte homeomorfa: 3 planos proyectivos.

Visto esto, tenemos todo lo necesario para proceder con el algoritmo y, del mismo
modo, con la demostración del teorema.

Necesitaremos 2 variables auxiliares, ambas inicializadas a 0, que nos servirán para ir

guardando la cantidad de toros y planos proyectivos que nos vayamos encontrando.

Llamaremos lados del primer tipo a aquellos que aparezcan como ߙߩଵ ߙߩଶ , y lados del
segundo tipo a los que aparezcan como ߙߩଵ ߙ ିଵ ߩଶ .

Sea ߩ un esquema de un polígono cualquiera.

Lo primero que debemos hacer es aplicar es, si procede, el movimiento 5 tantas veces
como pares de lados del primer tipo haya, obteniendo así ߩ ֧  ߙଵ ߙଵ ǥ ߙ௞ ߙ௞ ߩԢ, con ߩԢ

26
teniendo sólo lado del segundo tipo. De este modo nuestra palabra tendrá todos los
planos proyectivos al comienzo de la misma.

Ahora trabajaremos sobre ߩԢ, cual será una palabra con solo lados del segundo tipo.
Aplicamos ahora 6 tantas veces como parejas de lados entrelazados haya. Nótese que
este movimiento no agrega lados del primer tipo.

Realizado este proceso, nuestra palabra pasará a ser de la forma

ିଵ ିଵ
ߩԢ ֧  ܾଵ ܿଵ ܾଵ ܿଵ ିଵ ǥ ܾ௚ ܿ௚ ܾ௚ ܿ௚ ିଵ ߩԢԢ, con ߩԢԢ solo lados del segundo tipo y no
entrelazados, es decir, con parejas del tipo ݀݀ିଵ , las cuales las podemos eliminar
usando 4 hasta que ߩᇱᇱ ൌ ‫׎‬.

Bien, nuestras variables auxiliares ‫ ܭ‬y ‫ ܩ‬tendrán valores según el número de veces que
hayamos aplicado 5 y 6, respectivamente.

Si ‫ ܭ‬ൌ Ͳ y ‫ ܩ‬ൌ Ͳ significa que nuestra palabra inicial ߩ ൌ ߙߙ ିଵ , ya que no hemos
realizado ningún movimiento, por lo que podemos deducir que era una esfera.

Si ‫ ܭ‬ൌ Ͳ y ‫ Ͳ ് ܩ‬significa que nuestra palabra estaba compuesta solo por toros, con
lo que podemos decir que nuestra superficie es homeomorfa a una suma conexa de ‫ܩ‬
toros; o, lo que es lo mismo, a un toro de género ‫ܩ‬.

Si ‫ Ͳ ് ܭ‬y ‫ ܩ‬ൌ Ͳ significa que nuestra palabra estaba compuesta por planos
proyectivos, implicando que nuestra superficie es homeomorfa a una suma conexa de
‫ ܭ‬planos proyectivos, o a un plano proyectivo de género ‫ܭ‬.

Por último, si ‫ Ͳ ് ܭ‬y ‫ Ͳ ് ܩ‬tenemos una palabra tanto con planos proyectivos como
con toros. Llegados a este punto, aplicamos 7 para eliminar los toros, quedando así
una palabra con ‫ ܭ‬൅ ʹ‫ ܩ‬planos proyectivos. Es decir, nuestra palabra sería
homeomorfa a un plano proyectivo de género ‫ ܭ‬൅ ʹ‫ܩ‬.

27
Implementación y uso del programa

Para la implementación de este algoritmo he decidido usar el conocido lenguaje

Python, en su versión 3.6.2, la cual incluye un módulo denominado ”‡. Este módulo
contiene funciones basadas en expresiones regulares, las conocidas ”‡‰‡š (regular
expression). Las expresiones regulares son una forma muy útil de encontrar patrones
en un texto.

Aclarar que este programa solo funciona en Windows, ya que es un archivo Ǥ ݁‫݁ݔ‬, y que
no precisa de ninguna instalación para su correcto funcionamiento.

El programa, primero comprueba que cada letra de la palabra introducida aparezca

únicamente 2 veces. En caso de no ser así, el programa pedirá al usuario que vuelva a
introducir una superficie válida. Por comodidad, la implementación se ha realizado
considerando que las letras minúsculas van en el mismo sentido en el que se escribe la
palabra correspondiente al polígono fundamental, y en mayúsculas sin van al
contrario. Es decir, el toro ߙܾߙ ିଵ ܾ ିଵ estaría representado por ܾܽ‫ܤܣ‬.

La restricción de que cada letra aparezca 2 veces se hace ignorando mayúsculas y

minúsculas, es decir, ܽ y ‫ ܣ‬son la misma letra.

Para ejecutar el programa, se deberá descomprimir el archivo Ǥ ‫ ݌݅ݖ‬llamado

“Programa”, y ejecutar el archivo con extensión Ǥ ܾܽ‫ ݐ‬denominado “Theorem”. El
programa recibe como entrada una palabra, y, si es válida, devuelve a qué familia de
las del teorema enunciado anteriormente pertenece. Una palabra es válida si, aparte
de tener todas sus letras 2 veces únicamente, todos sus caracteres son alfabéticos.
Una palabra con números, o símbolos de puntuación, será considerada no válida, y el
programa devolverá el correspondiente error, quedando a la espera de una nueva
palabra.

Para finalizar el programa, el usuario puede cerrarlo de manera habitual, en la š que se

encuentra en la esquina superior derecha, o escribiendo alguno de los siguientes
comandos en la terminal: ሾ‫ݍ‬ǡ ‫ݐ݅ݑݍ‬ǡ ݁‫ݐ݅ݔ‬ሿ. Cualquiera de estos 3 comandos harán que el
programa finalice.

A continuación un breve ejemplo de cómo se ha utilizado el módulo de expresiones

regulares para el caso número 5. La expresión regular utilizada sería: ̶ሺǤ ሻሺǤ‫כ‬ሻሺ̳ͳሻሺǤ‫כ‬ሻ̶.

El carácter ̶Ǥ ̶ representa cualquier otro carácter. En nuestro caso, solo serán letras.

El símbolo ̶ ‫ ̶ כ‬indica Ͳ o más ocurrencias de lo que le preceda, en este caso ̶Ǥ ̶, lo

que significa que es una cadena de texto, la cual puede ser vacía.

28
Los paréntesis implican que lo que haya dentro es considerado un grupo. Esto es útil ya
que como para este caso, queremos que haya 2 letras iguales, al haber capturado la
primera (sea cual sea) con ̶ሺǤ ሻ̶, podemos volver a referirnos a ella con la expresión
̶ሺ̳ͳሻ̶. Esta expresión tendrá el valor de lo que se haya capturado en el primer grupo
(una letra) y volver a hacer de ella un grupo.

Y por último, al igual que hicimos con la segunda expresión, capturar cualquier cadena
de texto, la cual puede ser vacía.

Bien, ahora que tenemos el patrón ߙߩଵ ߙߩଶ capturado en grupos, solo nos queda
transformarlo en ܾܾߩଵ ିଵ ߩଶ . Como las letras siempre aparecen por pares y nunca
repetidas, podemos sustituir ܾ por ߙ.

Llamemos ߣ a nuestra captura con dicha expresión. ߣǤ ݃‫ݏ݌ݑ݋ݎ‬ሺሻ devuelve una lista con
todos los grupos capturados. Así pues, ߣǤ ݃‫ݏ݌ݑ݋ݎ‬ሺሻሾͲሿ ൌൌ ߣǤ ݃‫ݏ݌ݑ݋ݎ‬ሺሻሾʹሿ, pues
recordemos que en el grupo 3 tenemos lo mismo que en el grupo 1. Y en
ߣǤ ݃‫ݏ݌ݑ݋ݎ‬ሺሻሾͳሿ y ߣǤ ݃‫ݏ݌ݑ݋ݎ‬ሺሻሾ͵ሿ tenemos 2 cadenas de texto.

Ahora juntamos todos los grupos en el orden correspondiente:

ߣǤ ݃‫ݏ݌ݑ݋ݎ‬ሺሻሾͲሿ ൅ ߣǤ ݃‫ݏ݌ݑ݋ݎ‬ሺሻሾʹሿ ൅ ߣǤ ݃‫ݏ݌ݑ݋ݎ‬ሺሻሾͳሿǤ ‫݌ܽݓݏ‬ሺሻ ൅ ߣǤ ݃‫ݏ݌ݑ݋ݎ‬ሺሻሾ͵ሿ

La función ‫݌ܽݓݏ‬ሺሻ invierte la cadena de texto y cambia mayúsculas por minúsculas y

viceversa. Es lo que previamente hemos definido como inverso de una palabra,
operación 3. Este mismo proceso se realizaría para operación número 6.

La operación número 7 no está implementada, pues es una relación de equivalencia en

la que la suma conexa de un toro y un plano proyectivo es homeomorfo a 3 planos
proyectivos. De aquí podemos concluir que la suma conexa de ݊ toros y ݉ planos
proyectivos es homeomorfa a ݉ ൅ ʹ݊ planos proyectivos, como ya se mencionó
anteriormente.

Ejemplos:

x Sea la palabra ܾܾܽܿܽିଵ ݀݀ܿ ିଵ.

Como vemos, no hay lados del primer tipo sobre los que poder aplicar el paso
5. Los planos proyectivos ܾܾ y ݀݀ ya están agrupados. Pero sí hay un lado de
segundo tipo, que es de la forma: ܽሾܾܾሿܿሾሿܽିଵ ሾ݀݀ሿܿ ିଵ ሾሿ. Denotamos entre ሾሿ
lo que en el algoritmo denominamos ߩ௜ . Aplicando el paso 6, la palabra
resultante sería ܽܿܽିଵ ܿ ିଵ ܾܾ݀݀, la cual se corresponde a la suma conexa de 1
toro y 2 planos proyectivos. Y por el paso 7, es homeomorfo a la suma conexa
de 4 planos proyectivos.

29
x Sea la palabra ܾܽܿ݀ܽିଵ ܿ ିଵ ܾିଵ ݀ିଵ .

En este caso podemos anticipar que no habrá ningún plano proyectivo

involucrado, pues no aparece ningún lado del primer tipo y, como dijimos
anteriormente, el movimiento número 6 no agrega lados del primer tipo. Así
pues, aplicando el paso 6 sobre la palabra ܽሾሿܾሾܿ݀ሿܽିଵ ሾܿ ିଵ ሿܾ ିଵ ሾ݀ ିଵ ሿ (como en
el ejemplo anterior, los ሾሿ denotan los ߩ௜ ), obtendríamos la siguiente palabra:
ܾܽܽିଵ ܾ ିଵ ݀ିଵ ܿ ିଵ ܿ݀. Como vimos en el paso 4, podemos eliminar la esfera
ܿ ିଵ ܿ, quedando ܾܽܽିଵ ܾ ିଵ ݀ିଵ ݀. Volvemos a aplicar el paso número 4, ya que
ahora ha aparecido la esfera ݀ ିଵ ݀. Nuestra palabra final se correspondería con
ܾܽܽିଵ ܾ ିଵ, la cual representa un toro.

30
Bibliografía

[1] C. Kosniowski, A First Course in Algebraic Topology, Cambridge University Press,

1980.

[2] J.M. Lee, Introduction to Topological Manifolds, Springer-Verlag New York, 2011.

[3] M.T. Lozano, La conjetura de Poincaré. Cien años de investigación, bulleti-digital,

2014.

[4] C. Manolescu, Pin(2)-equivariant Seiberg-Witten Floer homology and the

triangulation conjecture, J. Amer. Math. Soc., 29, 2016, no. 1, 147-176.

[5] W.S. Massey, Algebraic Topology, an Introduction, Springer-Verlag, 1977.

[6] J.W. Milnor, Topology From the Differentiable Viewpoint, The University Press of
Virginia, Charlottesville, 1965.

[7] J. Munkres, Topology, Prentice Hall, Inc., 2000.

[8] V. Muñoz, Cien años de la conjetura de Poincaré, Gac. R. Soc. Mat. Esp., 7, 2004,
629-653.

[9] V. Muñoz, J.J. Madrigal, Topología Algebraica, Sanz y Torres, 2015.

[10] I. Richards, On the classification of noncompact surfaces, Trans. Amer. Soc., 106,
1963, 259-269.

[11] J.M.R. Sanjurjo, J.M. Ruiz, Introducción a la Geometría Diferencial: Curvas, Sanz y
Torres, 2012.

31
Este documento esta firmado por
Firmante CN=tfgm.fi.upm.es, OU=CCFI, O=Facultad de Informatica - UPM,
C=ES
Fecha/Hora Sun Jul 07 18:20:52 CEST 2019
Emisor del [email protected], CN=CA Facultad de
Certificado Informatica, O=Facultad de Informatica - UPM, C=ES
Numero de Serie 630
Metodo urn:adobe.com:Adobe.PPKLite:adbe.pkcs7.sha1 (Adobe
Signature)