Qu es la topologa?

... Adems de aquella parte de la geometra que trata sobre cantidades y que se ha
estudiado en todo tiempo con gran dedicacin, el primero que menciono la otra parte,
hasta entonces desconocida, fue G. Leibniz, el cual la llam geometra de la posicin.
Leibniz determino que esta parte se tena que ocupar de la sola posicin y de las
propiedades provenientes de la posicin en todo lo cual no se ha de tener en cuenta las
cantidades, ni su clculo... Por ello, cuando recientemente se mencion cierto problema
que pareca realmente pertenecer a la geometra, pero estaba dispuesto de tal manera que
ni precisaba la determinacin de cantidades ni admita solucin mediante el clculo de
ellas, no dud en referirlo a la geometra de la posicin...
L. Euler.

La topologa es probablemente la ms joven de las ramas clsicas de las matemticas. En
contraste con el lgebra, la geometra y la teora de los nmeros, cuyas genealogas datan
de tiempos antiguos, la topologa aparece en el siglo diecisiete, con el nombre de analysis
situs, esto es, anlisis de la posicin.

De manera informal, la topologa se ocupa de aquellas propiedades de las figuras que
permanecen invariantes, cuando dichas figuras son plegadas, dilatadas, contradas o
deformadas, de modo que no aparezcan nuevos puntos, o se hagan coincidir puntos
diferentes. La transformacin permitida presupone, en otras palabras, que hay una
correspondencia biunvoca entre los puntos de la figura original y los de la transformada, y
que la deformacin hace corresponder puntos prximos a puntos prximos. Esta ultima
propiedad se llama continuidad, y lo que se requiere es que la transformacin y su inversa
sean ambas continuas: trabajamos con homeomorfismos.

El toplogo considera los mismos objetos que el gemetra, pero de modo distinto: no se fija
en las distancias o los ngulos, ni siquiera de la alineacin de los puntos. Para el toplogo
un crculo es equivalente a una elipse; una bola no se distingue de un cubo: se dice que la
bola y el cubo son objetos topolgicamente equivalentes, porque se pasa de uno al otro
mediante una transformacin continua y reversible.

0.2 Un poco de historia
En 1679, G. Leibniz (1646-1716) publica su famoso libro Characteristica Geometrica, en
el cual (en trminos modernos) intenta estudiar ms las propiedades topolgicas que las
puramente mtricas de las figuras. Insiste en que, aparte de la representacin coordenada de
figuras, se necesita de otro anlisis, puramente geomtrico o lineal, que tambin defina la
posicin (situs), como el lgebra define la magnitud.

Los matemticos en el siglo XVIII muestran poco inters en topologa, con la excepcin de
L. Euler (1707-1783) cuyo genio comprende todas las matemticas. En 1736, Euler publica
un artculo con la solucin al famoso Problema de los puentes de Konigsberg, titulado
Solutio problematis ad geometriam situs pertinentis. El ttulo ya indica que Euler es
consciente de que est trabajando con una clase diferente de matemtica, en la que la
geometra ya no es importante.

El siguiente paso en esta liberacin de la matemtica tambin se debe a Euler. En 1750
escribe una carta a C. Goldbach (1690-1764) en la que da la famosa frmula de Euler para
un poliedro: v l + c = 2, donde v es en nmero de vrtices del poliedro, l es el
nmero de lados y c el nmero de caras. Esta frmula, de asombrosa simplicidad, parece
que fue olvidada por Arqumedes (287 AC-212 AC) y R. Descartes (1596-1650), aunque
los dos escribieron extensamente sobre poliedros. La razn debe ser que, para todo el
mundo antes de Euler, pareca imposible pensar en propiedades geomtricas sin que la
medida estuviera involucrada. Euler publica los detalles de esta frmula en 1752 en dos
artculos, donde da una demostracin basada en la diseccin de slidos en rodajas
tetradricas. Euler pasa por alto algunos problemas en su prueba; por ejemplo, supone que
los slidos son convexos.

A.J. Lhuilier (1750-1840) contina el camino iniciado por Euler con su frmula polidrica.
En 1813, Lhuilier publica un importante trabajo, donde indica que la frmula de Euler es
falsa para slidos con asas sobre ellos: si un slido tiene g asas (un asa es un toro
adjuntado al espacio), Lhuilier prueba que la frmula se escribe v l + c = 2 2g. Este
es el primer resultado conocido sobre invariantes topolgicos.

