1.

Teorema del punto fijo de Brouwer

Supongamos por un instante que un monta
nero decide salir a pasear una tarde hasta el

pico mas alto de la sierra durante 12 horas, pero en el mismo instante que llega esta tan
cansado que da media vuelta y regresa a casa. Si imponemos que el monta
nero tarda el
mismo tiempo en subir que en bajar, entonces podemos asegurar que hubo un lugar donde
estuvo a la misma hora en das distintos, independientemente de la velocidad de paseo. La

veracidad de este curioso ejemplo, nos la da el teorema del punto fijo de Brouwer. Este
tiene
ramificaciones en varias areas de las matematicas como lo son la teoria de juegos, ecuaciones
diferenciales y hasta economa.
Antes de enunciar y demostrar el teorema de Brouwer, daremos algunos resultados de topologia algebraica necesarios para la demostracion.

1.1.

Grupo Fundamental

En topologa, podemos asociar a cada punto x de un espacio topologico X un grupo que

nos informa la estructura 1-dimensional de la porcion de espacio que rodea a este punto.Los
elementos de este grupo, llamado grupo fundamental de X son clases de equivalencias de
lazos (curvas cerradas) atados al punto x.
1.1 Definici
on. Sean X y Y espacios topologicos y sean f, g : X Y funciones continuas.
Decimos que f es homotopica a g si existe H : X I Y funcion continua tal que para todo
xX
H(x, 0) = f (x) y

H(x, 1) = g(x).

Escribimos f ' g, donde H es la homotopa entre f y g.