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 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.