Edu/Analisi 1/Continuità

I Teoremi della Continuità

Weierstrass, Zeri e Valori Intermedi. Scopri cosa succede quando intrappoliamo una funzione continua dentro un intervallo chiuso.

💡

Il segreto per l'orale: Tutti questi teoremi hanno una condizione fondamentale in comune: la funzione deve essere continua su un intervallo chiuso e limitato $[a, b]$ . Se l'intervallo è aperto $(a, b)$ , i teoremi crollano! Clicca sui pulsanti per svelare le dimostrazioni.

Teorema di Weierstrass

L'intuizione grafica

Se disegni una linea senza mai staccare la penna dal foglio (continua) partendo da un punto $a$ e finendo in un punto $b$ , ci sarà per forza un punto in cui hai raggiunto la quota più alta (Massimo Assoluto) e uno in cui hai toccato il fondo (Minimo Assoluto). Non può "fuggire" all'infinito perché l'intervallo ha dei confini precisi.

Enunciato Ufficiale

Sia $f(x)$ una funzione continua definita in un intervallo chiuso e limitato $[a, b]$ . Allora la funzione ammette sicuramente almeno un punto di Massimo assoluto e almeno un punto di Minimo assoluto all'interno dell'intervallo.

Traduzione per umani: Esisteranno per forza un valore massimo M e un valore minimo m. Significa che l'immagine della funzione è un insieme limitato, non può schizzare a +∞ o -∞.

📐 La Dimostrazione

La dimostrazione rigorosa di Weierstrass è molto complessa per Analisi 1 e spesso viene omessa dai professori, in quanto richiede il Teorema di Bolzano-Weierstrass sulle successioni. Tuttavia, eccone l'impalcatura logica per fare bella figura all'orale.

Step 1 (Limitatezza): Per prima cosa si dimostra che la funzione è limitata. Sia $M$ l'estremo superiore dell'immagine di $f$ . Per le proprietà dell'estremo superiore, possiamo costruire una successione massimizzante $x_n \in [a,b]$ tale che $f(x_n) \to M$ .
Step 2 (Bolzano-Weierstrass): Poiché l'intervallo $[a,b]$ è chiuso e limitato (è un insieme compatto), la successione $x_n$ ammette una sottosuccessione convergente $x_{n_k}$ che tende a un punto $x_0$ che si trova ancora dentro $[a,b]$ .
Step 3 (Continuità): Poiché per ipotesi la funzione $f$ è continua, il limite della funzione applicato alla sottosuccessione deve coincidere con la funzione applicata al limite. Ovvero:
$\lim_{k \to \infty} f(x_{n_k}) = f(x_0)$
Conclusione: Ma noi sapevamo dallo Step 1 che $f(x_{n_k}) \to M$ . Quindi necessariamente $f(x_0) = M$ . Poiché $x_0 \in [a,b]$ , il valore $M$ (che prima era solo un estremo superiore teorico) viene effettivamente raggiunto nel punto $x_0$ . Abbiamo trovato il Massimo assoluto. Lo stesso identico ragionamento si applica per il minimo $m$ .

Teorema degli Zeri (Bolzano)

L'intuizione grafica

Se ti trovi sotto l'acqua (valore negativo) e vuoi arrivare fuori dall'acqua (valore positivo) camminando senza mai teletrasportarti (funzione continua), devi per forza rompere la superficie dell'acqua (attraversare l'asse X) almeno una volta. Quell'attraversamento è il tuo "zero".

Enunciato Ufficiale

Sia $f(x)$ una funzione continua definita in un intervallo chiuso $[a, b]$ . Se la funzione assume valori di segno opposto agli estremi dell'intervallo (ovvero $f(a) \cdot f(b) < 0$ ), allora esiste almeno un punto $c \in (a, b)$ in cui la funzione si annulla: $f(c) = 0$ .

Traduzione per umani: Il prodotto f(a)*f(b) < 0 è solo il modo elegante dei matematici per dire 'uno è positivo e l'altro è negativo' (perché + per - fa sempre meno).

📐 La Dimostrazione

Questa è una delle dimostrazioni più famose e si esegue con il Metodo di Bisezione (tagliare a metà).

