Teorema di Bolzano-Weierstrass

Il teorema di Bolzano-Weierstrass è un risultato fondamentale dell’analisi reale che mette in relazione la limitatezza di un insieme con la sua compattezza sequenziale.

Enunciato

Ogni successione numerica reale $a_n$ che sia limitata (ovvero tale che $|a_n| \leq M$ per ogni $n$) ammette almeno una sottosuccessione convergente.

Significato Teorico

Il teorema afferma che, anche se una successione non converge (es. $a_n = (-1)^n$), se non “scappa all’infinito” deve avere almeno un punto di accumulazione. In termini più moderni, questo teorema esprime la compattezza degli intervalli chiusi e limitati in $\mathbb{R}^n$.

Significato Ingegneristico

• Analisi della Stabilità: Nello studio di sistemi dinamici, garantisce che se le variabili di stato rimangono confinate in una regione finita (non divergono), il sistema deve tendere localmente verso stati di equilibrio o orbite periodiche.
• Ottimizzazione Numerica: Molti algoritmi iterativi generano successioni di stime. Il teorema garantisce che, se le stime sono confinate in un’area di ricerca limitata, esiste almeno una sottosuccessione che converge a un punto critico.
• Elaborazione Segnali: Utilizzato nella teoria del campionamento e nella ricostruzione di segnali per garantire la convergenza di serie di funzioni approssimanti sotto vincoli di energia finita.