HISTORIA DE LA TOPOLOGA

David Garro Moreno Historia de las matemticas Universidad Autnoma de Madrid

Introduccin:
La topologa es la rama de las matemticas que se ocupa de los objetos geomtricos atendiendo a la forma, tamao o posicin, en general a sus propiedades cualitativas. No tiene en cuenta aspectos relativos a magnitudes ni requiere clculos con cantidades. As, desde el punto de vista topolgico, una esfera, un cubo o la superficie de una naranja representan el mismo objeto geomtrico, no importa si tiene picos o est arrugado. Es decir, podemos pasar de uno a otro de forma continua. Se dice entonces que son espacios homeomorfos, o que existe un homeomorfismo entre ellos. Es popular el dicho de que un toplogo no distingue entre un donut y una taza de caf. Como si de objetos de goma elstica se tratase, podemos doblarlos, estirarlos o encogerlos para pasar de uno a otro. En cambio, no se permite por ejemplo cortar, pegar por puntos distintos o pinchar, porque ello provocara una discontinuidad.

En fin, la Topologa nos proporciona mtodos y herramientas que nos permiten distinguir entre espacios no homeomorfos, se dedica al estudio de aquellas propiedades que se conservan a travs de homeomorfismos. A travs de la historia, la topologa ha resultado ser de gran importancia mostrndose fundamental para la cimentacin del anlisis moderno, sus ideas se han mostrado de gran inters para los campos de la ciencia como fsica, cosmologa, relatividad... Podemos situar el comienzo de la topologa en 1735 de la mano de Leonhard Euler y la solucin al problema de los puentes de Koenigsberg, que aunque ciertamente pareca pertenecer al geometra, sin embargo no requera la determinacin de magnitud alguna, ni poda resolverse por un calculo cuantitativo, aunque en palabras de Euler: Leibniz fue el primero en tratar de ella, llamndola geometra de la posicin

Vinculada por tanto a la geometra en sus inicios y desarrollada en una incipiente ebullicin de artculos, libros y conferencias, muchos han sido los matemticos sobresalientes que aportaron resultados cruciales en diversos campos de las matemticas, dichos resultados proporcionaron el mbito adecuado para la descripcin de las matemticas en un marco formal y aceptado por toda la comunidad matemtica.

La necesidad de exponer con rigor conceptos fundamentales del anlisis tales como funcin, continuidad, diferenciabilidad, hacan notar el caos en el que se encontraban las matemticas a finales del siglo XVIII. Las nuevas geometras no eucldeas y la construccin de nuevos objetos geomtricos muy particulares tales como la banda de Mbius (1858) o la botella de Klein (1863), ofrecan ejemplos de propiedades geomtricas desconocidas hasta entonces y que distinguan los objetos entre s. Este es el punto de partida del trabajo de clasificacin de objetos geomtricos atendiendo a ciertas propiedades cualitativas como conexin, compacidad, separabilidad, orientacin, etc.....

La teora ms importante de finales del siglo XIX vino de la mano del matemtico ruso Georg Cantor (1845-1918). En ella se encontraban las nociones bsicas de la teora de conjuntos. Introdujo conceptos como cardinal, transformacin 1-1, punto lmite, conjunto abierto, cerrado, derivado....Estos conceptos permitieron situar las matemticas en el marco adecuado que ofrecan demostraciones rigurosas y nuevas definiciones aceptadas por la mayora de la comunidad matemtica. Ya en las postrimeras del siglo xx, matemticos como Hilbert, Banach o Haussdrdf se apoyaron en las ideas de Cantor para construir nuevos ejemplos de espacios diferentes tales como espacios mtricos,completos,normados,espacios de funciones...que permitieron una teora mucho mas general, proponiendo un sistema axiomtico del anlisis en trminos de conjuntos y no en trminos de distancias, mtricas o de algn tipo de cantidad o magnitud. De esta manera surgi la definicin de espacio topolgico, introducida por Haussdrf(1906), como un espacio abstracto de puntos junto con una familia de subconjuntos U(x),denominados vecindades, asociados con cada punto x del espacio, prxima a la definicin de topologa moderna.

Topologa : geometra y combinatoria.

