Teorema dei valori intermedi

Da Wikipedia, l'enciclopedia libera.
In [a,b], la funzione assume qualsiasi valore scelto tra f(a) e f(b)

In analisi matematica il teorema dei valori intermedi (o teorema di tutti i valori) si applica alle funzioni continue reali e assicura che l'immagine di un intervallo contenga tutti i valori compresi tra le immagini degli estremi dell'intervallo.

Il teorema[modifica | modifica wikitesto]

Sia una funzione continua. Sia (o viceversa ). Allora la funzione assume tutti i valori compresi tra e , ovvero, per ogni tale che (o rispettivamente ), esiste un punto in tale che .[1] Equivalentemente: sia una funzione continua, se , allora è suriettiva su (o . Questo teorema è fondamentale per la dimostrazione di quello della media integrale.

Dimostrazione[modifica | modifica wikitesto]

Supponiamo che e consideriamo un valore tale che .

Introduciamo la funzione , continua in . Risulta che e .

Allora possiamo applicare il teorema degli zeri alla funzione , per il quale esiste tale che , ossia tale che .

Del tutto analogo è il caso in cui .

Corollario[modifica | modifica wikitesto]

Sia continua sull'intervallo . Allora l'insieme immagine è un intervallo (le funzioni continue trasformano intervalli in intervalli).

Dimostrazione[modifica | modifica wikitesto]

Poniamo e ( e/o possono essere eventualmente infiniti). Sia c un numero reale tale che . Per definizione di estremo inferiore, esiste un tale che .

In modo analogo si prova l'esistenza di un tale che . Per il teorema dei valori intermedi, applicato all'intervallo di estremi e , esiste allora un punto in tale intervallo (e dunque in ) tale che . Ne concludiamo che . Ma oltre ad , può contenere solo gli estremi e , se questi sono finiti. In ogni caso è un intervallo.

Osservazione[modifica | modifica wikitesto]

Il teorema non può essere invertito. Esistono, infatti, funzioni che rispettano la proprietà dei valori intermedi ma non sono continue. Un esempio molto semplice è fornito dalla funzione definita come per x reale diverso da zero e come nell'origine. Tale funzione soddisfa la tesi del teorema ma è discontinua nell'origine. Il teorema si può inoltre generalizzare per spazi topologici. Se è una funzione continua tra gli spazi topologici e di cui il primo è uno spazio connesso, allora è uno spazio connesso. Nel caso in cui allora l'immagine di f sarà un intervallo.

Note[modifica | modifica wikitesto]

  1. ^ P. M. Soardi, p. 184

Bibliografia[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

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