You are on page 1of 60

La topolog´ıa y la forma del Universo

Jos´e E. P´erez-V´azquez ∗,

Reinaldo Mart´ınez-Cruz†

Agosto 25, 2010

Abstract
En esta platica se presentara un bosquejo general de la evoluci´on
hist´
orica sobre la forma del Universo, desde el punto de vista de su
geometr´ıa local (como la curvatura) y su geometr´ıa global (tales como
su topolog´ıa). En particular se indicaran las ideas m´as recientes sobre
la forma del Universo, mostrando en todo momento la importancia de
las matem´
aticas, en particular usando conceptos b´asicos de geometr´ıa
y topolog´ıa, en el desarrollo de esta aventura humana. La platica est´a
dirigida a todo publico, con una amplia curiosidad sobre la forma que
puede tener nuestro Universo.

Palabras Claves: Orientabilidad, Conexidad, Compacidad, M´etrica,
Etc.

1

Topolog´ıa del Universo: Teor´ıa y observaci´
on

1.1

Introducci´
on

Podemos dibujar un tri´angulo sobre una transparencia. La transparencia es
un pedazo de plano euclidiano infinito cuya m´etrica plana es expresada por el
teorema de Pitagoras. Curvado la transparencia formamos un cilindro, es decir, este es obtenido al identificar los bordes opuestos de la transparencia. La
nueva superficie es localmente plana (el teorema de Pitagoras a´
un se cumple
perfectamente), pero tiene una forma bastante diferente. Esta figura ahora

Laboratorio de Investigaci´
on Matem´atica, Facultad de Ciencias B´asicas, Ingenier´ıa y
Tecnolog´ıa UAT, Apizaco, Tlaxcala, M´exico. (joserasmo25@gmail.com).

Laboratorio de Investigaci´
on Matem´atica, Facultad de Ciencias B´asicas, Ingenier´ıa y
Tecnolog´ıa UAT, Apizaco, Tlaxcala, M´exico. (reinaldo@gmail.com).

1

tiene geod´esicas cerradas. Ahora, podemos identificar los bordes restantes
y obtener un toro plano (este es un experimento pensado, puesto que el toro
usual visualizado como una superficie de revoluci´on en el espacio euclideano
3-dimensional, tiene curvatura gaussiana positiva en algunos lugares y negativa en otros). El toro plano tiene a´
un una m´etrica euclideana,: localmente,
aunque su forma global ha cambiado dr´asticamente: Es una superficie finita
sin bordes.
Esas operaciones elementales ilustran bien la diferencia entre la curvatura
(dada por la m´etrica), y la topolog´ıa. Ambas son necesarias para conocer
la geometr´ıa completa de un espacio bidimensional, o m´as importante, tridimensional. Esto aplica tambi´en a un espacio f´ısico, es decir, modelos cosmol´ogicos para describir el Universo como un todo. La forma del espacio es
una cuesti´on fundamental en f´ısica.
Desde la mitad de la u
´ltima d´ecada del siglo pasado, un amplio inter´es por la topolog´ıa cosmol´ogica ha florecido, desde un punto de vista
matem´atico, principalmente relacionado al progreso en el entendimiento variedades hiperb´olicas compactas, desde un punto de vista te´orico, tambi´en
como desde un punto de vista observacional; relacionado al mejoramiento de
datos observacionales sobre la distribuci´on a gran escala tri-dimensional de
objetos c´osmicos y sobre la estructura bi-dimensional de la radiaci´on c´osmica
de fondo.

1.2

Una breve historia de la topolog´ıa cosmol´
ogica

¿Es el espacio finito o infinito, orientado o no, hecho de un solo pedazo o no,
tiene hoyos o handles, cu´al es su forma global? Un error com´
un es creer que
la Teor´ıa General de la Relatividad de Einstein es todo lo que necesitamos
para contestar esas enormes preguntas. Sin embargo, la relatividad general
trata solo con propiedades geom´etricas locales del Universo, tales como su
curvatura, no con su carater´ıstica global, es decir, con su topolog´ıa.
La extensi´on f´ısica del espacio es una de las m´as viejas preguntas cosmol´ogicas. En la historia de la cosmolog´ıa, es bien sabido que el espacio
f´ısico newtoniano, matem´aticamente identificado con el espacio euclidiano
infinito R3 , da lugar a paradojas como la de la noche obscura y a problemas
de condiciones de frontera. El Universo newtoniano homog´eneo con densidad
diferente de cero !tiene una masa infinita¡. Por lo tanto, Mach concibi´o la
idea de un Universo finito con el prop´osito de tener una inercia local finita.
A finales del siglo XIX, matem´aticos como Riemann hab´ıan descubierto
una variedad de espacios finitos sin fronteras, tales como la hiperesfera y el
espacio proyectivo.
En topolog´ıa, una 3-esfera o hiperesfera es an´aloga una esfe(p1 , p2 ) ∼
2

(q1 , q2)ra en un espacio de mayor n´
umero de dimensiones. Una esfera ordinaria, o 2-esfera, consiste de todos los puntos equidistantes de un punto dado
en el espacio euclidiano tridimensional ordinario, R3 . Una 3-esfera consiste
de todos los puntos equidistantes de un punto dado en R4 . Mientras que
una 2-esfera es una superficie ”suave” de dos dimensiones, una 3-esfera es
un ejemplo de una 3-variedad. De forma enteramente an´aloga, es posible
definir esferas de un n´
umero de dimensiones mayor, llamadas hiperesferas o
n-esferas. Dichos objetos son variedades n-dimensionales.
Schwarzschild (1900) llamo la atenci´on de la comunidad astron´omica sobre este trabajo, y ´el considero la posibilidad de que el espacio podr´ıa tener
una topolog´ıa no-trivial. Schwarzschild dijo que si las galaxias fueran encontradas en una red rectangular (rectangular lattice), con im´agenes de la
misma galaxia repiti´endose en puntos de la red equivalentes, entonces se
podr´ıa concluir que el Universo es un 3-toro.
La cosmolog´ıa se desarrollo r´apidamente despu´es de que Einstein (1915),
desarrollara su teor´ıa de la relatividad general. La relatividad general explica la gravedad como la curvatura del espacio-tiempo: esta u
´ltima es determinada por la densidad de materia-energ´ıa. El objetivo de la cosmolog´ıa
relativista es deducir, de las ecuaciones de campo gravitacional, algunos modelos f´ısicos del Universo como un todo. Cuando Einstein (1917) supuso, en su
soluci´on cosmol´ogica est´atica, que el espacio fuera una hiperesfera curvada
positivamente, una de sus fuertes motivaciones fue proporcionar un modelo
para un espacio finito, aunque sin fronteras. Siguiendo a Mach y Riemann, ´el
considero la cerradura del espacio como necesaria para resolver el problema
de la inercia y eligi´o a la hiperesfera como su modelo de espacio.
El modelo de Einstein clarifico la mayor´ıa de las paradojas heredadas de
la cosmolog´ıa newtoniana en tal y elegante forma que la mayor´ıa de los cosmologos de su tiempo adoptaron el nuevo paradigma de un espacio cerrado,
sin examinar otras posibilidades geom´etricas. Einstein fue convencido de que
la hiperesfera proporcionaba no solo la m´etrica del espacio c´osmico (es decir, sus propiedades geom´etricas locales), sino tambi´en su estructura global,
su topolog´ıa. Sin embargo, la topolog´ıa no parece haber sido la mayor preocupaci´on de Einstein; su art´ıculo de 1917 no menciona alguna alternativa
topol´ogica al modelo de espacio esf´erico.
Algunos colegas de Einstein le hicieron ver la arbitrariedad de su elecci´on.
Efectivamente, la forma global del espacio no depende solamente de la m´etrica;
depende principalmente sobre su topolog´ıa, y requiere una apr´oximaci´on
complementaria a la geometr´ıa diferencial de Riemann. Puesto que las
ecuaciones de Einstein son ecuaciones en derivadas parciales, ellas describen
solo propiedades geom´etricas locales del espacio-tiempo. Estas propiedades
geom´etricas locales est´an contenidas en el tensor m´etrico, el cual nos capacita
3

