Se trata de una disciplina que integra geometría, álgebra y análisis de una
manera especial, aunque sistemáticamente se considera una parte de la geometría. Sus orígenes están asociados a la obra de Euler, Cantor y Möbius. La palabra topología había sido utilizada en 1847 por J. B. Listings en un libro titulado Vorstudien zur Topologie. Este había sido un alumno de Gauss en el año 1834. Usaba el término topología para lo que prefería llamar "geometría de posición'', sin embargo von Staudt usaba este último para la geometría proyectiva. En la topología suele reconocerse dos ramas: la conjuntista y la algebraico combinatoria. La primera asociada a la teoría de conjuntos y la segunda que considera las figuras geométricas como agregados de bloques más pequeños. Para algunos historiadores de las matemáticas, el punto decisivo fue dado por la publicación de Analisis Situs de Poincaré en 1895. Poincaré realizó importantes contribuciones en la topología combinatoria o algebraica. Podemos decir que ésta refiere a propiedades de los invariantes de transformaciones o funciones uno a uno (biunívocas o inyectivas) y además bicontinuas (la función y su inversa son continuas): los homeomorfimos. Courant y Robbins lo ponen así: "Recordemos que la geometría elemental maneja las magnitudes (longitud, ángulo y área) que son invariantes por movimientos rígidos, mientras que la geometría proyectiva trata los conceptos (punto, línea, incidencia, razón simple) que son invariantes por el grupo, todavía más extenso, de las transformaciones proyectivas. Pero los movimientos rígidos y las proyecciones son casos muy particulares de las transformaciones topológicas: una transformación topológica de una
figura en otra figura está dada por cualquier correspondencia
entre los puntos de y los puntos de , que cumpla las dos
propiedades siguientes:
1. La correspondencia es biunívoca. Esto significa que a cada punto
de corresponde exactamente un punto de , y
recíprocamente. 2. La correspondencia es bicontinua. Esto significa que si tomamos dos
puntos y cualesquiera de , y movemos de manera que su
distancia a tienda a cero, entonces la distancia entre los
correspondientes puntos y de también tiende a cero, y recíprocamente.
Cualquier propiedad de una figura geométrica , que se mantenga para
todas las figuras en que se transforma mediante una transformación
topológica, se llama una propiedad topológica de . Y la topología es la
rama de la geometría que sólo estudia las propiedades topológicas de las figuras. Imaginen una figura copiada a 'mano alzada' por un dibujante consciente pero inexperto, que curvara las líneas rectas y alterara los ángulos, las distancias y las áreas; entonces aunque se habrían perdido las propiedades métricas y proyectivas de la figura primitiva, las propiedades topológicas quedarían iguales''. [Courant, R. y Robbins, H.: "Topología'' p. 177] La topología trabaja esencialmente con los aspectos cualitativos. Sin embargo, el asunto sobre los inicios de la topología debe colocarse en una perspectiva histórica más amplia.
Puentes de Konigsberg.
Se puede rastrear el asunto hasta Leibniz que estudió la operación o
transformación de algunas propiedades de figuras geométricas, asunto que llamó precisamente analisis situs ogeometria situs. Otra referencia tiene que ver con la relación que existe entre el número de vértices, bordes y caras de poliedros convexos cerrados. En un cubo, la relación es , lo que había sido publicado y demostrado por Euler en los años 1750 - 1751 (se supone sin embargo que esto era conocido por Leibniz y Descartes). Un asunto de carácter topológico fue el problema del puente de Koenigsberg, para el que Euler encontró una solución en el año de 1735.
Listing trató de generalizar la relación
Möbius, quien fuera asistente de Gauss, clasificó las propiedades geométricas de similaridad, afinidad y congruencia y propuso el estudio de las relaciones entre figuras con puntos que poseían relaciones biunívocas y donde existiera correspondencia también con los puntos cercanos. Fue en este contexto que Möbius descubrió las superficies con un solo lado, entre las cuales la más famosa es precisamente la llamada "cinta de Möbius''. Debe decirse, no obstante, que Listing también las había concebido. El problema de los 4 colores también debe mencionarse. Se trataba de mostrar que 4 colores son suficientes para colorear todos los mapas de los países siempre y cuando los países que tuvieran un arco como frontera común fueran coloreados con un color diferente. Se trataba de una problema-conjetura formulada por un profesor casi desconocido de matemáticas: Francis Guthrie. El primer intento de probar la conjetura, aunque fallido, se dice que fue dado por Cayley. Courant y Robbins lo consignan: "Al colorear un mapa geográfico, se suele dar colores distintos a dos países que tengan parte de sus límites en común. Se ha encontrado empíricamente que cualquier mapa, independientemente de cuántos países tenga y de cómo estén situados, puede colorearse usando solamente cuatro colores distintos. Es fácil ver que un número menor de colores no bastaría para todos los casos. La figura 11 muestra una isla en el mar, que ciertamente no puede ser coloreada de manera apropiada con menos de cuatro colores, ya que contiene cuatro países, cada uno de los cuales limita con los otros tres. El hecho de que todavía no se haya encontrado ningún mapa que requiera más de cuatro colores para colorearlo, sugiere el siguiente teorema matemático: Para cualquier división del plano en regiones no superpuestas, siempre es posible marcar las regiones con uno de los números 1, 2, 3, 4, de tal manera que las regiones adyacentes no reciban el mismo número. Por regiones 'adyacentes' entendemos aquellas que tienen un segmento de límite en común; dos regiones que se encuentren en un solo punto o en un número finito de puntos (como los estados de Colorado y Arizona) no se llamarán adyacentes, ya que no se presenta ninguna confusión si se colorean del mismo color''. [Courant, R. y Robbins, H.: "Topología'' p. 183]
Con Riemann la investigación en topología adquiere una nueva fisonomía, pues
sin duda la geometría diferencial posee un gran sentido topológico. En el año 1851, el mismo Riemannsubrayó la necesidad de resultados topológicos para el estudio de las funciones de variable compleja. De hecho, introdujo el concepto de conectividad de una "superficie de Riemann'', una noción que le sirvió para clasificar superficies, y que era una propiedad topológica. Klein también estudió superficies topológicas, y, precisamente, se le debe la creación de la famosa "botella de Klein'': una superficie que no posee borde, ni tampoco interior o exterior, y posee un solo lado. Una generalización del concepto de conectividad fue aportado por el italiano Enrico Betti, de la Universidad de Pisa, que redefinió lo que se llama números de conectividad para cada dimensión. La teoría más general de la topología combinatoria fue desarrollada por Poincaré, quien también había ofrecido una teoría de ecuaciones diferenciales cualitativas, que trata precisamente de la forma de integrales curvas y el carácter de los puntos singulares. Poincaré realizó una generalización de las superficies de Riemann por medio de las variedades diferenciales para así estudiar la geometría de las figuras -dimensionales. El teorema de la dualidad, los números de Betti, coeficientes de torsión, "grupo de Poincaré'', grupo de homotopía, son todos asuntos que se incluyen en estos trabajos. En "Analysis situs'' hizo primeramente un listado de todos los diferentes tipos de variedades diferenciales y las ecuaciones algebraicas que las describen (algunas ya conocidas, otras nuevas). Posteriormente, en otros artículos acude a un procedimiento geométrico, donde se concentra en sólidos como el cubo y el tetraedro, y ofrece un método más simple para contar el número de características topológicas de cada
sólido. Poincaré trató de extender la famosa formula de Euler a dimensiones. Las
variedades se convierten en la topología algebraica y combinatoria: el estudio de fórmulas algebraicas o diferenciales que describen la estructura de superficies no usuales. En lugar de clasificar todos los espacios topológicos posibles, se trata de limitarse a estructuras que se encuentran en el álgebra abstracta. La topología conjuntista fue desarrollada en sus inicios por Maurice Fréchet (1878 - 1973), 1906, quien empujó hacia el estudio de espacios más abstractos. Un espacio se considera un conjunto de puntos vinculados por una propiedad común. Estas nociones fueron motivadas por el progreso de la teoría de conjuntos de Cantor y del análisis funcional (en particular dentro del cálculo de variaciones). Este último analiza las funciones como puntos de un espacio. Fréchet estableció diferentes conceptos que podían servir como el nexo para establecer un espacio. Por ejemplo, ofreció una generalización del concepto de distancia en el espacio euclidiano para definir los espacios métricos. En un espacio métrico se considera
el vecindario de un punto como todos aquellos puntos que están a una distancia
establecida del punto . En tres dimensiones se trataría de bolas o esferas con
un radio determinado. Otro de los grandes topólogos fue el holandés L. E. J. Brouwer, a quien vamos a estudiar con mayor detalle dentro de la filosofía de las matemáticas, que realizó contribuciones en la topología conjuntista y la algebraica. Partió de una perspectiva diferente: enfatizó las transformaciones biunívocas más que la invariancia de la dimensión. Completó y generalizó los trabajos de Poincaré. Estableció la topología de los conjuntos de puntos, que refiere a propiedades de los números reales, y también hizo contribuciones a la teoría de la dimensión (que estudia el número de coordenadas que se requiere para describir un objeto matemático básico). Tiempo después, Felix Hausdorff creó una teoría de espacios abstractos usando la noción de vecindario (Grundzüge der Mengenlehre, 1914). Un espacio topológico se define como un conjunto de puntos junto con una familia de vecindarios asociados a ellos. Aquí hay varias nociones que se establecen: espacio compacto, conexo, separable. También es aquí donde entra la idea de homeomorfismo. Una vez establecido esto, se formula la topología conjuntista como aquélla que estudia las propiedades de invariantes bajo homeomorfismos. Hausdorff también dio la noción de completitud, que el mismo Fréchet había usado en 1 906. Usó la noción de conectividad, planteada antes por otros matemáticos (aunque él no lo sabía), para considerar conjuntos conexos como ideas topológicas. Hausdorff formalizó la topología conjuntista mediante una nueva concepción de geometría en la cual un espacio tiene una estructura que consiste en relaciones que pueden definirse en términos de un grupo de transformaciones. Con el trabajo de Hausdorff se afirmó la topología conjuntista como una disciplina propia dentro de las matemáticas. Volvemos a la topología algebraica. Se suele afirmar que fue Oswald Veblen quien, como Hausdorff con la conjuntista, hizo de la topología combinatoria un campo independiente de las matemáticas. En el año 1905 Veblen probó el teorema de la curva de Jordan, que afirma que una curva cerrada simple en un plano (un círculo, por ejemplo), divide ese plano en 2 regiones: una adentro y otra afuera de la curva. Veblen también usó la fórmula de Euler, el problema de los cuatro colores y otros asuntos topológicos clásicos para obtener importantes resultados en topología. A lo largo de su obra Veblen quería hacer que la geometría sirviera como un modelo para el mundo real. Alumno y colega de Veblen en la Universidad de Princeton, James W. Alexander ampliaría muchos trabajos en la topología combinatoria, como las pruebas de Brouwer en la topología algebraica y combinatoria; además, mostró que la invariancia de las propiedades combinatorias podía aplicarse a objetos topológicos especiales, los números de Betti, y a los coeficientes de torsión. En 1928 encontró un método directo para encontrar una fórmula para describir los "nudos''. Alexander fue importante en la búsqueda de convergencias entre los dos tipos de topologías. Por ejemplo, observó las relaciones entre la topología combinatoria y el analysis situsrectilíneo (es decir, geometría de figuras de un número finito de pedazos planos). En el siglo XX, la topología se afirmó como una nueva disciplina con toda propiedad dentro de las matemáticas, al igual que la geometría, el álgebra, o el análisis, y participó de un espíritu de convergencia que ha caracterizado buena parte de las matemáticas modernas; se trata de la utilización de métodos de una disciplina en las otras, potenciando constantemente nuevas ramas de un árbol cada vez más complejo y diversificado. http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte6/Cap21/ Parte05_21.htm