Il teorema di Heine-Borel fornisce la caratterizzazione operativa della compattezza negli spazi euclidei. In \mathbb{R}^n, un insieme è compatto se e solo se è chiuso e limitato. È uno dei risultati che rendono l’analisi reale concreta: una proprietà topologica, la compattezza, può essere verificata con due condizioni geometriche semplici.
Enunciato
Per un insieme K\subseteq\mathbb{R}^n vale
Un insieme è chiuso se contiene i propri punti limite. È limitato se esiste un raggio R>0 tale che
La compattezza può essere formulata in più modi equivalenti in \mathbb{R}^n: ogni successione in K ammette una sottosuccessione convergente a un punto di K, oppure ogni ricoprimento aperto di K ammette un sottoricoprimento finito.
Perché chiuso e limitato servono entrambi
La limitatezza impedisce alle successioni di “scappare all’infinito”. L’insieme
è chiuso, ma non è compatto perché non è limitato.
La chiusura impedisce alle successioni di convergere verso punti mancanti. L’intervallo
è limitato, ma non è compatto in \mathbb{R} perché la successione 1/n converge a 0, che non appartiene all’insieme.
L’intervallo
è invece chiuso e limitato, quindi compatto.
Uso nei teoremi di esistenza
Heine-Borel è spesso la porta d’ingresso ai risultati di esistenza. Se una funzione continua è definita su un insieme compatto, allora assume massimo e minimo. Questo principio è alla base di ottimizzazione vincolata, stime di errore, esistenza di soluzioni e metodi numerici.
In pratica, davanti a un problema del tipo “esiste un massimo?”, si cerca spesso di verificare che:
- il dominio ammissibile sia chiuso;
- il dominio ammissibile sia limitato;
- la funzione obiettivo sia continua.
In \mathbb{R}^n, le prime due condizioni danno la compattezza tramite Heine-Borel.
Collegamento con aperti e palle
La definizione topologica di compattezza usa ricoprimenti mediante insiemi aperti. Un ricoprimento aperto di K è una famiglia di aperti la cui unione contiene K:
La compattezza richiede che da questa famiglia, anche infinita, si possa estrarre un numero finito di aperti che ricoprono ancora K. Heine-Borel dice che, negli spazi euclidei, questa proprietà astratta coincide esattamente con essere chiusi e limitati.
Cautela fuori da \mathbb{R}^n
Il teorema non va generalizzato senza ipotesi. In spazi metrici o normati infiniti-dimensionali, chiuso e limitato non implica necessariamente compatto. Questo è un punto essenziale in analisi funzionale e nelle equazioni differenziali: molte intuizioni geometriche finite-dimensionali non sopravvivono automaticamente.
Errori comuni
Un errore frequente è dire che “compatto” significa semplicemente “limitato”. La limitatezza non basta: serve anche includere i punti di frontiera.
Un secondo errore è applicare Heine-Borel a qualunque spazio. La forma “compatto se e solo se chiuso e limitato” è una caratterizzazione specifica degli spazi euclidei finito-dimensionali.
Infine, compatto non significa piccolo nel senso fisico del termine. Un insieme può essere molto grande, ma se è chiuso e contenuto in una palla di raggio finito in \mathbb{R}^n, è compatto.