Você está na página 1de 18

29

www.alaletra.com
_______________________________________________

Captulo primero
LETRA Y GRAFO

UN VISTAZO SOBRE LA HISTORIA


DE LA TOPOLOGA
(Los puentes de Kenigsberg)

La ciencia que se constituy alrededor de las dimensiones del espacio,


pas por tres fases sucesivas antes de reconocer cual es su verdadero y
nico objeto .Estas tres fases se encuentran en el conjunto del despliegue de
las matemticas .

1.

Se comenz por hacer lo que se llam geometra.

1a . Este estudio, inaugurado por los griegos , est fundado sobre la lgica
y acompaado de una visin cientfica y desinteresada sobre los objetos del
espacio ; es el que apunta a dar una exposicin axiomtica y deductiva .Este modo
de exposicin se impone en los elementos de Euclides.
ESSAIM Jean-Michel Vappereau 29
ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
30
www.alaletra.com
_______________________________________________

1b . En este perodo no se trata evidentemente de topologa de una


manera explcita, pero problemas topolgicos por su estructura, como las paradojas
de Zenn [ 3,9] son ya enunciados . Ellos sern fermento para la topologa futura .

2. A continuacin apareci la geometra analtica.

2a. Existi al comienzo de la segunda vuelta de la metafsica occidental , un


renacimiento de la tradicin euclidiana con Galileo . No obstante , la geometra
analtica est ligada al testimonio de Descartes, quien inici este movimiento
cientfico cuyo acabamiento se produce en nuestros das . En esta geometra ,
,problemas del espacio son transpuestos en lgebra de ecuaciones (polinomios ,
lgebra lineal) .Paralelamente Leibniz propondr el trmino de anlisis situs, para
nombrar la geometra de situacin ( o geometra de posicin ) .Un conflicto apareci
seguidamente entre la geometra a la manera de Descartes y una geometra
llamada sinttica .

ESSAIM Jean-Michel Vappereau 30


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
31
www.alaletra.com
_______________________________________________
La oposicin de estas dos geometras gira alrededor del recurso o el rechazo
a ubicar figuras en el espacio en un sistema de referencia . Por otra parte ,
se desarrolla la geometra proyectiva (descriptiva ) : aquella en la cual las
transformaciones (proyecciones) no conservan la mayora de las propiedades
estudiadas en geometra euclidiana .

Determinar lo que concierne a la situacin por un anlisis de las


propiedades internas de la figura , constituye el anlisis situs .Su originalidad
reside en abandonar las preocupaciones mtricas (medida), lo que puede
parecer paradojal si nos atenemos a la geometra definida - como su
nombre lo indica- por la manera de medir cualquier cosa .

Estas investigaciones ,con la geometra proyectiva, prepararon la


geometra tal como la conocemos hoy .Pero en este dominio la geometra
analtica est en falta en un punto :no es que est ligada al lgebra en
detrimento del dibujo , sino que se liga demasiado servilmente a un lgebra
especfica y reducida (lgebra clsica armnica) en detrimento de la
estructura .El defecto en cuestin se reproduce en la etapa siguiente y hasta
hoy en la enseanza general .

ESSAIM Jean-Michel Vappereau 31


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
32
www.alaletra.com
_______________________________________________
b.T omemos un ejemplo de problema cuya solucin es contempornea de este
segundo perodo . El resolver el problema de los puentes de Kenigsberg [5] ,
Euler aporta una primera respuesta a una cuestin perteneciente a la
geometra de situacin . Este problema sirve ,en general ,de introduccin a la
presentacin de la topologa [17]; y al exponerlo no podremos hacer otra cosa
que respetar este uso que devino clsico .

A. La formulacin del problema

El sitio en el cual este primer problema fue planteado , es un lugar de paseo


formado por una isla rodeada de un ro que se divide en dos brazos y cuyas
orillas estn unidas entre s por 7 puentes . He aqu el dibujo (fig 1):

ESSAIM Jean-Michel Vappereau 32


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
33
www.alaletra.com
_______________________________________________
Llamemos a las zonas de tierra A,B,C,D . Los puentes se denotan con a ,b,
c, e ,f, g (fig .1).
El problema consiste en decidir la posibilidad de un paseo para un paseante
que no deseara pasar por cada uno de los puentes ms que una y slo una vez
. Notemos que no es preciso medir con un instrumento de medida el territorio de
nuestro problema ,para resolverlo .

