Editing Compactly generated space (section)

{{Short description|Property of topological spaces}}
In [[topology]], a [[topological space]] <math>X</math> is called a '''compactly generated space''' or '''k-space''' if its topology is determined by [[compact space]]s in a manner made precise below.  There is in fact no commonly agreed upon definition for such spaces, as different authors use variations of the definition that are not exactly equivalent to each other.  Also some authors include some separation axiom (like [[Hausdorff space]] or [[weak Hausdorff space]]) in the definition of one or both terms, and others do not.

In the simplest definition, a ''compactly generated space'' is a space that is [[Coherent topology|coherent]] with the family of its compact subspaces, meaning that for every set <math>A \subseteq X,</math> <math>A</math> is [[open (topology)|open]] in <math>X</math> if and only if <math>A \cap K</math> is open in <math>K</math> for every compact subspace <math>K \subseteq X.</math>  Other definitions use a family of continuous maps from compact spaces to <math>X</math> and declare <math>X</math> to be compactly generated if its topology coincides with the [[final topology]] with respect to this family of maps.  And other variations of the definition replace compact spaces with compact [[Hausdorff space]]s.

Compactly generated spaces were developed to remedy some of the shortcomings of the [[category of topological spaces]].  In particular, under some of the definitions, they form a [[cartesian closed category]] while still containing the typical spaces of interest, which makes them convenient for use in [[algebraic topology]].