A finales del siglo XVII,(alrededor del 1679),el matemtico suizo Leibniz intent enunciar las propiedades geomtricas bsicas de las figuras, relacionarlas con smbolos para representarlas y combinar estas propiedades bajo operaciones que produjeran otras. Leibniz o estaba satisfecho con el tratamiento que la geometra cartesiana haca de las figuras geomtricas ya que en definitiva tena que ver con magnitudes: Creo que carecemos de un anlisis geomtrico apropiado que exprese directamente posicin en tanto el lgebra expresa magnitud. Las ideas de Leibniz no tuvieron repercusin en las matemticas debido quiz a la imprecisin y a los pocos ejemplos que el propuso pero podramos decir que Leibniz fue un visionario, imaginando lo que hoy se conoce como topologa combinatoria. El primer ejemplo satisfactorio para establecer el punto de partida de la topologa es el famoso problema de los puentes de Koenigsberg, un problema que despertaba la curiosidad de muchas personas de la poca de cuya naturaleza topolgica fue apreciada ms tarde. El problema planteaba que dado un sistema de puentes como en la figura, si era posible que una persona cruzara cada uno de estos puentes una sola vez. El matemtico suizo Leonhard Euler encontr la solucin en 1735. La idea para resolverlo fue la simplificacin de la representacin del problema reemplazando las reas con puntos y los puentes con aristas.

Comentario: Inserta dibujo puentes y su grafo

La pregunta que Euler se plante fue si podra describir esta figura sin levantar el lpiz del papel de manera que cruzramos una sola vez por cada vrtice y arista. El mismo Euler formul el siguiente problema mucho ms general: Dada una configuracin cualquiera del ro y de los brazos en los que pudiera dividirse, as como un nmero cualquiera de puentes, determinar si es o no posible cruzar cada puente exactamente una vez. Ofreci una solucin que resolva el problema en muchas situaciones: Cuando el nmero de puentes es impar, lo aumento en uno y lo divido por dos, cuando el nmero es par, lo divido simplemente por dos. Entonces, si la suma de los nmeros resultantes es igual a la suma de los puentes ms uno, el camino puede realizarse, si bien ha de comenzar en una regin a la que conduzca un nmero impar de puentes pero si la suma es una unidad menor que el nmero de puentes ms uno, el camino es posible si su punto inicial es una regin a la que conduzca un nmero par de puentes, ya que en este caso la suma se incrementa de nuevo en una unidad. Podemos decir, por tanto, que la solucin de Euler convierte un problema geomtrico en principio, en uno de naturaleza combinatoria.

Podemos destacar tambin la formula conocida para Euler de los poliedros convexos: V-A+C=2, que se generaliza en funcin de los agujeros del objeto geomtrico. En general, se tiene que V-A+C=2-2g,donde g denota el nmero de agujeros del poliedro. Descubierta en 1813 por Anoine-Jean Lhuilier (1750-1840), es el primer invariante topolgico que se conoce. Por ejemplo, para el toro tenemos V-A+C=0. Se puede concluir entonces que el toro y la esfera no son homeomorfos ya que tienen caractersticas de Euler distintas. De igual forma, el doble toro, el triple toro, etc son todas superficies diferentes, ya que tienen caractersticas de Euler -2, -4, etc.

La primera publicacin acerca de los conceptos topolgicos, Vorstudien zur Topologie, viene de la mano de Johann B. Listing (1806-1882), en 1848. Alumno de Gauss en 1834 y posteriormente profesor de fsica en Gttingen, mantuvo una estrecha correspondencia con Gauss durante los diez aos anteriores a su primera publicacin acerca de las ideas topolgicas. Aunque el propio Gauss no public nada acerca de la topologa, fue una gran influencia de los trabajos de Listing ya que estaba a favor del estudio de las propiedades bsicas de las figuras geomtricas. Listing continu con sus investigaciones en topologa y en 1858 public una serie de artculos bajo el nombre de Der Census Ramlicher Complexe, donde Listing trataba leyes cualitativas de las figuras geomtricas. Listing intent generalizar la relacin de Euler: V-A+C=2 . El primero que formul de manera apropiada la naturaleza de las ideas topolgicas fue Mbius, ayudante de Gauss en 1813. Mbius haba clasificado varias propiedades geomtricas como proyeccin, afinidad, similitud y orientabilidad. Public sus trabajos en 1863 bajo el nombre de Theorie der elementaren Verwandschaft.La idea fundamental que propuso fue el estudio de las relaciones entre dos figuras que estaban en correspondencia 1-1 y tales que puntos cercanos correspondan a puntos cercanos. Trabaj con los resultados establecidos para poliedros, haciendo hincapi en que un poliedro puede ser considerado como una coleccin de polgonos 2-dimensionales los cuales pueden ser triangularizados, permitiendo entender un poliedro como una coleccin de tringulos. Esta idea ha resultado ser bsica para la topologa, demostrando que algunas superficies (variedades 2-dimensionales) pueden ser desarrolladas como polgonos con una identificacin apropiada de caras. En 1858, tanto Listing como Mbius independientemente descubrieron una superficie caracterizada por tener una sola cara. Demostraron que se puede identificar tal superficie con una porcin de plano. Hoy en da es conocida como la banda de Mbius y entre sus propiedades ms conocidas destaca que es uniltera y que al cortarla por su ecuador no se separa en dos.