Prendiamo l'intervallo $[a, b]$ e calcoliamo il suo punto medio: $m_1 = \frac{a+b}{2}$ .
Calcoliamo $f(m_1)$ . Se $f(m_1) = 0$ , abbiamo già finito: $c = m_1$ .
Se $f(m_1) \neq 0$ , esso avrà un segno (+ o -). Per forza di cose, questo segno sarà opposto a uno dei due estremi (o a $f(a)$ o a $f(b)$ ). Scegliamo la metà dell'intervallo in cui i segni continuano a essere opposti, e chiamiamo questo nuovo intervallo (più piccolo) $[a_1, b_1]$ .
Ripetiamo il processo all'infinito: troviamo il punto medio $m_2$ , valutiamo il segno, e creiamo un intervallo $[a_2, b_2]$ ancora più piccolo.
Cosa abbiamo costruito? Abbiamo creato due successioni: gli estremi sinistri $a_n$ (che sono crescenti) e gli estremi destri $b_n$ (che sono decrescenti). La distanza tra loro si dimezza ogni volta, quindi il limite della loro distanza tende a zero. Questo significa che $a_n$ e $b_n$ "collassano" sullo stesso identico punto $c$ :
$\lim_{n \to \infty} a_n = \lim_{n \to \infty} b_n = c$
Per il Teorema della Permanenza del Segno e per la continuità della funzione, sapendo che $f(a_n) \le 0$ e $f(b_n) \ge 0$ per ogni step, passando al limite per $n \to \infty$ l'unico valore che può essere contemporaneamente $\le 0$ e $\ge 0$ è esattamente lo zero! Quindi $f(c) = 0$ . Dimostrato!

Teorema dei Valori Intermedi (Darboux)

Enunciato Ufficiale

Sia $f(x)$ continua in $[a, b]$ . Siano $m$ e $M$ il minimo e il massimo assoluti della funzione (che esistono per Weierstrass). Allora la funzione assume almeno una volta tutti i valori compresi tra $m$ e $M$ .

Traduzione per umani: Invece di concentrarci sullo zero come nel teorema precedente, qui diciamo che se la funzione parte da altezza 2 e arriva ad altezza 10, per forza di cose dovrà passare almeno una volta per l'altezza 3, per il 4, per l'8.5, ecc. Non può 'saltare' nessun piano del palazzo.

📐 La Dimostrazione

Questa è una dimostrazione velocissima, perché è un corollario diretto del Teorema degli Zeri.

Scegliamo un qualsiasi valore $y_0$ che stia tra il minimo e il massimo: $m < y_0 < M$ . Il nostro obiettivo è dimostrare che esiste una $c$ tale che $f(c) = y_0$ .
Inventiamoci una nuova funzione ausiliaria (chiamiamola $g$ ) che trasla tutto il nostro grafico verso il basso di un valore $y_0$ :
$g(x) = f(x) - y_0$
Sappiamo che il massimo di $f(x)$ è $M$ (calcolato in $x_M$ ) e il minimo è $m$ (calcolato in $x_m$ ). Valutiamo la nostra nuova funzione $g$ in questi due punti:
- $g(x_M) = f(x_M) - y_0 = M - y_0$ . Poiché $M > y_0$ , questo risultato è Positivo.
- $g(x_m) = f(x_m) - y_0 = m - y_0$ . Poiché $m < y_0$ , questo risultato è Negativo.
Abbiamo appena dimostrato che la funzione $g(x)$ (che è continua perché somma di funzioni continue) assume valori di segno opposto agli estremi!
Possiamo quindi sguinzagliare il Teorema degli Zeri su $g(x)$ : esiste un punto $c$ in cui $g(c) = 0$ .
Ma cosa significa $g(c) = 0$ ?
$f(c) - y_0 = 0 \implies f(c) = y_0$
Abbiamo dimostrato che la funzione "tocca" effettivamente il valore $y_0$ !

Lezione Precedente← Continuità e Discontinuità Prossimo CapitoloIntroduzione alle Derivate→

Algebra

I Teoremi della Continuità

Teorema di Weierstrass

L'intuizione grafica

📐 La Dimostrazione

Teorema degli Zeri (Bolzano)

L'intuizione grafica

📐 La Dimostrazione

Teorema dei Valori Intermedi (Darboux)

📐 La Dimostrazione