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.