Comentario: inserta dibujo de identificacin de caras Comentario: Banda de Mbius

Otro trabajo a destacar en el desarrollo de la topologa se debe al matemtico alemn Riemann (1826-1866) sobre la teora de funciones de variable compleja introduciendo las superficies de Riemann y tratando aspectos como la conexin de tales superficies. Introdujo el moderno concepto de gnero que le permiti clasificar algunas superficies. Tambin observ que todas las superficies sin borde con gnero cero, esto es, simplemente conexa, eran topolgicamente equivalentes. A raz de los trabajos de Riemann algunos matemticos pensaron en estructuras ms simples que fueran topolgicamente equivalentes manteniendo el mismo gnero, en este sentido el matemtico William K. Clifford demostr que la superficie de Riemann de una funcin multievaluada con -puntos de ramificacin se puede transformar en una esfera con p agujeros. El resultado principal sobrevino de la mano de Klein estableciendo que dos variedades son homeomorfas si y solo si tienen el mismo gnero. Klein tambin sealo que incluso para 2-variedades la situacin puede ser muy compleja, introduciendo el ejemplo de la superficie conocida como botella de Klein. Entre sus propiedades mas conocidas destacan que es uniltera, no orientable y que no se puede construir en un espacio de tres dimensiones(sin auto-intersecciones). Otro ejemplo no menos complejo de superficie, es el plano proyectivo. Topolgicamente el plano proyectivo puede ser identificado a travs de un circulo identificando puntos diametralmente opuestos. Nuevamente esta superficie no puede ser construida sin auto-intersecciones en tres dimensiones.

Comentario: los dibujos de la botella de Klein,y del plano proyectivo

Estos ejemplos mostraban la necesidad del estudio de figuras con dimensin mas alta(por ejemplo la botella de Klein en realidad hay que verla en un espacio de dimensin 4),motivando el estudio de propiedades como la conexin de tales figuras. Hacia finales del siglo XIX, la manera en que se empezaron a tratar los problemas de la geometra de las variedades n-dimensionales estaban mas prximos a la combinatoria que a la geometra. El hombre que primero acometi de manera sistemtica y general la teora combinatoria de las figuras geomtricas, considerado el fundador de la topologa combinatoria, fue el matemtico francs Henri Poincar (1854-1912), reconocido como el ms brillante matemtico de finales del siglo XIX, principios del XX. Se ocup de problemas de la fsica terica, teora electromagntica, mecnica de fluidos, dinmica y astronoma. Los problemas cientficos fueron la motivacin de sus investigaciones matemticas.Poincar consider la topologa combinatoria como el camino adecuado para el estudio de la geometra n-dimensional y, aun mas importante el estudio de invariantes topolgicos.Las ideas de Poincar , eran la generalizacin de las superficies de Riemann, conocidas hoy como variedades, definidas en trminos de vecindades de

puntos que son homeomorfas al interior n-dimensional de la (n-1)-esfera. Por ejemplo el circulo es una variedad 1-dimensional, la superficie esfrica o el toro bidimensional son variedades 2-dimensionales, adems pudo definir variedades con borde. Public unas notas acerca de su teora en 1892 y en 1893,pero los resultados bsicos los public en 1895 y a travs de cinco suplementos publicados sucesivamente. El mtodo que adopt Poincar, lo expone en el primer suplemento, se basaba en los conceptos de simplex y complex. Un simplex es simplemente un triangulo ndimensional y un complex es una coleccin numerable de simplex. Con estas ideas consigue generalizar la formula de Euler: V-A+C=(S) para la variedad S, conocida hoy como la caracterstica de Euler-Poincar.

Comentario: ponemos los dibujos de suma conexa y los de la caracterstica de euler

