En matemáticas , un espacio topológico X es secuencialmente compacto si cada secuencia de puntos en X tiene una subsecuencia convergente que converge a un punto en .
Todo espacio métrico es naturalmente un espacio topológico y, para los espacios métricos, las nociones de compacidad y compacidad secuencial son equivalentes (si se supone que hay elección numerable ). Sin embargo, existen espacios topológicos secuencialmente compactos que no son compactos y espacios topológicos compactos que no son secuencialmente compactos.
El espacio de todos los números reales con la topología estándar no es secuencialmente compacto; la secuencia dada por para todos los números naturales es una secuencia que no tiene subsecuencia convergente.
Si un espacio es un espacio métrico , entonces es secuencialmente compacto si y solo si es compacto . [1] El primer ordinal incontable con la topología de orden es un ejemplo de un espacio topológico secuencialmente compacto que no es compacto. El producto de copias del intervalo unitario cerrado es un ejemplo de un espacio compacto que no es secuencialmente compacto. [2]
Se dice que un espacio topológico es compacto en puntos límite si cada subconjunto infinito de tiene un punto límite en , y compacto numerable si cada cubierta abierta numerable tiene una subcubierta finita. En un espacio métrico , las nociones de compacidad secuencial, compacidad en puntos límite, compacidad numerable y compacidad son todas equivalentes (si se supone el axioma de elección ).
En un espacio secuencial (Hausdorff), la compacidad secuencial es equivalente a la compacidad contable. [3]
También existe la noción de compactificación secuencial de un punto: la idea es que todas las secuencias no convergentes deberían converger al punto extra. [4]
