Elteorema de los cuatro colores interés popular por demastrarlaconjetura La proyeccién estereogrifica Un contraejemplo al teorema de los cuatro colores? Elmapa de MeGregor Eso es una demostracién? «£1 teorema de los ochoclentos colores» ‘Anudando y deformando Lateoria topolagica de nudos Homotopia versus topologia Pensando y haciendo topolagia a pesar de a ceguera Resolviendo problemas reales con topologia Apéndice. Un poco de historia Bibliogratia recomendada 2 % 108 110 7 aaa 122 130 135, ua Capitulo 0 Pero gqué es la topologia? ‘Ader de aqulla parte dela geomeria qu trata sobre contidaes _¥ ques ha estulado en odo tempo con gran dedicacion, primero que mencions la ota parte, hasta entoncesdesconocida ‘fu Leibniz el cual a ams “geometrta dea poscin’ Leibniz determin qu esta parte se tenia que cupar dela soa posicin _y de as propiedadesprovenintes de lo psi, en todo Tocuel nose han detneren cuentas cantidades ni su cleulo [1 Por ello, cuando reclentemente se mencioné certo problema ‘que parecia realmente pertenocer a geomet, pero estaba dspuesto ‘deta manera que ni preisabo la determinactindecontidodes ‘admit soluciin mediante el ceul de las, no dudéenrefril ala gcometra dela psicine (Leonard Euler, 1707-1783), a topologia es probablemente la mas joven de las ramas eldsicas de Jas mateméticas. En contraste con el dlgebra, la geometria o la teoria de los niimeros, cuyo origen data de tiempos antiguos, la topologi laparece en el siglo xvit con el nombre de analysis situs, es decir, ‘and- lisis de la posicién’. ‘Si se consulta el diccionario de la Real Academia Espaiiola, el tér- nino topologfa aparece definido de la siguiente manera: Pero gqué esa topologia?‘Topoiogia: Del gr: t6n0s topos, ‘ugar’ y -logia. 1. Mat. Rama de las matematicas que trata especialmente de la conti- nuldad y de otros conceptos mas generales originados de ella, como las, propiedades de las figuras con independencia de su tamaio 0 forma. Es una definicién bastante acertada, teniendo en cuenta la dificul- tad que supone sintetizar a qué se dedica un rea de las mateméticas que involucra conceptos y técnicas complejos. Explicado de manera informal, la topologia se ocupa de aquellas propiedades de los obje- tos geométricos que permanecen invariantes cuando dichos objetos son doblados, estirados, reducidos 0 deformados, de modo que no aparezcan nuevos puntos o se hagan coincidir puntos diferentes. En otras palabras, el tipo de transformacién permitida presupone que se produce una correspondencia biunivoca —o sea, una relacién uno a uno— entre los puntos del objeto original y los del transformado, y que la deformacién hace corresponder «puntos préximos» a «puntos cercanos». En matematicas, esta Gltima propiedad recibe el nombre de «continuidady, y lo que se requiere es que la transformacién y su transformacién inversa (la que «deshace» la deformacién original) sean ambas continuas. En esta teorfa matemitica, este tipo de trans- formaciones reversibles se denominan 0.Tomando U=Bg(x,r/2) y V= Bu(yr/2), es facil comprobar que U y V cumplen las condiciones requeridas. Elestudio que acabamos de realizar puede generalizarse a dimen- siones arbitrarias. En particular, para cualquier entero positivo n, se pueden definir sobre R" las métricas dusual dhau ¥ dix 10 que da lugar a los espacios métricos correspondientes. El espacio (R",dysua) €s el espacio euclideo de dimensién n. Ademas, sin = 1 —o sea, si trabaja- ‘mos sobre la recta—, es claro que dys Araxi = Amine iPor fin me entero de qué es una topologia! ‘Como ya hemos comentado, la topologia surgié intentando formali- zar la nocién de «proximidad». No hay una tinica manera de definir este concepto, como acabamos de ver con el ejemplo de los espacios métricos. ,Qué es «estar cercay? Es algo subjetivo e impreciso. La to- ologia pretendia, en sus orfgenes, definir esta nocién de «vecindad» de manera precisa. ‘Supongamos que Xes un conjunto y quexes un punto en él, uno de sus elementos, Por ejemplo, si X= R, sus elementos son nimeros rea- les. Queremos definir lo que es un entorno de x, y para ello podemos intentar entender qué es lo esencial de estar «cerca» de un punto x Topologia ton el caso de los espacios métricos, en los que la distancia proporcio- a nimeros que pueden permitir comprender la proximidad de una forma cuantitativa, in un espacio métrico (X,d), como ya hemos comentado, podemos pensar que los puntos que estan cerca de x son los contenidos en la ola By(x.r) para r tan pequefio como queramos. La bola Bg(x,r) es un entorno» del punto x en el sentido de que contiene a los puntos que arodeany ax. A partir de los espacios métricos hemos definido la nocién topo- Jogia ty como la familia de todos los conjuntos abiertos. La topolog 4yposee algunas propiedades faciles de detectar: 1, el conjunto vacio @ y el total X son abiertos (el vacfo no tiene pun- tos; por lo tanto, cumple la propiedad de manera obvia y Xes, por ejemplo, unién de todas las bolas centradas en todos los puntos x de Xy de radio 1); 2. la unién de conjuntos abiertos es un conjunto abierto (los abier- tos son uniones de bolas y, si unimos abiertos, seguimos teniendo uniones de bolas); y Ja interseccién fi de conjuntos abiertos es un conjunto abierto. La diltima propiedad es un poco més dificil de demostrar: si te- hemos dos bolas abiertas By(x.r) y By(ys), tomamos su interseccién Uy un punto zen U, basta con tomar e el minimo entre los nimeros r= dz) y s~ d(y.2), y entonces Ba(z.¢) esta contenida en U. Observa que la interseccién arbitraria de abiertos no tiene por qué ser un conjunto abierto. Por ejemplo, en el caso de (R,dusual) 1a Interseccién de todas las bolas centradas en el origen de coordenadas 0 = (0,0) se reduce a ese punto... y un punto, en esta topologfa, no es un conjunto abierto, En el caso de un conjunto X, generalizando estas propiedades de topologia deducidas del caso de los espacios métricos, diremos que tes tuna topologfa sobre X'si es una familia de subconjuntos de X, tales que: De los espacios métricos aos especios topologicos a1. los conjuntos vacio @ y total X pertenecen at; 2. launién de conjuntos que estan en + sigue estando en t; y 3. la interseccién finita de conjuntos pertenecientes a sigue siendo un conjunto que pertenece at, mos que el par (Xx) es un espacio topoldgico y a los conjuntos que forman parte de se les llamaré «conjuntos abiertos». Y diremos que N es un entorno de un punto x en (X.x) si existe un conjunto U abierto —es decir, perteneciente a t— que contiene a x y est conte- nido en N. Claramente, un conjunto abierto que contiene a un punto x es un entorno de él, aunque no es necesario ser un conjunto abierto para ser un entorno de un punto: los entornos describen la estructura local del espacio (lo que sucede «alrededor» de cada uno de los puntos de X)y la topologia explica el comportamiento global, o sea, indica lo que sucede alrededor de todos los puntos del espacio a la vez. Un espacio topolégico no tiene por qué provenir de una métrica. En efecto, si tomamos tina = {2.X} es claro que (Kring) es un espa- cio topolégico. Pero no puede proceder de una métrica: si x e y son Puntos distintos en X, no existen abiertos disjuntos que contengan al uno yal otro, porque no hay abiertos no vacios y disjuntos, y eso con- tradice la propiedad de separacién de Hausdorff que posee cualquier espacio métrico, Ast, los entornos se introducen para poder hablar de «proximidad», de lo que esté «cerca» de un punto, cuando no se puede recurrir a cantidades numéricas como distancias que no tienen por qué existir. Los espacios métricos son un caso particular de espacio topoldgico. Ademés, sobre un conjunto pueden definirse diferentes topologfas. Por ejemplo, sobre el plano ya hemos visto que Tyeual = taxi = nix * Teor ¥ Ting €S también diferente de las anteriores. Una vez que se define la nocién de topologia, se diré que un con- junto A es cerrado en (Xx) si su complementario XA es un conjunto abierto. 32 | Topolagia Las nociones de abierto y cerrado no son contrarias la una de la otra, sino duales. Un conjunto en (X,x) puede ser abiertoy cerrado ala ‘vex (al menos el vacio y el total son abiertos y cerrados en cualquier espacio topoldgico), abierto y no cerrado, cerrado y no abierto o ni abierto ni cerrado. Todo depende de la definicién de la topologfa con Ja que estemos trabajando. ‘Ahora que conocemos los ingredientes basicos de la topologfa, el siguiente paso consiste en entender qué tipo de funciones son las que preservan la estructura topolégica. Dados dos espacios topologicos (Xn) € (¥srv) vamos a definir la nocién de funcién continua f: X -> ¥ fn un punto x de X, esto es, vamos a introducir un concepto de tipo Jocal. Intuitivamente, fseré continua en x si lleva puntos cercanos ax fen puntos cercanos a su imagen f(x). Recuerda que en topologia, la nocién de cercanta se expresa en términos de entornos. Asi que for- malizamos este concepto de la siguiente manera: Una funcién f: X > ¥ es continua en un punto x de X, si para cualquier entorno M de f(x) en (¥:ry) existe un entorno N dex en (rq) tal que f(N) esta contenido en M. La anterior definicién expresa en términos de entornos esa pro- pledad que preserva la xcercanfa». Recordemos que f(N) denota las. imagenes de todos los puntos pertenecientes a N. En el caso de es- pacios métricos, esta definicién puede escribirse en términos de bo- Jas, que son precisamente los entornos «pequefios» asociados a las métricas: Dados dos espacios métricos (Xd) e (¥.p), una funcién f: X > Yes continua en un punto x de X si, para cualquier bola centrada en f(x) en (xp), BYF().2), existe una bola centrada en x en (Xx), By(x.), tal que {J(Bx(%)) esté contenido en By(f(x).). De otra manera, para cualqui > 0,existe un > 0, de modo que, siy es un punto en Xtal que d(xy) <3, entonces pf(s)/0)) <€. Delos espacios métricas alos espaciostopalgicas | 33u Esta definicién ya se parece mas a algo que conocemos bastan- te bien. De hecho, si los espacios métricos (X,4) e (¥,p) son ambos (Bidysuai), esta es la definicién que se da en cualquier curso de célculo de una variable: la funcién f: R > R es continua en un punto x si para cualquier ¢ > 0, existe un 6 > 0, de manera que siy es un punto tal que xy] <8, entonces /(x) - f())| ¥ es continua en X (0 simplemente continua), si para ‘cualquier conjunto abierto Ven (Yr), el conjunto f-1(V) es abierto en (Xr). Recordemos que la imagen reciproca de un conjunto f-(V) deno- ta todos los puntos x en X tales que su imagen por f, f(x), est conte- nida en V. Las herramientas basicas en topologia son los conjuntos abiertos, y por ello esta caracterizacién de continuidad —ahora ya global, porque se refiere a lo que sucede en todo el espacio— es mas adecuada. Una funcién f: X + ¥ entre dos espacios topol6gicos se llama un ‘ X también es continua (recuerda que f-1(y) = x cuando £() =»). Las propiedades preservadas por homeomorfismos se deno- minan «propiedades topolégicas». Aunque en matematicas normalmente la nocién de viene asociada a las sucesiones de nimeros o funciones, la convergencia de sucesiones no es una nocién adecuada en el caso de espacios to- polégicos (en el caso de topologfas con cierto tipo de propiedades que aquf es dificil de explicitar, las sucesiones pueden converger a varios puntos y a la vez no caracterizar la topologia). La manera ade- cuada de estudiar los puntos limite es definiendo el derivado de un Topologi conjunto; en (Xx) el derivado de A (se suele denotar como A’ y debe pensarse como el conjunto de los puntos «limite» de A) es el conjun- to de puntos x en X tales que para cualquiera de sus entornos N, A y N ~ {x} tienen interseccién no vacia. Eso significa intuitivamente que los puntos x en A’ son puntos «préximos» aA en el sentido de que cualquier entorno de x «toca» a A en puntos distintos de x. Esta definicién permite pensar los conjuntos cerrados de otra manera: es posible demostrar que un conjunto A es cerrado en (Xx) si y solo si A contiene a su conjunto derivado A’, es decir, si A contiene a todos sus puntos limite. Las descritas hasta ahora serfan las herramientas basicas para empezar a trabajar los conceptos como el de conjunto compacto (una generalizacién de la nocién de ser cerrado y acotado en espacios eu- clideos), conjunto conexo (intuitivamente, que es de una pieza), de producto cartesiano de espacios, de espacio topoldgico cociente, et- cétera. Pero no vamos a entrar en esas definiciones para no complicar mas este capitulo. La compacidad o la conexién son propiedades topolégicas: dos es- pacios homeomorfos deben de ser ambos conexos o no serio ninguno de los dos. Si se desea saber si un espacio es homeomorfo a otro, bas- tarfa con encontrar una propiedad topol6gica que posea uno de ellos pero no el otro. Por ejemplo, (Rydusual) no puede ser homeomorfo a ({0.1],dasua) porque el primer espacio no es compacto (al no ser aco- tado), pero el segundo lo es. Un ejemplo de propiedad no topolégica esa acotacién: los espacios (R,dysual) ¥ ((-1,1),dysual) Son homeomor- fos —la funcién f: R + (-1,1) definida por f(x) = x/(1 + |x\) es un homeomorfismo—, pero R no es acotado mientras que (~1,1) sflo es. Este libro no pretende ser un texto que responda a un curso bé- sico de topologia. Ya hemos introducido bastantes conceptos. Lo que vamos a hacer en las siguientes paginas es «jugar» con la topologia, dar algunos ejemplos de problemas e indicar de qué manera los abor- day resuelve esta area de las matemdticas. Por supuesto, obviaremos cualquier demostracién técnica. Aunque insisto en que el grado de (es espacios metrics a as eepaciostopolagicoeabstraccién en topologia es grande —depende del espacio en el que estamos trabajando— y en la mayoria de las ocasiones no es facil te- ner una imagen visual clara de lo que se esta haciendo. El sorprendente conjunto ternario de Cantor Vamos a realizar ahora una pequefta intro- duccién a las propiedades —entre ellas, las topol6gicas— del conjunto de Cantor, lo cual nos permitiré, en unas pdginas, enunciar un bellfsimo teorema topolégico. Georg Cantor (1845-1918) fue un cien- tifico adelantado a su época. Sus ideas re- volucionarias en matematicas colisionaron, como suele suceder, contra la «ciencia ofi- cial», que se resistia a aceptar sus propuestas Georg Cantor. FILOSOFIA Y MATEMATICAS. es alas que se entrenté Georg Can 3s floséficas Ya que hemos hablado de las dficutadk tor en su entero cientfico, recordamos algunas de las con més destacadas en matematicas y sus principales defensores. © Pitagorismo: la estructura del fisico eal (particulas, campos, espacio tiem: po, etostera) es matematica, Las matemétioas son el lenguaje de fo real Empirismo: la modelzacién de las regularidadas empiicas es e! motor del desarrolo matemtico (Aristételes, Jean-Baptiste Fourier, etostera) Pratonismo: las matematicas son un mundo de ideas independientes del mundo de los fenémenos (Georg Cantor, Kurt Godel, Roger Penvo: 89, Alain Connes, etoétera) 36 | Topoiogia Innovadoras. Para sus contempordneos, las ideas de Cantor resulta- ron tan chocantes a la intuicién que incluso una mente abierta como la de Henri Poincaré tildé la teoria de nimeros transfinitos de Cantor de «enfermedad de la que algiin dia las mateméticas legarfan a curar- se». Leopold Kronecker (1823-1891), uno de los maestros de Cantor y miembro preeminente de la matemética institucional alemana, lle- {6 incluso a atacarle directa y personalmente, calificandole de «char- Jatdn cientifico, renegado y corruptor de la juventud». Muchos mateméticos admitian con dificultad los métodos de Cantor porque presuponfan la existencia de sucesiones o conjuntos formados por infinitos elementos. Los filésofos de la ciencia habfan rechazado desde los tiempos de Aristételes el concepto de «infinito completo» a causa, fundamentalmente, de las paradojas que parecta plantear: Por ejemplo, Galileo Galilet (1564-1642) habia hecho notar que «si en mateméticas fueran admisibles conjuntos infinitos com- pletos, habria tantos niimeros enteros pares como pares e impares Intuicionismo: las mateméticas no son una ciencia que genera con: ‘ceptos, sino la ciencia de la representacién de los concaptos —en las formas del espacio y del tiempo— que los sujetos conocedores poseen a pion para percibr el mundo (Luitzen Egbertus Jan Brouwer, Arend Heyting, etostera). Formalism: las mateméticas son un juego con las simbolos (David Hi bert, Nicolis Bourbaki, elcétera), Logicismo: las matemdticas se derivan de conceptos puramente log cos (Gottlob Frege, Bertrand Russel, etostera). Naturalism: las matemdticas estén ligadas a capacidades psicol6g! cas 0 neurofsiol6gicas adquiridas del sujeto humano o a capacida: des innatas del cerebro igadas a la evolucién (Jean Piaget, Jean-Pierre Changeux, Stanislas Dehaene, etcetera), Delos espacios mericos alos espaclos topolégicos | 3730 reunidos». Otras voces que manifestaban su radical oposicién a la idea de infinitud completa eran las procedentes de tedlogos: «El i co infinito en el acto solo puede ser Dios». La biografia Georg Cantor: his Mathematics and Phylosophy of the infinite, escrita por el historiador de la ciencia Joseph Warren Dauben, es probablemente una de las mejores maneras de aprender sobre la vida y la obra del matematico aleman. Recomiendo también la bellisi- ‘ma biografia novelada Villa des hommes, del matematico, historiador de la ciencia y divulgador cientifico Denis Guedi, en la que se reco- noce a Georg Cantor en la figura del viejo matematico Hans Singer, recluido en un manicomio. Cantor introdujo el conjunto que lleva su nombre como conse- cuencia de un programa puramente aritmético, no por motivos to- ol6gicos 0 geométricos. Lo cité en una carta dirigida en 1883 al ‘matematico aleman Richard Dedekind (1831-1916) y describié al- gunas de sus propiedades en un articulo publicado en 1884. Pero no fue la primera persona que hablé de él. En efecto, en 1875, el matemitico y astrénomo Henry John Stephen Smith (1826-1883) publicé un articulo en los Proceedings of the London Mathematical Society en el que, tras una exposicién sobre la integracién de funcio- nes discontinuas, introducfa un método para construir cierto de conjuntos: Sea m cualquier nimero entero mayor que 2. Dividamos el intervalo de 0 a 1enm partes iguales y eliminemos el iltimo segmento de cualquier di- visién subsiguiente, Dividamos cada uno de los m ~ 1 segmentos restan- tes en m partes iguales y eliminemos los tltimos segmentos de cualquier subdivisién posterior. Si esta operacién se prolonga de manera infinita, obtendremos un nimero infinito de puntos de divisién P sobre la linea de 0a 1. Estos puntos se encuentran diseminados. A esos conjuntos «diseminados» a los que se refiere Smith se les Hama actualmente «densos en ninguna parte» y el conjunto construido Topotoaia siguiendo este método recibiria el nombre de 0, llamemos N,(S) al minimo ni- mero de cubos de dimensién n y longitud r necesarios para cubrir el Conjunto S. La dimensién fractal de S se define como el ntimero d—si existe— tal que el producto W,(S)r tiende a 1 cuando r tiende a 0. Este nimero no tiene por qué ser un ntimero entero. En muchos textos se define justamente un conjunto como fractal ‘cuando es autosemejante (unién disjunta de dos copias de si mismo) Topoiogia y su dimensién fractal es estrictamente mayor que su dimensién to- polégica. Como ya hemos comentado, el conjunto de Cantor tiene di- ‘mensién topoldgica 0... y se puede demostrar que su poms oe tal es d= log(2)/log(3) = 0,631 (aproximadamente).;Ces un frac a Como avanzébamos al iniciar este epfgrafe, esta pequefia intro: duccién a las propiedades —entre ellas, las topolégicas— del conjun- to de Cantor ha sido una magnifica excusa para enunciar un bellisimo teorema topolégico que involucra a los espacios métricos y al conjun- to de Cantor. Puede demostrarse, con un poquito de trabajo, que: Todo espacio métrico, compacto, no vacio, totalmente disconexo y sin puntos aislados es homeomorto al conjunto ternario de Cantor. Es decir, este teorema nos permite pensar en el conjunto terna- rio de Cantor como un modelo (topolégico) de los espacios métricos nombrados en el enunciado. Y esto es maravilloso. ;Por qué? Porque el conjunto de Cantor es sencillo de construir y de manipular: Y, por lo que afirma el anterior resultado, cualquier propiedad topol6gica verificada por el ternario de Cantor la cumpliran también los espacios aludidos en el teorema. Por sios parecia poco el resultado anterior, fijaos en esta otra pro- posicién: ‘Todo espacio métrico compacto es imagen continua del conjunto de Cantor. iInmejorable manera de terminar este capitulo! De os expacios métrcos ln espacios tpolagicos 8