En sus esfuerzos para distinguir complex, Poincar tambin introdujo uno de los conceptos que hoy en da juega un papel fundamental en topologa: el grupo fundamental, dado a travs de la relacin de homotopa. En su quinto suplemento, publicado en 1904,formula la conjetura de que la nica 3variedad compacta es la tres esfera, recientemente demostrada(2003) por el matemtico ruso Grigori Perelman. En 1905 public Anlisis situs el primer trabajo sistemtico y general en topologa que contena los aspectos, definiciones y teoremas bsicos de la teora de la topologa combinatoria. La generalizacin ms significante de este siglo, quizs sea la teora de los grupos de homologa y cohomologa de espacios generales. La maquinaria bsica fue introducida por Paul S. Alexandroff, Leopold Vitoris y Eduard Cech. Un mtodo muy til para calcular los distintos grupos de cohomologa de una variedad es el uso de la sucesin de Mayer-Vitoris. Consiste en la descomposicin de una variedad X en unin de dos variedades M y N de las que conocemos sus grupos de cosmologa. En la actualidad, la cohomologa juega un papel fundamental en el calculo de la caracterstica de Euler-Poincar, que coincide con la suma alternada de las dimensiones de los distintos grupos de cohomologa de una variedad

Topologa: anlisis matemtico.

La situacin de las matemticas durante el siglo XIX era de caos y desacuerdo en la comunidad matemtica. El anlisis careca de teoremas adecuadamente demostrados y de definiciones apropiadas, que a menudo producan paradojas. Conceptos tan fundamentales como funcin continua, derivable o incluso el de la propia funcin no se haban definido con claridad, la controversia de la representacin de funciones a travs de series sin tener en cuenta la convergencia o la divergencia acab en un estado de desacuerdo ms all de la confusin. Varios matemticos de la poca decidieron llevar el orden al caos, denominado movimiento crtico. Su propsito era reconstruir el anlisis de una manera rigurosa. Matemticos como Bolzano, Cauchy, Abel o Dirichlet trabajaron por establecer esa rigurosidad. Los trabajos ms importantes de Cauchy en la consolidacin del anlisis son : Cours danalyse algbrique, Resume des leons sur le calcul infinitsimal y Leons sur le calcul diffrentiel.En ellas Cauchy asa frases como ...tan pequeo como desee, proporciones de incrementos infinitamente pequeos o ..una variable que se acumula tiene limite. Sin embargo si comparamos los trabajos de Cauchy con los de Lagrange, se ve una diferencia sorprendente entre los matemticos del siglo XVIII y los del siglo XIX. La teora de conjuntos infinitos de puntos construida por Cantor(1845-1918) y extendida por Jordan, Borel o Lebesgue entre otros, no est relacionada, en cierto sentido, con las transformaciones y propiedades topolgicas. Sin embargo, un conjunto de puntos entendidos como un espacio tiene inters en topologa. Lo que distingue un espacio de un simple conjunto de puntos son ciertos aspectos entre puntos cercanos. Por ejemplo en un espacio eucldeo (con la distancia eucldea), la distancia nos dice cmo de cerca estn los puntos y nos permite definir puntos lmite de un conjunto de puntos, en trminos de puntos cercanos.

La topologa de conjuntos comienza con la teora de funcionales iniciada por Volterra en trabajos del clculo de variaciones, las funciones por s mismas se entendan como puntos de un espacio en el cual se podan definir vecindades y lmite de sucesiones de puntos. Para el funcional F[y(x)] Volterra introdujo las definiciones de continuidad, derivada y diferencial. Sin embargo aquellas definiciones no eran adecuadas para la teora abstracta del clculo de variaciones. Los matemticos italianos Giulio Ascoli (1843-1896) y Csare Arcela, trabajaron para extender la teora de los conjuntos de puntos de Cantor y as entender las funciones como puntos de un espacio. Hadamard sugiri en el primer congreso internacional de matemticos en 1897 que las curvas podan ser consideradas como un conjunto de puntos, refirindose a la familia de todas las funciones continuas definidas sobre [0,1].