el espacio euclidiano bidimensional podr´ıa tener las propiedades de conectividad de una superficie anular. not´o que las soluciones de Einstein admiten una forma de espacio diferente. obtenido obtenido de la hiperesfera al ”unir” puntos antipodales. son las m´as simples. el espacio proyectivo 3-dimensional (tambi´en llamado espacio el´ıptico). corresponden algunos (y en la mayor´ıa de los casos un n´ umero infinito). Otras personas deben compartir este sentimiento. para el mismo radio de curvatura su volumen es la mitad que el del espacio esf´erico). Espacios finitos de volumen arbitrarios. ¿Puede ser probado que el espacio el´ıptico es el u ´nico variante del espacio esf´erico? ¿Esto me parece correcto a mi?. En un espacio euclidiano finito. otros astr´onomos podr´ıan tomar en cuenta el caso donde nuestro espacio es euclidiano y finito. esta es la raz´on de porque prefiero esta menos que el caso esf ”erico. De esos argumentos se desprende que la preferencia de Einstein por el espacio simplemente conexo es de naturaleza est´etica. Este es una plano euclidiano en el cual cualquier fen´omeno es doblemente peri´odico. Sin embargo. es decir identity entre conjuntos de puntos. Pero las ecuaciones de Einstein no se ajustan a la estructura global del espacio-tiempo. en lugar de que este basado sobre razonamientos f´ısicos.para calcular las componentes del tensor de curvatura en cualquier punto nosingular del espacio-tiempo. cualquier curva cerrada puede ser continuamente contra´ıda a un punto. En el espacio esf ”erico. Primero de Sitter []. Wely tambi´en puntualizo la libertad de elegir entre topolog´ıas esf´erica y el´ıptica. En forma similar. La contestaci´on de Einstein fue inequ´ıvoca: Sin embargo. contrariamente al caso esf´erico. tienen la mala propiedad de ser multiplemente conexos. en otras palabras el espacio esf´erico es simplemente conexo y no el el´ıptico. el espacio el´ıptico posee una clase de espiras no-continuamente contr´actiles. 4 . Einstein repitio su argumentaci´on en una carta dirigida a Felix Klein:Me gustar´ıa darte una raz´on del porque el caso esf´erico deber´ıa ser preferido con respecto al caso el´ıptico. modelos de Universo topol´ogicamente distintos. tengo un obscuro sentimiento el cual me gu´ıa a preferir el modelo esf´erico. los cuales pueden ser obtenidos de espacios infinitos al suponer una triple periodicidad. pero diferente topolog´ıa (por ejemplo. tres clases de espiras no-continuamente contr´actiles podr´ıan existir. Tengo un sentimiento que las variedades en las cuales una curva cerrada puede ser continuamente contra´ıda a un punto. indudablemente existen. con m´etrica euclidiano. donde puntos localizados en la misma red peri´odica son id´enticos. pero no ocurre lo mismo en el espacio el´ıptico. las cuales no son tomadas en cuenta por la Relatividad General. tales posibilidades. para una soluci´on m´etrica dada de las ecuaciones de campo. El espacio proyectivo tiene la misma m´etrica que un espacio esf´erico. Entonces. H.

´el dio el simple ejemplo de un cilindro. Adicionalmente.En al respuesta a Wely. El estudio de formas espaciales euclidianas inicio en el contexto de la cristalograf´ıa. El nadio que: “un espacio con curvatura positiva es siempre finito”. puesto que en el mismo punto de una espacio multi-conexo (multi-connected) un ´ a˜ objeto y sus fantasmas (ghost) pueden coexistir. el descubrimiento de soluciones no-est´aticas por Friedmann[] y. por Friedmann. solo dos formas espaciales esf´ericas existen. positiva. la clasificaci´on de espacios hiperb´olicos homog´eneos fue iniciada en los a˜ nos 1970’. En contraste con el razonamiento de Einstein. ´el concluyo que algunos espacios topol´ogicospodr´ıan ser usados para describir la misma soluci´on de las ecuaciones de Einstein. independientemente. modelos de Universo isotr´opico y homog´eneo admiten secciones de espacio esf´erico. aunque principalmente dirigido al an´alisis de soluciones hiperb´olicas. El problema fue completamente resuelto mucho despu´es[]. verso. Generalizando el argumento a altas dimensiones. nadie sabia estos resultados en los a˜ nos de 1920: La clasificaci´on topol´ogica de espacios 3-dimensionales estaban a´ un en sus comienzos. la esfera ordinaria y el plano el´ıptico). las ecuaciones de Einstein no responden la cuesti´on de la finitud de nuestro Uni´ describe como el espacio podr´ıa ser finito (y multiplemente conexo). pero reconoci´o que el conocimiento matem´atico de su tiempo no le permit´ıan: “resolver la cuesti´on de finitud para un espacio curvado negativo”. incluyendo los llamados ‘lens spaces’(mientras que en dimensi´on dos. Sin embargo. en un segundo art´ıculo cosmol´ogico[]. Tambi´en. relacionadas al espacio topol´ogico. El caso formas de espacio esf´erico fueron primero tratados por Klein [] y Killing[]. Einstein estaba mal en el u ´ltimo punto: en tres dimensiones. fue pasada por alto. por Lemaitre[]. Eventualmente. Friedmann[] puntualizo la indeterminaci´on topol´ogica de las soluciones y enfatiz´o como la teor´ıa de Einstein es incapaz de tratar con la estructura global del espacio-tiempo. un n´ umero infinito de variantes topol´ogicas existen (todas cerradas). El por una adecuada identificaci´on (“pegado”) de puntos. Como ellos establecieron. Friedmann subraya las limitaciones fundamentales de la cosmolog´ıa relativista: Sin suposiciones adicionales. euclidiano o hiperb´olico de acuerdo al signo de su curvatura (constante). abri´o una nueva era para modelos de Universo como un todo. Consideraciones topol´ogicas fueron completamente desarrolladas. Aunque Friedmann y Lemaitre son generalmente considerados como los descubridores del “big bang” una de sus ideas m´as originales. predice la posible existencia de im´agenes “fantasma” de fuentes astron´omicas. siendo ahora un intenso campo de investigaci´on matem´atica. parece que los cosmologos 5 . cero o negativa. Retornando a la cosmolog´ıa relativista.

esas que surgen de la topolog´ıa precisamente. Quiz´as el modelo de Einstein-de Sitter [].rusos no ten´ıan prejuicio en favor de una topolog´ıa simplemente conexa. Lemaitre compart´ıa completamente la creencia com´ un en el espacio cer´ expreso que la geometr´ıa Rimanniana “disipa la pesadilla del espacio rado. tuvo una influencia negativa en el desarrollo del campo que incluye la cuesti´on de la estructura global del Universo. Friedmann cre´ıa que solo espacios de volumen finito eran f´ısicamente realistas. Ciertamente. las soluciones cosmol´ogicas derivadas por Einstein. sin mencionar en todo la indetarminaci´on topol´ogica. Esas fruct´ıferas ideas de topolog´ıa c´osmica permanecieron olvidadas principalmente por la “corriente” de la cosmolog´ıa del big bang. o un espacio euclideano infinito. De acuerdo a una nota original de Friedmann. 6 . Es la raz´on por la que Friedmann. Mientras que ellos las aplican correctamente a la evoluci´on temporal (modelos abiertos establecidos para Universos expandi´endose por siempre. El infinito”[]. La correspondencia es verdadera solo en el caso muy especial de una topolog´ıa simplemente conexa (simply-connected) y una constante cosmol´ogica igual a cero. el cual supone un espacio euclidiano y elude la cuesti´on topol´ogica. de Sitter y ´el mismo tenia un curvatura espacial positiva. Por lo tanto. es a´ un frecuente leer que el modelo esf´erico (cerrado) tiene un volumen finito. la situaci´on lleg´o a ser problem´atica. por lo tanto un volumen finito. no es suficiente con determinar el signo de su curvatura espacial. no describen propiamente la extenci´on del espacio (abierto para infinito. Sin embargo. Con espacios curvados negativamente. puesto que la topolog´ıa “natural” del espacio hiperb´olico tiene un volumen infinito. o equivalentemente en un contexto cosmol´ogico medir la tasa Ω0 de la densidad promedio al valor cr´ıtico: Suposiciones adicionales son necesarias. con el objeto de justificar la pertinencia f´ısica de sus soluciones . Como una consecuencia. o un espacio hiperb´olico infinito. Casi todos los libros y monogarf´ıas subsecuentes sobre cosmolog´ıa relativista suponen que la estructura global del Universo o es una hiperesfera finita. mientras que los modelos euclidiano e hiperb´olico (abiertos) tienen volumen infinito. y modelos cerrados establecidos para soluciones de Universo que se expanden y contraen). alguna confuci´on se estableci´o acerca del significado real de los t´erminos “abierto” y “cerrado” usados para caracterizar las soluciones de F-L. enfatiz´o la posibilidad de compactar el espacio por una apropiada identificaci´on (“pegado”) de puntos. pero discuti´o minuciosamente la posibilidad del espacio proyectivo. ´el tambi´en noto la posibilidad de espacios hiperb´olicos y euclidianos con volumen finito para describir el Universo f´ısico. Lemaitre [] supuso curvatura del espacio positiva. que ´el prefer´ıa a uno esf´erico. con el prop´osito de saber si un espacio es finito o infinito. Antes de su descubrimiento de soluciones hiperb´olicas. Despu´es. cerrado para finito).

y la cerradura del espacio es una condici´on necesaria para volver manejables las integrales de la gravedad cu´antica []. nuevas aproximaciones al espacio-tiempo. Actualmente ha sido discutido seriamente en gravedad cu´antica por varias razones: el nacimiento espontaneo del Universo de una vaci´o cu´antico. hasta 1995. parece que el prejuicio en favor de un espacio simplemente conexo (en lugar de uno multiplemente conexo) fue de la misma clase como el prejuicio en favor de una cosmolog´ıa est´atica (en lugar de una din´amica). esto sugiere que vivimos en un Universo de F-L curvado negativamente (a menos que la constante cosmol´ogica sea positiva y bastante grande). mucho esfuerzo en cosmolog´ıa observacional y te´orica ha sido dirigido hacia la determinaci´on de la curvatura del Universo. Re7 . por lo tanto.1 Fundamentos Matem´ aticos Introducci´ on La topolog´ıa en la actualidad es una de las ramas m´as activas en todas las matem´aticas. Sin embargo. datos astron´omicos actuales indican que la densidad promedio del Universo observable es menor que el valor cr´ıtico (Ω0 = 0. Tradicionalmente. y por lo tanto proporcionan un nuevo paradigma para lo que es la variedad “m´as simple”. “Occam’s razor” (´ util frecuentemente en modelos f´ısicos) podr´ıa ser invocado para seleccionar preferentemente topolog´ıas simplemente conexas. por el lado te´orico. la investigaci´on en topolog´ıa c´osmica fue muy escasa. y que en este caso debe ser multiplemente conexo. Poniendo juntas teor´ıa y observaci´on. Ellis [] detalla la clasificaci´on de variedades Rimannianas 3-dimensionales u ´tiles para la cosmolog´ıa e inicia la exploraci´on de las consecuencias observacionales de un Universo toroidal. tales como la cosmolog´ıa cu´antica. el a´lgebra y el an´alisis matem´atico son consideradas la columna vertebral de las matem´aticas. durante los a˜ nos de 1920’. En un art´ıculo muy ilustrativo. los cosmologos deben responder el hecho de que un espacio curvado negativamente puede tener un volumen finito. El problema de la topolog´ıa del espacio-tiempo fue generalmente ignorado dentro del marco de la cosmolog´ıa cl´asica relativista.La idea de Universo multiplemente conexo nunca ha sido completamente olvidada. 2 2. sugieren que las variedades hiperb´olicas peque˜ nas son favorecidas. Por el lado observacional.4). la topolog´ıa.3 −→ 0. Sin embargo. Otros investigan espacios planos y no-planos. Desde un punto de vista epistemol´ogico. requiere que el Universo tenga la forma semejante a una hipersuperficie compacta. A primera vista. En las u ´ltimas d´ecadas.

ver figura 3. distancias y ´angulos son irrelevantes. tri´angulos. En contraste una taza de caf´e puede ser deformada en la forma de una dona. se tratan a los objetos como si ellos fueran hechos de goma. De igual manera. objetos como c´ırculos. En ´el la noci´on de n-variedad es fundamental para entender algunas de las posibles formas del Universo. mapeos. En la geometr´ıa tradicional. los habitantes en una superficie pueden creer que viven en un plano. encogidos. ver Figura 4. podr´ıan ser capaces de deducir la forma completa de su mundo. Una 2-variedad es tambi´en llamada una superficie. incluyendo sus propiedades. la topolog´ıa a llegado a ser un importante componente en la modelaci´on matem´atica. estirados. es decir. Por ejemplo. teniendo un cuadrado podemos formar un cilindro. una 1-variedad localmente se parece a una l´ınea recta. o deformados. no son equivalentes desde una perspectiva topol´ogica. con la propiedad de ser deformados: lo que permite que los objetos sean curvados. es natural sentir que el Universo en el cual vivimos es un espacio tridimensional euclidiano.cientemente. deformaciones. etc. Por lo tanto. generalizando algunas de sus ideas y emergiendo algunas nuevas estructuras [ref]( que ideas fueron las que se generalizaron). La topolog´ıa se origin´o de la geometr´ıa. y configuraciones compuestas entre ellas. una 3variedad se parece a un espacio tridimensional. por ejemplo. En topolog´ıa. En la actualidad matem´aticos y cient´ıficos emplean conceptos de topolog´ıa para modelar y entender estructuras y fen´omenos del mundo real. topol´ogicamente distintos. puesto que es como lo percibimos local8 . una botella de Klein. y por lo tanto distinguir su mundo del plano. Cada punto en una superficie est´a en un conjunto abierto que es topol´ogicamente equivalente a un conjunto abierto en el plano. (Por ejemplo. puesto que ellos observan que localmente parece como si vivieran en un plano. Por eso se dice que la topolog´ıa es el estudio de las formas. Sin embargo. no se puede deformar de manera continua una esfera en un toro y viceversa. es decir. si el habitante de la superficie estudia las propiedades de su mundo superficial. En la figura 2 se muestran dos objetos (el toro y la esfera). un toro. En este trabajo veremos que la topolog´ıa juega un papel importante para describir la posible forma del Universo. en el siguiente sentido. Una n-variedad es un espacio topol´ogico que de manera local se parece al espacio euclidiano n-dimensional. la esfera y el toro son superficies. Y usualmente es conocida como la geometr´ıa de la “hoja de goma”. y as´ı sucesivamente. torcidos. una 2-variedad se parece a un plano. planos y poliedros son considerados r´ıgidos. En esta rama. con distancias entre sus puntos y ´angulos bien definidos entre sus bordes o caras. pero no permite que sean rasgados. ver figura 1.

x2 . R × R. . .2 Espacio Euclidiano Uno de los conjuntos m´as comunes usados en topolog´ıa es es el espacio euclidiano n-dimensional. . para todo x ∈ A. R2 .. q. q) ≥ 0 y d(p. la estudiar propiedades que revelen aspectos de su estructura completa. Rn = {(x1 . 2).. x2 ) | x1 . La notaci´on d(p. p2 . q) = p (p1 − q2 )2 + · · · + (pn − qn )2 .. 9 . xn ) que satisfacen la desigualdad lineal a1 x1 + · · · + an xn ≤ b. Un poliedro en Rn es un subconjunto acotado de Rn que puede ser expresado como una intersecci´on de semiespacios. es decir. qn ). Para todo p. q ∈ Rn . q) = 0 si y s´olo si p = q. x2 .. pn ) y q = (q1 . As´ı pues... 3). q ∈ Rn . β ≥ 0 con α + β = 1 tal que αp + βq ⊂ A. |x| ≤ b. Un poliedro bidimensional es un pol´ıgono. x2 . q) se le´e la distancia del punto p al punto q. xn ) | x1 . xn ∈ R}.... q2 . R2 es el producto.. A la pareja (Rn . Por ejemplo.. Definici´ on 3 a). R2 = {(x1 . d(p. b). su per´ımetro est´a hecho de v´ertices y aristas. d) se conoce como espacio m´etrico y a d una m´etrica sobre Rn . q) = d(q. Para todo p. un poliedro unidimensional es un segmento de l´ınea. es decir. q ∈ A existen α. la distancia euclidiana. Rn . En este espacio podemos definir un concepto de distancia de la siguiente manera: Para p = (p1 . Definici´ on 2 Un conjunto A ⊂ Rn es convexo si para todo p. r ∈ Rn . donde b y cada uno de los aj ‘s son n´ umeros reales y al menos uno de los aj ‘s es diferente de cero. distancia entre p y q es d(p. el plano. d(p. Un semiespacio en Rn es un conjunto de puntos (x1 . ver figura 5. r) ≤ d(p. r). Los cosmologos tratan de determinar la forma exacta del Universo. p).) 2. d(p..mente... Este concepto de distancia. Definici´ on 1 Un conjunto A ⊂ Rn es acotado si existe b ∈ R tal que. x2 ∈ R}. q) + d(q. . .. satisface tres importantes propiedades: 1). Un poliedro tridimensional tiene una superficie hecha de caras poligonales que se unen en v´ertices y aristas. Para todo p. es el conjunto de pares ordenados de n´ umeros reales.

b.. . la 2-bola abierta es llamada un disco abierto.. y) ∈ R. b). es el conjunto de puntos que est´an a una distancia 1 del origen en Rn+1 . es la relaci´on de equivalencia definida como: Definici´ on 7 Una relaci´on ∼ sobre X es llamada una relaci´ on de equivalencia si las siguientes propiedades se cumplen para todo a. As´ı. entonces el punto −x = (−x1 .. Para una relaci´on R.. . como el conjunto. a ∼ b implica b ∼ a. usado mucho en matem´aticas... es llamada simplemente la esfera. xn+1 ) ∈ Rn+1 | x21 + · · · + x2n+1 = 1}. Por consiguiente. Por otro lado. Por lo tanto. si (x. denotada por S n . Una relaci´on entre X e Y es un subconjunto R del producto X × Y . Un importante tipo de relaci´on. a trav´es del origen. −xn+1 ) es llamado la ant´ıpoda de x o el punto ant´ıpodal de x. xn+1 ) es un punto sobre la n-esfera. (reflexividad).. S n = {(x1 . la n-bola. a ∼ a.. As´ı. Definici´ on 5 Definimos a B n . ii). Una relaci´on sobre X es una relaci´on de X a X. 2. la ant´ıpoda de x es el punto sobre la n-esfera que es opuesto a x. Adem´as. c ∈ X: i). a).. la 1-esfera. S 2 . ver figura 6..3 Relaciones Definici´ on 6 Dados dos conjuntos X e Y . B n = {(x1 ... definimos a B˙ n . es tambi´en llamado el c´ırculo. S 1 . si x = (x1 . .Definici´ on 4 La n-esfera. la n-bola abierta. xn ) ∈ Rn | x21 + · · · + x2n < 1}. (simetr´ıa). la 2-bola es llamada un disco.. . decimos que x est´a relacionado a y. 10 .. xn ) ∈ Rn | x21 + · · · + x2n ≤ 1}. y lo denotamos como xRy.. . As´ı. como el conjunto B˙ n = {(x1 . y la 2-esfera.

q2 ) ∼ (p1 . la colecci´on de todas las clases de equivalencia bajo ∼ es una partici´on de X. q2 ) y (q1 . Un conjunto que no es contable es llamado incontable. x2 ) sea equivalente a (a1 . la colecci´on de l´ıneas particionan el plano en subconjutos separados. De la definici´on: i). esto es. De lo anterior es claro. Formalizamos la idea del ejemplo en la definici´on: Definici´ on 8 Una partici´on de un conjunto X es una colecci´on de subconjuntos de X mutuamente disjuntos. p1 + p2 = q1 + q2 = r1 + r2 . p2 ) ∼ (q1 . se debe cumplir x1 + x2 = a1 + a2 . Por lo tanto. si (p1 . q2 ) ∼ (r1 . x2 ) en el plano que son equivalentes a (a1 . y por lo tanto (q1 . p2 ) ∈ R2 . p2 ) ∼ (q1 . r2 ). p2 ) ∼ (q1 . a ∼ b y b ∼ c implica a ∼ c. q2 ). p2 ) ∼ (r1 . todos los puntos (x1 . p2 ). q2 ) en R2 . Definici´ on 9 Un conjunto X es infinitamente contable si hay una biyecci´on f : Z+ −→ X. Es decir. Puesto que p1 + p2 = p1 + p2 . p2 ) ∼ (q1 . p2 ) ∼ (r1 . r2 ). iii). r2 ) en R2 . q2 ) ∼ (r1 . implica que (p1 . r2 ). ver figura 7. entonces p1 + p2 = q1 + q2 . Un conjunto que es finito o infinitamente contable es llamado contable. 11 . Por consiguiente. Si (p1 . Ejemplo 1 Sobre R2 definimos (p1 . el conjunto de todos los elementos de X que son equivalentes a x bajo la relaci´on de equivalencia ∼. q2 ). supongamos que (p1 . que para cada x ∈ X definimos [x] = {p ∈ X | p ∼ x}. q2 ) y (q1 .iii). para todo (p1 . q2 ) si p1 + p2 = q1 + q2 . p2 ). p2 ) ∼ (q1 . As´ı. As´ı pues. si (p1 . Por lo tanto. Demostrar que esta relaci´on es una relaci´on de equivalencia. para que (x1 . ii). (q1 . r2 ). esto implica que q1 +q2 = p1 +p2 . (q1 . (r1 . para todo (p1 . entonces (p1 . q2 ). p2 ). a2 ) est´an sobre la l´ınea x1 + x2 = a1 + a2 . p2 ) para todo (p1 . como la clase de equivalencia de x bajo ∼. cuya uni´on es X. q2 ) ∼ (p1 . (transitividad). p2 ) ∼ (p1 . Finalmente. entonces (q1 . a2 ). se sigue que (p1 . Entonces. p2 ).

es el conjunto ∂A = cl(A) − Int(A). Por lo tanto. El conjunto X junto con una topolog´ıa τ sobre X es llamado un espacio topol´ ogico. pero por simplicidad de notaci´on nos referiremos a un conjunto X como un espacio topol´ogico. Definici´ on 12 Sea A un subconjunto del espacio topol´ogico X. existen vecindades disjuntas U y V de x e y. X. τ . y ∈ X. ∅ y X son conjuntos abiertos. τ ).4 Espacios topol´ ogicos Definici´ on 10 Sea X un conjunto. denotada por ∂A. ver figura 8. denotado por ˚ A o Int(A). La frontera de A. La clausura de A. y si la intersecci´on finita y la uni´on arbitraria de conjuntos en la colecci´on est´an tambi´en en la colecci´on. respectivamente. es la uni´on de todos los conjuntos abiertos contenidos en A. Adem´as. Definici´ on 11 Un espacio topol´ogico es Hausdorff si para todo par de puntos distintos x. iii). La intersecci´on de un n´ umero finito de conjuntos abiertos es un conjunto abierto. denotada por A o cl(A) es la intersecci´on de todos los conjuntos cerrados contenidos en A. tales que: i). que forman una topolog´ıa sobre X. y una colecci´on.2. Una topolog´ıa τ sobre X es una colecci´on de subconjuntos de X. una colecci´on de subconjuntos de un conjunto X es una topolog´ıa sobre X si esta incluye el conjunto vac´ıo ∅ y X. cada uno llamado un conjunto abierto. dejando impl´ıcitamente entendido que hay una topolog´ıa sobre X. De donde. Definici´ on 13 Un subconjunto A de un espacio topol´ogico X es llamado denso si cl(A) = X. ii). Observemos que hay dos cosas que hacen un espacio topol´ogico: un conjunto. 12 . Definici´ on 14 Sea A un subconjunto de un espacio topol´ogico X. ˚ A ⊂ A ⊂ A. de subconjuntos de X. La uni´on de cualquier colecci´on de conjuntos abiertos es un conjunto abierto. formalmente deber´ıamos referirnos a un espacio topol´ogico como un par ordenado (X. El interior de A.

definimos τy = {U Y | U es un abierto en X}. 3). podemos ver Definici´ on 16 Sea Y un subconjunto de Rn . es decir. ver figura 9. Demostraci´ on 1 bla bla bla Ahora. para obtener un nuevo espacio topol´ogico llamado un espacio cociente. este concepto nos permite construir una 13 .Teorema 1 Sea A un subconjunto de un espacio topol´ogico X y sea x un punto en X. al tomar su producto. obtenidos al intersectar bolas abiertas en R3 con S. Definici´ on 15 SeaTX un espacio topol´ogico y sea Y un subconjunto de X. resultan en un nuevo espacio topol´ogico. entonces la colecci´on de parches abiertos en S. basada en la topolog´ıa sobre X. sea C el c´ırculo de radio 1 en el plano xz con centro en el punto (2. con esta topolog´ıa. de R3 . existe una forma natural para definir una topolog´ıa sobre Y . Dado un subconjunto Y de un espacio topol´ogico X. es una base para la topolog´ıa est´andar sobre S. un conjunto es abierto en el subespacio topol´ogico sobre Y si este es la intersecci´on de un conjunto abierto en X con Y . es por medio de la topolog´ıa del cociente. 0). Y es llamado un subespacio de X. Otra forma de construir nuevos espacios topol´ogicos. 2). 0. Por lo tanto. Decimos que V ⊂ Y es un abierto en Y si V es un conjunto abierto en el subespacio topol´ogico sobre Y . De la misma manera. La topolog´ıa estandar Ejemplo 2 En R3 . es decir. cuando C es rotado alrededor de z. hereda la topolog´ıa del espacio mismo. ver figura 10. dados algunos espacios topol´ogicos queremos crear otros nuevos a partir de los ya dados. Este es llamado el subespacio topol´ ogico sobre Y y. El espacio resultante es llamado el toro y es denotado por T . Considerando el subespacio “barrido”. el espacio producto. Un subconjunto de un espacio topol´ogico. si S es una superficie en R3 . queremos saber como: 1). Entonces x ∈ ∂A si y solo si toda vecindad de x intersecta tanto a A como a X − A. Para el caso particular de R. Pegar porciones de espacios topol´ogicos. Combinando espacios topol´ogicos.