Es suficiente saber contar hasta siete y marcar correctamente los datos . Es


necesario encontrar un juego de escritura (un modo de escribir ) que
convenga a esta situacin . Euler emplea un juego de letras maysculas y de
letras minsculas en nmero apropiado .Ms tarde este problema dio nacimiento
a un concepto de la teora de grafos , pero no lo abordaremos sino en un
segundo tiempo . Sera proponer demasiado rpido una solucin ms reciente
(el grafo euleriano).Volveremos sobre esto .

B. La solucin debida a Euler

Es remarcable que Euler haya tratado este problema en el artculo que citamos
sin recurrir a ningn grafo .Lo resolvi estudiando frases escritas con el
vocabulario restringido a pequeas y grandes letras que sirven para distinguir las
regiones de terreno y los puentes ;

ESSAIM Jean-Michel Vappereau 33


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
34
www.alaletra.com
_______________________________________________

Notemos que los pares de letras que marcan las regiones no le son suficientes
para indicar el pasaje por un puente ;intercala en este par , la letra minscula del
puente concernido y se interroga sobre frases de este tipo : C, d, A ,b ,B ,f, D ,e
A.

Si bien remarc que se poda notar el pasaje de la regin A a la regin B (


cruzando el puente a o el puente b ), por el par de letras (A,B) , seguir otra va
ligada a la formulacin que adopta .

Su razonamiento le hizo construir situaciones tericas que permiten asegurar la


demostracin de lemas preliminares .
Por ejemplo , en el caso ms simple reproducido aqu ,donde no hay sino un
brazo de ro atravesado por tantos puentes como se quiera :

ESSAIM Jean-Michel Vappereau 34


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
35
www.alaletra.com
_______________________________________________
Luego ,l trata el problema en el caso general y mucho ms complicado donde
hay mltiples brazos de ro rodeando mltiples islas ligadas por puentes en
nmero variado :

Euler llega a la solucin que l formula as :


Cualquiera sea el caso propuesto se podr muy fcilmente reconocer sobre el
campo , por medio de la regla siguiente , si es posible o no, pasar una y slo una
vez por cada puente

Si hay ms de dos regiones a las cuales conduce un nmero impar de puentes ,


ustedes pueden afirmar con certeza que tal pasaje es imposible. Pero si se es
conducido solamente a dos regiones por un nmero impar de puentes , el pasaje
es posible pero, comenzando su recorrido por una u otra de estas dos regiones
. Finalmente si no hay ninguna regin a la cual se sea conducido por un
nmero impar de puentes , el pasaje podr tener lugar como se desee
ESSAIM Jean-Michel Vappereau 35
ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
36
www.alaletra.com
_______________________________________________
,comenzando la marcha por la regin que se quiera .Esta regla satisface
entonces plenamente el problema propuesto[5]

Como existe una solucin ms directa que podemos dar ahora , no


proseguiremos el comentario de la solucin de Euler . Su publicacin presenta un
inters que no es solamente histrico sino que es sobre todo ejemplar por sus
vacilaciones y sus interrogaciones en la elaboracin de un mtodo .

C .La solucin ms reciente del problema

Un grafo est hecho de puntos llamados vrtices- y de segmentos que unen


estos vrtices y que se llaman aristas .
He aqu el dibujo de un grafo constituido por 5 vrtices y 7 aristas :

Arete (arista) sommet (vrtice)

ESSAIM Jean-Michel Vappereau 36


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
37
www.alaletra.com
_______________________________________________

Un grafo , para ser llamado euleriano ,debe presentar una caracterstica en cuanto al
camino que se puede recorrer siguiendo sus aristas .Es suficiente tomar sus
vrtices en un trayecto continuo , es decir sin ruptura ni salto, sin levantar el lpiz por
ejemplo .

Notemos para el lector ,que hacemos uso aqu por primera vez del trmino
continuo .Es necesario saber que este trmino define lo que concierne a la topologa
.Es a la topologa general aun denominada topologa conjuntista a quien
corresponde definir las aplicaciones continuas . Ella da entonces su marco a la
topologa en su conjunto . Las aplicaciones continuas dependen de la definicin de
los espacios topolgicos, de lo que llamaremos una topologa. 1 Esto , no se
realiz en el tiempo del anlisis situs , el de la resolucin del problema de los
puentes de Kenigsberg . Esta disciplina no lleg a constituir la verdadera
topologa ; ella no se preocup en despejar la naturaleza de su objeto de estudio .

