Teorema di Darboux

Disambiguazione – Se stai cercando il teorema nella geometria simplettica, vedi Teorema di Darboux (geometria).

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

Il teorema di Darboux è un teorema dell'analisi matematica che prende il nome da Jean Gaston Darboux. Esso afferma che tutte le funzioni che risultano dalla derivazione di altre funzioni presentano la proprietà del valore intermedio: l'immagine di un intervallo è ancora un intervallo.

È da notare che quando ${\displaystyle f}$ è differenziabile con derivata continua (cioè ${\displaystyle f\in C^{1}([a,b])}$) questo è implicitamente vero per il teorema dei valori intermedi, ma anche quando ${\displaystyle f'}$ non è continua il teorema di Darboux pone forti limiti alle sue variazioni.

Teorema di Darboux

Sia ${\displaystyle f\colon \left[a,b\right]\to \mathbb {R} }$ una funzione continua a valori reali in ${\displaystyle \left[a,b\right]}$, che sia differenziabile in ${\displaystyle \left(a,b\right)}$. Allora ${\displaystyle f'}$ soddisfa la proprietà del valore intermedio: per ogni ${\displaystyle t}$ compreso tra ${\displaystyle f'\left(a\right)}$ e ${\displaystyle f'\left(b\right)}$, esiste qualche ${\displaystyle x}$ in ${\displaystyle \left[a,b\right]}$ tale per cui ${\displaystyle f'\!\left(x\right)=t}$.

Dimostrazione

Senza perdita di generalità si può supporre che ${\displaystyle f'_{+}(a)>t>f'_{-}(b)}$. Sia ${\displaystyle g(x)=f(x)-tx}$, allora ${\displaystyle g'(x)=f'(x)-t}$, quindi sostituendo, si ha ${\displaystyle g'_{+}(a)>0>g'_{-}(b)}$, e si vuole trovare uno zero di ${\displaystyle g'}$.

Siccome ${\displaystyle g}$ è una funzione continua in ${\displaystyle [a,b]}$, per il teorema di Weierstrass possiede un massimo in ${\displaystyle [a,b]}$, ma questo massimo non può trovarsi in ${\displaystyle a}$, poiché ${\displaystyle g'_{+}(a)>0}$, quindi ${\displaystyle g(x)>g(a)}$ in un intorno destro di ${\displaystyle a,}$ e in modo del tutto simile non può trovarsi in ${\displaystyle b}$, poiché ${\displaystyle g'_{-}(b)<0}$, quindi ${\displaystyle g(x)>g(b)}$ in un intorno sinistro di ${\displaystyle b}$. Pertanto il massimo deve stare in un punto ${\displaystyle c}$ compreso in ${\displaystyle (a,b)}$ tale che ${\displaystyle g'(c)=0}$ per il teorema di Fermat sui punti stazionari, da cui la tesi.

Voci correlate

• Jean Gaston Darboux
• Teorema dei valori intermedi

Collegamenti esterni

• (EN) William L. Hosch, Darboux’s theorem, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica