1

Homotopia
Tenemos en mente analizar mas a fondo la cuestión de saber si una forma $ : U → (Rn )∗ es exacta.

Se conoce que una condición 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 topológica de su dominio U . Ya tenemos una indicación
de eso: Cuando U ⊂ Rn es una bola abierta o todo el espacio Rn , entonces cualquier forma cerrada $ : U → (Rn )∗ es
exacta.

Las propiedades topológicas de U que influyen en esta cuestión 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 aplicación 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 homotópicos y escribimos H : λ w µ
o simplemente λ w µ.

Intuitivamente, una homotopia H : λ w µ es una deformación continua del camino λ dentro de X, que acontece en
una unidad de tiempo, comenzando con λ(t = 0) y terminando con µ(t = 1).Durante esta deformación 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 básico de λ. Todo camino ho-
motópico a λ es también 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 homotópicos pueden pasar a serlo.

A continuación veremos que la relación de homotopia es una relación de equivalencia. es decir:

1. Reflexiva: λ w λ

2. Simetria: Si λ w µ entonces µλ

3. Transitiva: Si λ w µ ∧ µ w ν entonces λ w ν

si X ⊂ Rn es convexo. · · · . [ y 2 1 L(s. la cual contiene también (por ser convexa) a la imagen del camino rectilineo µi : [si−1 . 1[. LEMA 2: Sea U ⊂ Rn abierto. b]. t) = λ(s) es una homotopia entre λ y λ. Note que la homotopia H deforma λ en µ haciendo.2 En efecto: De hecho. b] × I → X. 0 ≤ t ≤ 1. t) = (1 − t)λ(s) + tµ(s). el segmento de recta [λ(s). H : [a.. µ(s)]. con a ≤ s ≤ b. 2t) si t ∈]0. en este caso una homotopia H : λ w µ como H(s. Si H : λ w µ entonces K : [a. b] → X. definida como L(s. µi (s) = (1 − s)λ(si−1 ) + sλ(si ). si ]) → U está contenida en uan bola abierta Bi ⊂ U. Todo camino λ : [a. entonces λ y µ son homotópicos.Una homotopia tal se dice lineal y los caminos λ y µ se llaman entonces linealmente homotópicos. 1 Dadas H : λ w µ y K : µ w ν definimos L : [a. se sigue del LEMA 1 que cada restricción λ|[si−1 . Una manera bastante 2 conveniente de construir homotopias discurre del siguiete lema: LEMA 1: Sean λ. t) = H(s. entonces dos caminos cualesquiera λ. b] → X caminos en el conjunto X ⊂ Rn . t) = K(s. para cada s ∈ [a. 2t − 1) si t ∈] . entonces L es continua y es una homotopia entre λ y ν. b]× → X definida por K(s. b] × I → X. Si λ y µ possen los mismos extremos y ade- mas de eso.si ] es linealmente homotópica a µi Luego λ es linealmente homotópica en el camino poligonal µ = µ1 + µ2 + · · · + µk . Definiremos. si ] → U. Demostración: Por un teorema anterior se conoce que existe una partición a = s0 < s1 < · · · < sk = b tal que. µ : [a. A lo largo del segmento de recta [λ(s). esta contenido en X. Un camino λ se dice poligonal cuando se obtiene por la yuxtaposición λ = λ1 + λ2 + · · · + λk de caminos rectilineos. Por ejemplo. definida por H(s. con los mismos extremos son linealmente homotópicos. µ(s)]. t) = H(s. 1 − t) es una homotopia entre µ y λ. para cada i = 1. Como cada bola Bi es convexa. k la imagen λ([si−1 . b] → U es linealmente homotópico aa un camino poligonal. b] desliza al punto λ(s) una unidad de tiempo con velocidad constante. µ : [a. para cada s ∈ [a.