In topologia , la compattazione è un processo generale di incorporamento di uno spazio topologico come sottospazio denso di uno spazio compatto . L'incorporamento è chiamato compattato . Tale incorporamento esiste se e solo se lo spazio è completamente regolare .
Nella topologia generale, le compattificazioni più famose sono:
Queste compattificazioni si definiscono fino ad un unico omeomorfismo. Possono essere caratterizzati da proprietà universali: ciascuno di questi compattificati è definito come lo spettro di un'algebra funzionale.
Tuttavia, da un punto di vista geometrico, una compattificazione consiste nell'aggiungere punti all'infinito e nel definirne i dintorni.