Homotopia
Homotopia
Homotopia
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.
1 t −1/x(1−x)
Z Z 1
τ (t) = e dx, con b = e −1/x(1−x) dx
b 0 0
∂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
Todas las derivadas parciales laterales de H relativamente a t se anulan para t = 1/2, donde H ∈ C ∞ , como
querı́aamos demonstrar.
Referencias