ncatlab.org

compactly generated topological space in nLab

Contents

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Idea

A topological space is called compactly generated – also called a “k-space”1 (Gale 1950, 1., following lectures by Hurewicz in 1948), “Kelley space” (Gabriel & Zisman 1967, III.4), or “kaonic space” (Postnikov 1982, p. 34) – if its topology is detected by the continuous images of compact Hausdorff spaces inside it.

As opposed to general topological spaces, compactly generated spaces form a cartesian closed category while still being general enough for most purposes of general topology, hence form a convenient category of topological spaces (Steenrod 1967) and as such have come to be commonly used in the foundations of algebraic topology and homotopy theory, especially in their modern guise as compactly generated weakly Hausdorff spaces, due to McCord 1969, Sec. 2.

Definition

Definition

(k-spaces)
A topological space XX is a kk-space if any (hence all) of the conditions in Prop. hold.

Examples

Examples of compactly generated spaces include

Note: it is not generally true that compact spaces are compactly generated, even if they are weakly Hausdorff. An example is the square of the one-point compactification of the rationals ℚ\mathbb{Q} with its standard topology. See for example this MathStackExchange post.

Example

Every CW-complex is a compactly generated topological space.

Proof

Since a CW-complex XX is a colimit in Top over attachments of standard n-disks D n iD^{n_i} (its cells), by the characterization of colimits in TopTop (prop.) a subset of XX is open or closed precisely if its restriction to each cell is open or closed, respectively. Since the nn-disks are compact, this implies one direction: if a subset AA of XX intersected with all compact subsets is closed, then AA is closed.

For the converse direction, since a CW-complex is a Hausdorff space and since compact subspaces of Hausdorff spaces are closed, the intersection of a closed subset with a compact subset is closed.

Properties

Coreflection into topological spaces

Definition

(category of k-spaces)
We write

(1)kTop↪Top k\Top \xhookrightarrow{\;\;\;\;} Top

for the category of kk-spaces (Def. ) with continuous functions between them, hence for the full subcategory of Top on the k-spaces.

Proposition

The inclusion (1) is that of a coreflective subcategory

(2)kTop⊥⟵k↪Top k Top \underoverset {\underset{k}{\longleftarrow}} {\overset{}{\hookrightarrow}} {\;\;\;\; \bot \;\;\;\;} Top

The coreflection kk is sometimes called kk-ification (May 1999, p. 49).
Proof

The reflection functor kk is constructed as follows:

We take k(X)≔Xk(X) \coloneqq X on underlying sets, and equip this with the topology whose closed sets are those whose intersection with compact Hausdorff subsets of (the original topology on) XX is closed (in the original topology on XX). Then k(X)k(X) has all the same closed sets and possibly more, hence all the same open sets and possibly more.

In particular, the identity map id:k(X)→Xid \colon k(X)\to X is continuous, and forms the counit of the coreflection. Thus this coreflection has a counit which is both a monomorphism as well as an epimorphism, i.e. a “bimorphism”—such a coreflection is sometimes called a “bicoreflection.”

Reflection into weak Hausdorff spaces

Definition

Write

hkTop↪kTop h k Top \xhookrightarrow{\;\;\;} k Top

for the further full subcategory inside that of k-spaces (Def. ) on those which in addition are weak Hausdorff spaces.

Proposition

(cgwh spaces reflective in cg spaces)
The full subcategory-inclusion of weak Hausdorff spaces in k-spaces (Def. ) is a reflective subcategory inclusion:

hkTop⊥↪⟵hkTop h k Top \underoverset {\underset{}{\hookrightarrow}} {\overset{ h }{\longleftarrow}} {\;\;\;\; \bot \;\;\;\; } k Top

(e.g. Strickland 2009, Prop. 2.22)

Cartesian closure

The categories kTop≃Top kk\Top\simeq \Top_k are cartesian closed. (While in Top only some objects are exponentiable, see exponential law for spaces.) For arbitrary spaces XX and YY, define the test-open or compact-open topology on Top k(X,Y)\Top_k(X,Y) to have the subbase of sets M(t,U)M(t,U), for a given compact Hausdorff space CC, a map t:C→Xt\colon C \to X, and an open set UU in YY, where M(t,U)M(t,U) consists of all kk-continuous functions f:X→Yf\colon X \to Y such that f(t(C))⊆Uf(t(C))\subseteq U.

(This is slightly different from the usual compact-open topology if XX happens to have non-Hausdorff compact subspaces; in that case the usual definition includes such subspaces as tests, while the above definition excludes them. Of course, if XX itself is Hausdorff, then the two become identical.)

With this topology, Top k(X,Y)\Top_k(X,Y) becomes an exponential object in Top kTop_k. It follows, by Yoneda lemma arguments (prop.), that the bijection

kTop(X×Y,Z)⟶kTop(X,kTop(Y,Z)) k\Top(X \times Y, Z) \longrightarrow k Top\big(X,k\Top(Y,Z)\big)

is actually an isomorphism in Top k\Top_k, which we may call a kk-homeomorphism (e.g. Strickland 09, prop. 2.12). In fact, it is actually a homeomorphism, i.e. an isomorphism already in TopTop.

It follows that the category kTopk\Top of kk-spaces and continuous maps is also cartesian closed, since it is equivalent to Top k\Top_k. Its exponential object is the kk-ification of the one constructed above for Top k\Top_k. Since for kk-spaces, kk-continuous implies continuous, the underlying set of this exponential space kTop(X,Y)k\Top(X,Y) is the set of all continuous maps from XX to YY. Thus, when XX is Hausdorff, we can identify this space with the kk-ification of the usual compact-open topology on Top(X,Y)Top(X,Y).

