Em topologia , a compactação é um processo geral de incorporação de um espaço topológico como um subespaço denso de um espaço compacto . A incorporação é chamada de compactada . Tal incorporação existe se e somente se o espaço for completamente regular .
Na topologia geral, as compactificações mais famosas são:
Essas compactificações são definidas até um único homeomorfismo. Eles podem ser caracterizados por propriedades universais: cada um desses compactados é definido como o espectro de uma álgebra funcional.
No entanto, do ponto de vista geométrico, uma compactação consiste em adicionar pontos ao infinito e definir suas vizinhanças.