Los primeros esfuerzos significativos en la construccin de la teora abstracta de los espacios de funciones y funcionales vinieron de la mano de Maurice Frchet(1878-) en su tesis doctoral(1906).Buscaba unificar las ideas de Cantor, Hadamard, Arzela entre otros. El nacimiento del anlisis funcional con la introduccin de espacios de Hilbert y de Banach dieron una importancia adicional al estudio de conjuntos. Las propiedades que demostraron ser relevantes para el anlisis funcional son de naturaleza topolgica. Como Frchet seal, se pueden construir funciones equivalentes a la distancia eucldea e introdujo varios conceptos diferentes que le permitan definir puntos lmite de una sucesin de puntos. Generaliz la nocin de distancia e introdujo la clase de los espacios mtricos. Sin embargo, es posible entender las vecindades como subconjunto de un conjunto dado caracterizndolas en cierto sentido e incluso sin la introduccin de una mtrica. Tales espacios deca, que tienen vecindades topolgicas. Es una generalizacin de espacios mtricos. El matemtico Haussdrf (1868-1942), publica en 1914 Grundzge der Mengenlehre (Principios de teora de conjuntos) y construye la teora definitiva de espacios abstractos. Haussdrf define un espacio topolgico como un conjunto de elementos x junto con una familia de subconjuntos U(x) asociados con cada punto. A estos subconjuntos los llamo vecindades y eran tales que cumplan las siguientes condiciones: Para cada elemento x existe U(x) tal que xU(x) La interseccin de dos vecindades de x contiene una vecindad de x Si yU(x) existe U(y) tal que U(y)U(x) Si xy existen U(x), U(y) tales que U(x)U(y)=0 (esta propiedad se conoce hoy en da como T2) Adems introdujo los axiomas de numerabilidad: Para cada elemento x, existe una coleccin numerable de vecindades que contienen a x El conjunto de todas las vecindades es numerable

Comentario: Poner los dibujos de distancias

A partir de aqu se definen los conceptos habituales bsicos para la topologa tales como conjunto abierto, conjunto cerrado, conjunto compacto, conjunto conexo o punto lmite. Con estos conceptos se pueden definir a su vez transformaciones continuas y homeomorfismos. Por ejemplo una transformacin continua es aquella que asocia a cada punto de un espacio un nico punto del espacio imagen y tal que para cualquier vecindad de un punto en la imagen U(f(x)), existe una vecindad del punto en el origen que contiene a la imagen inversa de la vecindad en la imagen. Este concepto no es ms que una generalizacin de la definicin - de funcin continua dada por Cauchy. Un homeomorfismo es una correspondencia 1-1 continua en ambas

Comentario: Poner dibujos de la definicin psilon

direcciones. Las propiedades que permanecen bajo homeomorfismos se llaman invariantes topolgicas.

Adems Haussdrf aadi la nocin de completitud de un espacio la cual haba introducido Frchet en 1906, que estableca que un espacio es completo si toda sucesin de Cauchy tiene lmite. La introduccin de espacios abstractos se mostraba de gran inters para la investigacin, por ejemplo: Un espacio topolgico es necesariamente metrizable? Es posible introducir una mtrica que conserve la estructura del espacio de manera que puntos lmite continen siendo puntos lmite? Un resultado destacado en este sentido es el trabajo de Paul S. Urysohn (1898-1924) que establece que cada espacio topolgico normal puede metrizado. Un espacio normal es aquel en el que dos cerrados disjuntos pueden ser encerrados respectivamente en abiertos disjuntos. El problema de la dimensin, haba sido intuido por Cantor en la construccin de una aplicacin 1-1 entre la recta y el plano y por la curva construida por Peano, la cual rellena el cuadrado unidad. Frchet y Poincar sealaron la necesidad de una definicin de dimensin que pudiera ser aplicada a los espacios abstractos a la vez que las usuales recta y plano. Destacan los esfuerzos de matemticos como Brower, Menger, Urysohn, Lebesgue o Nbeling. Este ltimo junto con Menger demuestran un resultado clave en la teora de la dimensin,que establece que cada espacio mtrico compacto de dimensin n, es homeomorfo a algn subconjunto del espacio eucldeo de dimensin 2n+1. El contenido de la topologa de conjuntos sigue siendo enormemente activo. Su relativa facilidad para introducir especificaciones y variaciones permiten generalizar los axiomas bsicos de varios tipos de espacios.

Algunos teoremas bonitos: Teorema ( Borsuk-Ulam n=2 ): Dada una funcin f: S2R2 continua, entonces existe algn x S2 tal que f(x)=f(-x). En particular, en la superficie terrestre hay al menos un punto en el que la presin y temperatura coinciden con la de sus antpodas. Teorema ( de la bola de pelo ): Sobre una esfera no existe ningn campo de vectores tangentes y no nulos continuo. El nombre viene porque a veces el teorema se enuncia diciendo que no se puede peinar una bola de pelo sin hacer algn remolino. Teorema ( del punto fijo de Brouwer n=1 ): Si f: [0,1] [0,1] es continua, admite un punto fijo, esto es, existe x[0,1] tal que f(x)=x. Una posible interpretacin es que si tenemos dos cintas mtricas de igual longitud y doblamos una de ellas sobre s misma cuantas veces queramos y superponemos una sobre la otra hay un punto que no ha cambiado de lugar.

