Riecco tornare il Lagrange vettoriale, sul quale forse prima o poi occorrerebbe aprire un topic apposta (se mai rifarò Analisi 2 finirà che ci dedicherò una lezione apposta).

Vediamo il problema in generale: data [latex:1mx2b2q1]g:\mathbb{R}^n\to\mathbb{R}^m[/latex:1mx2b2q1] e dati due punti a e b nello spazio di partenza, uno vorrebbe poter concludere che

[latex:1mx2b2q1]g&#40;b&#41;-g&#40;b&#41;=Jg&#40;c&#41;\cdot&#40;b-a&#41;[/latex:1mx2b2q1]

dove c è un opportuno punto che sta nel segmento di estremi a e b, e il puntino che sta al rhs indica il prodotto di una matrice per un vettore. Se fosse vera questa uno potrebbe concludere che

[latex:1mx2b2q1]\|g&#40;b&#41;-g&#40;b&#41;\|\leq\|Jg&#40;c&#41;\|\cdot\|&#40;b-a&#41;\|[/latex:1mx2b2q1]

dove intervengono norme di vettori e di matrici in opportuni spazi. Se noi sappiamo che la norma della matrice Jacobiana è limitata da una costante M su tutto il segmento di estremi a e b, questo ci permette di concludere che

[latex:1mx2b2q1]\|g&#40;b&#41;-g&#40;b&#41;\|\leq M\|&#40;b-a&#41;\|[/latex:1mx2b2q1]

Questa disuguaglianza è poi quella che serve in tante dimostrazioni, comprese quella delle funzioni implicite in codimensione k di cui si sta parlando qui.

Purtroppo, però, il Lagrange come scritto non vale quando m è maggiore di 1 (ma qual è l'esempio? all'esame ultimamente non lo sa mai nessuno <!-- s:( --><img src="{SMILIES_PATH}/icon_sad.gif" alt=":(" title="Sad" /><!-- s:( -->). 

Che fare allora? Rinunciare alla disuguaglianza? Non proprio ... ci sono almeno due vie di uscita.

La via facile consiste nell'applicare Lagrange componente per componente. Uno scrive

[latex:1mx2b2q1]g_i&#40;b&#41;-g_i&#40;b&#41;=\nabla g_i&#40;c_i&#41;\cdot&#40;b-a&#41;[/latex:1mx2b2q1]

dove ora il puntino è un prodotto scalare e l'indice i va da 1 ad m. Con un comodo Cauchy-Schwarz si arriva a 

[latex:1mx2b2q1]\|g_i&#40;b&#41;-g_i&#40;b&#41;\|\leq\|\nabla g_i&#40;c_i&#41;\|\cdot\|&#40;b-a&#41;\|[/latex:1mx2b2q1]

per ogni i che va da 1 ad m. Ora [latex:1mx2b2q1]\|\nabla g_i&#40;c_i&#41;\|\leq\|Jg&#40;c_i&#41;\|[/latex:1mx2b2q1], e se noi sappiamo che la norma della matrice Jacobiana è limitata da una costante M su tutto il segmento di estremi a e b, questo ci permette di concludere che

[latex:1mx2b2q1]\|g_i&#40;b&#41;-g_i&#40;b&#41;\|\leq M\|&#40;b-a&#41;\|[/latex:1mx2b2q1]

per ogni indice, da cui calcolando le norme

[latex:1mx2b2q1]\|g&#40;b&#41;-g&#40;b&#41;\|\leq M\sqrt{m}\|&#40;b-a&#41;\|[/latex:1mx2b2q1]

In altre parole, abbiamo ottenuto una disuguaglianza analoga a quella a cui si arrivava con il Lagrange abusivo, soltanto &quot;pagando&quot; la radice della dimensione dello spazio di arrivo. Tornando alla dimostrazione citata, è forse evidente ora come modificare la seconda scelta tenendo conto della nuova disuguaglianza.

Tuttavia, vale la pena citare una seconda via, che permette di ottenere la stessa disuguaglianza che si aveva con il Lagrange abusivo, cioè

[latex:1mx2b2q1]\|g&#40;b&#41;-g&#40;b&#41;\|\leq\|Jg&#40;c&#41;\|\cdot\|&#40;b-a&#41;\|[/latex:1mx2b2q1]

per un opportuno c intermedio, senza nemmeno pagare la radice. Qui mi limito a citare l'idea, che è la stessa che si usa nella dimostrazione delle stime per gli integrali vettoriali (vedi apposita lezione), e che si potrebbe chiamare &quot;stima per dualità&quot;. Si tratta di partire da un prodotto scalare del tipo

[latex:1mx2b2q1]v\cdot&#40;g&#40;b&#41;-g&#40;a&#41;&#41;[/latex:1mx2b2q1]

dove v è un vettore generico dello spazio di arrivo e il puntino indica il prodotto scalare. Questa è una funzione scalare, alla quale quindi si può applicare il Lagrange vero. Salto i relativi conti, ma alla fine si tratterà di applicare il risultato con v=g(b)-g(a). Se qualcuno ha voglia di completare i dettagli, si senta libero di farlo!