La compactificación βX (única hasta homeomorfismo) más grande de un espacio completamente regular (Tychonoff) X, caracterizada por la propiedad de que toda función continua real y acotada sobre X se extiende de forma única a una función continua sobre βX.

Principio

Construir βX de manera que las funciones continuas acotadas separen puntos y se extiendan de forma única; βX es universal entre los espacios compactos de Hausdorff que reciben una aplicación continua desde X y se describe categóricamente por la álgebra de funciones continuas acotadas.

Demostración

Para el espacio discreto N de números naturales, βN es un espacio compacto, extremadamente desconectado y no metrizable cuyo resto βN \ N se puede identificar con ultrafiltros sobre N; las funciones acotadas en N (es decir, sucesiones acotadas) se extienden a funciones continuas en βN.

Aplicación incorrecta

Suponer que βX se comporta como compactificaciones simples (por ejemplo, metrizable o pequeñas) para un X cualquiera; para muchos espacios no compactos habituales βX es enorme y aparecen patologías (no separabilidad, ausencia de metrizabilidad), por lo que la intuición basada en la compactificación de un punto puede llevar a errores.

Consecuencia

Si se usa correctamente, la construcción proporciona un espacio compacto de Hausdorff βX con la propiedad universal de extensión para funciones continuas acotadas; βX ofrece el marco máximo para estudiar extensiones de funciones, compactificaciones y muchos invariantes algebraico-topológicos.

Inversión

Mientras que la compactificación de un punto colapsa todas las direcciones al infinito, βX suele separar esas direcciones según ultrafiltros o distinciones funcionales; invertir la perspectiva subraya que βX conserva la máxima información funcional, mientras que las compactificaciones mínimas la colapsan.

Límite

Requiere que X sea completamente regular (Tychonoff) para la caracterización estándar; para espacios que no cumplen la regularidad completa no existe en general un análogo con la propiedad de extensión deseada.

Tensión semántica

Contrasta con la compactificación de un punto y con compactificaciones clasificadas por subálgebras de C_b(X): Stone-Čech es la compactificación máxima definida por funciones, mientras que otras son mínimas o se eligen para satisfacer restricciones geométricas o métricas adicionales.

Síntesis

La compactificación de Stone-Čech es la compactificación universal y definida por las funciones de un espacio completamente regular X: βX es el espacio compacto de Hausdorff al que se extiende de forma única cada función continua acotada sobre X. A menudo es muy grande y no metrizable, pero es central para cuestiones de extensión y análisis funcional sobre espacios topológicos.