La colecci´on resultante de conjuntos abiertos en A es llamada la topolog´ıa cociente inducida por p. Con el prop´osito de realizar el “pegado”. los subconjuntos By producen que los bordes izquierdo y derecho del cuadrado sean pegados. obtenido de una “hoja de goma” cuadrada al unir los bordes opuestos. ii). El espacio cociente resultante es la conocida banda de M¨ obius.y = {(x. y la funci´on p es llamada un mapeo cociente. y)} para todo y tales que 0 < y < 1. En el primer caso. y podamos unirlos apropiadamente. de A. 1). 2). (1. pero como se ve en la figura 13. y). y)} para todo x e y tales que 0 < x < 1 y 0 ≤ y ≤ 1. como se muestra en la figura 12. ver figura 11. Ax. En la topolog´ıa cociente. Ejemplo 3 Consideramos dos diferentes espacios cociente definidos sobre I × I. (1.gran variedad de espacios topol´ogicos adicionales. ii). Sea p : X −→ A un mapeo suprayectivo. By∗ = {(0. Definici´ on 17 Sea X un espacio topol´ogico y A un conjunto (que no necesariamente es un subconjunto de X). Definimos un subconjunto U . necesitamos realizar una media “torcida” para poder identificar puntos sobre los bordes. definimos una partici´on al tomar subconjuntos de la siguiente forma: i).y = {(x. Ejemplo 4 Definimos una partici´on I ×I al tomar conjuntos de la siguiente forma: 14 . y). a ser abierto en A si y solo si p−1 (U ) es abierto en X. Por simplicidad. Uno de los ejemplos mejor conocidos es el toro. El espacio topol´ogico A es llamado un espacio cociente. los subconjuntos By∗ tambi´en causan que los bordes izquierdo y derecho del cuadrado sean pegados. Aqu´ı. 1 − y)} para todo y tales que 0 < y < 1. creamos un concepto topol´ogico que “reproduce” el proceso de “pegar” juntas o “colapsar” de uno o m´as objetos. a partir de algunos que ya hemos introducido. En el segundo caso. Ax. y)} para todo x e y tales que 0 < x < 1 y 0 ≤ y ≤ 1. definimos una partici´on al tomar subconjuntos de la siguiente forma: i). By = {(0.

(1. tomamos el disco y dividimos sus bordes en dos semicirculos que pegamos juntos: i). Adem´as. causan el pegado de los bordes superior e inferior del cuadrado. los subconjuntos de dos puntos en ii). ii).i). que en el espacio que naturalmente reside. En ambos casos. (1. y)} para todo y tales que 0 < y < 1. en un simple punto. el subconjunto de cuatro puntos causa el pegado de las cuatro esquinas del cuadrado. y). Ahora. el resultado es un taz´on estrecho a lo largo de 15 . la conocida 2-esfera. Cx = {(x. ver figura 14. Para la construcci´on del plano proyectivo. es decir. Consideramos el espacio cociente obtenido por el pegado mostrado en la figura 15. iniciamos pegando los puntos marcados con p. ii). (0. y los subconjuntos de dos puntos iii). de tal forma que. D = {(0. somos transportados al punto correspondiente en el borde inferior. y el extremo derecho del borde superior se pega al extremo izquierdo del borde inferior. ii). pero ahora con el borde superior pegado al borde inferior. el borde superior es torcido antes de que sea pegado al borde inferior. En otras palabras. By = {(0. nombre en honor del matem´atico Felix Klein (1849-1925). cada vez que alcanzamos un punto en el borde superior del cuadrado. (x. 0). Ejemplo 6 Ahora consideramos dos superficies m´as.y = {(x. 1)} para todo x tales que 0 < x < 1. que mantiene el camino de pegado. el extremo izquierdo del borde superior es pegado al extremo derecho del borde inferior. 1). ver figura 14. sin dejar la representaci´on bidimensional plana. En la topolog´ıa cociente. (1. 0). El espacio topol´ogico resultante es llamado la botella de Klein. causan el pegado de los bordes izquierdo y derecho del cuadrado. Ejemplo 5 Si identificamos los bordes opuestos de un cuadrado. iii). consideramos el espacio cociente obtenido haciendo el pegado de la figura 16. con los bordes izquierdo y derecho pegados como en el ejemplo anterior. obtenidas como espacios cociente de espacios conocidos. 1)}. puesto en el espacio tridimensional. P. Ax. As´ı. y)} para todo x e y tales que 0 < x < 1 y 0 < y < 1. Este proceso nos permite ver un espacio “puesto” en una dimensi´on menor. 0). Una ventaja para esta representaci´on del toro es que podemos imaginar que es semejante a moverse alrededor del toro.

Ahora. En la u ´ltima imagen de la figura pegamos las restantes mitades de c´ırculos. Ejemplo 7 En la figura 18 mostramos la superficie. como se ilustra en la figura 19. Para cada uno de los nuevos bordes. es decir. representados como dos cuadrados con bordes que se pegan. donde las otras dos mitades son pegadas. pegamos esos nuevos bordes juntos. removemos el interior de un disco.sus bordes. ver figura 17. cuando los llevamos uno a otro vemos que sus flechas no coinciden propiamente. puesto que estamos pegando la 16 . sin embargo. dejando su definici´on para despu´es: de ambas S1 y S2 . Esto es equivalente a tomar la suma conexa de dos toros. Ahora. iii). ii). Por el proceso conocido como “cortado y pegado” (cutting and pasting). abrimos esos c´ırculos y transformamos los cuadrados en pent´agonos. El resultado es llamado la suma conexa de S1 y S2 . que resulta de tomar la suma conexa de dos toros. en cada cuadrado como se muestra. pegamos los dos c´ırculos por medio de un mapeo cociente. Describimos el el proceso. Para finalizar el pegado. Iniciamos con la versi´on de dos toros. i). iv). Elegimos los discos de tal manera que la frontera del c´ırculo. pero. y desplegamos esto como si estuviera pasando a lo largo del mismo segmento vertical. dadas dos superficies S1 y S2 hay una forma natural para unirlas y obtener una nueva superficie. cada uno de esos bordes permanece como un c´ırculo en cada superficie. Finalmente. no podemos pegarlos directamente. y denotada por S1 #S2 . desafortunadamente. Podemos. los puntos extremos son a´ un identificados unos con otros. en realidad. toca el v´ertice sobre el borde superior y el borde del lado derecho del correspondiente cuadrado. dejando las otras mitades de cada c´ırculo sin pegar. pegar la mitad de atr´as del c´ırculo izquierdo a la mitad de enfrente del c´ırculo derecho. T #T . ver figura 16. la est´a pasando a trav´es de si misma a lo largo de ese segmento. hay dos c´ırculos que necesitan ser pegados. Entonces. necesitamos pasar partes de la superficie a trav´es de si misma. una vez que peguemos todos los bordes. Existe otra forma de construir nuevos espacios topol´ogicos. de cada uno. podemos obtener una representaci´on de T #T como un pol´ıgono con bordes pegados. Entonces removemos el interior de un disco. dejando un hoyo rodeado por un c´ırculo. As´ı.

frontera de dos discos juntos, cuyos interiores fueron removidos. Por
lo tanto, tenemos T #T , representado como un oct´agono con pares de
bordes pegados juntos.
Ejemplo 8 ¿Qu´e obtenemos cuando tomamos la suma conexa de dos planos
proyectivos?
En la figura 20, a trav´es de “cortado y pegado”, vemos que en el paso
(e), P #P puede ser representado como un cuadrado con sus bordes pegados
juntos. Si cortamos a trav´es de este cuadrado como en (f ) y pegamos sus
bordes marcados con 2, entonces el resultado es un cuadrado con sus bordes
pegados juntos para producir una botella de Klein. Por lo tanto, la suma
conexa de dos planos proyectivos es topol´ogicamente equivalente a una botella
de Klein.
Ejemplo 9 En la figura 21 mostramos, a trav´es del cortado y pegado, que el
remover el interior de un disco de un plano proyectivo resulta una banda de

obius.
Por lo tanto, tomar la suma conexa de dos planos proyectivos es lo mismo
que pegar dos bandas de M¨
obius juntas, a lo largo de sus bordes. El resultado
es topol´ogicamente equivalente a una botella de Klein.
Ejemplo 10 Considere el espacio cociente X, obtenido al identificar caras
opuestas de un cubo I × I × I, ver figura 22. No podemos construir el objeto correspondiente en el espacio tridimensional, pero el resultado del pegado es un espacio topol´ogico “bien definido”. Podemos reconocer el espacio
topol´ogico resultante como sigue: Pegamos las caras de frente y de atr´as,
marcadas con 1. Obtenemos S 0 × I × I, un toro s´
olido, con las tapas superior e inferior anulares, el interior y exterior anulares, identificados como se
muestra en la figura 22. En S 0 ×I ×I, para cada punto del c´ırculo S 0 , tenemos
un cuadrado I × I. As´ı pues, en el espacio cociente X, la identificaci´on de
la tapas superior e inferior, interior y exterior, corresponde a identificar los
bordes superior e inferior y a los dos lados de cada uno de esos cuadrados,
respectivamente. El resultado de la identificaci´on, sobre cada cuadrado, es
un toro.
Por lo tanto, podemos considerar a X como el producto de un c´ırculo S 0
y un toro T . Adem´as, como el toro es S 0 × S 0 , se sigue X es topol´ogicamente
equivalente a S 0 × S 0 × S 0 .
Ejemplo 11 Considere el espacio cociente obtenido por identificar las cara
opuestas de un cubo, como se muestra en la figura 23.
Si tomamos un segmento de l´ınea del centro de la cara izquierda al centro de la cara derecha, entonces cuando unamos las caras, el segmento ser´a
17

un c´ırculo. Si tomamos un cilindro centrado sobre ese segmento, entonces
cuando peguemos el espacio, los c´ırculos de los extremos del cilindro son
pegados juntos, resultando una botella de Klein. Por lo tanto, dentro del espacio hay una colecci´on de botellas de Klein concentricas que se contraen a
un n´
ucleo de c´ırculo.
Los dos u
´ltimos ejemplos, son ejemplos de 3-variedades. Depu´es, estudiaremos las 3-variedades y discutimos cuales podr´ıan corresponder a la forma
del Universo.

2.5

Homeomorfismos

Ahora que hemos definido varios conceptos relacionados a espacios topol´ogicos
y sus subconjuntos, nos gustar´ıa considerar funciones que env´ıan un espacio
topol´ogico a otro.
Una topolog´ıa sobre un conjunto es una estructura que establece una
noci´on de proximidad sobre un conjunto. As´ı, funciones continuas entre
espacios topol´ogicos preservan la proximidad, reflejando la idea de que una
funci´on continua env´ıa puntos que son pr´oximos en un espacio a puntos que
son pr´oximos en otro espacio.
Una funci´on continua biyectiva que tiene una inversa continua es llamada
un homeomorfismo. Tales funciones nos proporcionan la principal noci´on
de equivalencia topol´ogica.
El concepto de continuidad que vamos a necesitar, en espacios topol´ogicos,
en este trabajo es el siguiente:
Definici´
on 18 Sean X y Y espacios topol´ogicos. Una funci´on f : X −→ Y
es continua si f −1 (V ) es abierto en X para todo conjunto abierto V ⊂ Y .
Como ya lo hab´ıamos indicado, un homeomorfismo es un mapeo entre
espacios topol´ogicos que proporcionan la noci´on m´as fundamental de equivalencia topol´ogica. Adem´as, preserva todas las propiedades dadas por una
topolog´ıa, y con eso define una correspondencia entre puntos y entre conjuntos abiertos en dos espacios topol´ogicos.
Definici´
on 19 Sean X y Y espacios topol´ogicos, y sea f : X −→ Y una
biyecci´on con inversa f −1 : Y −→ X. Si ambas, f y f −1 , son funciones continuas, entonces f es llamada un homeomorfismo. Si existe un homeomorfismo entre X y Y , decimos que X y Y son homeom´orficos o topol´ogicamente
equivalentes, y denotamos esto por X ∼
= Y.

18

Tambi´en, un homeomorfismo es una biyecci´on sobre espacios topol´ogicos
que preservan la estructura topol´ogica dada por la colecci´on de conjuntos
abiertos, en cada espacio topol´ogico. Un homeomorfismo env´ıa conjuntos
abiertos a conjuntos abiertos.
Por otro lado, la idea de un espacio topol´ogico “puesto” dentro de otro
es establecida en la definici´on:
Definici´
on 20 Un encaje de X en Y es una funci´on f : X −→ Y que
mapea X homeom´orficamente al subespacio f (X) en Y .
Consideramos un encaje f : X −→ Y , como poner una copia de X en Y ,
ver figura 24.
Definici´
on 21 Sea X un espacio topol´ogico. Si f : [−1, 1] −→ X es un
encaje, entonces la imagen de f es llamado un arco en X, y si f : S 0 −→
X es un encaje, entonces la imagen de f es llamada una curva cerrada
simple en X, ver figura 25.
Teorema 2 Si f : X −→ Y es un homeomorfismo y X es hausdorff, entonces Y es hausdorff.
Demostraci´
on 2 bla bla bla
Podemos probar que dos espacios topol´ogicos son homeom´orficos al definir
un homeomorfismo entre ellos. Inversamente, con el prop´osito de probar que
dos espacios topol´ogicos no son homeom´orficos, es necesario mostrar que
ninguna de las funciones definidas entre ellos es un homeomorfismo.

2.6

Espacios m´
etricos

Uno de los m´as comunes y u
´tiles espacios topol´ogicos son los llamados espacios m´etricos. Estos son espacios topol´ogicos que resultan de tener una
forma de medir distancias entre puntos, en el conjunto fundamental.
Esta noci´on de medir distancia va m´as all´a de la estrecha idea de ver que
tan lejos est´an dos objetos. Por ejemplo: podemos medir la distancia entre
dos funciones al considerar el ´area acotada entre sus gr´aficas, podemos medir
la distancia entre dos palabras al considerar cuantas letras cambian de una
a otra.
La habilidad de medir y comparar distancias entre elementos de un conjunto es crucial, y proporciona m´as estructura a un espacio topol´ogico.
Definici´
on 22 Una m´etrica sobre un conjunto X es una funci´on d : X ×
X −→ R con las siguientes propiedades:
19

y. x) para todo x. d(x. iii).  > 0}. Una aproximaci´on puede ser que un espacio topol´ogico es conexo sino puede ser “cortado” en dos pedazos distintos que son separados uno de otro (disjuntos). un espacio m´ etrico. es llamada la topolog´ıa inducida por d y es llamada una topolog´ıa m´etrica. ) = {y ∈ X | d(x. y definimos la bola cerrada de radio  centrada en x como el conjunto B d (x. y) + d(y.i). 2. d) un espacio m´etrico. Definici´ on 23 Sea (X. d(x. La topolog´ıa generada por la base de bolas abiertas B = {Bd (x. para espacios topol´ogicos: i). ) | x ∈ X. y) = d(y. 20 . y ∈ X. La colecci´on de bolas abiertas Bd (x. ) = {y ∈ X | d(x. y ∈ X. y) < }. z ∈ X (la desigualdad del tri´angulo). es una base para la topolog´ıa sobre X. para todo x. ii). y) ≤ }. d). y llamamos al par (X. Demostraci´ on 3 bla bla bla Definici´ on 24 Sea (X. z) ≥ d(x. Llamamos d(x. z). consistente del conjunto X y la m´etrica d. d(x. d) un espacio m´etrico. Para x ∈ X y  > 0 definimos la bola abierta de radio  centrada en x como el conjunto Bd (x. d) un espacio m´etrico. ) = {Bd | x ∈ X.7 Conexidad Hay algunas apr´oximaciones naturales para “capturar” el concepto de conexidad. y) la distancia entre x e y.  > 0}. Teorema 3 Sea (X. y) ≥ 0 para todo x. la igualdad se cumple si y solo si x = y.

ii). de un punto a otro punto. Si X es disconexo. iii). pero que espacios topol´ogicos de trayectorias conexas implican espacios topol´ogicos conexos. 1] es conexo. . tambi´en lo es el cuadrado I × I. el toro. la banda de M¨ obius. entonces f (X) es conexo en Y . mientras que espacios del segundo tipo espacios topol´ogicos de trayectorias conexas. Ejemplo 12 Puesto que el intervalo I = [0. As´ı pues. la esfera y el plano proyectivo. en el espacio topol´ogico. Vamos a definir ambos tipos de conexidad. todos son obtenidos del cuadrado. Xn espacios conexo. entonces el espacio producto X1 × X2 × · · · × Xn es conexo. Llamaremos a X conexo si no existe un para de conjuntos abiertos no-vac´ıos cuya uni´on es X. Demostraci´ on 5 bla bla bla Teorema 6 El espacio euclidiano Rn es un espacio topol´ogico conexo. Demostraremos que ambos tipos de conexidad no son lo mismo.. hay un mapeo cociente del cuadrado a cada uno de esos espacios. ii). Se sigue que cada uno de esos espacios es conexo. Por lo tanto. Teorema 4 Si X es conexo y f : X −→ Y es continua. o homeom´orficos a tal espacio. Demostraci´ on 4 bla bla bla Teorema 5 Sean X1 . Definici´ on 25 Sea X un espacio topol´ogico: i). 21 . el aro. es llamada una separaci´on de X. entonces un par de conjuntos abiertos no-vac´ıos cuya uni´on es X. Demostraci´ on 6 bla bla bla Notemos que la n-esfera. Llamaremos a X disconexo si X no es conexo. S n es un espacio topol´ogico conexo.. ver figura 26. Otra aproximaci´on puede ser que un espacio topol´ogico es conexo si podemos tomar un camino continuo. Espacios del primer caso son llamados conexos. al pegar pares de bordes. y esos mapeos son funciones continuas con un dominio conexo. la botella de Klein..

y cada conjunto en = es abierto. ver la figura 27. iii). Definici´ on 26 Un espacio topol´ogico X es de trayectorias conexas si para todo x. y =0 es una subcolecci´on de = que tambi´en cubre A. ii). pero en un espacio topol´ogico general. Sea X un espacio topol´ogico y x e y puntos en X. 1] −→ X tales que f (0) = x y f (1) = y. Entonces. La colecci´on = es llamada cubierta de A. 22 . de un espacio topol´ogico X. entonces es conexo. En Rn los conjuntos compactos son conjuntos cerrados y acotados. Si = cubre A. entonces =0 es llamada una subcubierta de =. f (X) es un subespacio de trayectorias conexas de Y .Ahora. Demostraci´ on 7 bla bla bla Teorema 8 Suponiendo que f : X −→ Y es continua y X es de trayectorias conexas. Un subconjunto A. en la topolog´ıa del subespacio que A hereda de X. es de trayectorias conexas en X si A es de trayectorias conexas. Definimos una trayectoria de x a y en X como una funci´on continua f : [0. entonces llamamos a = una cubierta abierta de A. Teorema 7 Si X es un espacio de trayectorias conexas. mostraremos que trayectorias conexas implican conexidad. y ∈ X hay una trayectoria en X de x a y.8 Compacidad Este concepto no es tan intuitivo como la continuidad o conexidad. Si = cubre A. De hecho. i). Definici´ on 27 Sea A un subconjunto de un espacio topol´ogico X. si A est´a contenido en la uni´on de los conjuntos de =. una definici´on formal para compacidad en un espacio topol´ogico general tomo alg´ un tiempo establecerla. Demostraci´ on 8 bla bla bla 2. y sea = una colecci´on de subconjuntos de X. el conjunto compacto ya no es descrito tan simplemente.

