Teorema di Weierstrass

Da Wikipedia, l'enciclopedia libera.
Una funzione continua nell'intervallo [a,b] ammette un massimo e un minimo, rispettivamente in c e in d

In analisi matematica, il teorema di Weierstrass è un importante risultato riguardo l'esistenza di massimi e minimi di funzioni di variabile reale. Il teorema può essere esteso anche a funzioni reali definite su spazi metrici e su spazi topologici.

Il teorema[modifica | modifica wikitesto]

Sia f:[a,b] \to \R una funzione continua, allora f(x) assume massimo e minimo assoluti nell'intervallo [a,b] .

Dimostrazione con la nozione di compattezza[modifica | modifica wikitesto]

Poiché f è una funzione continua, essa trasforma insiemi compatti in insiemi compatti. Dato che [a,b] è un intervallo chiuso e limitato per il teorema di Heine-Borel, è un compatto e quindi anche la sua immagine mediante f sarà un compatto. Di conseguenza, il codominio di f ammetterà massimo e minimo.

Dimostrazione con successioni di punti[modifica | modifica wikitesto]

Poniamo s = \sup(f[a,b]) e individuiamo una successione (y_n)_{n\in\Bbb N}, y_n \in f[a,b], tale che y_n \rightarrow s per n \rightarrow \infty. Questa successione certamente esiste: infatti dalla definizione di estremo superiore segue che \forall n\in\Bbb N\;\exists y_n\in f[a,b] tale che s-\frac1n\leq y_n\leq s. Per ogni n scegliamo ora t_n \in [a,b] tale che f(t_n) = y_n. Per il teorema di Bolzano - Weierstrass la succesione (t_n)_{n\in\Bbb N} ha una sottosuccessione (t_{n_k})_{k\in\Bbb N} che converge verso x_2 \in [a,b] quando k\to\infty. Per la continuità di f abbiamo y_{n_k}= f(t_{n_k})\rightarrow f(x_2) per k \rightarrow \infty. D'altra parte y_{n_k} \to s per k \rightarrow \infty. Quindi per l'unicità del limite abbiamo s = f(x_2), cioè la funzione ha in x_2 un massimo assoluto.

Similmente si dimostra anche l'esistenza di un punto x_1 dove la funzione assume il valore minimo.

Spazi metrici[modifica | modifica wikitesto]

Il teorema nell'ambito degli spazi metrici ha la seguente forma:

Sia (X,d) uno spazio metrico e sia f:X\to \mathbb{R} continua in X. Allora se X è compatto, f(x) ammette un punto di massimo e un punto di minimo in X. La formulazione per spazi topologici è del tutto analoga se (X,\mathcal{T}) è uno spazio compatto.[1]

Note[modifica | modifica wikitesto]

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

Bibliografia[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

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