Editing Compactly generated space (section)

==Definitions==

===General framework for the definitions===

Let <math>(X,T)</math> be a [[topological space]], where <math>T</math> is the [[topological space#topology|topology]], that is, the collection of all open sets in <math>X.</math>

There are multiple (non-equivalent) definitions of ''compactly generated space'' or ''k-space'' in the literature.  These definitions share a common structure, starting with a suitably specified family <math>\mathcal F</math> of continuous maps from some compact spaces to <math>X.</math>  The various definitions differ in their choice of the family <math>\mathcal F,</math> as detailed below.

The [[final topology]] <math>T_{\mathcal F}</math> on <math>X</math> with respect to the family <math>\mathcal F</math> is called the '''k-ification''' of <math>T.</math>  Since all the functions in <math>\mathcal F</math> were continuous into <math>(X,T),</math> the k-ification of <math>T</math> is [[finer topology|finer]] than (or equal to) the original topology <math>T</math>.  The open sets in the k-ification are called the '''{{visible anchor|k-open|k-open set|text=k-open sets}}''' in <math>X;</math> they are the sets <math>U\subseteq X</math> such that <math>f^{-1}(U)</math> is open in <math>K</math> for every <math>f:K\to X</math> in <math>\mathcal F.</math>  Similarly, the '''{{visible anchor|k-closed|k-closed set|text=k-closed sets}}''' in <math>X</math> are the closed sets in its k-ification, with a corresponding characterization.  In the space <math>X,</math> every open set is k-open and every closed set is k-closed.  The space <math>X</math> together with the new topology <math>T_{\mathcal F}</math> is usually denoted <math>kX.</math>{{sfn|Strickland|2009|loc=Definition 1.1}}

The space <math>X</math> is called '''compactly generated''' or a '''k-space''' (with respect to the family <math>\mathcal F</math>) if its topology is determined by all maps in <math>\mathcal F</math>, in the sense that the topology on <math>X</math> is equal to its k-ification; equivalently, if every k-open set is open in <math>X,</math> or if every k-closed set is closed in <math>X;</math> or in short, if <math>kX=X.</math>

As for the different choices for the family <math>\mathcal F</math>, one can take all the inclusions maps from certain subspaces of <math>X,</math> for example all compact subspaces, or all compact Hausdorff subspaces.  This corresponds to choosing a set <math>\mathcal C</math> of subspaces of <math>X.</math>  The space <math>X</math> is then ''compactly generated'' exactly when its topology is [[coherent (topology)|coherent]] with that family of subspaces; namely, a set <math>A\subseteq X</math> is open (resp. closed) in <math>X</math> exactly when the intersection <math>A\cap K</math> is open (resp. closed) in <math>K</math> for every <math>K\in\mathcal C.</math>  Another choice is to take the family of all continuous maps from arbitrary spaces of a certain type into <math>X,</math> for example all such maps from arbitrary compact spaces, or from arbitrary compact Hausdorff spaces.

These different choices for the family of continuous maps into <math>X</math> lead to different definitions of ''compactly generated space''.  Additionally, some authors require <math>X</math> to satisfy a separation axiom (like [[Hausdorff space|Hausdorff]] or [[weak Hausdorff]]) as part of the definition, while others don't.  The definitions in this article will not comprise any such separation axiom.

As an additional general note, a sufficient condition that can be useful to show that a space <math>X</math> is compactly generated (with respect to <math>\mathcal F</math>) is to find a subfamily <math>\mathcal G\subseteq\mathcal F</math> such that <math>X</math> is compactly generated with respect to <math>\mathcal G.</math>  For coherent spaces, that corresponds to showing that the space is coherent with a subfamily of the family of subspaces.  For example, this provides one way to show that locally compact spaces are compactly generated.

Below are some of the more commonly used definitions in more detail, in increasing order of specificity.

For Hausdorff spaces, all three definitions are equivalent.  So the terminology '''{{visible anchor|compactly generated Hausdorff space}}''' is unambiguous and refers to a compactly generated space (in any of the definitions) that is also [[Hausdorff space|Hausdorff]].

===Definition 1===

Informally, a space whose topology is determined by its compact subspaces, or equivalently in this case, by all continuous maps from arbitrary compact spaces.

A topological space <math>X</math> is called '''compactly-generated''' or a '''k-space''' if it satisfies any of the following equivalent conditions:<ref>{{cite journal |last1=Lawson |first1=J. |last2=Madison |first2=B. |title=Quotients of k-semigroups |journal=Semigroup Forum |date=1974 |volume=9 |pages=1–18 |doi=10.1007/BF02194829}}</ref>{{sfn|Willard|2004|loc=Definition 43.8}}{{sfn|Munkres|2000|p=283}}

:(1) The topology on <math>X</math> is [[coherent (topology)|coherent]] with the family of its compact subspaces; namely, it satisfies the property:
::a set <math>A\subseteq X</math> is open (resp. closed) in <math>X</math> exactly when the intersection <math>A\cap K</math> is open (resp. closed) in <math>K</math> for every compact subspace <math>K\subseteq X.</math>
:(2) The topology on <math>X</math> coincides with the [[final topology]] with respect to the family of all continuous maps <math>f:K\to X</math> from all compact spaces <math>K.</math>
:(3) <math>X</math> is a [[quotient space (topology)|quotient space]] of a [[topological sum]] of compact spaces.
:(4) <math>X</math> is a quotient space of a [[weakly locally compact]] space.

As explained in the [[final topology]] article, condition (2) is well-defined, even though the family of continuous maps from arbitrary compact spaces is not a set but a proper class.

The equivalence between conditions (1) and (2) follows from the fact that every inclusion from a subspace is a continuous map; and on the other hand, every continuous map <math>f:K\to X</math> from a compact space <math>K</math> has a compact image <math>f(K)</math> and thus factors through the inclusion of the compact subspace <math>f(K)</math> into <math>X.</math>

===Definition  2===

Informally, a space whose topology is determined by all continuous maps from arbitrary compact Hausdorff spaces.

A topological space <math>X</math> is called '''compactly-generated''' or a '''k-space''' if it satisfies any of the following equivalent conditions:{{sfn|Brown|2006|p=182}}{{sfn|Strickland|2009}}<ref>{{nlab|id=compactly+generated+topological+space |title=compactly generated topological space}}</ref>

:(1) The topology on <math>X</math> coincides with the [[final topology]] with respect to the family of all continuous maps <math>f:K\to X</math> from all compact Hausdorff spaces <math>K.</math>  In other words, it satisfies the condition:
::a set <math>A\subseteq X</math> is open (resp. closed) in <math>X</math> exactly when <math>f^{-1}(A)</math> is open (resp. closed) in <math>K</math> for every compact Hausdorff space <math>K</math> and every continuous map <math>f:K\to X.</math>
:(2) <math>X</math> is a quotient space of a [[topological sum]] of compact Hausdorff spaces.
:(3) <math>X</math> is a quotient space of a [[locally compact Hausdorff]] space.

As explained in the [[final topology]] article, condition (1) is well-defined, even though the family of continuous maps from arbitrary compact Hausdorff spaces is not a set but a proper class.{{sfn|Brown|2006|p=182}}

Every space satisfying Definition 2 also satisfies Definition 1.  The converse is not true.  For example, the [[one-point compactification]] of the [[Arens-Fort space]] is compact and hence satisfies Definition 1, but it does not satisfies Definition 2.

Definition 2 is the one more commonly used in algebraic topology.  This definition is often paired with the [[weak Hausdorff]] property to form the [[Category of compactly generated weak Hausdorff spaces|category CGWH of compactly generated weak Hausdorff spaces]].

===Definition 3===

Informally, a space whose topology is determined by its compact Hausdorff subspaces.

A topological space <math>X</math> is called '''compactly-generated''' or a '''k-space''' if its topology is [[coherent (topology)|coherent]] with the family of its compact Hausdorff subspaces; namely, it satisfies the property:
:a set <math>A\subseteq X</math> is open (resp. closed) in <math>X</math> exactly when the intersection <math>A\cap K</math> is open (resp. closed) in <math>K</math> for every compact Hausdorff subspace <math>K\subseteq X.</math>

Every space satisfying Definition 3 also satisfies Definition 2.  The converse is not true.  For example, the [[Sierpiński space]] <math>X=\{0,1\}</math> with topology <math>\{\emptyset,\{1\},X\}</math> does not satisfy Definition 3, because its compact Hausdorff subspaces are the singletons <math>\{0\}</math> and <math>\{1\}</math>, and the coherent topology they induce would be the [[discrete topology]] instead.  On the other hand, it satisfies Definition 2 because it is [[homeomorphic]] to the quotient space of the compact interval <math>[0,1]</math> obtained by identifying all the points in <math>(0,1].</math>

By itself, Definition 3 is not quite as useful as the other two definitions as it lacks some of the properties implied by the others.  For example, every quotient space of a space satisfying Definition 1 or Definition 2 is a space of the same kind.  But that does not hold for Definition 3.

However, for [[weak Hausdorff]] spaces Definitions 2 and 3 are equivalent.{{sfn|Strickland|2009|loc=Lemma 1.4(c)}}  Thus the category [[Category of compactly generated weak Hausdorff spaces|CGWH]] can also be defined by pairing the weak Hausdorff property with Definition 3, which may be easier to state and work with than Definition 2.