09.05.2013 Views

Salvador Vera

Salvador Vera

Salvador Vera

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4.8. REGLA DE LA CADENA 281<br />

Dg<br />

g<br />

❘ ❘<br />

Df<br />

Rm Rn ✯<br />

R<br />

f ◦ g<br />

Figura 4.18: Composición de funciones<br />

Demostración. Esquemáticamente, la situación de partida es,<br />

R m<br />

g<br />

−−→ R n f p<br />

−−→ R<br />

x0 ↦−→ y0 ↦−→ z0<br />

(Si p = 1, la función f sería numérica, que es el objeto de estudio de este curso, sin<br />

embargo estudiamos el caso general ya que el valor de p no afecta a la demostración del<br />

teorema).<br />

Por ser g diferenciable en x0, setiene:<br />

g(x0 + h) − g(x0) =dg(h)+hɛ1(h) con lím ɛ1(h) =0 (4.10)<br />

h→0<br />

Consideremos ahora la imagen de x0 por g: y0 = g(x0) ∈ g(Dg) ⊆ R n . Puesto que f es<br />

diferenciable en y0, setiene:<br />

f(y0 + k) − f(y0) =df(k)+kɛ2(k) con lím ɛ2(h) =0 (4.11)<br />

k→0<br />

Elijamos<br />

k = g(x0 + h) − g(x0) (4.12)<br />

entonces k es una función de h que tiende a 0 cuando h tiende hacia 0. Despejando<br />

g(x0 + h) en(4.12), se tiene: g(x0 + h) =g(x0)+k = y0 + k, y sustituyendo en (4.11),<br />

y0 + k = g(x0 + h) y0 = g(x0) k = g(x0 + h) − g(x0)<br />

resulta:<br />

f g(x0 + h) ¡ − f g(x0) ¡ = df g(x0 + h) − g(x0) ¡ + kɛ2(k)<br />

ahora bien, teniendo en cuenta que por (4.10) esg(x0 + h) − g(x0) =dg(h)+hɛ1(h),<br />

resulta<br />

f g(x0 + h) ¡ − f g(x0) ¡ = df dg(h)+hɛ1(h) ¡ + kɛ2(k)<br />

yalserdf una aplicación lineal, será df dg(h)+hɛ1(h) ¡ = df dg(h) ¡ +hdf ɛ1(h) ¡ ,<br />

con lo que resulta:<br />

f g(x0 + h) ¡ − f g(x0) ¡ = df dg(h) ¡ + hdf ɛ1(h) ¡ + kɛ2(k) (4.13)<br />

de donde, para h = 0, se tiene<br />

¡ k<br />

f ◦ g(x0 + h) − f ◦ g(x0) =df ◦ dg(h)+h df ɛ1(h) +<br />

h ɛ2(k)<br />

luego (4.13) se puede expresar de la forma:<br />

f ◦ g(x0 + h) − f ◦ g(x0) =df ◦ dg(h)+hɛ(h) (4.14)<br />

f

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!