Este objeto no puede ser cernido sino a partir de los invariantes preservados por
transformaciones, aqu continuas , como en toda categora de objetos matemticos .

Estas nociones no sern descubiertas sino ms tarde .Para comenzar ,no haremos
ms que un uso intuitivo del trmino de continuo (se trata de la conexin por arco).

NONS la topologa del sujeto - Fascculo de resultados n 0


ESSAIM Jean-Michel Vappereau 37
ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
38
www.alaletra.com
_______________________________________________

Retomemos la exposicin de nuestra solucin.


Un camino euleriano es aquel por el que no se pasa sino una y slo
una vez por cada arista .El lector percibe la proximidad de esta definicin con el
problema de los puentes ,pero all no hay an solucin .

Un grafo euleriano es un grafo que admite un camino euleriano .


Expresin condensada , que da la impresin de categoras muy robustas .Hemos
tenido , sin embargo ,cuidado de indicar las sucesivas remitencias que permiten
remontarse hasta los axiomas .

Queda por traducir el problema de los puentes de Kenigsberg recurriendo a los


grafos .Para esto ,ubicamos un vrtice en el lugar de cada letra mayscula
correspondiente a cada una de las regiones de terreno de nuestro sitio , y una
arista entre dos vrtices para cada letra minscula correspondiente a un puente .
Obtenemos el grafo siguiente :

ESSAIM Jean-Michel Vappereau 38


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
39
www.alaletra.com
_______________________________________________

As traducido el problema de los puentes de Kenigsberg deviene (figura 6) :

Este grafo (figura 6) es euleriano?

D. Cmo reconocer que un grafo es euleriano

Para reconocer que un grafo es euleriano ,introducimos la nocin de valencia,


o de masa ,ligada a cada vrtice del grafo en cuestin .
Se trata del nmero de aristas adyacentes a este vrtice . Es decir del
nmero de aristas que llegan o que parten de este punto .
He aqu los grafos precedentes (fig 4 y 6 ) una vez valuados :

ESSAIM Jean-Michel Vappereau 39


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
40
www.alaletra.com
_______________________________________________

Con la ayuda de esta nocin y sabiendo que para no ser detenidos en la realizacin
de un camino euleriano. es necesario cuando se alcanza un vrtice , poder
volver a partir de all, el lector comprender que los vrtices de valencia par son
ms favorables .

Es necesario que haya no ms de dos vrtices de valencia impar para que se


pueda realizar un sobre un grafo, un tal camino , y para que sea llamado grafo
euleriano 2.

Estos a lo sumo dos vrtices de valencia impar deben ser tomados


necesariamente , si ellos existen, como punto de partida y como punto de llegada , a
fin de realizar un camino euleriano en este grafo.

El lector puede ejercitarse en verificar que el grafo tomado como ejemplo tiene
ciertamente esta propiedad ,mientras que el grafo asociado al problema de los

2
- En teora de grafos hallamos una definicin de los grafos eulerianos ms exigente que la dada
aqu. Ella exige para que un grafo sea euleriano ,que exista un ciclo euleriano , es decir un camino
cerrado que pase una y slo una vez por cada arista ;Esto da un teorema : un grafo conexo es
euleriano si y slo si todos los vrtices son de grado par .El paseo propuesto en Kenigsberg no
reclamaba que terminara en el lugar en donde haba comenzado .Es por ello que nos atendremos a
la definicin dada en el texto.

ESSAIM Jean-Michel Vappereau 40


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
41
www.alaletra.com
_______________________________________________
puentes de Kenigsberg , no la tiene . El paseo deseado en esa ciudad no es
realizable , tal como lo ha demostrado Euler por otro razonamiento.

Los ejemplos que acabamos de dar no han sido acompaados de demostracin ; nos
contentamos con dar los resultados que estn suficientemente probados .

3. El tercer perodo.

3a. Comienza con el descubrimiento de las geometras no euclidianas . Esta


fue la edad de oro de la geometra que termin con el Programa de Erlangen de
Flix Klein (1872). Este programa [8] ser el argumento del apndice ubicado a
continuacin de nuestros resultados (p.143)

El mrito de la disertacin de F. Klein fue desarrollar la idea de que, una geometra


es el estudio de los invariantes de un cierto grupo de transformaciones , y por ello
provocar el abandono de las controversias estriles entre la tendencia sinttica y la
tendencia analtica .

