Teorema de Clasificacin de

Superficies

Edgar Everardo Martinez Garcia

17 de Mayo de 2017

1
Un teorema de clasificacin nos da una lista completa de todas las posibles
formas que un objeto matemtico puede tomar. En este caso el enfoque sera
sobre superficies. Para entender el teorema de clasificacin de superficies
partiremos de ideas intuitivas de conceptos muy bsicos..
Definicin. El n-disco de un punto se define como el conjunto de puntos que
estan a menos de una cierta distancia del punto, adems es un subconjunto
de Rn .
Definicin. Un entorno abierto de un punto es un conjunto que contiene al
punto y uno puede estar tan prximo como se desee a ese punto.

Figura 1: Disco y Entorno Abierto

Definicin. Un homeomorfismo es una funcin biyectiva y continua, talque

su inversa tambin es continua. En este caso se dira que los dos espacios
son homeomorfos, es decir, tienen esencialmente la misma forma.
Definicin. Un espacio de Haussdorff es simplemente un espacio en el que
para dos puntos diferentes podemos encontrar entornos abiertos disjuntos.

2
 Figura 2: Espacio de Hausdorff

Definicin. Una n-variedad es un espacio de Hausdorff, donde cada punto

tiene un entorno abierto que es homeomorfo al n-disco el cual es a su vez
homeomorfo a Rn .

(a) Esfera (b) Toro (c) PPReal

Figura 3: 2-variedades

Definicin. Un espacio de identificacin es el que se obtiene a travs de

una funcin que va desde algn espacio a su espacio cociente, mediante la
regla f (x) = [x].
Por ejemplo si es una relacin de equivalencia en S 2 dada por x y
x = y entonces S 2 / es el Plano Proyectivo Real (RP 2 ). En este caso
el hemisferio norte y el sur estan identificados. As, si nos restringimos a
considerar el hemisferio norte, este es homeomorfo al 2-disco mediante la
funcin (x, y, z) 7 (x, y), (x, y, z) S 2 con z 0. De esta manera es posible
describir RP 2 como D 2 / , donde

3
 x x 0 x = x 0 o x, x 0 S 1 D 2 y x = x 0

Figura 4: Espacio de Identificacin de RP 2

Intuitivamente entonces tenemos:

(a) Espacio de Identificacin de S2 (b) Espacio de Identificacin de T2

Figura 5: Espacios de Identificacin

4
 (a) Espacio de Identifi- (b) Espacio de Identifi- (c) Espacio de Identifica-
cacin del Cilindro cacin de la Banda de cin del la Botella de
Mbious Klein

Figura 6: Otros Espacios de Identificacin

Definicin. Una superficie es una 2-variedad que es compacta y conexa.

Ejemplos de superficies son S2 , T2 y RP 2 .
Definicin. La suma conexa, denotada por #, se forma removiendo pequeos
discos abiertos de cada superficie y despus uniendo las superficies a lo
largo de los agujeros formados.

Figura 7: Ejemplo Suma Conexa

Definicin. Una superficie se dice orientable si no es suma conexa con una

Banda de Mbius y es no orientable si no contiene una Banda de Mbius.

5
Definicin. Coser una asa es tomar la suma conexa con un toro.
Definicin. Coser una cilindro de manera correcta es tomar la suma conexa
con un toro.
Definicin. Coser una cilindro de manera incorrecta es tomar la suma co-
nexa con una botella de Klein.
Definicin. Coser una banda de Mbius es tomar la suma conexa con el
plano proyectivo real, ya que una tira de Mbius es una plano proyectivo
real sin un disco abierto.
Definicin. La superficie orientable estandar de genero m es

S 2 #mT 2 , m 0

Definicin. La superficie no orientable estandar de genero n es

S 2 #nRP 2 , n 1

LEMA. (T2 # RP 2 )
= (RP 2 # RP 2 # RP 2 )
Una prueba intuitiva seria ver que los espacios de identificacin de T 2 # RP 2 ,
K#RP 2 y el de 3RP 2 son iguales.
Entonces, podemos dar una demostracin intuitiva de la siguiente forma:
DEMOSTRACIN ADJUNTA AL FINAL DEL DOCUMENTO
Definicin. Un subespacio de un espacio se dice que es una curva cerrada
simple si es homeomorfo a la circunferencia S 1 .
Definicin Si hay una curva cerrada simple en una superficie, decimos que
la curva cerrada simple separa a la superficie si su complemento en la
superficie no es conexa. En otras palabras, si despus de cortar por la
curva, la superficie no sigue siendo de una pieza, entonces la curva cerrada
simple separo la superficie.
TEOREMA DE CLASIFICACIN DE SUPERFICIES. Sea S una superficie,
entonces S es homeomorfa exactamente a alguna de las siguientes superfi-
cies:
1. S 2 #mT 2 , m 0

6
 2. S 2 #nRP 2 , n 1
Demostracin (Paso 1).
Si tenemos una superficie S y dentro de esta una curva cerrada simple (ccs)
C tal que esta no separa a S, entonces existe un entorno de C que puede ser
un cilindro o una banda de Mbius. Si quitramos el cilindro a la superficie,
entonces pegamos dos discos a los dos agujeros en el cilindro y en el otro
caso, si removemos la banda de Mobius, pegamos solo un disco a la banda
de Mbious, ya que esta solo tiene un lado.
Obtenemos as una superficie S1 , es claro que
S = S1 #C ilindro S = S1 #BMobius
En el primer caso, por las definiciones, una superficie suma conexa con un
cilindro es lo mismo que suma conexa con un toro, es decir,

S = S1 #T 2

pero tambin es posible pegar el cilindro de manera incorrecta, lo que en

dado caso no daria que,

S = S1 #K

Por otra parte, en el segundo caso tendramos que una superficie suma
conexa con una banda de Mbius es equivalente que suma conexa con un
plano proyectivo real, es decir,

S = S1 #RP 2

Ahora nos fijamos en S1 y buscamos una ccs C1 (si es que existe), y como en el
anlisis anterior, obtenemos S2 , tal que S1 = S2 #T 2 o S2 #K o S1 = S2 #RP 2 .
De manera inductiva, despus de i pasos obtenemos Si con

S = S1 #i1 T 2 #i2 K#i3 RP 2

talque (i1 + i2 + i3 = i).

Resulta que este proceso llega a termino despues de un numero finito de
pasos, es decir, toda ccs Ck en Sk separa a esta superficie.

7
Por lo tanto si cualquier ccs separa a una superficie arbitraria entonces la
superficie es homeomorfa a S 1 .
Entonces tenemos que:

S
= S 2 #lT 2 #mK#nRP 2

tal que (l + m + n = k).

Si aplicamos el LEMA tenemos que S
= S 2 #lT 2 #mK#nRP 2 es homeomorfa
a:
1. S 2 #lT 2 si m + n = 0
2. S 2 #(2l + 2m + n)T 2 si m + n > 0
As se demuestra la primera parte del teorema de clasificacin de superficies.
Las segunda parte consiste en demostrar que cualesquiera dos de las
superficies anteriores no son homeomorfas entre si.

8
Figure 1: Demostracion Intuitiva