En matemáticas , se dice que un espacio topológico es σ-compacto si es la unión de muchos subespacios compactos numerables . [1]