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.

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.
Comentario: Inserta dibujo
puentes y su grafo

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.

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
Comentario: los dibujos de la
botella de Klein,y del plano
proyectivo

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 n-
dimensional 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.


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 3-
variedad 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


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

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 T
2
)
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



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 los dibujos
de distancias
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: S
2
R
2
continua, entonces
existe algn x S
2
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 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 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