Transparencias

Introduccin a la Topologa
La Topologa nos proporciona mtodos y herramientas que nos permiten distinguir entre espacios no homeomorfos.

A modo de ilustracin, veamos algunos ejemplos:

Cmo distinguiramos una circunferencia de la unin de dos circunferencias unidas por un punto P? Pues bastara observar que si quitamos el punto P de dicha unin se rompe en dos pedazos conexos; y sin embargo, si quitamos un punto a una circunferencia quedar slo un pedazo. En este caso, la propiedad de "conexin" nos permite diferenciar las dos figuras. Cmo distinguiramos por ejemplo el intervalo unidad abierto (0,1) y el intervalo unidad cerrado [0,1]? Aqu veremos que en el primer espacio todos los puntos son "interiores" y sin embargo el segundo posee dos puntos "fronterizos", el 0 y el 1. Cmo podramos distinguir entre una naranja o un donut? Se ve claramente que el segundo tiene un agujero y el primero no, pero cmo los distinguiramos si hipotticamente fusemos habitantes de dos dimensiones ubicados en las superficies de tales espacios. Existen varios mtodos para conocerlo. Supongamos que somos de dimensin 2, y que tenemos un perro, por supuesto tambin de dimensin 2, el cul hemos atado con una cuerda elstica larga, con un extremo fijo a nuestra casa. Lo dejamos libre un par de das y finalmente vuelve hambriento. En caso de vivir sobre un donut, es bastante probable que vuelva con la correa tirante, tanto ms tirante cuantas ms vueltas haya dado alrededor del agujero. Sin embargo, en el caso de vivir sobre una naranja es ms normal que vuelva con la correa floja (puede que venga con la correa tirante, en caso de que por casualidad haya recorrido una circunferencia mxima sobre la esfera).

El problema de los puentes de Knigsberg: El primer problema que dio lugar al nacimiento de la Topologa se remonta a 1736, ao en el que Euler resuelve el problema de los puentes de Knigsberg publicado en un artculo titulado: Solutio problematis ad geometriam situs pertinentis (Solucin de un problema relacionado con la geometra de posicin).

Euler demuestra que es imposible atravesar los siete puentes de Knigsberg pasando exactamente una vez por cada uno de ellos. Para ello, traduce el problema en otro en el que intervienen vrtices (uno por cada regin que podemos caminar a pie) y aristas (una por cada puente).

Se trata pues de encontrar un camino que pase por todas y cada una de las aristas una y slo una vez, (o, dicho de otro modo, dibujar la figura sin levantar el lpiz del papel). El problema en general tiene solucin si y slo si tal figura contiene como mucho dos vrtices con un nmero impar de aristas. Esto no ocurre en el caso de los puentes de Knigsberg. A los figuras con esta propiedad se les llama grafos Eulerianos en el lenguaje actual.

El problema de los cuatro colores: Otro problema interesante que se puede reducir a un problema de grafos, pero en este caso mucho ms complicado, es el Problema de los cuatro colores. En 1850. Francis Guthrie, pregunto a su hermano Frederick, en aquel momento estudiante de Augustus de Morgan, el porqu cuatro colores bastaban para colorear cualquier mapa, esto es, sin que dos paises colindantes tuviesen el mismo color. Kenneth Appel y Wolfgang Haken demostraron finalmente en 1976 que s es posible, reduciendo el problema a un nmero finito de casos que se resolvieron con la ayuda de un ordenador, el cul necesit nada menos que 1200 horas de clculos.

La frmula de Euler para poliedros: v-a+c=2 Esta famosa frmula descubierta por Euler en 1750, relaciona el nmero de vrtices, aristas y caras de un poliedro convexo (o homoemorfo a una esfera). Es curioso que ni Arqumedes ni Descartes la descubrieran, quizs es porque se trata de una frmula en la que no interviene ninguna magnitud de medida. Los nicos poliedros regulares son el tetraedro, cubo, octaedro, dodecaedro e icosaedro. (Por poliedro regular entendemos que cada cara tiene el mismo nmero de aristas, y en cada vrtice concurren el mismo nmero de aristas.)

