Topologia.

Topologa de grafos.
El estudio de grafos est ligado habitualmente a la topologa. Un grafo es sencillamente
un conjunto de puntos, los vrtices, algunos de los cuales estn ligados entre ellos por
medio de lneas, las aristas. La naturaleza geomtrica de estos arcos no tiene importancia,
slo cuenta la manera en la que los vrtices estn conectados.
Esta teora , insiste en dos ejemplos clsicos, el problema de los siete puentes de
Knisberg y, el teorema de los cuatro colores que parecen un juego de nios, pero que
involucran en su resolucin complicadas teoras matemticas:
El problema de los siete puentes de Knisberg:
En 1700, los habitantes de Knisberg (hoy en da Kaliningrado, Rusia), se preguntaban si
era posible recorrer esta ciudad pasando una vez y slo una por cada uno de los puentes
sobre el ro Pregel, y volviendo al punto de partida. En aquella poca, Knisberg tena siete
puentes (a, b, c, d, e, f y g en la figura) uniendo las cuatro partes de la ciudad (A, B, C y D)
separadas por las aguas, y dispuestas como se indica:

En 1736 Euler prob que la respuesta era negativa, usando un grafo: se dibujan sobre una
hoja de papel cuatro vrtices que simbolizan las cuatro partes separadas de la ciudad,
despus se trazan entre estos vrtices las aristas, simbolizando los puentes:

Un grafo se llama conexo si existe un camino ligando cada par de vrtices. Un camino sobre un
grafo se llama euleriano, si pasa por cada arista exactamente una vez. Un circuito es un camino
cerrado. El grado de un vrtice es el nmero de aristas que llegan al l. Teniendo en cuenta estas
definiciones, Euler demuestra:

Teorema de Euler. Existe un circuito euleriano en un grafo si y slo si el grafo es conexo y cada
vrtice tiene grado par

Es bastante fcil comprender ahora la razn por la que el problema de los siete puentes de
Knisberg no tiene solucin: un paseante que llega a uno de los cuatro barrios de la ciudad debe
forzosamente irse y tomando un puente diferente. En el grafo, sto se traduce por el hecho de
que cada vrtice debe estar asociado a un nmero par de aristas. Pero, la configuracin de los
puentes de Knisberg no verifica obviamente esta condicin, probada por Euler como necesaria y
suficiente.

El teorema de los cuatro colores:

Guthrie plantea en la siguiente conjetura: para colorear cualquier mapa geopoltico plano
(suponiendo cada pas formado por un nico trozo), de tal modo que dos pases con frontera
comn sean de distinto color, basta (como mximo) con cuatro colores.

Kempe publica una demostracin de la conjetura. Esta prueba es en principio aceptada, hasta que
Heawood descubre en un error en la demostracin de Kempe. Sin embargo, Kempe desarrolla en
su prueba el llamado mtodo de las cadenas de Kempe (basado en teora de grafos), que contiene
las ideas bsicas que se usarn despus para la prueba definitiva de la conjetura. Heawood sigue
trabajando en el problema pero no lo soluciona, aunque consigue probar que con cinco colores si
se puede colorear cualquier mapa. Tambin se sabe que tres colores no son suficientes, de modo
que slo queda por confirmar o refutar la conjetura de los cuatro colores.

K. Appel y W. Haken dan una prueba del teorema, demostrando mediante un complicado
programa de ordenador que, efectivamente, cuatro colores son suficientes para colorear cualquier
mapa plano. Algunos matemticos tienen muchas reservas con respecto a esta demostracin.
Pero, en 1996, N. Robertson, D. P. Sanders, P. Seymour y R. Thomas (Georgia Institute of
Technology), publican una nueva prueba, sin los inconvenientes de la demostracin de Appel y
Haken. El teorema de los cuatro colores es igualmente cierto para mapas dibujados sobre una
esfera. Al contrario, sobre un toro, pueden ser necesarios hasta siete colores.