Finally, this all remains true if we also impose the weak Hausdorff, or Hausdorff, conditions.

Relation to locally compact Hausdorff spaces

(Dugundji 1966, XI Thm. 9.3; Strickland 2009, Prop. 1.7)

(e.g. Lewis 1978, Lem. 2.4; Piccinini 1992, Thm. B.6, Strickland 2009, Prop. 2.6)

This is proven in Dugundji 1966, XI Thm. 9.4 (also Piccinini 92, Thm. B.4) assuming Hausdorffness, and without that assumption in Escardo, Lawson & Simpson 2004, Cor. 3.4 (iii). Moreover: (Escardo, Lawson & Simpson 2004, Lem. 3.2 (v))

Relation to compactly generated topological space

Insice kk-spaces there is the further coreflective subcategory DTopD Top of Delta-generated topological spaces:

Top⊥⟶k↩kTop Qu⊥⟶D↩DTop Qu. Top \underoverset { \underset{ k }{\longrightarrow} } { {\hookleftarrow} } { \;\;\;\;\;\;\bot\;\;\;\;\;\; } k Top_{Qu} \underoverset { \underset{ D }{\longrightarrow} } { {\hookleftarrow} } { \;\;\;\;\;\;\bot\;\;\;\;\;\; } D Top_{Qu} \,.

Both of these coreflections are Quillen equivalences with respect to the classical model structure on topological spaces and the induced model structure on compactly generated topological spaces and the model structure on Delta-generated topological spaces (Gaucher 2009, Haraguchi 2013).

Regularity

(Cagliari-Matovani-Vitale 95, p. 3).

In particular this implies that in these categories pullback preserves effective epimorphisms (see there).

Homotopy

Proposition

For every topological space XX, the canonical continuous function from the kk-ification (the adjunction counit) is a weak homotopy equivalence, hence induces an isomorphism on all homotopy groups:

k(X)⟶wheε X kX,i.e.π 0(k(X))→∼π 0(X),and∀x∈Xn∈ℕ +(π n(k(X),x)→∼π n(X,x)). k(X) \underoverset {whe} {\;\varepsilon^k_X\;} {\longrightarrow} X \,, \;\;\; \text{i.e.} \;\;\; \pi_0\big(k(X)\big) \xrightarrow{\;\sim\;} \pi_0(X) \,, \;\; \text{and} \;\; \underset{ {x \in X} \atop {n \in \mathbb{N}_+} }{\forall} \Big( \pi_n\big( k(X),\,x \big) \xrightarrow{\sim} \pi_n(X,\, x) \Big) \,.

E.g. Vogt 1971, Prop. 1.2 (h). The proof is spelled out here at Introduction to Homotopy Theory.

References

k-Spaces and CG Hausdorff spaces

The idea of compactly generated Hausdorff spaces first appears in print in:

where it is attributed to Witold Hurewicz, who introduced the concept in a lecture series given in Princeton, 1948-49, which Gale attended.2

Early textbook accounts, assuming the Hausdorff condition:

also:

Influential emphasis of the usefulness of the notion as providing a convenient category of topological spaces:

Early discussion in the context of geometric realization of simplicial topological spaces:

  • Saunders MacLane, Section 4 of: The Milgram bar construction as a tensor product of functors, In: F.P. Peterson (eds.) The Steenrod Algebra and Its Applications: A Conference to Celebrate N.E. Steenrod’s Sixtieth Birthday, Lecture Notes in Mathematics 168, Springer 1970 (doi:10.1007/BFb0058523, pdf)

and briefly in:

More history and early references, with emphasis on category-theoretic aspects:

  • Horst Herrlich, George Strecker, Section 3.4 of: Categorical topology – Its origins as exemplified by the unfolding of the theory of topological reflections and coreflections before 1971 (pdf), pages 255-341 in: C. E. Aull, R Lowen (eds.), Handbook of the History of General Topology. Vol. 1 , Kluwer 1997 (doi:10.1007/978-94-017-0468-7)

The terminology “kaonic spaces”, or rather the Russian version “каонные пространства” is used in

  • M M Postnikov, Введение в теорию Морса, Наука 1971 (web)

  • M M Postnikov, p. 34 of: Лекции по алгебраической топологии. Основы теории гомотопий, Наука 1982 (web)

Discussion of k-spaces in the generality of subcategory-generated spaces, including Delta-generated topological spaces:

Proof that k-spaces form a regular category:

Further accounts:

CG weak Hausdorff spaces

The idea of generalizing compact generation to weakly Hausdorff spaces appears in:

  • Michael C. McCord, Section 2 of: Classifying Spaces and Infinite Symmetric Products, Transactions of the American Mathematical Society, Vol. 146 (Dec., 1969), pp. 273-298 (jstor:1995173, pdf)

where it is attributed to John C. Moore.

Review in this generality of CG weakly Hausdorff spaces:

Brief review in preparation of the model structure on compactly generated topological spaces:

Review with focus on compactly generated topological G-spaces in equivariant homotopy theory and specifically equivariant bundle-theory:

Exponential law for parameterized topological spaces

On exponential objects (internal homs) in slice categories of (compactly generated) topological spaces – see at parameterized homotopy theory):

And with an eye towards parameterized homotopy theory:

Last revised on March 28, 2024 at 21:15:11. See the history of this page for a list of all contributions to it.