Demostraci´ on 9 bla bla bla Una consecuencia inmediata del teorema es: Un mapeo cociente. es compacto. y un mapeo cociente es una funci´on continua. en lugar de cubiertas de A que son hechas de conjuntos abiertos en el subespacio topol´ogico A: Lema 1 Sea X un espacio topol´ogico y supongamos que A ⊂ X. Entonces f (A) es compacto en Y .Estamos interesados en espacios topol´ogicos para los cuales toda cubierta abierta. de un espacio compacto. por conjuntos que son abiertos en X. tiene una subcubierta finita. Teorema 9 Sea f : X −→ Y continua y sea A compacto en X. toda subcubierta finita de = es enviada a una subcubierta finita de =0 . Ahora. por el homeomorfismo. Sin embargo. Dos espacios topol´ogicos homeom´orficos o son ambos compactos o ambos no-compactos. puesto que este es la imagen de X bajo un mapeo cociente. que contiene un n´ umero infinito de conjuntos. puede ser reducida a una subcubierta que contiene un n´ umero finito de conjuntos. Toda cubierta abierta = de uno de los espacios topol´ogicos es enviada a una cubierta abierta =0 del otro espacio topol´ogico. al considerar cubiertas de A que son “hechas” de conjuntos abiertos en X. como con espacios topol´ogicos conexos y espacios topol´ogicos de trayectorias conexas. por un homeomorfismo. la compactes es preservada por funciones continuas. Entonces A es compacto en X si y solo si toda cubierta de A. El siguiente Lema nos permite checar si un subespacio A del espacio topol´ogico X es o no compacto. extendemos la definici´on de compacto a subconjuntos de espacios topol´ogicos: Definici´ on 29 Sea X un espacio topol´ogico y supongamos que A ⊂ X. Definici´ on 28 Un espacio topol´ogico X es compacto si toda cubierta abierta de X tiene una subcubierta finita. no necesitamos la fuerza completa de un homeomorfismo para asegurar que un espacio compacto es mapeado a un espacio compacto. Entonces A es compacto en X si A es compacto en la topolog´ıa de subespacio heredada de X. Similarmente. 23 . El siguiente teorema asegura que.

con la topolog´ıa est´andar.. 24 . entonces A × B es un subconjunto compacto de X × Y . un conjunto compacto en un espacio topol´ogico no necesariamente es un conjunto cerrado. bn ] es no vac´ Teorema 13 Todo intervalo cerrado y acotado [a. Entonces ∩∞ ıa. entonces C es compacto en X. donde el enfoque es sobre Rn con la m´etrica y topolog´ıa est´andar. La relaci´on inversa no necesariamente se cumple. Si C es cerrado en X y C ⊂ D. Demostraci´ on 14 bla bla bla Teorema 15 Sea Rn con la topolog´ıa est´andar y la m´etrica est´andar d. entonces el producto X × Y es compacto. Aunque conjuntos compactos en espacios topol´ogicos no necesariamente son cerrados. si A es un subconjunto compacto de X y B es un subconjunto compacto de Y . b] es un subconjunto compacto de R. Teorema 11 Sea X un espacio topol´ogico Hausdorff y sea A un compacto en X.Teorema 10 Sea X un espacio topol´ogico y sea D un compacto en X. bn+1 ] ⊂ [an . Lema 2 Sea {[an . bn ]}n∈Z+ una colecci´on de intervalos cerrados y acotados no vac´ıos en R tales que [an+1 . . b1 ]. Demostraci´ on 12 bla bla bla Adem´as. el siguiente teorema indica que hay circunstancias generales bajo las cuales conjuntos compactos son autom´aticamente cerrados. Un conjunto A ⊂ Rn es conpacto en Rn si y solo si es cerrado y acotado. Entonces [a1 . entonces A es cerrado en X. bn ] intervalos cerrados y acotados en R. Demostraci´ on 11 bla bla bla Teorema 12 Si X y Y son espacios topol´ogicos compactos. En an´alisis real. [an . n=1 [an . Por inducci´on se puede demostrar para n espacios compactos. Demostraci´ on 13 bla bla bla Teorema 14 Sea [a1 . Demostraci´ on 10 bla bla bla El teorema indica que un subconjunto cerrado de un espacio compacto es compacto. es decir.. bn ] para cada n ∈ Z+ .. b1 ] × · · · × [an . bn ] es un conjunto compacto de Rn . algunas veces un conjunto es compacto si es cerrado y acotado.

Tambi´en. M´etodo 3. Teorema 16 El toro. M´etodo 1. Adem´as. remplazamos Rn con un espacio m´etrico arbitrario m´as general. El toro T es un subespacio de R3 obtenido al rotar un c´ırculo alrededor del eje z. tambi´en. El cuadrado es cerrado y acotado subconjunto de R2 . Por consiguiente. la botella de Klein. es compacto. El toro es homeom´orfico al espacio producto S 1 × S 1 . el toro es acotado puesto que est´a contenido en la bola de radio 4 centrada en el origen. Recordemos que definimos el encaje de un espacio topol´ogico X en otro espacio topol´ogico Y . iii). el tercer m´etodo nos permite concluir que el anillo anular. tambi´en nos permite concluir que para cada n > 2. ¿el ser compacto es a´ un equivalente a ser cerrado y acotado? la respuesta es no. hay una bola abierta de radio suficientemente peque˜ no centrada en ese punto y disjunta del toro. es compacto. 2. el toro es compacto. un importante concepto de topolog´ıa. Adem´as. cerrado y acotado. y por lo tanto es compacto. Puesto que el toro es cerrado y acotado en R3 . El toro es homeom´orfico a un espacio obtenido como un espacio cociente del cuadrado por identificar bordes opuestos. el n-toro es un espacio topol´ogico compacto. Por lo tanto. Si en el teorema anterior.Demostraci´ on 15 bla bla bla El c´ırculo S 1 es compacto puesto que es un subconjunto de R2 . M´etodo 2. como un homeomorfismo de X a un subespacio 25 . El c´ırculo S 1 es compacto. es entender como un espacio topol´ogico pueden ser “puesto” dentro de otro. la banda de M¨ obius. ii). El segundo m´etodo del ejemplo. el toro es el producto de dos espacios compactos y por lo tanto es compacto. El toro es cerrado puesto que dado cualquier punto en su complemento. y la imagen de un espacio compacto bajo una funci´on continua es compacto.9 Encajes A lo largo del estudio de espacios topol´ogicos. T . la esfera y el plano proyectivo son todos espacios compactos. un mapeo cociente sobre un cuadrado es una funci´on continua. Demostraci´ on 16 La demostraci´on la haremos por tres m´etodos: i).

podemos mejorar el teorema de la curva de Jordan. Adem´as. 26 . llamaremos a Y el espacio encajado. puesto que S 1 es compacto se sigue que curvas cerradas simples son subconjuntos compactos del espacio encajado. a saber: Cuando introducimos la botella de Klein. y llamaremos a la imagen f (X) la imagen encajada de X. a´ un tenemos dos preguntas fundamentales sobre encajes: i). Notemos que no hay curvas cerradas simples en R. no hay un encaje de la botella de Klein en R3 . Adem´as. Si existe un encaje de X en Y . acerca de como la imagen del encaje de X es puesto en Y ? Definici´ on 30 Si f : X −→ Y es un encaje del espacio X en el espacio Y . Sea S una curva cerrada simple en R2 . y S es la frontera en R2 de cada una de las componentes. y la u ´nica curva cerrada 1 simple en el c´ırculo S es el c´ırculo mismo. De esta forma hacemos precisa la idea de una copia de X puesta en Y.de Y . sin expresarlo en terminos de encajes. Lo mismo es verdadero para el plano-proyectivo. indicamos que no existe en el espacio tridimensional. El siguiente teorema indica que no solo es una curva cerrada simple homeom´orfica a S 1 . Subrayamos que la imagen de tal encaje es llamada una curva cerrada simple. sino que la estructura topol´ogica completa de una curva cerrada simple puesta en el plano es topol´ogicamente equivalente al c´ırculo S 1 puesto en el plano. ¿qu´e podemos decir. Dados los espacios topol´ogicos X y Y . Es importante resaltar que al principio de este trabajo introducimos un resultado. Entonces R2 − S consiste de dos componentes. Iniciamos considerando encajes del c´ırculo en espacios topol´ogicos. llamamos a la componente acotada de R2 −S el interior de S y a la componente no-acotada el exterior de S. Sin embargo. relacionado con la primera pregunta. ¿existe un encaje de X en Y ? ii). y del plano proyectivo buscamos un encaje en R4 . No desarrollaremos herramientas para probar resultados de no-encaje. decimos que X es encajado en Y o que podemos encajar X en Y . Demostraci´ on 17 bla bla bla Definici´ on 31 Dada una curva cerrada simple S en el plano. Para una curva cerrada simple en el plano. es decir. Teorema 17 Curvas de Jordan. pero si demostraremos que la botella de Klein es encajada en R4 .

Teorema 18 Sea f : S 1 −→ R2.

Entonces existe un homeomor. un encaje.

fismo F : R2 −→ R2 tales que F .

10 Bases de Topolog´ıa Las propiedades topol´ogicas de una variedad son esas que son insensitivas a transformaciones continuas. con una dimensi´on m´as (esto es. ii). Por otro lado. o “amasar” una variedad cambia la m´etrica pero no su topolog´ıa. es una ´area muy importante de investigaci´on matem´atica. dada una curva cerrada simple S en el plano. y el exterior de S es homeom´orfica al subespacio C = {(x. y) | x2 + y 2 > 1}. ninguno puede ser encajado en R3 . a la botella de Klein y el plano proyectivo. Si incrementamos la dimensi´on del espacio encajado por 1. y observamos una curva cerrada simple en R3 . Por lo tanto. no es el caso que todos los encajes de S 1 en R3 sean lo mismo. = f . el interior de S es homeom´orfica a la bola abierta B = {(x. o hacer hoyos y asas si cambian la topolog´ıa. comprimir. Por un lado. tenemos un teorema significativo indicando que todos los encajes de S 1 en R2 son esencialmente los mismos. consideramos algunas de nuestras superficies familiares: el toro. Es posible frecuentemente visualizar variedades 27 . La esfera y el toro fueron ambos inicialmente definidos como subespacios de R3 . podemos definir un encaje. romper. encontramos una situaci´on muy diferente: Curvas cerradas simples en R3 son conocidas como nudos. tama˜ no y distancia son en alg´ un sentido ignoradas en topolog´ıa: alargar. y por lo tanto la tarea de determinar todas las posibilidades para esos encajes. y) | x2 + y 2 < 1} como subespacio del plano. Ahora. la esfera. Por consiguiente. como indicamos previamente. se extiende a un homeomorfismo de todo el plano en si mismo. Por lo que respecta. S1 Demostraci´ on 18 bla bla bla El teorema establece que todo encaje del c´ırculo en el plano. y el exterior de S 1 al exterior de f (S 1 ). 2. la botella de Klein. Podemos ver de al considerar encajes de S 1 en R2 y en R3 que las matem´aticas frecuentemente presentan una situaci´on “win-win”: i). as´ı que ellos son trivialmente encajados en R3 . cortar. el plano proyectivo y la banda de M¨ obius. considerando R4 ). sin embargo. Tal homeomorfismo debe mapear el interior de S 1 en el plano al interior de la curva cerrada simple f (S 1 ).

La propiedad clave de una variedad 28 . La esfera. aparecen naturalmente en todos los campos de la matem´atica y disciplinas cient´ıficas. Adem´as. alargando el cilindro y curvandolo de tal forma que podamos pegar juntas los extremos circulares generamos un toro simple.bidimensionales al representarlas “embebidas” en el espacio euclidiano tridimensional (tales mapeos no necesariamente existen. a´ un un hex´agono (puesto que el plano puede ser embaldosado por hex´agonos. usando. el dominio fundamental puede ser elegido en diferentes formas: un cuadrado. un paralelogramo. Un bi-dimensional gtoro Tg es un toro con g hoyos: este Tg puede ser construido como la suma conexa de g toros simples. C´ırculos y otras curvas en Rn son variedades 1-dimensional. Diferentes superficies topol´ogicas pueden ser representadas por pol igonos cuyos bordes son apropiadamente “identificados” por pares. Variedades tridimensionales requieren la introducci´on de representaciones m´as abstractas. de ser hermosas por si mismas. Todos los v´ertices del pol´ıgono corresponden al mismo punto de la superficie. Figura 1. un rect´angulo. Figura 2. Como indicamos en la introducci´on. el toro plano puede tambi´en ser representado por un hex´agono con una apropiada identificaci´on de sus bordes). Puesto que el pol´ıgono tiene al menos 8 bordes.. el toro es topol´ogicamente equivalente a un rect´angulo con bordes opuestos “identificados”. una superficie cerrada. 2. de forma semejante a como se hizo con el toro simple. Podr´ıamos estar tentados a visualizar el g-toro por pegar juntos bordes equivalentes. y otras superficies son variedades 2-dimensionales. es necesario hacer. por ejemplo).. El rect´angulo es llamado el dominio fundamental del toro. el toro. El m´etodo de pegado descrito anteriormente llega a ser extremadamente fruct´ıfero cuando las superficies son m´as complicadas.. Desde un punto de vista topol´ogico (es decir. el dominio fundamental. Esta suma es en si misma topol´ogicamente equivalente a un 4g-gon donde todos los v´ertices son id´enticos unos con otros y los lados son apropiadamente identificados por pares. identificando un par de bordes opuestos de un cuadrado da una porci´on de un cilindro. para la botella de Klein y el toro plano. sin referencia al tama˜ no). . por ejemplo. Por lo tanto.11 Variedades Las variedades son generalizaciones en altas dimensiones de curvas y superficies. El g-toro es por lo tanto topol´ogicamente equivalente a la suma conexa de g cuadrados cuyos bordes opuestos han sido identificados. Pero tal operaci´on no es directa cuando g ≥ 2. entonces. .

