1

Homotopia
Tenemos en mente analizar mas a fondo la cuestion de saber si una forma $ : U (Rn ) es exacta.

Se conoce que una condicion necesaria, cuando $ es de clase C 1 ,y es cerrada. Por eso nos restringiremos a formas
de clase C 1 e indagaremos ahora en que condiciones una forma cerrada $ es exacta.

Esto dependera no solamente de $ sino de la naturaleza topologica de su dominio U . Ya tenemos una indicacion
de eso: Cuando U Rn es una bola abierta o todo el espacio Rn , entonces cualquier forma cerrada $ : U (Rn ) es
exacta.

Las propiedades topologicas de U que influyen en esta cuestion son aquellas que dicen respecto a la posibilidad
de deformar un camino en U continuamente. Ellas son tratadas en la teoria de homotopia, de la cual presentaremos
algunas nociones:

Sean , : [a, b] X caminos en el conjunto X Rn , con el mismo dominio [a, b] y con los mismos extremos, esto
es (a) = (b) y (a) = (b).

Una homotopia entre y es una aplicacion continua H : [a, b] I X ,donde I = [0, 1] tal que:

H(s, 0) = (s)

H(s, 1) = (s)

H(a, t) = (a) = (a)

H(b, t) = (b) = (b)

Para cualquier s [a, b], t [0, 1].

Cuando existe una homotopia H entre y , decimos que esos caminos son homotopicos y escribimos H : w
o simplemente w .

Intuitivamente, una homotopia H : w es una deformacion continua del camino dentro de X, que acontece en
una unidad de tiempo, comenzando con (t = 0) y terminando con (t = 1).Durante esta deformacion los extremos
(a) = (a) y (b) = (b) permanecen fijos.

A veces es conveniente imaginar la homotopia como una familia a un parametro de caminos Ht : [a, b] X,
donde Ht (s) = H(s, t), todos estos caminos comienzan en el punto (a) = (a) y terminan en el punto (b) = (b).
Los caminos Ht dependen continuamente del parametro t [0, 1], en el sentido de que H : [a, b][0, 1] X es continua.

Cuando el camino es cerrado, esto es (a) = (b), llamaremos a (a) el punto basico de . Todo camino ho-
motopico a es tambien cerrado y toda homotopia mantieen fijo el punto basico. esto es Ht (a) = Ht (b) = (a) = (b),
para todo t [0, 1].

Conviene resaltar que cuando escribimos H : w queda sobre entendido un dato absolutamente escencial que es
en el conjunto X. Dentro del cual la homotopia H.[a, b] I X tiene lugar. Aumentado el conjunto X. Dos caminos
que no son homotopicos pueden pasar a serlo.

A continuacion veremos que la relacion de homotopia es una relacion de equivalencia. es decir:

1. Reflexiva: w

2. Simetria: Si w entonces

3. Transitiva: Si w w entonces w
2

En efecto:

De hecho, H : [a, b] I X, definida por H(s, t) = (s) es una homotopia entre y .

Si H : w entonces K : [a, b] X definida por K(s, t) = H(s, 1 t) es una homotopia entre y .
1
Dadas H : w y K : w definimos L : [a, b] I X, definida como L(s, t) = H(s, 2t) si t ]0, [ y
2
1
L(s, t) = K(s, 2t 1) si t ] , 1[, entonces L es continua y es una homotopia entre y . Una manera bastante
2
conveniente de construir homotopias discurre del siguiete lema:

LEMA 1: Sean , : [a, b] X caminos en el conjunto X Rn . Si y possen los mismos extremos y ade-
mas de eso, para cada s [a, b], el segmento de recta [(s), (s)], esta contenido en X, entonces y son homotopicos.

Definiremos, en este caso una homotopia H : w como H(s, t) = (1 t)(s) + t(s), con a s b; 0 t 1.
Note que la homotopia H deforma en haciendo, para cada s [a, b] desliza al punto (s) una unidad de tiempo
con velocidad constante. A lo largo del segmento de recta [(s), (s)].Una homotopia tal se dice lineal y los caminos
y se llaman entonces linealmente homotopicos.

Por ejemplo, si X Rn es convexo, entonces dos caminos cualesquiera , : [a, b] X, con los mismos extremos
son linealmente homotopicos.

Un camino se dice poligonal cuando se obtiene por la yuxtaposicion = 1 + 2 + + k de caminos rectilineos.

LEMA 2: Sea U Rn abierto. Todo camino : [a, b] U es linealmente homotopico aa un camino poligonal.

Demostracion:

Por un teorema anterior se conoce que existe una particion a = s0 < s1 < < sk = b tal que, para cada
i = 1, , k la imagen ([si1 , si ]) U esta contenida en uan bola abierta Bi U,, la cual contiene tambien (por ser
convexa) a la imagen del camino rectilineo i : [si1 , si ] U, i (s) = (1 s)(si1 ) + s(si ). Como cada bola Bi es
convexa, se sigue del LEMA 1 que cada restriccion |[si1 ,si ] es linealmente homotopica a i Luego es linealmente
homotopica en el camino poligonal = 1 + 2 + + k