En la frmula Euler supone que los poliedros son convexos. En general, se tiene que v-a+c=2-2g, donde g denota el nmero de agujeros del poliedro. Descubierta en 1813 por AnoineJean Lhuilier (1750-1840), es el primer invariante topolgico que se conoce. Por ejemplo, para el toro tenemos v-a+c=0. Se puede concluir entonces que el toro y la esfera no son homeomorfos ya que tienen caractersticas de Euler distintas. De igual forma, el doble toro, el triple toro, etc son todas superficies diferentes, ya que tienen caractersticas de Euler -2, -4, etc. La Banda de Mbius: Seguro que todos hemos construido una cinta de Mbius con papel. A partir de una tira de papel rectangular, unimos con pegamento los dos extremos despus de haber girado uno de ellos 180 grados. El resultado es una superficie con una sola cara, con borde una circunferencia y que no es orientable (un supuesto habitante de dimensin dos que viviese en esta superficie podra aparecer despus de rodear toda la banda con el corazn en lado izquierdo, o si tuviese un reloj de pulsera, las agujas giraran en sentido contrario al normal). Otra de las propiedades sorprendentes es que al cortarla justo por su meridiano se consigue una sola pieza y no dos como cabra esperar. August Mbius (1790-1868) publica una descripcin de esta superficie y sus propiedades ms destacables en 1865.

La botella de Klein: Es una botella que consta de una sla cara y que no tiene ni interior ni exterior. En cierto sentido, se obtiene de forma anloga a la banda de Mbius. Empezamos a partir de un cilindro sin tapas y unimos las dos circunferencias de los extremos, no en el sentido usual, que obtendramos el toro, sino al revs. Es decir, hemos de imaginarnos que uno de los extremos entra dentro del cilindro sin cortarlo (se puede hacer si disponemos de una cuarta dimensin). Otra forma de ver la botella de Klein es uniendo dos bandas de Mbius por su borde.

El Teorema de la curva de Jordan: Es claro que una circunferencia contenida en un plano, divide a ste en dos regiones, una interior y otra exterior. Esta propiedad se sigue cumpliendo si deformamos continuamente la circunferencia en un cuadrado o un tringulo, o en general en cualquier curva cerrada que no se corte a s misma. Este es el famoso Teorema de la curva de Jordan. Algunas identificaciones :

La conjetura de Poincar: Incluyo aqu un extracto del artculo Las Matemticas ante el cambio de milenio, de Phillip Griffiths, aparecido en The American Mathematical Monthly, nmero 1 del volumen 107 de Enero de 2000, y posteriormente en La Gaceta de la Real Sociedad Matemtica Espaola Vol.3, n1, Enero-Abril 2000, pp. 23-41. "... La conjetura de Poincar. Este problema es desconcertante porque, a la vez, es muy fundamental y tiene una apariencia muy simple. En los das de Poincar, hace un siglo, se consideraba como una cuestin trivial al igual que toda la Topologa, un rea de las Matemticas que, en esencia, l haba inventado. La Topologa de hoy en da es un rea vital y significativa de las Matemticas. Grosso modo, la topologa se interesa por las propiedades fundamentales de las estructuras y de los espacios. Desde el punto de vista de un toplogo, se puede estirar, comprimir o torcer una esfera y seguir siendo una esfera, siempre y cuando no la pinchemos o la rasguemos. Un toplogo ve un donut y una taza de caf como la misma cosa, porque puede deformar cualquiera de ellos hasta obtener una forma bsica comn a ambos, a la que se llama toro. Los toplogos estn particularmente interesados en las variedades, nombre que sugiere multiplicidad de formas. Un baln de ftbol, por ejemplo, es una variedad de dimensin 2, una 2-esfera; lo podemos manipular como queramos, pero sin romperlo, y seguir siendo un baln de ftbol.

El objetivo de los toplogos es identificar todas las variedades posibles, incluyendo la forma del universo, que es el tema de la conjetura de Poncar. Esto es relativamente fcil en 2 dimensiones, y se consigui al final del siglo XIX. El criterio para comprobar si una variedad es una 2-esfera es muy simple. Imagine el lector que coloca una goma elstica en la superficie de un baln de ftbol. Si la goma se puede comprimir (sin salirse de la superficie) hasta ocupar un solo punto, y esto en cualquier parte de la superficie, el baln es una 2-esfera y decimos que es simplemente conexa. En 1904, Poincar conjetur que lo que es vlido en 2 dimensiones lo sera tambin en 3 y que cualquier variedad de dimensin 3 que sea simplemente conexa (como el universo en que habitamos) ha de ser una 3-esfera. Esto parece obvio, pero nadie ha sido capaz hasta ahora de demostrar que no hay 3-esferas espurias, de manera que la conjetura no ha sido resuelta. Por sorprendente que pueda parecer, la conjetura anloga para dimensiones mayores que 3 s ha sido comprobada, pero la dimensin tres se resiste. "