la vecindad de un punto en la frontera se observa como una vecindad del origen. tales que para cualquier x ∈ M . y el complemento de la frontera de M es llamado el interior de M . Es muy u ´til. Esta subcubierta. Por ejemplo. junto con el mapeo de cartas asociado. El conjunto de puntos x ∈ M con φ(x) en <n−1 × {0} es llamada la frontera de M . entonces solo un n´ umero finito de cartas son necesarias. Una variedad es un espacio topol´ogico que localmente se observa como <. y segundo numerable. tales como el c´ırculo sobre el extremo de un cilindro. Definici´ on 33 Una variedad con frontera es un espacio topol´ogico Hausdorff M .1-dimensional es que cualquier peque˜ no pedazo de variedad se observa semejante a RN . y los mapeos φ son llamados los mapeos de las cartas. Definici´ on 32 Una variedad n-dimensional (o n-variedad o variedad) es una espacio topol´ogico M tales que para cualquier x ∈ M . φα }. la figura de un ocho no es una variedad puesto que ninguna vecindad del punto de cruce es homeom´orfica a <. frecuentemente. entonces escribimos el atlas como {Uα . Una colecci´on de cartas que cubren M junto con su mapeo de cartas asociado es llamado un atlas para M . φi }m i=1 . Una variedad 2-dimensional es llamada una superficie. En 2dimensiones. o frontera. Como con variedades. Si el conjunto {Uα } es la colecci´on de cartas y {φα } es la colecci´on de mapeos de cartas. suponemos que una variedad es Hausdorff y segundo numerable (tiene un subconjunto denso contable). donde α es tomado en alg´ un conjunto que puede o no puede ser contable. la colecci´on de todas las cartas en el atlas es una cubierta abierta de M y de aqu´ı tenemos una subcubierta finita. 29 . dado alg´ un atlas sobre una variedad compacta M . Tambi´en. Los subconjuntos U ⊆ V son llamadas las cartas (charts). existe una vecindad U ⊆ M de x y un conjunto abierto V ⊆ Rn tales que U y V son homeomorfos. permitirle a nuestra variedad tener un “borde”. existe una vecindad U ⊆ V de x y un conjunto abierto V ⊆ <n−1 × <+ tales que U y V son homeomorficos. usualmente denotamos el homeomorfismo por φ : U −→ V . Algunas veces decimos que una variedad n-dimensional es un espacio topol´ogico que es homeomorfo localmente a <n . Observemos que si U compacto. esto es.2. Una variedad compacta es llamada una variedad cerrada. es un atlas finito para M y puede ser escrito como {Ui . de un semi plano figura 3. Usualmente denotamos el homeomorfismo por φ : U −→ V .

y connected o no-connected (En topolog´ıa y ramas relacionadas de las matem´aticas. pero en general puede ser definido para altas dimensiones. son variedades para las cuales Lens spaces: Estos son un ejemplo de espacio topol´ogico. cualquier objeto que puede ser “aplanado” es una variedad. un c´ırculo es topol´ogicamente lo mismo que alguna espira cerrada. la superficie de una taza de caf´e con “oreja” es topol´ogicamente lo mismo que la superficie de una dona. una descripci´on pintoresca de un lens space es el espacio que resulta de “pegar” dos toros s´olidos juntos 30 . algunos autores son m´as precisos y usan el termino variedad abierta para una variedad no-compacta sin frontera o variedad cerrada para una variedad compacta con frontera. Como un espacio topol´ogico. existe una vecindad que es topol´ogicamente la misma como una bola abierta unitaria en Rn ). Similarmente. todo punto sobre una variedad tiene una vecindad. considera la antigua creencia de que la Tierra fuera plana en contraste con la evidencia moderna de que es redonda. Adem´as. junto con un homeomorfismo de esa vecindad con una bola abierta en Rn . un espacio connected es un espacio topol´ogico que no puede ser representado como la uni´on de dos o m´as subconjuntos abiertos. Sin embargo. Com´ unmente. El concepto puede ser generalizado a variedades con esquinas. es llamada una “variedad con frontera”. con n ∈ Z + Variedades suaves (tambi´en llamadas variedades diferenciables). M´as concisamente. y su frontera es la esfera unitaria. suponemos que las variedades son de dimensi´on finita n. En general. alrededor de todo punto. una variedad debe tener una segunda topolog´ıa contable. Por ejemplo. El caso de una 3-variedad. Si una variedad contiene su propia frontera. no importando que tan diferentes pueden parecer esas dos variedades. como fue primero evidenciado por Poincar´e. no vacio y disjuntos). Para ilustrar esta idea. La discrepancia aparece esencialmente del hecho de que en las peque˜ nas escalas que vemos. la Tierra se observa plana. El t´ermino se refiere a una clase especifica de 3-variedad. una variedad puede ser compacta o nocompacta. cualquier objeto que es casi “plano” a peque˜ nas escalas es una variedad. La bola unitaria cerrada en Rn es una variedad con frontera. el t´ermino absoluto “variedad” es usado para indicar una “variedad con frontera”. y este tipo de superficie es llamada un toro. Por definici´on. A menos que se indique otra cosa. y as´ı las variedades constituyen una generalizaci´on de objetos que si vivi´eramos en ellos encontrar´ıamos el problema de la Tierra plano/redonda.Una variedad es una espacio topol´ogico que es localmente Euclidiano (es decir. Este es el uso que le damos en este trabajo. Uno de los objetivos de la topolog´ıa es encontrar formas de distinguir variedades.

Esto tomo cientos de miles de a˜ nos. Hemos ya encontrado otras 2-variedades. hemos determinado muchos otros aspectos de nuestro Universo. corresponda a la forma de la Tierra. de la superficie de la Tierra. antes de que fu´eramos capaces de concluir que vivimos sobre una esfera. Por ejemplo. 3 3. Pero una cuesti´on fundamental permanece sin respuesta: ¿Cu´ al es la forma del Universo en el cual vivimos? Significa el Universo espacial. Una Tierra en forma de toro habr´ıa sido interesante.por un homeomorfismo de sus fronteras. Trecientos a˜ nos despu´es. Desde nuestra comprensi´on de la forma de la Tierra. el mast´ıl es la u ´ltima parte de un buque que desaparece en el horizonte. el plano proyectivo y el plano. el cual puede ser tomado como una rebanada espacial de una espacio-tiempo 4-dimensional. no impide la posibilidad de que alguna otra 2-variedad (que no sea la esfera).c. ver figura 28. la botella de Klein. Una variedad de observaciones sugieren que la Tierra es curvada. Nos gustar´ıa saber: ¿Cu´ al es la forma topol´ ogica de este Universo espacial en expansi´ on? Con el prop´osito de que tenga sentido esta pregunta matem´aticamente. A priori sabemos que la bidimensionalidad local. Erastotenes usando las sombras formadas sobre la Luna en dos diferentes ciudades. Podemos representar el Universo espacial como ha sido creado en el tiempo del Big-Bang y se expande en tama˜ no desde entonces. sobre el cual vivimos. estimo la curvatura de la Tierra y de aqu´ı su radio. Pitagoras propuso una Tierra esf´erica a principios de 500 a. el toro.1 Variedades y Cosmolog´ıa Introducci´ on Uno de los grandes avances realizados por la humanidad fue el establecimiento de la forma del planeta. El hecho de que localmente la superficie de la Tierra es bidimensional implica que es una 2-variedad. por ejemplo. necesitamos examinar la naturaleza fundamental del Universo espacial: ¿Cu´ ales son sus propiedades b´ asicas? 31 . de desarrollo humano.

Justamente como hay muchas 2variedades. Un homeomorfismo entre una vecindad y una bola abierta en Rn no necesita preservar distancias. 2 y 3. Las dos condiciones adicionales. El toro tiene la propiedad de que cada punto tiene una vecindad homeom´orfica a un disco abierto en el plano. para todos los intentos y prop´ositos. Iniciamos con una definici´on formal de una n-variedad. Llamaremos a tal objeto una 3-variedad. aunque la vecindad paresca curvada sobre la superficie. El espacio en el que vivimos parece ser localmente tridimensional.2 Variedades En esta secci´on queremos capturar la idea de un espacio que localmente se parece a un n-espacio real Rn . y finalmente discutimos como un entendimiento adecuado de las 3-variedades. si seleccionamos un sitio dado y viajamos fuera de este una corta distancia (digamos 3 mts) en todas direcciones y cerramos ese espacio. La lista ha sido adecuadamente completada para dimensiones 1 y 2. algunas de las cuales satisfacen las mismas propiedades localmente como para ser la superficie de la Tierra. Si tal lista existe y damos una n-variedad. ver figura 29. Cuando consideramos n-variedades. para un dado n. solo se necesita deformar la vecindad para que paresca una bola abierta. hay muchas 3-variedades. se parece una bola en el espacio euclidiano tridimensional. 3. Existe un trabajo sustancial en 3 y 4 dimensiones. nos auxiliaran en la determinaci´on de la estructura del Universo. Definici´ on 34 Una n-variedad es un espacio topol´ogico Hausdorff X con una base contable. ¿podemos hacer una lista completa de todas las n-variedades?. Por lo tanto.Notemos que no importa donde hemos estado en el Universo hasta hora. El hecho de que las vecindades son solo requeridas para ser homeom´orficas a la n-bola abierta nos da una libertad sustancial. tales que x ∈ X tiene una vecindad que es homeom´orfica a una n-bola abierta. Ha sido probado que no puede 32 . algunas de las cuales son buenos candidatos para representar la forma del Universo. ¿existe alg´ un algoritmo que determine cual variedad es sobre la lista?. pero una clasificaci´on completa de 3-variedades permanece evasiva. primero discutimos variedades de dimensi´on 1. la pregunta m´as fundamental se refiere a su clasificaci´on. que el espacio sea Hausdorff y que tenga una base contable asegura que una n-variedad sea un espacio razonablemente bien comportado. ver figura 30.

el toro. Existe una clasificaci´on completa para las 1-variedades. entonces X es la uni´on de una colecci´on contable de componentes. Cada punto. ya que es la imagen de un espacio conexo y compacto. Si X es conexo y no-compacto. en una curva. la botella de Klein y el plano proyectivo son superficies compactas. Teorema 20 La esfera. Demostraci´ on 19 bla bla bla Puesto que ahora tenemos un buen entendimiento de las 1-variedades. Si X es conexo y compacto. entonces X es homeom´orfico a R. dos 4-variedades dadas son homeom´orficas. con x1 y x2 ambos racionales. bajo un mapeo cociente. Adem´as. el plano tiene una base contable dada por el conjunto de bolas abiertas de radio racional centradas en puntos x = (x1 . Todo subespacio del plano abierto y conexo es tambi´en una superficie. 1). ii). Teorema 19 Sea X una 1-variedad: i). El plano es una superficie. x2 ). para cualquier n ≥ 4. 33 . es momento de estudiar las 2-variedades. tiene una vecindad que es homeom´orfica al intervalo abierto (1. Definici´ on 36 Una 2-variedad conexa es llamada una superficie. Esta es conexa y Hausdorff. cada uno de los cuales es homeom´orfico a S 1 o R. entonces X es homeom´orfico a S 1 .haber un algoritmo que determine si o no. Si X es disconexo. Por lo tanto. Dado un punto p ∈ R2 . La demostraci´on es esencialmente la misma para los otros tres espacios. iii). Iniciamos nuestro estudio con las 1-variedad. Hemos visto que la botella de Klein es conexa y compacta. una clasificaci´on completa de 4-variedades nunca puede ser alcanzada. Definici´ on 35 Una 1-variedad conexa es llamada una curva. Lo mismo ocurre para la clasificaci´on de n-variedades. la bola abierta de radio 1 centrada en p es una vecindad de p que es homeom´orfica al disco abierto. Demostraci´ on 20 Discutimos la demostraci´on para la botella de Klein.

ii). ver figura 31. con el cual es identificado. Por lo tanto. lo suficientemente peque˜ nos. De = tomar las bolas que est´an en el interior del cuadrado. El v´ertice es identificado con los otros tres v´ertices. El resultado es una base contable para la botella de Klein. III). pegando mitad de discos como vecindades o pegando cuartos de disco como vecindades. del punto resultante en la botella de Klein. o como se necesite. 1]. las bolas que est´an centradas sobre los bordes y no contienen v´ertices. la banda de M¨ obius. obtenido al tomar una bola abierta de un peque˜ no radio apropiado. como vecindades. similarmente. todo punto en la botella de Klein tiene un disco abierto como vecindad. un v´ertice del cuadrado tiene una vecindad de cuarto de disco. Para un punto y sobre un borde del cuadrado (pero no un v´ertice) y un punto y 0 sobre el borde opuesto. la mitad de disco vecindad de y y la mitad de disco vecindad de y 0 se pegan juntos para formar una vecindad de disco abierto.I). pegando bolas mitad y bolas un cuarto apropiadamente. Esas 4 vecindades de cuarto de disco se pegan juntas para formar una vecindad de disco abierto del punto resultante. que tienen un radio racional y centradas en puntos con coordenadas racionales. Finalmente. Dados dos puntos de la botella de Klein podemos separarlos usando discos abiertos. iniciamos con el prototipo de espacio no-orientable. [0. Finalmente. 34 . el cuadrado. La botella de Klein es Hausdorff. cada uno de los cuales tiene. Nos gustar´ıa usar varios atributos de superficies para distinguirlas. Supongamos que tenemos una botella de Klein que es construida del cuadrado [0. iii). al pegar los bordes en la forma usual. en la botella de Klein. 1] × [0. 1]. i). tiene una base contable = obtenida al tomar la intersecci´on del cuadrado con todas las bolas abiertas en el plano. y las bolas de un cuarto de disco centradas sobre los v´ertices: Entonces mapearlas en la botella de Klein. una vecindad de cuarto de disco. Un punto x en el interior del cuadrado tiene un disco-abierto como vecindad. Para adquirir experiencia sobre orientabilidad. 1]×[0. Uno de esos conceptos es la orientabilidad. II).

sobre la curva central de la banda de M¨ obius M . descomposici´on de una superficie en tri´angulos. Por lo tanto. es dif´ıcil probar que una superficie es orientable probando directamente que no contiene una banda de M¨ obius encajada. Entonces S1 es orientable si y solo si S2 es orientable. ambas superficies tienen una banda de M¨ obius encajada. no se invierte su sentido. La propiedad de poseer una curva que invierta la orientaci´on. Una superficie que no contenga una banda de M¨ obius encajada es llamada orientable. Tambi´en. Teorema 21 Sean S1 y S2 superficies homeom´orficas. El siguiente teorema indica que la orientabilidad es un invariante topol´ogico. es mantenida por toda superficie que contenga una copia encajada de la banda de M¨ obius. 35 . entonces decimos que f (τ ) es un tri´ angulo en S. y tomando una rotaci´on. Si viajamos alrededor de la curva central. Por otro lado. Si llevamos la rotaci´on alrededor de la curva central. en una vecindad de ese punto. Entonces. hemos invertido nuestra rotaci´on. tomamos un “camino” diferente para demostrar orientabilidad. Sea τ una regi´on triangular en el plano y sea S una superficie. y por lo tanto ambas superficies son no-orientables. Si f : τ −→ S es un encaje. con el tiempo hemos retornado a nuestro punto inicial y la rotaci´on en el sentido de las agujas del reloj ha sido invertida en una rotaci´on en contra de las agujas del reloj. Es decir. ver figura 33. como se ilustra sobre M . podemos usar orientabilidad para auxiliarnos a distinguir entre superficies. a lo largo de la curva central. Esto motiva la siguiente definici´on: Definici´ on 37 Una superficie que contenga una banda de M¨ obius encajada es llamada no-orientable. ver figura 34. ver figura 32. respectivamente. en la figura 32. de f (τ ). uno que involucra tri´ angulaciones.Una banda de M¨ obius tiene la propiedad de que puede invertir su orientaci´on en el siguiente sentido: eligiendo un punto de inicio. llevando la rotaci´on en el sentido de las agujas del reloj. las imagenes bajo f de los bordes y v´ertices de τ son llamados los bordes y v´ ertices. considerando la rotaci´on en el sentido de las agujas del reloj sobre el disco anular A. Por lo tanto. en el sentido de las agujas del reloj. Como se indica en las regiones obscuras de la botella de Klein y el plano proyectivo. Demostraci´ on 21 bla bla bla En general.

Demostraci´ on 23 bla bla bla Como se ilustra en la figura 36. Esto nos conduce a la definici´on: 36 . Tambi´en en la figura 36. la botella de Klein y el pla1no proyectivo. el toro. o se intersectan en un v´ertice. La prueba es bastante t´ecnica. Teorema 23 Sean T1 y T2 tri´angulaciones de una superficie compacta S. y que no resulta en una rotaci´on inversa. Existen tri´angulaciones T10 y T2 que son equivalentes una a otra y son subdivisiones de T1 y T2 . y que cubren S. Teorema 22 Toda superficie compacta tiene una triangulaci´on. una direcci´on de rotaci´on sobre un tri´angulo induce una direcci´on sobre cada uno de sus bordes. iii). Una triangulaci´on T ∗ es llamada equivalente a T si hay un homeomorfismo h : S −→ S que mapea los tri´angulos en T homeom´orficamente a tri´angulos en T ∗ . Entonces i). y por consiguiente no hacemos la demostraci´on aqu´ı. o se intersectan en un borde. de tal forma que cualesquiera dos tri´angulos en T : i). a un tri´angulo podemos asignarle una direcci´on de rotaci´on que puede servir como la direcci´on de rotaci´on. Definici´ on 39 Sea T una triangulaci´on de una superficie compacta S. o no se intersectan. de ambos tri´angulos. ii). Una triangulaci´on T 0 es llamada una subdivisi´ on de T si todo tri´angulo en T puede ser expresado como la uni´on de tri´angulos en T 0 . de cada uno de sus puntos. respectivamente. Demostraci´ on 22 bla bla bla Este resultado fu´e primero probado por Tibor Rad´o en 1925. de ambos tri´angulos. como el caso encontrado en la banda de M¨ obius. ii).Definici´ on 38 Una triangulaci´ on T de una superficie compacta S es una colecci´on de un n´ umero finito de tri´angulos en S. En la figura 35 mostramos la triangulaci´on de la esfera.

sin embargo. Por consiguiente. podemos expander significativamente esta colecci´on usando la operaci´on suma-conexa. Teorema 24 Una superficie compacta S es orientable si y solo si tiene una triangulaci´on que puede ser orientada coherentemente. la orientabilidad es una propiedad fundamental que es usada para distinguir entre superficies compactas. entonces las direcciones de los bordes. la triangulaci´on coherentemente orientada de la esfera no puede ser llevada al plano proyectivo puesto que. Espec´ıficamente. la esfera y el toro tienen tri´angulaciones que pueden ser coherentemente orientadas. junto con la caracter´ıstica de Euler. ni la esfera ni el toro son homeom´orficas a la botella de Klein o al plano proyectivo. la triangulaci´on del plano proyectivo parece similar a la triangulaci´on de la esfera. En la figura 38 desplegamos tri´angulaciones orientadas coherentemente de la esfera y el toro. a un tri´angulo adyacente. Una situaci´on similar ocurre con las tri´angulaciones del toro y la botella de Klein. El siguiente teorema establece la equivalencia entre ser orientable y tener una orientaci´on coherente. son opuestas. por lo tanto. cuando pegamos los bordes superior e inferior del disco.Definici´ on 40 Sea S una superficie compacta y T una triangulaci´on de S. hay tri´angulos cuyos bordes son pegados juntos y la orientaci´on no se iguala propiamente. Puesto que la orientabilidad es una propiedad topol´ogica. Hasta el momento hemos introducido una colecci´on limitada de superficies compactas. se concluye que podemos distinguir esas dos superficies de la botella de Klein y el plano proyectivo. de cada uno de los tri´angulos. Usaremos esta propiedad. la condici´on de que el borde hereda direcci´on no asegura que podamos deslizar una orientaci´on. En al figura 35. En esta definici´on. de un tri´angulo a trav´es de un borde. Demostraci´ on 24 bla bla bla Como puntualizamos previamente. para distinguir entre todas las superficies compactas. si a cada tri´angulo en T puede ser asignada una direcci´on de rotaci´on tal que si dos tri´angulos se intersectan en un borde. definida como: 37 . para obtener el plano proyectivo. el teorema implica que la esfera y el toro son orientables. y tener la correspondiente orientaci´on de acuerdo. Sin embargo. La triangulaci´on T puede ser coherentemente orientada. puesto que las primeras son orientables mientras que las u ´ltimas no lo son. ver figura 37.

Definici´ on 41 Dadas dos superficies S1 y S2 . S 2 act´ ua como la identidad. en al menos uno de ellos pegamos pegamos este disco a lo largo de un borde. La superficie de g´enero n es una superficie compacta para todos los enteros n ≥ 0. Esta es una representaci´ on pol´ıgonal de S. probando que es un invariante para superficies compactas. por el siguiente teorema se concluye que una superficie de g´enero n es orientable. para distinguir entre superficies compactas. podemos construir un pol´ıgono con pares de bordes identificados. la suma-conexa de S1 y S2 . cuando tomamos la suma-conexa de la esfera S 2 con cualquiera otra superficie S. es la superficie obtenida al remover el interior de un disco. Iniciamos con uno de los tri´angulos y realizamos una identificaci´on borde-simple con otro tri´angulo. As´ı pues. una esfera es llamada una superficie de genero 0.3 Caracter´ıstica de Euler y la clasificaci´ on de superficies compactas En esta secci´on introducimos la caracter´ıstica de Euler. Teorema 25 Sea S1 y S2 superficies compactas. el resultado es homeom´orfico a S. entonces puesto que S es una superficie. Demostraci´ on 25 bla bla bla 3. Si pensamos la suma conexa como una operaci´on aditiva entre superficies. Entonces S1 #S2 es orientable si y solo si ambas S1 y S2 son orientables. Adem´as. es llamada una superficie de genero n. Por ejemplo. sobre su frontera. de cada superficie. El resultado es topol´ogicamente un disco. el resultado es topol´ogicamente un disco. ver figura 39. Si hay tri´angulos restantes. As´ı. y entonces la usamos (junto con la orientabilidad). Continuamos este proceso hasta que todos los tri´angulos han sido anexados. Otra vez. tales que reproduscan la superficie S. ver figura 41. resultando un disco con pares de bordes en su frontera que a´ un ser´an identificados. Definici´ on 42 La suma conexa de un n toros. La representaci´on del toro y la botella de Klein como cuadrados. el resultado de la operaci´on suma-conexa es una superficie. 38 . y pegar la frontera de los dos c´ırculos v´ıa un mapeo cociente. ver figura 40. Dada una triangulaci´on de una superficie compacta S. con sus bordes identificados. son representaciones pol´ıgonales. denotada por S1 #S2 . denotada por nT .

