Mi sono bloccato su una dimostrazione del teorema di differenziabilità delle funzioni composte:
siano:
$f : RR^n supe Omega rarr RR^m $ , differenziabile in $x_0 in Omega$
$g: RR^m supe A : rarr RR^p$, differenziabile in $y_0 = f(x_0) in A$
Consideriamo:
$g(f(x_0+h)) = g(f(x_0) + df_(x_0)(h) + o(||h||)) = $
$= g(f(x_0)) + dg_f(x_0) (df_(x_0) + o(||h||)) + o(||df_(x_0)(h) + o(||h||)||)=$
$ = g(f(x)) + (dg_(f(x_0)) @ df_(x_0))(h) + dg_(f(x_0))(o(||h||)) + o(||df_(x_0)(h) + o(||h||)||) $
in sostanza, aldilà della pesantezza della notazione, si ottiene:
$g(f(x_0+h)) - g(f(x_0)) - (dg_(f(x_0)) @ df_(x_0))(h) = dg_(f(x_0))(o(||h||)) + o(||df_(x_0)(h) + o(||h||)||) $
Provando che la parte a destra dell'identità tende a zero per $h rarr 0$si otterrebbe che la funzione composta è differenziabile in $x_0$ e che tale differenziale è dato dalla composizione dei due differenziali (di $f$ in $x_0$ e di $g$ in $f(x_0)$). Ma è qui che l'ispirazione è finita e non ho attualmente idee su come fare ciò