Teora de Lmites: Uno de los lugares centrales del anlisis lo ocupa el concepto de lmite. Sobre l se apoya todo el aparato de las demostraciones infinitesimales. los matemticos del siglo XVIII probaron un conjunto de procedimientos para fundamentar el anlisis infinitesimal pero lo insatisfactorio de casi todos estos mtodos se hizo rpidamente evidente. A finales del siglo XVIII y principios del XIX era ms que evidente la necesidad de construccin de la teora de lmites como base del anlisis matemtico y una reconstruccin radical de este ltimo. Este proceso de reconstruccin se revel claramente en los aos veinte de este siglo, sobre todo en los trabajos de Agustn-Luis Cauchy y en sus famosas conferencias, las cuales fueron publicadas en tres libros: "Curso de anlisis" (1821); "Resumen de conferencias sobre el clculo de infinitesimales" (1823) y "Conferencias sobre aplicaciones del anlisis a la geometra" (dos tomos 1826,1828). Estos libros tienen una importancia especial, porque en ellos por primera vez, el anlisis matemtico se construye sucesivamente sobre la teora de lmites. El primero de los libros est dedicado al estudio de las funciones elementales, tanto de variable real como compleja, incluyendo el estudio de las series infinitas. Asimismo se introduce por primera vez, una magnitud infinitesimal como una variable cuyo lmite es igual a cero. Expuso tambin la cuestin de la convergencia de las series, as como sus criterios de convergencia. En el segundo de los libros se expone el clculo diferencial e integral de funcin de variable real, destacando la aparicin de una demostracin analtica de existencia de integral definida de una funcin continua. Teora de Funciones:. Los mritos principales en este rama, corresponden a Bernard Bolzano, aunque sus resultados fundamentales vieran la luz despus de su muerte. ya en 1817, Bolzano formul y demostr el teorema de que si un conjunto de nmeros reales est acotado entonces tiene extremo, adelantndose en cuarenta aos a Weierstrass. Igualmente se adelant a Cauchy en el estudio del criterio de convergencia de sucesiones y dio una definicin rigurosa de continuidad de funciones. Estudi profundamente las propiedades de las funciones continuas y demostr en relacin con stas una serie de notables teoremas, destacando el denominado teorema de Bolzano: una funcin continua toma todos los valores comprendidos entre su mximo y su mnimo. Tambin ampli la clase de curvas continuas, aplicando el mtodo de acumulacin de singularidades y obtuvo, entre otras funciones originales, la funcin que no tiene derivada en ningn punto y conocida actualmente como funcin de Bolzano. En otra de sus obras "Paradoja del Infinito" encontramos las bases de la posterior teora de conjuntos. Teoras de Nmeros reales y Teora de Conjuntos: En el ao 1872 surgieron
una serie de trabajos, escritos por G. Cantor cuyo nico objetivo era el de dotar de una teora rigurosa a los nmeros reales, problema ste considerado vital para una correcta fundamentacin del anlisis.. Cantor, identific al nmero real con una sucesin convergente de nmeros racionales. La creacin de la teora de conjuntos infinitos y los nmeros transfinitos pertenece tambin a G. Cantor. Durante los aos 1879 a 1884 elabor de forma sistemtica la teora de conjuntos, introduciendo el concepto de potencia de un conjunto, el concepto de punto lmite, de conjunto derivado...La teora general de las potencias de conjuntos, las transformaciones y operaciones sobre conjuntos y las propiedades de los conjuntos ordenados constituyeron fundamentalmente la teora abstracta de conjuntos. Las cuestiones de fundamentacin de la teora de conjuntos, junto con la investigacin de los lmites de su aplicacin se convirtieron durante el siglo XX en una ciencia especial

BIBLIOGRAFIA:

Kline.Mathematical Thougth from Ancient to Modern Times. James R.Munkres. Topologa. (2 Edicin). Miguel de Guzmn .Cuentos con cuentas , Red Olmpica, Buenos Aires, 1997 La Gaceta de la Real Sociedad Matemtica Espaola Vol.3, n1, Enero-Abril 2000, pp. 23-41. Pgina web:mactutor-Topics of the history Investigacin y ciencia. Octubre 2004-Las formas del espacio, pp. 68-78.

David Garro Moreno

Historia de las matemticas