Teorema di Bolzano

In analisi matematica il teorema di Bolzano, detto anche teorema degli zeri per le funzioni continue, assicura l'esistenza di almeno una radice delle funzioni continue reali che assumano segni opposti ai due estremi di un intervallo. Il teorema è stato dimostrato dal matematico e filosofo boemo Bernard Bolzano, da cui il teorema prende il nome.^[1]

Enunciato

Consideriamo una funzione ${\displaystyle f:[a,b]\to \mathbb {R} }$ continua. Supponiamo che ${\displaystyle f(a)}$ e ${\displaystyle f(b)}$ abbiano segno opposto, ovvero

${\displaystyle f(a)<0<f(b)\quad {\text{(oppure }}f(b)<0<f(a){\text{)}}}$

Allora esiste almeno un punto ${\displaystyle x_{0}\in (a,b)}$ tale che

${\displaystyle f(x_{0})=0}$^[2].

Dimostrazione (per assurdo)

Senza perdita di generalità poniamo ${\displaystyle f(a)<0<f(b)}$. La dimostrazione seguente è una dimostrazione per assurdo. Si suppone quindi che ${\displaystyle f(x)}$ sia diverso da zero per ogni ${\displaystyle x}$ nell'intervallo. Si definisce l'insieme seguente ${\displaystyle E}$:

${\displaystyle E=\{x\in [a,b]:f(x)<0\}}$

L'insieme ${\displaystyle E}$ non è vuoto, perché contiene ${\displaystyle a}$, inoltre ${\displaystyle E}$ è superiormente limitato da ${\displaystyle b}$ poiché ${\displaystyle E\subset [a,b],}$ dunque per l'assioma di completezza dei reali esiste ${\displaystyle x_{0}=\sup(E)\leq b}$.

L'estremo superiore è caratterizzato da queste due proprietà

1. ${\displaystyle x_{0}}$ è un maggiorante di ${\displaystyle E}$,
2. se ${\displaystyle y_{0}<x_{0}}$ allora ${\displaystyle y_{0}}$ non è un maggiorante di ${\displaystyle E}$.

Il valore ${\displaystyle f(x_{0})}$ è diverso da zero, ed è quindi positivo o negativo. In entrambi i casi si giunge ad un assurdo.

• Se ${\displaystyle f(x_{0})<0}$, allora per le ipotesi ${\displaystyle x_{0}<b}$ e per la permanenza del segno sulle funzioni continue esiste un ${\displaystyle \delta >0}$ tale che per ogni ${\displaystyle x}$ appartenente all'intorno ${\displaystyle ]x_{0},x_{0}+\delta [\;\subseteq [a,b]}$ vale ${\displaystyle f(x)<0}$, ma ciò è assurdo perché in contrasto con la prima proprietà dell'estremo superiore;
• Se ${\displaystyle f(x_{0})>0}$, allora per le ipotesi ${\displaystyle x_{0}>a}$ e sempre per la permanenza del segno sulle funzioni continue, esiste ${\displaystyle \delta >0}$ tale che per ogni ${\displaystyle x}$ appartenente all'intorno ${\displaystyle ]x_{0}-\delta ,x_{0}[\;\subseteq [a,b]}$ vale ${\displaystyle f(x)>0}$: ciò è in contrasto con la seconda proprietà dell'estremo superiore.

Dimostrazione (con metodo di bisezione)

Senza perdita di generalità poniamo ${\displaystyle f(a)<0<f(b)}$. L'idea è quella di costruire una successione reale convergente ad un punto che si verifichi essere proprio lo zero della funzione data.

Si ponga ${\displaystyle a_{0}=a}$, ${\displaystyle b_{0}=b}$.

Poi si definisca ${\displaystyle c_{0}={\frac {a_{0}+b_{0}}{2}}}$.

Se ${\displaystyle f(c_{0})=0}$ allora non c'è più niente da dimostrare.

Se invece ${\displaystyle f(c_{0})<0}$ si ponga ${\displaystyle a_{1}=c_{0}}$ e ${\displaystyle b_{1}=b_{0}}$; al contrario, se ${\displaystyle f(c_{0})>0}$, si ponga ${\displaystyle a_{1}=a_{0}}$ e ${\displaystyle b_{1}=c_{0}}$.

