Professional Documents
Culture Documents
0 y 6 > 0 tales que |hl < 6 implica
to+hEU ylf(za +h) — F(00)! > elhy
DEMOSTRACION. f'(29) 08 un homeomorfismo lineal de R sobre /*
£9) R". Existe, por lo tanto, una constante ¢ > 0 tal que [f(a] hl =
2elh| para todo A € R™ (ven el Apéndice). Sea ahora 6 > 0 tal quc [hl < J
implique co+h € Uy (toh) = [(z0) +f" (ao)-h-+r(h), con [r(A)] < ci
La desigualdad [a ~ bf > Jal - [| da, para todo @ R™ con [hl < 6d:
Leo + A) — F(a0)] = [f"(a0)-&
Ir(A)| > Behl — eth = cli.
Gorolario. Si f"(xy} es inyectiva, eviste una vecindad deo un la ewul
x # ao implica (rr) # Feo)
Blcorolario anterior constituye una de las més simples tustraciones se
principio sobre el cual repesa el Cileulo Diferencial: et compartatnicailn
de la derivada f'(zo) nos permite obtener conclusiones sobre el vorujor
tamiento de J en una vecindad de so
Guando f es de clase CG, el corolario de la Proposicién 5.1 jnwxle ser
mejorado, en el sentido de concluir que J es biunivoca en wna exit
de xo, desde que f(x) sea inyectiva. La demostracién de esto tended
la notacién simpliicads. $i suponeimos zg = 0, f(zo) = 0 y everibitnve
T = f'(zo), entonces, para todo x en una vecindad do 0, tencmias (1)
T-x+r(z), donde el “resto” r(x) = f(x!) — Tx es de clase C! y r“(p
f(0)-T =0. Seac> 0 tal que [T+] > 2clz| para todos € RM y wn
5 > Otal que [xl <5 implique (r(x)