Usamos F para el n´ umero de tri´angulos puesto que tambi´en los consideramos como caras. Definimos la caracter´ıstica de Euler de T por χ(T ) = V − E + F. entonces f mapea naturalmente T a una triangulaci´on T 0 de S 0 . E es el n´ umero de bordes y F es el n´ umero de tri´angulos en la triangulaci´on. La expresi´on V − E + F aparece en la f´ormula para la caracter´ıstica de Euler y en la f´ormula de Euler para gr´aficas planares. vemos una representaci´on pol´ıgonal de T #K. el cual establece que la caracter´ıstica de Euler es un invariante para superficies compactas. Expresamos esto en el siguiente teorema. Adem´as. Denotamos la caracter´ıstica de Euler de S por χ(S). el cual ser´a muy u ´til para distinguir superficies compactas. podemos definir la caracter´ıstica de Euler de una superficie compacta S: como la caracter´ıstica de Euler de cualquier triangulaci´on de S. Teorema 26 Sean T1 y T2 tri´agulaciones de una superficie compacta S. definimos su cracter´ıstica de Euler como: Definici´ on 43 Sea T una triangulaci´on de una superficie compacta S. Demostraci´ on 26 bla bla bla Ahora que tenemos este teorema. tenemos el siguiente teorema. Dada una triangulaci´on de una superficie compacta. Teorema 27 Si S y S 0 son superficies compactas homeom´orficas. 39 . En la ilustraci´on de la superficie resultante. mostramos los bordes pegados que aparecen. como si la superficie compacta tri´angulada es hecha de caras triangulares. Establecemos que la caracter´ıstica de Euler es la misma para toda triangulaci´on de una superficie compacta dada. Por lo tanto.Por ejemplo. la suma conexa de un toro y una botella de Klein. entonces χ(S) = χ(S 0 ). Entonces χ(T1 ) = χ(T2 ). donde V es el n´ umero de v´ertices. Es claro que si T es una triangulaci´on de S y f : S −→ S 0 es un homeomorfismo. la caracter´ıstica de Euler de T 0 es igual a la de T . en la figura 42.

de la caracter´ıstica de Euler. y que ning´ un par de las superficies. es necesario mostrar que toda superficie compacta es homeom´orfica a al menos una de S 2 . La u ´nica distinci´on que no hacemos aqu´ı. Por el teorema anterior. El siguiente teorema da una completa clasificaci´on de las superficies compactas. Adem´as. Considerando todas las superficies compactas que podamos construir. se sigue que S 2 no es homeom´orfica a T . junto con la orientabilidad nos proporciona informaci´on para distinguir entre esos 4 espacios. Demostraci´ on 28 bla bla bla Estas superficies compactas son ilustradas en la figura 43. Esos valores. Proyectivo: χ(P ) = 10 − 27 + 18 = 1. iii). Toro: χ(T ) = 9 − 27 + 18 = 0. usando sumas conexas. K y P . Klein: χ(K) = 9 − 27 + 18 = 0. T #T # · · · #T . nT o nP . la f´ormula seguira siendo v´alida para el cubo. T . La idea es que dada una superficie compacta. podemos usar la caracter´ıstica de Euler y la orientabilidad para distinguir todas las superficies compactas. Si deform´aramos la esfera en un cubo. O P #P # · · · #P . ii). nT o nP . pero hemos hecho tal distinci´on usando orientabilidad. es sorprendente que todas ellas caen dentro de alguno 40 . χ(S 2 ) = 8−18+12 = 2. Para demostrar el teorema anterior. que T no es homeom´orfica a P y que K no es homeom´orfica a P . iv). podemos realizar una serie de operaciones de corte-y-pegado sobre ´esta para demostrar que es de alguna forma de las superficies listadas. usando la cracter´ıstica de Euler. Esfera: χ(S 2 ) = 11 − 27 + 18 = 2. Teorema 28 Toda superficie compacta es homeom´orfica a exactamente una de las superficies: S 2 . usamos nP para denotar la suma conexa de n planos proyectivos. K o P . es entre T y K. entre S 2 . Como lo hemos hecho con S 2 . justamente como nT representa la suma conexa de n toros. son homeom´orficas. No mostraremos que toda superficie compacta es homeom´orfica a al menos una de las superficies listadas. solo daremos referencias donde consultar la demostraci´on.Demostraci´ on 27 bla bla bla Ejemplo 13 De las triangulaciones en la figura 35 vemos que: i).

ilustramos las superficies compactas listadas en el teorema. nT #K. T #P ∼ = P #P #P . en el ejemplo (8) demostramos que K ∼ = P #P . la botella de Klein y el plano proyectivo. En la figura 45. Sin embargo. Teorema 29 Para todo entero n ≥ 3. 2 Demostraci´ on 29 bla bla bla La siguiente forma alternativa del teorema de clasificaci´on. mostramos por corte-y-pegado ∼ T #P = K#P . De hecho. el toro.  n−1  2 T #P si n es impar. podemos usar orientabilidad y la caracter´ıstica de Euler para distinguir entre las diferentes superficies compactas. Por ejemplo. En la figura 44. para superficies compactas. Como lo demostramos con la esfera. la botella de Klein K es una superficie compacta que no aparece entre las superficies listadas. T no es homeom´orfica a K puesto que T es orientable pero K no lo es. Teorema 30 Toda superficie compacta es homeom´orfica a exactamente una de las superficies: S 2 . para incluir K y P en nuestra lista. por el teorema. es consecuencia directa de los dos teoremas anteriores. nT . K ∼ = P #P . dado que T #P es homeom´orfica K#P . necesitamos entender el efecto de la operaci´on suma conexa sobre la caracter´ıstica de Euler. Sin embargo. Por supuesto. Esta es una superficie no-orientable. y por lo tanto es la botella de Klein. P #P es una de las superficies listadas. Tal ley de cancelaci´on podr´ıa implicar que T es homeom´orfica a K. Con el prop´osito de distinguir entre todas las superficies compactas. 41 . La relaci´on T #P ∼ = K#P del ejemplo demuestra que no hay ley de cancelaci´on para la suma conexa de superficies. en el ejemplo (13). Las relaciones P #P ∼ = K y T #P ∼ = K#P producen la siguiente caracterizaci´on de suma conexa de planos proyectivos. debe ser la suma conexa de planos proyectivos. Demostraci´ on 30 bla bla bla Permitimos la posibilidad de nT 0 s en las u ´ltimas dos sumas conexas. Por lo tanto. Puesto que. O nT #P . se sigue que T #P ∼ = K#P ∼ = P #P #P .de los tipos listados en el teorema. Ejemplo 14 Otra superficie compacta que no aparece entre las superficies listadas en el teorema anterior es T #P . nP =  n−2 T #P si n es par.

podemos concluir que dos superficies compactas. Demostraci´ on 31 Puesto que la caracter´ıstica de Euler es independiente de la triangulaci´on. se sigue que S 2 y nT son orientables mientras que las nP no lo son. pegando v´ertices con v´ertices y bordes con bordes. listadas en el teorema (28). 3 bordes y 2 caras. puesto que χ(S 2 ) = 2 y χ(nT ) = 2 − 2n. Esto produce el siguiente resultado: 42 . se sigue que dos superficies compactas entre S 2 y nT no tienen la misma caracter´ıstica de Euler. y χ(nT ) = 2 − n. no son homeom´rficas. en el proceso de combinar las triangulaciones de S1 y S2 para obtener una triangulaci´on de S1 #S2 . Por lo tanto. entonces χ(S1 #S2 ) = χ(S1 ) + χ(S2 ) − 2.Teorema 31 Si S1 y S2 son superficies compactas. de cada superficie. listadas en el teorema (28). Seleccionando triangulaciones de S1 y S2 as´ı que los discos cuyos interiores removemos. Podemos bosquejar la misma conclusi´on para las superficies listadas en el teorema (30). o no tienen la misma caracter´ıstica de Euler o una es orientable y la otra no. Demostraci´ on 32 bla bla bla Por los resultados sobre orientabilidad. Similarmente. De una u otra forma. son tri´angulos en las triangulaciones. perdemos 3 v´ertices. Teorema 32 Para las superficies compactas nT y nP . la caracter´ıstica de Euler est´a dada por χ(nT ) = 2 − 2n. χ(S1 #S2 ) = χ(S1 ) + χ(S2 ) − 2. en el proceso de tomar la suma conexa. De aqu´ı. dadas dos superficies compactas. La caracter´ıstica de Euler resultante es entonces χ(S1 ) + χ(S2 ) − 3 + 3 − 2. Adem´as. e identificar las fronteras de los tri´agulos. Pero cada frontera consiste de tres v´ertices y tres bordes. dos superficies compactas de nP no tienen la misma caracter´ıstica de Euler. Entonces la operaci´on suma conexa corresponde a remover el interior de un tri´angulo. Por lo tanto. dados previamente (incluyendo el teorema (25)).

Pero. xn ) ∈ Bn | xn ≥ 0}. Demostraci´ on 33 bla bla bla Con los teoremas (28 y 33) se finaliza el problema de la clasificaci´on de superficies compactas.. As´ı. pero tienen vecindad homeom´orfica a H n .Teorema 33 Dos superficies compactas son homeom´orficas si y solo si tienen la misma caracter´ıstica de Euler y son ambas orientables o ambas no orientables. La frontera de M es denotada como ∂M . y el conjunto de puntos que no tienen vecindad homeom´orfica a Bn .. Se sigue que es no orientable. ya que hay una superficie no orientable en la suma conexa de la cual S est´a compuesta.. para determinar cual superficie compacta. y por lo tanto S es homeom´orfica a 10P . . corresponde a alguna superficie dada. Tambi´en nos gustar´ıa considerar un disco o una banda de M¨ obius como una superficie. los puntos sobre sus bordes no tienen vecindades homeom´orficas a la 2-bola abierta. T y P . Usando el teorema (31) y la caracter´ıstica de Euler para K. sin embargo. sea H n el subespacio de la n-bola abierta Bn dada por H n = {(x1 . Ejemplo 15 Considerando la superficie S dada por la suma conexa K#K#P #P #T #T . Entre las superficies compactas listadas en el teorema (28). Definici´ on 44 Una n-variedad M con frontera es un espacio Hausdorff con una base contable tales que todo punto o tiene una vecindad homeom´orfica a la n-bola abierta Bn o tiene una vecindad homeom´orfica a H n . tienen vecindades homeom´orficas a la mitad de la bola. es llamada la frontera de la variedad. El conjunto de puntos que tienen una vecindad homeom´orfica a Bn es llamado el interior de la variedad. As´ı pues. encontramos que χ(S) = −8. x2 . la suma conexa de 10 planos proyectivos. Tenemos una lista completa de posibilidades. la superficie no orientable con caracter´ıstica de Euler −8 es 10P . definimos una amplia clase de variedades con la definici´on. Por lo tanto. 43 . y el conjunto de puntos del u ´ltimo tipo es no vac´ıo. una 2-variedad conexa con frontera es llamada una superficie con frontera. listada en el teorema (28). y un simple algoritmo (calcular la caracter´ıstica de Euler e identificar si la superficie es orientable o no). sin repetici´on.

z. Observemos esto en analog´ıa a la 2-esfera. Puesto que los dos hemisferios son cada uno homeom´orficos al disco. w) | x2 + y 2 + z 2 + w2 = 1 y w = 0}. en esta forma. 44 . Se sabe que S 3 puede ser considerada como la compactaci´on de un punto del espacio euclidiano tridimensional. en otras palabras. w) | x2 + y 2 + z 2 + w2 = 1 y w ≥ 0}. podemos considerar a la 2-esfera como obtenida al pegar las fronteras de los dos discos. ¿Pero d´onde est´an esas dos 3-bolas. manteniendo en mente que alguno puede ser la forma del Universo espacial. R es una 2-esfera. en el cual residimos.3. S+3 = {(x. y.4 Tres Variedades Ahora consideramos una gran diversidad de ejemplos de 3-variedades. w) | x2 + y 2 + z 2 + w2 = 1}. y. Podemos similarmente construir la 3-esfera al pegar dos 3-bolas juntas a lo largo de sus fronteras esf´ericas. Por lo tanto. al a˜ nadir el punto simple a R3 y definir apropiadamente una topolog´ıa sobre el resultado. S 3 es obtenida al pegar S 3 y S+3 a lo largo de sus fronteras esf´ericas. x2 + y 2 + z 2 + w2 = 1. consideramos otra forma para representar S 3 . y. R3 . podemos ver que S 3 resulta del pegado de dos 3-bolas a lo largo de sus fronteras. z. y cada uno de esos subespacios de S 3 es homeom´orfica a la 3-bola. en nuestra descripci´on inicial de la 3-esfera como el conjunto de puntos a una distancia unitaria del origen en el espacio 4-dimensional? Sea R = {(x. En este ejemplo. w) | x2 + y 2 + z 2 + w2 = 1 y w ≤ 0}. Por lo tanto. Los conjuntos de puntos. S 3 y cada una tiene frontera R. Ejemplo 16 La 3-esfera es definida como el conjunto de puntos a una distancia unitaria del origen. z. podemos obtener un espacio homeom´orfico a S 3 . la cual puede ser pensada como un hemisferio superior pegado a un hemisferio inferior a lo largo del ecuador. y. R es el subconjunto de S 3 obtenido al poner w = 0. z. Note que para esos puntos. en 4-dimensiones: S 3 = {(x. Esta es una 3-variedad conexa y compacta. = {(x. ver figura 46.

conexo y es Hausdorff. las 3-variedades pueden ser “descompuestas” en tetraedros (pir´amide con base triangular). es u ´til ver en esta representaci´on. ii). Para construcciones similares que haremos de aqu´ı en adelante. que tambi´en tiene una bola-mitad como vecindad. Ese punto es identificado con un punto en la cara opuesta. As´ı como las superficies pueden ser trianguladas. Un punto en el interior de una cara tiene una bola-mitad como vecindad. Esas dos bolas-mitad. Un punto en el interior del cubo tiene una 3-bola abierta como vecindad. sino es que en todos. del correspondiente punto en el 3-toro. Por lo tanto. ver figura 47. ver figura 47. cada punto en el 3-toro tiene una vecindad que es homeom´orfica a un producto de tres intervalos abiertos. por el interior de una cara significa el conjunto obtenido al remover los bordes perimetrales y v´ertices de la cara. como vecindades. el 3-toro es una 3-variedad compacta y conexa. donde. Esos interiores corresponden al interior del conjunto como variedad con frontera. en una triangulaci´on de una superficie conexa y compacta. Adem´as. es compacto. que pegada con los cuarto de bola de los tres puntos en los otros tres 45 . como cada punto en el 3-toro tiene una 3-bola abierta como vecindad: i). como producto de circulos tiene esas propiedades tambi´en. Cuando discutamos poliedros. cualesquiera dos pueden pegarse en una cara. por interior de un borde significa el conjunto obtenido del borde al remover los v´ertices extremos. as´ı como podemos pegar un n´ umero finito de tri´angulos. pegadas juntas forman una 3-bola abierta como vecindad. en lugar de el interior como subconjunto del poliedro. iii). El circulo S 1 tiene una base contable. Ejemplo 17 Anteriormente definimos el 3-toro como el producto espacial S 1 × S 1 × S 1 . Podemos tambi´en obtener un 3-toro al identificar las caras opuestas de un cubo. Un punto en el interior de un borde tiene un cuarto de bola como vecindad. y por lo tanto lo hace punto correspondiente al 3-toro.Nos gustar´ıa tener un medio simple para generar ejemplos de 3-variedades. Por lo tanto. un borde o un v´ertice. Similarmente. a lo largo de un subconjunto de los bordes pegados para formar la superficie como un pol´ıgono con pares de bordes identificados: podemos pegar un n´ umero finito de tetraedros en una “triangulaci´on” de una 3-variedad conexa y compacta. Cada punto en S 1 tiene una vecindad que es homeom´orfica a un intervalo abierto. a lo largo de un subconjunto de las caras pegadas para formar la 3-variedad como un poliedro con pares de caras sobre su exterior identificadas. y tal vecindad es homeom´orfica a la 3-bola abierta. Se sigue que el 3-toro.

todo punto en el 3-toro tiene una 3-bola como vecindad. Tambi´en. tienen una 3-bola abierta como vecindad. no garantizamos que los puntos que resultan del pegado de bordes del poliedro o del pegado de v´ertices del poliedro.. alrededor del punto resultante en el 3-toro. suponemos que los puntos medios de los bordes son pegados juntos. puede no ser una 3-variedad. parecer´ıa relativamente directo generar 3-variedades compactas y conexas. Por lo tanto. hay condiciones adicionales sobre el pegado de bordes y el pegado de v´ertices que necesitan ser satisfechas. Suponga que tenemos una clase de equivalencia de bordes. ep }. Con el prop´osito de obtener una 3-variedad de un “pegado de poliedro”. Tenemos que ser cuidadosos puesto que el resultado de “pegado de poliedro”. As´ı. del interior de las caras del poliedro.bordes. {e1 . que resulta de pegar juntos los interiores de esos bordes. que corresponden a puntos interiores del poliedro. y nos referiremos al punto resultante del espacio cociente como punto medio de e∗ . . con un n´ umero par de n-gon caras para cada n. nos referimos a este proceso de construir un espacio cociente. que tambi´en al pegar forman una 3-bola abierta como vecindad. obtenida del pegado de dos bolas-mitad. los puntos que resultan de pegar puntos. Finalmente. tales que: Dos bordes son equivalentes si ellos son pegados uno al lado de otro.1 Prueba de los bordes Dado un “pegado de poliedro” una relaci´on de equivalencia es naturalmente definida sobre los bordes. iv). en cada clase de equivalencia de bordes. tengan una 3-bola abierta como vecindad. como en el caso del 3-toro. 3. Por consiguiente. los ocho puntos. Sin embargo. tienen un octavo de bola como vecindad. Es decir. Basados en este ejemplo. todos los bordes son pegados juntos. tome su poliedro favorito. 46 . Denotemos con e∗ el conjunto en el espacio cociente. forman una 3-bola abierta como vecindad del punto resultante en el 3-toro. tienen una 3-bola abierta como vecindad.4.. como un pegado de poliedro (polyhedron gluing). y “pegue” en pares.. los puntos en el espacio cociente resultante. Adem´as. NECESARIAMENTE. en los v´ertices. Dado un pegado de poliedro. as´ı que bordes se peguen con bordes y v´ertices se peguen con v´ertices.

