19 de diciembre de 2022

Homotopias em variedades diferenciables

Una homotopı́a diferenciable entre dos variables diferenciables f , g :

M m −→ N n es simplemente una apliacción diferenciable F : M m ×
I −→ N tal que F (x, 0) = f (x) y F (x,1) = g (x) para todo
x ∈ M.En este caso, se dice que f y g son diferenciablemente
homotópica. Es inmediato que está relación es reflexiva y simétri-
ca. Más no es obvio que sea transitiva. Entonces demostraresmos
el siguiente resultado Probar que la relación de homotopia es una
relación de equivalencia en el conjunto de funciones suaves x en y
(donde x, y son variedades diferenciables)
Ejemplo
Sean f , g , h : M m −→ N n aplicaciones diferenciables y F : f '
g ,G : g ' h homotopias diferenciables entonces existe una homo-
topia diferenciable H : f ' h

Demostración.
Consideremos una función diferenciable ξ : [0, 1/2] −→ [0, 1] con
las siguientes propiedades
(a) ξ(0) = 0 , ξ(1/2) = 1
(b) Todas las derivadas ξ (r ) (t) se anulan en los puntos
t = 0 y t = 1/2
Demostración.

Tal función ξ se puede obtener poniendo ξ(t) = τ (2t), donde τ es

una función definida . La expresion explı́cito de τ es el siguiente

1 t −1/x(1−x)
Z Z 1
τ (t) = e dx, con b = e −1/x(1−x) dx
b 0 0

Hacemos hincapié en por qué una fórmula explı́cita que da la función

ξ no tiene interés. solo las propiedades (a) y (b) se usará lo anterior.
De las homotopı́as F , G , y la función ξ, definiremos una homotopı́a
H : M × I −→ N ,para x ∈ M y t ∈ I
(
F (x, ξ(t)) si 0 ≤ t ≤ 1/2
H(x, t) =
G (x, ξ(t − 1/2)) si 1/2 ≤ t ≤ 1

F y G es continua porque F , G es continua . Además

F (x, ξ(1/2)) = F (x, 1) = G (x, ξ(1/2 − 1/2))

= G (x, ξ(0))
Demostración.
Luego

H(x, 0) = F (x, ξ(0)) = F (x, 0) = f (x)

H(x, 1) = G (x, ξ(1/2)) = G (x, 1) = h(x) para todo x ∈ M

Por tanto, H es una homotopia entre f y h

Demostración.

Resta demostrar que H es diferenciable

Esto es claro , excepto los puntos de forma (x, 1/2) .E incluso en

estos puntos, no existen dudas sobre la existencia de derivados par-
ciales de H con respecto a las coordenadas x. debemos examinar la
r
existencia de las derivada parciales ∂∂tHr (x, 1/2).
Calculamos las derivadas laterales en el punto t = 1/2, se obtienen
facilmente
∂H + ∂G
(x, 1/2) = ξ 0 (0) · (x, 0) = 0, pues ξ 0 (0) = 0 por el item(b)
∂t ∂t
∂H − 1 ∂F 1
(x, 1/2) = ξ 0 ( ) · (x, 1) = 0, pues ξ 0 ( ) = 0 por el item(b)
∂t 2 ∂t 2
Asi existen y son iguales las derivadas laterales de H en (x, 1/2). se
sigue que H es de clase C 1 .
Demostración.
Repitendo sucesivamente el mismo argumento,

∂2H+ 00 ∂G 00
(x, 1/2) = ξ (0) · (x, 0) = 0, pues ξ (0) = 0 por el item(b)
∂t 2 ∂t
∂2H− 00 1 ∂F 00 1
(x, 1/2) = ξ ( ) · (x, 1) = 0, pues ξ ( ) = 0 por el item(b)
∂t 2 2 ∂t 2

∂3H+ 000 ∂G 000

(x, 1/2) = ξ (0) · (x, 0) = 0, pues ξ (0) = 0 por el item(b)
∂t 3 ∂t
3 −
∂ H 000 1 ∂F 000 1
(x, 1/2) = ξ ( )· (x, 1) = 0, pues ξ ( ) = 0 por el item(b)
∂t 3 2 ∂t 2
·
·
∂r H+ r 1 ∂F r 1
(x, 1/2) = ξ ( ) · (x, 1) = 0, pues ξ ( ) = 0 por el item(b)
∂t r 2 ∂t 2
∂r H− r 1 ∂F r 1
(x, 1/2) = ξ ( ) · (x, 1) = 0, pues ξ ( ) = 0 por el item(b)
∂t r 2 ∂t 2

Todas las derivadas parciales laterales de H relativamente a t se anulan para t = 1/2, donde H ∈ C ∞ , como

querı́aamos demonstrar.
Referencias