Al generico passo ${\displaystyle k}$ si ponga induttivamente ${\displaystyle c_{k}={\frac {(a_{k}+b_{k})}{2}}}$. Se ${\displaystyle f(c_{k})=0}$ non c'è più nulla da dimostrare, se ${\displaystyle f(c_{k})<0}$ si ponga ${\displaystyle a_{k+1}=c_{k}}$ e ${\displaystyle b_{k+1}=b_{k}}$, se invece ${\displaystyle f(c_{k})>0}$ si ponga ${\displaystyle a_{k+1}=a_{k}}$ e ${\displaystyle b_{k+1}=c_{k}}$.

Risultano così costruite induttivamente le tre successioni ${\displaystyle \{a_{n}\}}$, ${\displaystyle \{b_{n}\}}$ e ${\displaystyle \{c_{n}\}}$.

Si vede immediatamente che ${\displaystyle \{a_{n}\}}$ è non decrescente, ${\displaystyle \{b_{n}\}}$ è non crescente, e nondimeno ${\displaystyle a_{0}\leq a_{n}\leq c_{n}\leq b_{n}\leq b_{0}}$ per ogni ${\displaystyle n}$ (quindi per il teorema delle successioni monotone ${\displaystyle \displaystyle \lim _{n\rightarrow +\infty }a_{n}}$ e ${\displaystyle \displaystyle \lim _{n\rightarrow +\infty }b_{n}}$ esistono finiti).

Si nota poi che ${\displaystyle b_{n}-a_{n}={\frac {b_{n-1}-a_{n-1}}{2}}}$, e di conseguenza ${\displaystyle b_{n}-a_{n}={\frac {b_{0}-a_{0}}{2^{n}}}}$.

Quindi ${\displaystyle \displaystyle \lim _{n\ \rightarrow +\infty }(b_{n}-a_{n})=0=\lim _{n\rightarrow +\infty }b_{n}-\lim _{n\rightarrow +\infty }a_{n}}$, cioè ${\displaystyle \displaystyle \lim _{n\rightarrow +\infty }a_{n}=\lim _{n\rightarrow +\infty }b_{n}}$.

Possiamo allora applicare il teorema dei carabinieri e concludere che: ${\displaystyle \displaystyle \lim _{n\rightarrow +\infty }a_{n}=\lim _{n\rightarrow +\infty }c_{n}=\lim _{n\rightarrow +\infty }b_{n}}$.

Sia allora ${\displaystyle c}$ tale limite comune. La continuità della funzione ${\displaystyle f}$ ci assicura che ${\displaystyle \displaystyle f(c)=\lim _{n\rightarrow +\infty }f(a_{n})=\lim _{n\rightarrow +\infty }f(b_{n})}$.

Nondimeno il fatto che ${\displaystyle [a,b]}$ sia chiuso assicura che ${\displaystyle c\in [a,b]}$.

D'altra parte, per costruzione induttiva si ha che ${\displaystyle f(a_{n})<0<f(b_{n})}$.

Quindi possiamo applicare il teorema di conservazione delle disuguaglianze ed affermare: ${\displaystyle \displaystyle f(c)=\lim _{n\rightarrow +\infty }f(a_{n})\leq 0\leq \lim _{n\rightarrow +\infty }f(b_{n})=f(c)}$

Quindi ${\displaystyle f(c)\leq 0\leq f(c)}$, di conseguenza ${\displaystyle f(c)=0}$.

Siccome poi ${\displaystyle a}$ e ${\displaystyle b}$ non sono zeri di ${\displaystyle f}$, deve essere che ${\displaystyle c\in (a,b)}$, come volevamo.

Ovviamente il teorema vale anche nell'ipotesi che ${\displaystyle f(a)>0>f(b)}$, basta applicare il procedimento visto a ${\displaystyle -f}$, sicuri del fatto che gli zeri di ${\displaystyle f}$ sono tutti e soli quelli di ${\displaystyle -f}$.

Osservazioni

• Nel caso ci si trovi in presenza di una funzione strettamente monotona, il teorema dice che lo zero è unico; se non si fa tale ipotesi gli zeri possono essere più di uno.
• Il teorema assicura l'esistenza dello zero, quindi è solo una condizione sufficiente ma non necessaria. Basti pensare alla funzione ${\displaystyle f(x)=x^{2}}$, che non assume valori discordi in ${\displaystyle x=\pm 1}$ ma comunque ha uno zero in ${\displaystyle x=0}$
• Il teorema vale in ipotesi molto più generali sull'insieme di definizione di ${\displaystyle \ f}$: basta che esso sia uno spazio topologico connesso.

Note

Bibliografia

• Paolo Maurizio Soardi, Analisi Matematica, CittàStudi, 2007, ISBN 978-88-251-7319-2.

Collegamenti esterni

• Bolzano, teorema di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.

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