F[p. son homeom´orficas a la 3-bola abierta. . Es directo mostrar que para una clase de equivalencia de bordes.. F[1.. decimos que la secuencia cara-borde est´a preservando direcci´ on. decimos que est´a invirtiendo direcci´ on. estamos interesados en si o no esas vecindades. tomamos una secci´on naranja como vecindad que contenga el interior del borde completo. Podemos elegir esas vecindades de tal forma que ellas se peguen una a otra. e2 . 47 .2] es pegada a la cara F[1. como se ilustra en la figura 48.2] . alrededor de cada punto en e∗ . p.2] . si una secuencia cara-borde est´a preservando direcci´on. Suponiendo que los bordes en nuestra clase de equivalencia son ordenados apropiadamente.1] para cada i = 1. F[1.. ep .2] para cada i = 1. Se puede demostrar que en el u ´ltimo caso ninguna vecindad del punto medio de e∗ es homeom´orfica a la 3-bola abierta. los otros bordes heredan la direcci´on de e1 cuando pegamos las caras juntas en secuencia. tiene una vecindad que semeja la secci´on de una naranja.. En particular... Para cada borde en nuestra clase de equivalencia. que tienen como fronteras planos-proyectivos. y puesto que la u ´ltima cara en la secuencia es pegada a la primera cara. e1 . de las vecindades secci´on naranja. . En el primer caso. En el u ´ltimo caso. las vecindades secci´on naranja se pegan juntas todas de esa forma alrededor de e∗ . las vecindades secci´on naranja se pegan juntas para formar una 3-bola abierta. . ii). de otro modo. como vecindad de cada punto sobre e∗ . si ponemos una flecha sobre e1 para representar una direcci´on. as´ı que las flechas: Est´an en la misma direcci´on o no lo est´an: i). en el espacio cociente. en el poliedro.2] .. hay vecindades arbitrariamente peque˜ nas. para formar una vecindad de e∗ en el espacio cociente.Cada punto en el interior de un borde... la cara F[i. en el espacio cociente. secciones naranja como vecindades son pegadas juntas para formar vecindades. De donde. p − 1. La secuencia cara-borde da un orden de pegado. y la cara F[p. Despu´es de incluir ep . Bajo el pegado de poliedro. La cara final pega entonces los pares ep y e1 . podemos formar una secuencia cara-borde. F[p. Si las direcciones sobre ep y e1 est´an de acuerdo.1] . entonces toda secuencia caraborde para la clase de equivalencia est´a preservando direcci´on. F[2. todos los bordes tienen una direcci´on.2] es pegada a la cara F[i+1. tales que el borde ei ocurre sobre las caras F[i. F[2.1] . Ahora. alrededor de e∗ . del punto ∗ medio de e .1] y F[i.1] .1] .

considere el pegado de poliedro para el 3-toro. Cuando cortamos a trav´es del poliedro. el espacio cociente no es una 3-variedad. este espacio cociente pasa la Prueba del Borde. Por ejemplo. B 0 . Para cada clase de equivalencia. Todo lo anterior gu´ıa a la siguiente prueba: La prueba del borde: Dado un espacio cociente obtenido por “pegado de poliedro”. definimos una relaci´on de equivalencia tales que dos v´ertices son equivalentes si ellos son pegados juntos. L. este espacio cociente falla la Prueba del Borde y no es una 3-variedad. R. para cada clase de equivalencia de bordes. Note que esto es consistente con la observaci´on de que cada punto resultante. entonces el espacio cociente pasa la prueba del borde. resultando un simple punto en el espacio cociente. cuando esas caras son pegadas. tiene una 3-bola abierta como vecindad. {V1 . F . en los bordes del cubo. Por lo tanto. todos los correspondientes v´ertices son identificados bajo el “pegado de poliedro”. L y R representan las caras del cubo. y es directo ver que cada una tiene una secuencia cara-borde que preserva direcci´on. entonces los bordes 2 − 4 heredan la direcci´on representada. Hay tres clases de equivalencia de bordes. obtenida al pegar puntos con un cuarto de bola como vecindad. Ahora. formar una secuencia cara-borde y determinar si o no preserva direcci´on. 1. . Suponga que tenemos una clase de equivalencia de v´ertices. del pegado del interior de los bordes. cerca de un v´ertice Vi como se ilustra en la figura 50. Si cada clase de equivalencia de bordes tiene una secuencia cara-borde que preserva direcci´on. de otra manera. F. Vn } denotamos por V ∗ el punto en el espacio cociente que resulta de pegar juntos esos v´ertices. Si elegimos una direcci´on para el borde 1. 3. cada Vi es el apex de una pir´amide que tiene 48 . 2. como se muestra. izquierda y derecha. Si T . . del ejemplo (17). . 4 es una secuencia cara-borde para la clase de equivalencia. y por lo tanto la direcci´on del borde 4 no iguala la direcci´on en el borde 1. entonces toda secuencia cara-borde para la clase de equivalencia est´a invirtiendo direcci´on.si una secuencia cara-borde para la clase de equivalencia est´a invirtiendo direcci´on. B 0 . atr´as. Por lo tanto . La cara inferior se pega a la cara superior con una (flip) torcedura. respectivamente. superior. F. En el conjunto de v´ertices. frente. B. B 0 . consideramos los v´ertices en un “pegado de poliedro”. . Ejemplo 18 Considera el pegado del cubo mostrado a la izquierda de la figura 49. Entonces T. inferior.

figura 50: Cada v´ertice del poliedro es el apex de una pir´amide obtenida al cortar cerca del v´ertice. bordes y v´ertices de las pir´amides. Hay (3)(8)/2 en la triangulaci´on de la superficie envolvente puesto que cada base de pir´amide contribuye con tres bordes. la frontera de B est´a hecha del pegado de bases de pir´amide y en consecuencia es una superficie compacta. Sea B el subconjunto del espacio cociente resultante de pegar juntas las pir´amides. de otro modo. una para cada Vi . puede ser mostrado (pero no presentamos una prueba). tenemos v´ertices de triangulaciones sobre cada uno de los conjuntos 49 . y por lo tanto V ∗ tiene una 3-bola abierta como vecindad. El punto V ∗ est´a en el interior de B en el espacio cociente. que ninguna vecindad de V ∗ es homeom´orfica a la 3-bola abierta. F = 8 para nuestro calculo de la caracter´ıstica de Euler. Esto gu´ıa a la prueba: La prueba del v´ ertice: Dado un espacio cociente obtenido por un pegado de poliedro. las caras. de esta triangulaci´on. De aqu´ı. cuando encojemos las pir´amides hacia los v´ertices Vi . Cada v´ertice en la clase de equivalencia contribuye con una base de pir´amide en la formaci´on de S y por lo tanto contribuye con un tri´angulo a la triangulaci´on. Por ejemplo. no necesariamente un cuadrado). tomamos una colecci´on de esas pir´amides. las superficies envolventes resultantes esencialmente producen un conjunto de esferas conc´entricas aproxim´andose hacia V ∗ . Se sigue entonces que B es homeom´orfico a la 3-bola. cada borde del cubo contiene dos v´ertices en los tri´angulos que pegamos juntos para formar S. Note que S es naturalmente triangulada por las bases de las pir´amides puesto que cada base es un tri´angulo. Ahora. tales que cuando el poliedro es pegado. consistente de los ocho v´ertices del cubo. (Por pir´amide consideramos un poliedro formado por tomar todos los segmentos de l´ınea que conectan un punto apex a una base que es un pol´ıgono. si cada clase de equivalencia de v´ertices tiene una superficie envolvente que es una esfera. Sea V ∗ el punto en el espacio cociente resultante de pegar los v´ertices juntos. Como resultado de la forma en que el conjunto B es construido. propiamente alineados. E = 12.caras situadas en caras de poliedros y tiene una base poligonal cuyo interior es el interior del poliedro. Si ´esta superficie es una esfera. Hay una clase de equivalencia de v´ertices. Si la superficie envolvente no es una esfera. pero esos bordes son pegados por pares en la formaci´on de S. y sea S una superficie envolvente. Calculamos la caracter´ıstica de Euler de S. Una vez que el pegado es hecho. tambi´en son pegadas juntas. previo a nuestro pegado de poliedro. Estamos interesados en si o no el interior de B es homeom´orfico a la 3-bola abierta. el espacio cociente no es una 3-variedad. Finalmente. considerando el pegado de poliedro para el 3-Toro. Por lo tanto. Llamamos esta superficie una superficie envolvente para V ∗ . entonces el espacio cociente pasa la prueba del v´ertice.

Demostraci´ on 34 Ya discutida. cada una teniendo cuatro bordes. v´ertice y por lo tanto es el u ´nico punto en su clase de equivalencia. Consecuentemente la caracter´ıstica de Euler es 2. por lo tanto V = 6. derecha e izquierda son pegadas juntas. El v´ertice superior del octaedro no es pegado a otro Figura 51: Este pegado de octaedro en un punto con un Toro como su superficie envolvente. Las caras de frente y atr´as. Observemos que previamente que hay tres clases de equivalencia de bordes. Sea ∗ V el correspondiente punto en el espacio cociente. Si cortamos a trav´es del octaedro cerca del v´ertice superior. Como se ve en la figura 51. Esta variedad es obtenida de un cubo por pegar dos pares de caras opuestas directamente y por pegar el u ´ltimo par con un cuarto de giro (90o ). este espacio cociente falla la prueba del v´ertice y no es una 3-variedad. como ocurre para el 3-Toro. como se muestra en la figura 52. si el espacio cociente no satisface la prueba de borde o la prueba de v´ertice.8 que V ∗ tiene una 3-bola abierta como vecindad resultado de pegar juntas ocho vecindades de bola de cada uno de los v´ertices del cubo. Por lo tanto. Cada una de esas clases de equivalencia tiene una secuencia cara-borde que preserva direcci´on. ejercicio. Combinando nuestras pruebas de construcci´on de variedades. Teorema 34 Sea M un espacio cociente resultado de un pegado de poliedro. cada clase de equivalencia de los bordes del cubo contribuye con dos v´ertices a la triangulaci´on. este pegado entre la identificaci´on de bordes opuestos de un cuadrado en la forma usual: es un Toro. como en el octaedro se pegan. esto es. De nuestros resultados de clasificaci´on de superficies compactas se sigue que S es una esfera.e∗ que resultan de pegar juntos los bordes del cubo. Hay tres clases de equivalencia de bordes. Ejemplo 20 (The quater-twist maniforld) Variedad de cuarto rotada. Entonces M es una 3-variedad si y s´olo si satisface ambas pruebas. prueba de bordes y prueba de v´ertices. Ejemplo 19 Considere el pegado de un octaedro como se indica en la figura 51. La base de la pir´amide es pegada sobre sus bordes para formar una superficie para V ∗ . tenemos el siguiente teorema sobre pegado de poliedros. este espacio cociente pasa la prueba del ejemplo 14. entonces M no es una 3-variedad. Por lo tanto. obtenemos una pir´amide como se ilustra en la figura 51. 50 . figura 52: Pegado de las caras de un cubo para obtener la variedad de un cuarto-rotada.

una 3variedad es no-orientable si ´esta contiene un subespacio conocido como una botella de Klein s´olida. como se muestra en la figura 54. figura 53: Pegado de caras de un prisma hexagonal para obtener el sixthtwist manifold. es una 3-variedad. se sigue que la variedad un cuarto grado es una 3-variedad. El espacio cociente resultante satisface las pruebas de v´ertice y bordes.Los ocho v´ertices en el cubo son identificados uno con otro. con un d´ecimo de rotaci´on en el sentido de las agujas del reloj (360/10 = 36). como en el caso de 2-variedad no-orientable. la caracter´ıstica de Euler puede ser usada para mostrar que la superficie envolvente del correspondiente punto en el espacio cociente es una esfera. Como con 2-variedades. Figura 54. conteniendo 3 bordes cada una. 51 . Los v´ertices son divididos en cinco clases de equivalencias. Este espacio cociente es definido sobre un prisma hexagonal. Identificamos cada una de las opuestas caras en un dodecaedro. El espacio dodecahedro de Seifert-Weber. por lo tanto. tambi´en es una 3-variedad. Ejemplo 21 (The sixth-twist manifold) Variedad con sexto de giro. En lugar de no-orientabilidad correspondiente a la presencia de una banda de M¨ obius. bla bla bla. cada una tiene 4 v´ertices. tenemos una noci´on de orientabilidad para 3variedades. Note que una identificaci´on. un d´ecimo de giro en el sentido de las agujas del reloj identificando las caras de frente y atr´as es lo mismo como un d´ecimo de giro en el sentido de las agujas del reloj en la identificaci´on de las caras de atr´as y de enfrente. como se muestra en la figura 53. y como en el ejemplo del Toro. es una 3-variedad (ver ejercicio). por lo tanto. Cada cara cuadrada es pegada directamente a la cara cuadrada opuesta. Definici´ on 45 Una botella de Klein s´olida es el espacio cociente obtenido al identificar los discos opuestos en los bordes de un cilindro s´olido por reflexi´on. como se muestra en la figura 55. Los 30 bordes son divididos en diez clases de equivalencia. Por lo tanto. y las caras hexagonales del frente y posterior son pegadas juntas con un sexto de giro (360/6 = 60). Ejemplo 22 (The Poincare dodecahedral space). El espacio cociente satisface las pruebas de borde y de v´ertice (ejercicio). Espacio dodecaedro de Poincar´ e.

la 3-esfera es llamada simplemente conexa. En contraste. Pero para cualquiera que dejemos atr´as podr´ıa parecernos inverso a nosotros. se pregunta si una 3-variedad que se comporta bastante semejante a la 3-esfera debe en los hechos ser 3-esfera. podr´ıamos retornar con nuestro coraz´on en otro lado de nuestro cuerpo. entonces ´esta debe ser homeom´orfica a la 3-esfera. pero f´ısicamente? Definici´ on 46 Una 3-variedad es no-orientable si contiene una botella de Klein s´olida. y que nuestros relojes corren como siempre lo han hecho. Note que cada cilindro conc´entrico dentro del cilindro s´olido es una botella de Klein despu´es del pegado. 3.figura 55: Botella de Klein s´olida. entonces ´esta puede ser comprimida a un punto. La conjetura de Poincar´e establece que si una 3-variedad sin frontera es compacta y simplemente conexa. y regres´aramos por la parte de atr´as de donde iniciamos? Por la forma del pegado mezcla todas las cosas izquierda y derecha.5 Geometr´ıa del Universo Retornamos a considerar el universo espacial en el cual vivimos. Bajo el pegado de poliedro que produce el 3-Toro. un segmento de l´ınea vertical en el cubo es un loop que no puede ser “estrujado” a un punto en el 3-Toro. como nosotros ser´ıamos vistos por ellos. y no podr´ıamos ser capaces de notar la diferencia. Una de las grandes preguntas abiertas en el campo de la teor´ıa de 3variedades fue la conjetura de Poincar´e. ¿Podr´ıa el universo contener tal botella de Klein s´olida? ¿Desde el punto de vista matem´atico es posible. Como lo hicimos notar. Puesto que la 3-esfera es conexa para trayectorias y toda espira en la 3-esfera puede ser “apachurrada” a un punto. ¿En qu´e sentido debe la variedad comportarse semejante a la 3-esfera? Note que si tomamos un espira (loop) en la 3-esfera (una funci´on continua f : S 1 −→ S 3 . entonces la 3-variedad es orientable. As´ı una botella de Klein s´olida consiste de un conjunto de botellas de Klein conc´entricas encogi´endose hacia el n´ ucleo del circulo. este no es el caso son el 3-Toro. Si no ocurre esto. Primero propuesta por Henri Poincar´e en 1904. podr´ıa parecer que nuestro coraz´on a´ un est´a a la izquierda. ¿Qu´e pasar´ıa si estuvi´eramos dentro de una botella de Klein s´olida y camin´aramos hacia un extremo a trav´es del pegado. parece que tiene la propiedad que alrededor de todo punto hay 52 . Para nosotros. Las car´atulas de nuestros relojes podr´ıan ahora moverse en contra de las manecillas del reloj.

Esta es una propiedad que el 3-space Euclideano E 2 tiene. hay una isometr´ıa (un homeomorfismo que preserva distancias). geometr´ıa esf´erica. No seremos formales acerca de lo que significa tener una geometr´ıa sobre una variedad. Geometr´ıa Euclideana. geometr´ıa hiperb´olica.una vecindad que es homeom´orfica a una bola abierta en R3 . pero es suficiente pensar que lo que significa es que hay una estructura adicional que permite la medida de cantidades tales como. esa geometr´ıa tiene diferente comportamiento en diferentes direcciones. el plano y 3-space. 3-space euclideano E 3 . Hay s´olo tres geometr´ıas tridimensionales que son homog´eneas e isotr´opicas: i). iii). por ejemplo. alrededor del punto. Estamos todos familiarizados con la geometr´ıa euclidiana sobre la l´ınea. Dados cualesquiera dos puntos en el espacio. La geometr´ıa del Universo parece ser isotr´opico y homog´eneo: a). No hay una direcci´on preferible. Sin embargo. Pero. Para el prop´osito de entender la completa geometr´a global del Universo. Justamente como en R3 es el modelo espacial para 3-variedades. ellos tienen un efecto aislado que suponemos que no altera la geometr´ıa global. Ser isotr´ opico significa que en cada punto la geometr´ıa parece ser la misma en todas direcciones. distancias. si formamos una geometr´ıa al tomar S 2 × E. la 3-esfera S 3 y el espacio conocido como 3-space hiperb´olico son los modelos para las 3-variedades geom´etricas. E 2 y E 3 . Suponiendo que el universo espacial es Hausdorff y tiene una base contable para su topolog´ıa y por lo tanto es una 3-variedad. Ser homog´ eneo significa que localmente la geometr´ıa del espacio es la misma. 53 . ignoramos los problemas que puedan ocurrir alrededor de hoyos negros. respectivamente. b). a´ngulos y curvaturas. ii). ¿Cu´al 3-variedad es? Podemos usar geometr´ıa para limitar dos posibilidades. de una vecindad de un punto a una vecindad del otro punto. Como geometr´ıas esos espacios son denotados por E. por ejemplo.