A.F. Mobius (1790-1868) publica una descripcin de la banda que lleva su nombre en
1865. Intenta escribir la propiedad de una nica cara de la banda en trminos de no
orientabilidad.

J.B. Listing (1802-1882) es el primero en usar la palabra topologa. Sus ideas topolgicas
se deben principalmente a su maestro C.F. Gauss (1777-1855). Listing escribe un artculo
en 1847 llamado Vorstudien zur Topologie y en 1861, publica otro artculo, en el cual
describe la banda de Mbius (cuatro aos antes que Mbius) y estudia la nocin de
conexin de las superficies.

Listing no es el primero en examinar las componentes conexas de las superficies; B.
Riemann (1822-1866) estudia este concepto en 1851 y de nuevo en 1857 cuando introduce
las superficies de Riemann.

C. Jordan (1838-1922) publica en 1882 su Cours dAnalyse, que contiene pruebas
rigurosas de resultados topolgicos intuitivamente obvios sobre curvas en el plano,
introduciendo adems otro mtodo para estudiar la conexin de las superficies.

Listing examina la conexin en el espacio eucldeo de dimensin tres, pero E. Betti (1823-
1892) extiende estas ideas a dimensiones arbitrarias.

La idea de conexin es descrita con rigor por H. Poincare (1854-1925) en una serie de
artculos bajo el ttulo de Analysis situs en 1895. Poincare introduce el concepto de
homologa y da una definicin precisa de los nmeros de Betti asociados a un espacio. E. de
Jonqui`eres (1820-1901) generaliza en 1890 la frmula para poliedros convexos de Euler a
poliedros no necesariamente convexos. Asimismo, en relacin con la conexin, Poincare
introduce el concepto de grupo fundamental de una variedad y la nocin de homotopa.
Un segundo camino en el cual se desarrolla la topologa es a travs de la generalizacin de
ideas de convergencia. Este proceso se inicia en realidad en 1817 cuando B. Bolzano
(1781-1848) asocia la convergencia con un subconjunto acotado infinito de nmeros reales,
en vez de pensar exclusivamente en convergencia de sucesiones de nmeros.

G. Cantor (1845-1918) introduce en 1872 el concepto de conjunto derivado (o familia de
puntos lmite) de un conjunto. Define los subconjuntos cerrados de la recta real como
aquellos conteniendo a su conjunto derivado e introduce la idea de conjunto abierto, un
concepto clave en la topologa de conjuntos. Y se define el concepto de entorno de un
punto.

En 1906, M. Frchet (1878-1973) llama a un espacio compacto si cada subconjunto infinito
acotado contiene un punto de acumulacin. Frchet es capaz de extender la nocin de
convergencia de un espacio eucldeo, definiendo los espacios mtricos. Prueba que los
conceptos de abierto y cerrado de Cantor se extienden naturalmente a espacios mtricos.

En el Congreso Internacional de Matemticos de Roma de 1909, F. Riesz (1880-1956)
propone un nuevo acercamiento axiomtico a la topologa, basado en una definicin
conjuntista de puntos lmite, sin un concepto de distancia subyacente. Unos cuantos aos
ms tarde, en 1914, F. Hausdorff (1868-1942) define los entornos a travs de cuatro
axiomas, de nuevo sin consideraciones mtricas. Este trabajo de Riesz y Hausdorff
realmente da lugar a la definicin de espacio topolgico abstracto.

Hay una tercera va en la que los conceptos topolgicos entran en las matemticas, a saber,
a travs del anlisis funcional. Esta es un rea que surge de la fsica matemtica y la
astronoma, debido a que los mtodos del anlisis clsico eran inadecuados al abordar
algunos tipos de problemas.

J. Hadamard (1865-1963) introduce la palabra funcional en 1903 cuando estudia los
funcionales lineales F de la forma F(f) = limn_baf(x)gn(x)dx. Frchet contina el
desarrollo de esta teora, definiendo la derivada de un funcional en 1904.
E. Schmidt (1876-1959) examina en 1907 la nocin de convergencia en espacios de
funciones; la distancia se define a travs un producto interior. S. Banach (1892-1945)
realiza un paso posterior en la abstraccin en 1932, cuando pasa de los espacios con
producto interior a los espacios normados.

Poincar desarrolla muchos de sus mtodos topolgicos cuando estudia ecuaciones
diferenciales ordinarias que provienen del estudio de ciertos problemas astronmicos. Esta
coleccin de mtodos se transforma en una completa teora topolgica en 1912, con los
estudios de L.E.J.

Brouwer (1881-1966).