Buonasera, sto studiando la dimostrazione della C.N. per l'integrabilità di un campo $A$ di classe $C^0$.
Si parte con $int_(gamma) A=int_(a)^(b) A(gamma (t))gamma'(t) dt$ e $A=nablaf$. Per trovare la primitiva si sfrutta il th. di derivazione delle funzioni composte che richiede la differenziabilità: la $f$ è differenziabile per il th. del differenziale totale ($f in C^1$) e poi si dice che la curva $gamma$, essendo di classe $C^1$, è differenziabile. Ma perchè questo? Cioè $gamma$ è di classe $C^1$ per ipotesi ma la differenziabilità da dove viene? Il th. del differenziale totale se non sbaglio non vale per le curve in quanto richiede funzioni da variabili vettoriali ed un insieme aperto.
La seconda cosa (che probabilmente è banale) riguarda le ipotesi del th. di Torricelli scalare.
Alla fine della dimostrazione lo usiamo in quanto l'integranda è composizione di funzioni continue e quindi soddisfa le ipotesi di Torricelli. Poi però c'è un accenno al dominio e ad un intervallo che però non mi è chiaro. Nel senso che se non sbaglio il th. di Torricelli richiede che la funzione $f$ sia definita in un intervallo [a,b], cosa che qui non vale in quanto è definita su $Omega$ che potenzialmente è aperto, chiuso ecc. O forse sto confondendo l'ipotesi di Torricelli che invece richiede che sia il dominio di integrazione a dover essere chiuso e limitato e l'integranda sia ivi definita (quindi con $[a,b]sube Omega$)?