• Sobre una silla de montar. definimos una 3-variedad esf´erica y una 3-variedad hiperb´olica. Similarmente. el cual tiene curvatura cero. es necesario que cada punto en M que resulta de pegar bordes juntos tiene 360 grados de ´angulo euclidiano alrededor de ´este. Cada uno de los modelos de geometr´ıas tri-dimensionales tiene una curvatura asociada: • En el caso de la geometr´ıa euclidiana. En otras palabras. Observando un an´alogo de esas tres geometr´ıas. cuando pegamos vecindades secci´on-naranja juntas para obtener la vecindad de un punto en M . dado que las caras son pegadas juntas preservan distancias. • En el caso de la geometr´ıa esf´erica. positiva y negativa. 2). figura 56: Geometr´ıa con curvatura cero. tenemos un plano con curvatura cero. la curvatura es negativa. 54 . los ´angulos del tri´angulo suman m´as de 180 grados. y una silla con curvatura negativa. • Sobre una esfera. En orden de que M sea una 3-variedad euclidiana. Esperamos que el Universo sea uno de esos tres tipos de 3-variedades.Por una 3-variedad euclidiana. el pegado entre las caras debe preservar distancias sobre las caras. as´ı que la geometr´ıa local es una geometr´ıa euclidiana en cada punto que resulta de pegar dos caras juntas. una esfera con curvatura positiva. la curvatura es cero. los a´ngulos entre las caras de la secci´onnaranja que pegamos juntas deben sumar 360 grados. con una geometr´ıa que localmente se comporte semejante a la geometr´ıa en el correspondiente modelo espacial. • Sobre un plano. Suponga que tenemos una 3-variedad M obtenida por pegar las caras de un poliedro en un espacio euclidiano. Entonces. los a´ngulos de un tri´angulo suman menos de 180 grados. entendemos una 3-variedad sobre la cual hay definida una geometr´ıa que localmente se comporta semejante a la geometr´ıa en el 3-space euclidiano. Primero. • en el caso de la geometr´ıa hiperb´olica. ver figura 56. hay algunas condiciones que se deben satisfacer: 1). la curvatura es positiva. la cual tiene curvatura negativa. los a´ngulos del tri´angulo suman 180 grados. la cual tiene curvatura positiva.

En ambas situaciones. El ´angulo entre las caras es de 120o . dos caras se encuentran con 90o entre ellas. en la variedad cada punto que resulta del pegado de esos bordes tiene un ´angulo total alrededor de este de 360o . que resultan de pegar juntos bordes en el cubo. en la variedad cada punto que resulta del pegado de esos bordes tiene alrededor de ´este de 360o . que son cada uno intersecci´on de dos caras cuadradas. el pegado de bordes hereda las vecindades requeridas. que son cada uno la intersecci´on de una cara hexagonal y una cara cuadrada. Esto ocurre para: a). Ejemplo 23 Sea M una 3-variedad que resulta de pegar las caras de un cubo en el espacio euclideano. Con el prop´osito de que M sea una 3-variedad euclidiana. tambi´en debe ser el caso que las variedades heredan la geometr´ıa correcta alrededor del pegado de v´ertices. Ahora. y podemos hacer lo mismo en el espacio hiperb´olico. Se sigue que la sixth-twist manifold es una 3-variedad euclidiana. c). En todos los siguientes ejemplos. y la half-twist variedad. Finalmente. Esta es formada por el pegado de las caras de un prisma hexagonal en el 3-espacio euclidiano. sea e un ´angulo en la intersecci´on de una cara hexagonal y una cara cuadrada. es necesario tener cuatro bordes en cada clase de equivalencia.3). Peque˜ nas vecindades de los v´ertices del poliedro que pegamos uno a otro deben ajustarse juntos. as´ı que la geometr´ıa local es una geometr´ıa euclidiana en una vecindad del punto resultante en la variedad. y e se pega con otros dos bordes. 55 . Aqu´ı tambi´en. Sea e un borde en la intersecci´on de dos caras cuadradas en el prisma. Ejemplo 24 Considera la variedad sexto de giro (sixth-twist manifold) del ejemplo 14. una vez que la condici´on de borde es satisfecha. as´ı que entonces tenemos el requisito de 360o en la vecindad de puntos en M .12. con el prop´osito de que los resultados sean 3-variedades con la correspondiente geometr´ıa. En este caso. Por lo tanto. b). por lo tanto. Podemos tambi´en pegar los an´alogos del poliedro en el espacio esf´erico. el ´angulo entre las caras es de 90o y e se pega con otros tres bordes. cada una de esas es una 3-variedad euclideana. En cada borde de un cubo. el Toro. necesitamos satisfacer condiciones semejantes a las discutidas por 3-variedades euclidianas. el quarter-twist variedad.

Necesitamos tener un ´angulo de 72o entre las caras del dodecaedro en cada borde. Si vivimos en un Universo Euclidiano con curvatura 0. en el espacio hiperb´olico podemos construir un dodecaedro tales que θ es el ´angulo entre cada par de caras que se interceptan. De aqu´ı. hay s´olo 18 posibilidades. ha proporcionado a los cosm´ologos evidencias de que la curvatura del Universo es muy pr´oxima a 0. es geometr´ıa euclidiana. con baja curvatura. Datos de la Sonda de Anisotrop´ıa de Microondas Wilkinson. el espacio Dodecaedro de Poincar´e es una 3-variedad esf´erica. antes indicamos que los bordes son agrupados en 10 clases de equivalencia de tres bordes cada uno.6o . Podemos pegar tal dodecaedro para obtener el espacio Dodecaedro de poincar´e. dado un ´ o −1 − 5 60 y cos ( 5 ). En particular. As´ı. la geometr´ıa que experimentamos en el Universo. para alg´ un valor fijo de θ entre cos−1 ( −5 5 ) y 180o . lanzada por la NASA en 2001. vivimos en un Universo Euclideano con curvatura cero. y en esa forma satisfacemos el requerimiento de tener 360o alrededor de cada punto en cada pegado de borde. Si suponemos que el Universo es euclidiano. no podemos realizar la variedad resultante como angulo θ entre √ 3-variedad euclidiana. existe en el espacio hiperb´olico. Sin embargo. De hecho. Por lo tanto. a´ un a gran escala. el espacio Dodecaedro de Seifer-Weber es una 3-variedad hiperb´olica. los bordes son agrupados en seis clases de equivalencias de cinco bordes cada una. un resultado 56 . Esto significa que alrededor de los puntos correspondientes en la variedad el ´angulo total es menos de 360o . vivimos en un Universo esf´erico o hiperb´olico. Para resolver esta situaci´on. Para el pegado sobre el dodecaedro que produzca el espacio dodecaedro de Poincar´e. Por lo tanto. Poniendo un dodecaedro en geometr´ıa esf´erica incrementa√los ´angulos en sus bordes. esto nos ayuda para determinar ¿cu´al variedad es el Universo? ¿Cu´ales 3-variedades tienen geometr´ıa euclidiana? Subrayamos.Ejemplo angulos entre las caras de un dodecaedro euclidiano miden √ 25 Los ´ cos−1 ( −5 5 ) ≈ 116. Aqu´ı tambi´en. En particular. realizamos el dodecaedro en geom´etria esf´erica. b). la variedad resultante no es una 3-variedad euclideana. Para el pegado en el dodecaedro que produce el espacio Dodecaedro de Seifert-Weber. un tri´angulo gigante con v´ertices formados por galaxias distantes tiene la propiedad que la suma de sus a´ngulos es 180o . la que hemos estudiado hasta el m´aximo. Esto significa que: a). hay un dodecaedro en la 3-esfera teniendo θ como el ´angulo entre cada par de caras. un dodecaedro regular existe en la 3-esfera con ´angulos de 120o entre las caras de cada uno de los bordes. un dodecaedro regular con ´angulos de 72o entre las caras.

hay aspectos f´ısicos que hacen altamente improbable. Imagine que vivimos en un 3-Toro. De esas seis variedades 1). imagine que podemos ver todas las cosas que est´an en el Universo en este instante (ajustaremos esta impresibilidad f´ısica r´apidamente). Teorema 35 Hay exactamente 18 3-variedades euclidianas. sabemos que hay algunas consecuencias inusuales de viajar a trav´es de una botella de Klein en una 3-variedad no-orientable. seis compactas y orientables. lo que resta para considerar son 6 compactos y orientables y 3-variedades euclidianas. el n´ umero de posibilidades cae a 10. Ronald Lehouca y Jean-Pierre Luminet propusieron ´este m´etodo en su art´ıculo de 1996. Cuando miramos en cada una de las direcciones perpendiculares a las 57 . la half-twist manifold. la restante posibilidad. Cristalograf´ıa C´ osmica: Los cosm´ologos franceses Nare LachiezeRey. the Handtche-Wendt manifold. 3). Determinando cual variedad es el Universo. 6). En contraste. Si suponemos adicionalmente que el Universo es compacto. formado del pegado de caras de un cubo que tiene borde 10 millones de a˜ nos-luz de longitud. por ahora. 3-Toro. Demostraci´ on 35 bla bla bla Este teorema es un resultado asombroso. el third-twist manifold (secci´on 14. y cuatro no-compactas y no-orientables.3). Adem´as. Adem´as.primero probado en 1934 por el matem´atico cristalogr´afico Werner Nowacki (1909-1988). Hay dos m´etodos que los cosm´ologos usan para determinar la forma del Universo: I). el sixth-twist manifold. 5). Por lo tanto. 4). hay un n´ umero infinito de 3-variedades esf´ericas y un n´ umero infinito de 3-variedades hiperb´olicas. Cuatro de los 10 son no-orientables. nos dice que las posibilidades para 3variedades euclidianas son extremadamente limitadas. el quarter-twist manifold. 2).

10 millones de a˜ nos-luz de distancia.caras del cubo. Si observamos en una direcci´on paralela a una diagonal sobre alguna cara del cubo. y entonces 30 millones de a˜ nos -luz. sin embargo. No s´olo eso. 3 × 10 dos (10 millones de a˜ nos-luz. debemos tomar en cuenta la realidad f´ısica. podemos esperar ver distancias agrupadas alrededor de esos valores. Extendiendo nuestra l´ınea de visi´on m´as. Mientras que las galaxias pueden ser dispersadas al azar dentro del cubo. entonces en la completa distrubuci´on de distancias. Por este razonamiento. dependiendo sobre nuestra direcci´on de visi´on. Por lo tanto. centrada alrededor de alguna distancia promedio. as´ı dos diferentes im´agenes de una galaxia particular no necesariamente tienen una distancia entre ellas exactamente igual a unos√valores te´oricos previamente menciona√ nos luz. En teor´ıa. y habr´a muchos pares de im´agenes que est´an separadas por 20 millones de a˜ nos-luz. entonces veremos √ nos luz lejos y a m´ ultiplos enteros nuestra galaxia 2 × 10 millones de a˜ de ´esta distancia. y as´ı sucesivamente). Figura 57: Distribuci´on hipot´etica de distancias entre pares de galaxias en el 3-Toro y en 3-dimensiones. y as´ı sucesivamente. si vivimos en un Universo 3-Toro. as´ı toda la galaxia se ver´a dentro del cubo pegado. 2 × 10 millones de a˜ millones de a˜ nos-luz. esto suena grandioso. no s´olo m´ ultiplos. Habr´a otras distancias. podemos esperar ver alguna distribuci´on de azar de distancias. si nuestro universo es 3-space euclideano. enteros de 10 millones de a˜ no-luz veremos a nuestra galaxia. como de ve en la figura. En este Universo 3-Toro. como se muestra a la derecha de la figura. Toma tiempo para que la luz de una galaxia nos alcance. Adem´as. y as´ı sucesivamente. Tambi´en. esperamos tener picos como se ilustra sobre la izquierda de la figura. habr´a muchos pares de im´agenes que est´an separadas 10 millones de a˜ nos-luz. si observamos en una direcci´on paralela a√ una de las diagonales del cubo. Pero a´ un as´ı. y las galaxias est´an en movimiento. nuestra galaxia est´a en nuestra l´ınea de visi´on. las 58 . si consideramos la imagen de toda galaxia lo que veremos cuando observamos hacia afuera. y medimos la distancia entre todos los pares de galaxias que vemos. veremos a nuestra galaxia otra vez 20 millones de a˜ nos-luz lejos. nuestra galaxia forma un patr´on de red (lattice). En contraste. tambi´en a las cuales veremos nuestra galaxia. cuando observamos dentro del Universo de todas direcciones. entonces veremos nuestra galaxia 3×10 millones de a˜ nos-luz lejos y a m´ ultiples enteros de esta distancia tambi´en.

Alrededor de 300 000 a˜ nos despu´es del Big Bang. en todas direcciones. Su descubrimiento ha tenido importantes implicaciones. la luz CMB marca el primer tiempo. La temperatura de la CMB var´ıa una parte en 10 mol (1/10000=0. de radio de la V´ıa L´actea. Esta radiaci´on es ahora conocida como radiaci´on c´osmica de microondas de fondo (CMB). as´ı ellas no son las mejores estructuras para ser observadas. Datos del sat´elite de la NASA Cosmic 59 . Los cient´ıficos eventualmente se dieron cuenta que el ruido que ellos hab´ıan detectado fue esencialmente radiaci´on de longitud constante llegando de fuera de la galaxia de todas direcciones en el cielo.0001). La radiaci´on de CMB parece emanar de una gran esfera. llamada la superficie de la u ´ltima dispersi´on.galaxias son dif´ıciles de localizar cuando est´an a grandes distancias. despu´es del Big Bang. Esto tambi´en significa que la radiaci´on. Una alternativa que los cosm´ologos est´an usando es medir la distancia entre superc´ umulos de galaxias. en longitud de onda. los cuales pueden proporcionar patrones que nos auxilian a revelar la variedad en la cual vivimos. la cual hab´ıa sido previamente dispersada por las part´ıculas libres cargadas. Pero en el pr´oximo futuro. II). La radiaci´ on de fondo de microondas: En 1965. cat´alogos m´as completos estar´an disponibles.73 Kelvin). ning´ un patr´on ha sido descubierto a´ un. y entonces usar los patrones en los datos de distancias para tratar de identificar la variedad correspondiente a la forma del Universo. que el Universo se ha enfriado lo suficiente para que la radiaci´on escape de la sopa c´osmica caliente. cuando ´esta radiaci´on prob´o ser la luz m´as vieja del Universo. estrellas. la esperanza es usar cat´alogos de superc´ umulos para identificar las distancias entre pares de superc´ umulos. Las peque˜ nas variaciones que existen en el CMB muestran las peque˜ nas diferencias en densidad presentes en el Universo temprano que eventualmente guiaron al agrupamiento de materia en galaxias. Arno Perizias y Robert Wilson de Bell Lab encontraron un in´esperado ruido de fondo cuando estudiaban la cuesti´on. la temperatura del Universo fue lo suficientemente fr´ıa para permitir que los electrones y protones se combinaran para formar los primeros a´tomos. fuera ahora capas de viajar a la velocidad de la luz a trav´es del a´ un Universo expandi´endose. Esta radiaci´on “escapada” es la radiaci”on c´osmica de fondo que ahora observamos como fuente de radio a una temperatura relativamente constante (alrededor de 2. Con los cat´alogos de superc´ umulos actuales. y planetas a trav´es de la fuerza de gravedad.

Cuando la esfera intersecta caras opuestas en el cubo. lanzando en el 2001. Adem´as. Cada par de tales c´ırculos podr´ıa representar una intersecci´on de la superficie del u ´ltimo scatering con si misma. como se ilustra en la figura xx. Como se muestra en la figura xx.Background Explores. En la figura se muestra un mapa de temperatura de CMB obtenido de los datos del WMAP. podemos ser capaces de identificar la variedad en la cual vivimos. David Spergel y Glen Starkman. hicieron posible la construcci´on del primer mapa de temperatura del CMB. y cuando examinamos la esfera desde dentro. El sat´elite. llamada “c´ırculos en el cielo”. lanzado en 1989. y el matem´atico Jeffrey Weeks (ref) han propuesto una aproximaci´on. ha proporcionado datos de temperatura de CMB de m´as alta resoluci´on que el COBE. cada intersecci´on de c´ırculo puede ser vista en dos diferentes localizaciones sobre la esfera. Los cosm´ologos Niel Cornish. imagine que la superficie del u ´ltimo scatering se expande al punto que su di´ametro excede la longitud del borde del cubo. 60 . esto causa que la esfera se intersecte a si misma puesto que las caras opuestas son pegadas juntas. esas autointersecciones resultan en una colecci´on de c´ırculos sobre la esfera. Imagine que el Universo es un 3-toro formado por el pegado de las caras opuestas del cubo. para determinar la topolog´ıa del Universo del perfil de temperaturas del CMB. tambi´en de la NASA Wilkinson Microwere Anisotropy Probe (WMAP). La esperanza es que el arreglo de intersecci´on de c´ırculos sobre la superficie del u ´ltimo scatering revele patrones que pueden solo ocurrir dentro de una de las variedades que es un candidato para la forma topol´ogica del Universo. De esta forma. La idea de “c´ırculos en el cielo” es para examinar el mapa de temperaturas de CMB para encontrar pares de c´ırculos alrededor de los cuales la distribuci´on de temperatura es la misma.