Cul es la relacin con la teora de grafos? Si se elige un punto en cada pas representado y se
traza una lnea uniendo dos puntos cada vez que correspondan a dos pases adyacentes, se
obtiene un grafo. El problema del coloreado consiste entonces en atribuir un color a cada vrtice
del grafo, de manera que dos vrtices conectados tengan siempre un color diferente.

La teora de nodos.

Vamos a ver la teora de nudos, correspondientes a las aplicaciones en Biologa Molecular.

La tcnica de tejido, que precisa cruces y anudados de hilos, se conoce ya en el neoltico. An en

pocas anteriores, existen ya mtodos que permiten unir una lmina de silex a su mango, con
tripas, nervios de animales o fibras vegetales. Lamentablemente, la descomposicin de todas estas
ligaduras orgnicas no permitir nunca conocer con precisin la edad de los primeros nudos... En
la poca actual, los marinos se han apropiado de esta tcnica, esencial para su trabajo. En 1944, el
pintor C.W. Ashley (1881-1947) describe y dibuja en su libro The Ashley Book of Knots
exactamente 3.854 nudos.

Los nudos estn presentes en mbitos tan dispares como la decoracin, la industria textil, la
magia, el alpinismo o la ciruga. Su estudio matemtico permite en la actualidad ver su relacin
con la fsica, la qumica o la biologa molecular. Para el matemtico, un nudo es una curva
continua, cerrada y sin puntos dobles. Esta curva est situada en un espacio de dimensin tres y se
admite que pueda ser deformada, estirada, comprimida, pero est prohibido hacer cortes. Cuando
se puede, a travs de manipulaciones de este tipo (es decir, por medio un homeomorfismo) pasar
de un nudo a otro, se dice que son equivalentes. En general, es muy difcil decidir cuando dos
nudos son equivalentes, y gran parte de la teora de nudos est precisamente dedicada a intentar
resolver esa cuestin. Por ejemplo, el nudo trivial (no hay nudo) equivale a este otro de apariencia
complicada:

Los nudos estn catalogados teniendo en cuenta su complejidad. Una medida de la complejidad es
el nmero de cruce, es decir, el nmero de puntos dobles en la proyeccin plana ms simple del
nudo. El nudo trivial tiene nmero de cruce cero. El trbol y la figura de ocho son los nicos nudos
con nmero de cruce tres y cuatro, respectivamente.

Hay dos nudos con nmero de cruce cinco, tres con seis y siete con nmero de cruce siete. Pero el
nmero crece radicalmente: hay 12.965 nudos con trece o menos cruces en una proyeccin
minimal, y 1.701.935 con dieciseis o menos cruces... Los nudos se pueden sumar, restar,
multiplicar e incluso dividir (el lgebre de los nudos). Pero cuando los nudos se complican, su
simple descripcin no basta para distinguirlos. As, partiendo de su forma (la geometra del nudo),
se han desarrollado frmulas que funcionan para todos los nudos, hay invariantes topolgicos que
se obtienen al estudiar el complementario del nudo.

Aplicacin en biologia molecular:

El anlisis topolgico es una herramienta esencial para el desarrollo de la Biologa molecular

moderna. La teora de nudos, esto es, el estudio de curvas cerradas en el espacio, aparece de
forma natural en el anlisis estructural de molculas como el ADN, el ARN y las protenas. Estas
molculas son lo suficientemente largas y flexibles como para que su eje longitudinal pueda estar
anudado.

El ADN, el material gentico ms importante en la mayora de los organismos, se ve habitualmente

como una doble hlice, en la que dos cadenas de nucletidos complementarios se enrollan a lo
largo de un eje comn. El eje de esta hlice doble no es lineal, sino curvo. La doble hlice puede
moverse en el espacio para formar una nueva hlice de orden mayor; en este caso se habla de
ADN sobreenrollado. Parece que una gran parte de los ADN conocidos se muestran de esta
manera sobreenrollada en algn momento del ciclo de su vida. El ADN circular sobreenrollado es
una doble hlice de molculas, donde cada cadena de polinucle-tidos forma un anillo. Cada
propiedad fsica, qumica y biolgica del ADN (comportamiento hidrodinmico, en ergtico, ...) es
afectado por la circularidad y las deformaciones asociadas al sobreenrollamiento.