A pesar de esto, el oscurantismo tradicionalista resurgi regularmente en un falso


debate cuyos costos fue momentneamente pagado por la topologa o la teora de

ESSAIM Jean-Michel Vappereau 41


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
42
www.alaletra.com
_______________________________________________
conjuntos ; parece que hubiera un sudor fro provocado por este aspecto de la
estructura 3

3b.Estas serie de fascculos consiste en presentar problemas y resultados de


topologa contemporneos de este tercer perodo .

Flix Klein introduce la nocin de invariante .La geometra se limita al estudio de


invariantes euclidianos mtricos o de invariantes cartesianos ( polinmicos ) por
ejemplo .Gracias a esta nocin ,ya no se ven en los otros aspectos del espacio, por
ejemplo, en los invariantes topolgicos (continuidad) , curiosidades complicadas o
de excesiva generalidad . Ellos pierden as su reputacin de ser incomprensibles

3
- Por grandes que sean los servicios prestados por este matemtico, ya que su abordaje ilumina el
conjunto de la cuestin , no puede decirse que su punto de vista sea aceptado fuera del crculo de
los especialistas , responsables ,sin duda, de esta situacin .
No hay ms que notar el hecho de que en cada generacin, desde entonces , lo que
aparece como nuevo, reencuentra siempre la visin de F.Klein . Al abrir el Pensamiento salvaje de
C. Lvi Strauss , en el cap. 3 - los sistemas de transformaciones - Aspectos de la teora sintctica
de N. Chomsky en el cap. 3- estructuras profundas y transformaciones gramaticales- .Se trata de
simples juegos de palabras?
Por el contrario , el conjunto de los comentarios y de las enseanzas que de all se deducen,
quedan al margen una y otra vez .

ESSAIM Jean-Michel Vappereau 42


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
43
www.alaletra.com
_______________________________________________
en tanto trastornan la intuicin habitual dictada por las geometras de la
antigedad o del mundo clsico .

Flix Klein permite ver en la geometra una articulacin producida por una
categora de relaciones .Por eso mismo es posible comprender cuan insuficientes
eran las ideas de las geometras pasadas , si bien ellas permanecen admirables
cuando son consideradas en su propia coherencia .

Ejercicios

La topologa exige una asimilacin efectiva a fin de que su uso sea seriamente
discutido. Proponemos as algunos ejemplos prcticos que apuntan a ejercitar esto .

Ejercicio 1: De estas nociones ,podemos deducir un primer ejercicio para proponer


al lector ,a fin de que verifique que ha asimilado estos rudimentos : trazar el grafo
euleriano cuyo ejemplo dimos (fig. 4 y fig. 7), de un solo trazo, sin levantar el lpiz .

Ejercicio 2 : Se puede hacer lo mismo en el caso de los grafos siguientes?

ESSAIM Jean-Michel Vappereau 43


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
44
www.alaletra.com
_______________________________________________

Ejercicio 3 : se puede recorrer el grafo formado por un tetraedro (pirmide)

segn un camino euleriano?


A modo de ancdota , si pudiera incitar a alguien a franquear el paso , recordamos
que el doctor Lacan no vacilaba jams en volver a recorrer este problema cada vez
que se presentaba ;podemos dar testimonio de ello por haber asistido muchas
veces a esta reflexin , fuente siempre de renovadas sorpresas .

Correcciones :

Ejercicio 1 : el dibujo de un trazo sin levantar el lpiz es realizable para el


grafo de la figura 4 ( y 7) ; hay un nmero suficiente de valores pares .

ESSAIM Jean-Michel Vappereau 44


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
45
www.alaletra.com
_______________________________________________
Ejercicio 2 : la repuesta es s para el primero. No para el segundo que slo
tiene valores impares :

Ejercicio 3 : La respuesta es no . El tetraedro sumergido en la superficie de una


esfera da el grafo del cual una representacin planar es provista por la segunda
pregunta del ejercicio precedente , cuya respuesta es negativa .

La correspondencia entre la presentacin espacial del tetraedro y su


presentacin plana es mostrada con la ayuda de una esfera sobre la cual est
apoyado .

ESSAIM Jean-Michel Vappereau 45


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1
46
www.alaletra.com
_______________________________________________

ESSAIM Jean-Michel Vappereau 46


ELGRUPO FUNDAMENTAL DEL NUDO
Captulo 1