# Spazio compatto

In matematica, in particolare in topologia, uno spazio compatto è uno spazio topologico tale che ogni suo ricoprimento aperto contiene un sottoricoprimento finito. In alcuni contesti (ad esempio in geometria algebrica) si preferisce usare il termine spazio quasi compatto per indicare il concetto appena definito e riservare il termine spazio compatto per indicare uno spazio topologico quasi compatto e di Hausdorff.
Un insieme contenuto in uno spazio topologico si dice compatto se è uno spazio compatto nella topologia indotta. Un insieme in uno spazio topologico si dice inoltre σ-compatto se è costituito dall'unione numerabile di insiemi compatti.
Intuitivamente, i punti di un insieme compatto non possono essere troppo dispersi: per esempio, uno spazio metrico è compatto se e solo se ogni successione di punti (in quello spazio) possiede una sottosuccessione che converge ad un punto dell'insieme stesso. In generale, ogni sottoinsieme infinito di uno spazio topologico compatto possiede un punto di accumulazione.

## Storia e motivazione

Il termine "compatto" fu introdotto da Fréchet nel 1906. Era noto da molto tempo che una proprietà come la compattezza fosse necessaria per dimostrare molti risultati utili. In origine, quando si studiavano principalmente gli spazi metrici, veniva definito "compatto" uno spazio sequenzialmente compatto. La definizione è stata sostituita da quella basata sui ricoprimenti aperti che permette di generalizzare agli spazi topologici generali molti risultati dimostrati per gli spazi metrici.
Uno dei principali motivi per studiare gli spazi compatti è che per certi versi sono molto simili agli insiemi finiti. Infatti, la proprietà del ricoprimento finito di aperti consente sempre di "approssimare" a piacere l'intero spazio con un numero finito di punti, permettendo l'estensione agli spazi compatti di molti risultati dimostrabili negli insiemi finiti. Ad esempio, sia $X$ uno spazio di Hausdorff, $x$ un suo punto e $A$ un suo sottoinsieme finito che non contenga il punto $x$. Allora è possibile separare $x$ e $A$ con degli insiemi aperti disgiunti. Inoltre, per definizione, nello spazio di Hausdorff esistono per ogni $a\in A$ degli intorni $V_{a}$ di $a$ e $U_{a}$ di $x$ (anch'esso dipendente da $a$, ovvero dalla scelta di $V_{a}$) tali che $U_{a}$ e $V_{a}$ siano disgiunti. L'unione $V$ di tutti i $V_{a}$ è un intorno dell'insieme $A$, e l'intersezione $U$ (finita, dato che $A$ è finito) degli $U_{a}$ è un intorno di $x$, disgiunto da ogni $V_{a}$ e quindi dalla loro unione $V$. Questo ragionamento non funziona se $A$ non è finito, dato che l'intersezione di un numero infinito di intorni non è necessariamente un intorno. Se però $A$ è compatto, il ragionamento è "salvabile": infatti in questo caso si può estrarre un ricoprimento finito dagli $V_{a}$, e l'intersezione finita dei relativi $U_{a}$ è di nuovo un intorno di $x$.
Si vede così che in uno spazio di Hausdorff un punto può essere separato da un insieme compatto che non lo contenga. Un ragionamento analogo mostra che nello spazio di Hausdorff due insiemi compatti disgiunti sono sempre separabili da intorni: in altre parole, l'assioma di Hausdorff vale sostituendo "insieme compatto" a "punto".
Molti argomenti e risultati riguardanti gli spazi compatti seguono questo tipo di ragionamento.

## Definizione

La compattezza è una nozione definita per qualsiasi spazio topologico. Esistono due concetti distinti di compattezza, definiti, rispettivamente, in termini di ricoprimenti e di successioni. Le due definizioni coincidono per molti spazi topologici, ad esempio per gli spazi metrici, e, più in generale, per gli spazi sequenziali. Generalmente, la prima è accettata come definizione generale per gli spazi topologici, mentre la seconda è usata in analisi matematica.

### Compattezza per ricoprimenti

Uno spazio topologico $X$ si dice compatto se da ogni suo ricoprimento costituito da una famiglia di insiemi aperti si può estrarre una sottofamiglia finita che è ancora un ricoprimento. In altre parole, per ogni famiglia $\{U_{i}\}_{i\in I}$ di sottoinsiemi aperti di $X$ tale che:
    $\bigcup _{i\in I}U_{i}=X$
esiste un sottoinsieme finito $J$ di $I$ tale che:
    $\bigcup _{i\in J}U_{i}=X$
Qualche autore richiede che uno spazio compatto sia di Hausdorff, ed in tal caso uno spazio che soddisfa la definizione precedente che non sia necessariamente di Hausdorff è detto quasi compatto.
In modo equivalente, uno spazio è compatto se da ogni famiglia di chiusi la cui intersezione sia vuota è possibile estrarre una sottofamiglia finita la cui intersezione è vuota. In altre parole, per ogni famiglia $\{C_{i}\}_{i\in I}$ di sottoinsiemi chiusi di $X$ tale che:
    $\bigcap _{i\in I}C_{i}=\varnothing$
esiste un sottoinsieme finito $J$ di $I$ tale che:
    $\bigcap _{i\in J}C_{i}=\varnothing$
L'equivalenza delle definizioni discende dal fatto che gli insiemi chiusi sono i complementari degli aperti, e dalle relazioni di dualità di De Morgan degli operatori di unione e intersezione di insiemi.

### Compattezza per successioni

Uno spazio topologico $X$ si dice compatto per successioni o sequenzialmente compatto, se ogni successione di punti in $X$ ammette una sottosuccessione convergente a un punto di $X$. Le due definizioni sono equivalenti negli spazi metrici in virtù del teorema di Bolzano-Weierstrass, ma non negli spazi topologici più in generale.
Un esempio di spazio sequenzialmente compatto ma non compatto è il primo numero ordinale non numerabile $\omega _{1}$, con la topologia indotta dall'usuale relazione d'ordine di appartenenza $\in$. Uno spazio che risulta invece compatto (grazie al teorema di Tychonoff) ma non sequenzialmente compatto è l'insieme $[0,1]^{[0,1]}$ delle funzioni (anche non continue) dall'intervallo $[0,1]$ in sé.
Negli spazi topologici si ha una caratterizzazione che utilizza le reti, dette anche successioni generalizzate: uno spazio topologico $X$ è compatto se e solo se ogni rete $(x_{\alpha })$ in $X$ ammette una sottorete convergente a un punto $x$ in $X$.

### Compattezza di spazi euclidei

Grazie al teorema di Heine-Borel, un sottoinsieme $X$ dello spazio euclideo $\mathbb {R} ^{n}$ è compatto se e solo se è chiuso nella topologia euclidea, cioè contiene tutti i suoi punti di accumulazione, ed è limitato, cioè esiste un numero positivo $K>0$ tale che la distanza tra due punti qualsiasi in $X$ sia sempre minore di $K$.
L'affermazione non è valida invece per gli spazi ad infinite dimensioni, ad esempio per gli spazi di Hilbert o di Banach. Per il teorema di Weierstrass, inoltre, un sottoinsieme compatto dei numeri reali ha un elemento minimo ed uno massimo.

## Proprietà

Nel seguito le principali proprietà che caratterizzano gli spazi compatti.

### Punti di accumulazione

Per il teorema di Bolzano-Weierstrass, ogni sottoinsieme infinito di uno spazio compatto $X$ ammette almeno un punto di accumulazione in $X$.

### Funzioni continue

Una versione del teorema di Weierstrass sostiene che una funzione continua $f\colon X\to \mathbb {R}$ definita su uno spazio topologico compatto $X$ è limitata, ovvero la sua immagine è contenuta in un insieme limitato della retta reale.
La dimostrazione è la seguente: si considera in $X$ la famiglia delle controimmagini degli intervalli aperti e limitati della retta reale. La continuità della funzione assicura che si tratta di una famiglia di aperti, dalla quale, per la compattezza, è possibile estrarre un ricoprimento finito di aperti, ciascuno dei quali proviene da un intervallo aperto e limitato. L'unione di tali intervalli limitati, essendo finita è limitata e include l'immagine dello spazio topologico.
Più in generale, una funzione continua:
    $f\colon X\to Y$
tra spazi topologici "manda compatti in compatti": se $A$ è un sottoinsieme compatto di $X$, la sua immagine $f(A)$ è anch'essa compatta.

### Sottoinsiemi chiusi

Un sottoinsieme chiuso di un compatto è anch'esso compatto. D'altra parte, un sottoinsieme compatto in uno spazio di Hausdorff, ad esempio un qualsiasi spazio metrico, è chiuso.

### Prodotti e quozienti

Per il teorema di Tychonoff, il prodotto di spazi compatti è compatto.
Il quoziente di un compatto $E$ è compatto, perché immagine suriettiva di $E$ tramite la proiezione sul quoziente (che manda ogni elemento di $E$ nella sua classe di equivalenza), la quale è una funzione continua (incidentalmente, la topologia quoziente è la più fine fra tutte quelle che rendono continua la proiezione).

### Spazi metrici

Uno spazio metrico è compatto se e solo se è completo e totalmente limitato. In particolare, ogni spazio metrico compatto è limitato, nel senso che ha un diametro finito. Ovvero, detto $E$ lo spazio metrico compatto, si ha necessariamente che:
    $\mathrm {diam} (E)=\sup _{x,y\in E}d(x,y)$
è un valore finito. Si noti che, benché la totale limitatezza implichi la limitatezza, esistono spazi metrici completi e limitati, ma non totalmente limitati, in particolare non compatti (si veda l'esempio qui sotto delle palle chiuse in spazi di dimensione infinita).

## Esempi
### Esempi di spazi compatti

* L'insieme vuoto
* Ogni insieme $\displaystyle X$ con la topologia banale
* Ogni insieme $\displaystyle X$ con la topologia cofinita
* Un intervallo chiuso $\displaystyle [a,b]\subset \mathbb {R}$ con la topologia standard sui reali è compatto.
* La sfera chiusa, così come il toro, sono compatti in $\displaystyle \mathbb {R} ^{3}$, essendo insiemi chiusi e limitati.
* L'insieme di Cantor
* Ogni spazio topologico finito con una topologia qualsiasi contiene un numero finito di aperti, quindi è compatto.

### Esempi di spazi non compatti

* Per quanto esposto in precedenza, se uno spazio metrico è illimitato (ha diametro infinito) non può essere compatto.
** Ne segue, ad esempio, che la retta $\displaystyle \mathbb {R}$ (ma anche lo spazio euclideo $\mathbb {R} ^{n}$) con la topologia standard non è compatta. Questo può essere visto direttamente considerando il ricoprimento aperto $\displaystyle (-n,n)$ al variare di $\displaystyle n\in \mathbb {N}$, da cui non è possibile estrarre alcun sottoricomprimento finito.
* La palla chiusa unitaria in uno spazio completo di dimensione infinita è un classico esempio di un sottoinsieme di uno spazio completo che sia limitato e chiuso, ma non compatto.
* Ogni insieme $\displaystyle X$ infinito con la topologia discreta.