La comprensin del mecanismo del sobreenrollamiento y las consecuencias de estas

caractersticas estructurales para el ADN, es un problema matemtico bastante complejo, que
hace intervenir dos ramas de la matemtica: la topologa y la geometra diferencial. Para estudiar
matemticamente el sobreenrrollamiento, hay que construir un modelo en el que la estructura se
represente como un estrecho lazo torcido de espesor infinitesimal. Por ello, es necesario describir
los nudos, encontrar caractersticas esenciales que permitan distinguirlos, en otras palabras,
clasificarlos sin riesgo a confusin. Estas caractersticas, que deben permanecer inalterables a lo
largo de la deformacin del nudo, se llaman invariantes del nudo.

En el estudio de la replicacin del ADN celular, se encuentran sacos de nudos. El ADN est ms o
menos enrollado sobre s mismo y en el momento de la replicacin se forma nudos que estn
controlados por proteinas que se llaman topoisomerasas. Conociendo mejor estas proteinas y su
interaccin con el ADN, se abren nuevas perspectivas en la lucha contra las enfermedades
genticas, los virus, las bacterias o el cncer.

Topologa en superficies:
Los toplogos estn particularmente interesados en el estudio de variedades, nombre que sugiere
multiplicidad de formas. Un baln de ftbol, por ejemplo, es una variedad de dimensin 2, es
topolgicamente una esfera 2 : lo podemos manipular como queramos, pero sin romperlo, y
seguir siendo un baln de ftbol.

Una superficie topolgica es una variedad de dimensin 2, es decir, un espacio en el que cada
punto posee un entorno homeomorfo a 2 = {(, ) 2 2 + 2 < 1}, la bola abierta
eucldea. As, se trata de un espacio modelado por el plano eucldeo 2 .

Los primeros ejemplos de superficies son el plano 2 , la esfera 2 y el toro 2

La descripcin de las superficies no compactas es muy complicada; aqu, vamos a clasificar

nicamente las superficies compactas (es decir, cerradas y acotadas). Para su estudio, es
conveniente tener una manera uniforme de representarlas. El prototipo es el toro 2 , que se
define como el cociente del cuadrado [0,1] [0,1] 2 , identificando aristas por pares siguiendo
la regla (0, )~ (1, ) (, 0)~ (, 1), 0 1:

Toda superficie compacta se puede representar como el cociente de una regin poligonal en el
plano por una relacin de equivalencia que identifica los lados a pares.

La mtrica del taxista:

La mtrica del Taxista est estrechamente relacionada con la distancia recorrida por un taxista o
un caminante en una ciudad ordenada y bien planificada, aunque difcil de encontrar, donde las
trayectorias slo tienen dos sentidos de Norte a Sur (NS) y de Oeste a Este (OE).
La Mtrica de Manhattan se define como una funcin en de la siguiente manera:

En la figura anterior podemos observar que para desplazarnos de un punto a otro existen varios
trayectos, con la salvedad previamente mencionada, los movimientos permitidos sern de Norte a
Sur, de Sur a Norte, de Oeste a Este y de Este a Oste. Desde este punto de vista no est permitido
el desplazamiento diagonal, dado el hecho que no se puede atravesar por las manzanas que
componen la ciudad, sino exclusivamente por sus calles, como lo hara un taxista en su labor
diaria.

La mtrica de Manhattan es la funcin definida sobre el conjunto y se asocia como el

par [ , ] y satisface las propiedades de la definicin de espacio mtrico de la siguiente
manera:
Topologa de la dinmica simblica:
La dinmica simblica es un espacio de smbolos donde representaremos la dinmica de
en a travs de una funcin definida en este espacio. Los elementos de este espacio
son sucesiones de ceros y unos.