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.

Principio

Reducir la verificación topológica global a comprobaciones sobre subconjuntos compactos para que construcciones (en particular espacios de funciones con la topología compacto-abierta) se comporten bien desde el punto de vista categórico; los compactos generan la topología en el sentido de la topología final/quotiente.

Demostración

Los complejos CW y los espacios localmente compactos de Hausdorff son compactamente generados; la categoría de espacios compactamente generados y débilmente Hausdorff es una categoría 'conveniente' en topología algebraica donde productos, espacios de mapeo y colímites poseen las propiedades esperadas.

Aplicación incorrecta

Confundir compactamente generado con localmente compacto o secuencial: un espacio puede ser compactamente generado sin ser localmente compacto, y no verificar la hipótesis de generación por compactos puede hacer fracasar las leyes exponenciales para espacios de funciones.

Consecuencia

Trabajar con espacios compactamente generados garantiza que la formación de espacios de mapeo y muchas construcciones categóricas (productos, colímites) conmute con las operaciones esperadas, evitando patologías de la categoría ingenua de todos los espacios topológicos y proporcionando una teoría de homotopía mejor comportada.

Inversión

En la situación opuesta, topologías no determinadas por compactos pueden producir mapeos que son continuos sobre cada compacto pero no globalmente; tales espacios rompen propiedades categóricas convenientes y complican las construcciones de espacios de funciones.

Límite

La generación por compactos es una condición sobre cómo se genera la topología y no implica por sí sola ser Hausdorff, localmente compacto o metrizable; variantes (débilmente Hausdorff, espacios k, k‑compacidad) especifican restricciones adicionales de separación o compacidad.

Tensión semántica

La tensión semántica aparece entre espacios compactamente generados y otras categorías 'convenientes' (p. ej., espacios secuenciales, espacios localmente compactos): cada elección implica compensaciones entre distintas propiedades de clausura y facilidades técnicas para construcciones homotópicas.

Síntesis

Un espacio compactamente generado es aquel cuya topología puede comprobarse en subconjuntos compactos: exigiendo que continuidad y clausura se testeen sobre compactos, la clase resultante forma una categoría conveniente en la que los espacios de mapeo y las construcciones homotópicas se comportan de manera coherente.