Espacio Compactamente Generado

Un espacio topológico X es compactamente generado (espacio k) si su topología está determinada por subespacios compactos: un conjunto A ⊆ X es cerrado (abierto) en X si y solo si A ∩ K es cerrado (abierto) en K para todo compacto K ⊆ X; equivalentemente, X lleva la topología final respecto a las inclusiones de sus compactos.