COMPACTLY GENERATED SPACE

In topology, a 'compactly generated space' is a topological space ''X'' satisfying the following condition: a subspace ''A'' is closed in ''X'' if and only if ''A'' ∩ ''K'' is closed in ''K'' for all compact subspaces ''K'' ⊆ ''X''. Equivalently, one can replace ''closed'' with ''open'' in this definition.
Most topological spaces commonly studied in mathematics are compactly generated. For instance, every locally compact (and compact) space is compactly generated, as is every first-countable space. Additionally, every CW complex is compactly generated.
One of the primary motivations for studying compactly generated spaces comes from category theory. The category of topological spaces, 'Top', is defective in the sense that it fails to be a cartesian closed category. There have been various attempts to remedy this situation, one of which is to restrict oneself to the full subcategory of 'compactly generated Hausdorff spaces', i.e. compactly generated spaces which are also Hausdorff. This category is, in fact, cartesian closed. A definition of the exponential object is given below. The category of compactly generated Hausdorff spaces is general enough to include all metric spaces, topological manifolds, and all CW complexes.

Contents

Properties

See also

Properties

We denote 'CGTop' the full subcategory of 'Top' with objects the compactly generated spaces, and 'CGHaus' the full subcategory of 'CGTop' with objects the Hausdorff separated spaces.
Given any topological space ''X'' we can define a (possibly) finer topology on ''X'' which is compactly generated. Let {''K''_α} denote the family of compact subsets of ''X''. We define the new topology on ''X'' by declaring a subset ''A'' to be closed if and only if ''A'' ∩ ''K''_α is closed in ''K''_α for each α. Denote this new space by ''X''_c. One can show that the compact subsets of ''X''_c and ''X'' coincide and the induced topologies are the same. It follows that ''X''_c is compactly generated. If ''X'' was compactly generated to start with then ''X''_c = ''X'' otherwise the topology on ''X''_c is strictly finer than ''X'' (i.e. there are more open sets).
This construction is functorial. The functor from 'Top' to 'CGTop' which takes ''X'' to ''X''_c is right adjoint to the inclusion functor 'CGTop' → 'Top'.
The continuity of a map defined on compactly generated space ''X'' can be determined solely by looking at the compact subsets of ''X''. Specifically, a function ''f'' : ''X'' → ''Y'' is continuous if and only if it is continuous when restricted to each compact subset ''K'' ⊆ ''X''.
If ''X'' and ''Y'' are two compactly generated spaces the product ''X'' × ''Y'' may not be compactly generated (it will be if at least one of the factors is locally compact). Therefore when working in categories of compactly generated spaces it is necessary to define the product as (''X'' × ''Y'')_c.
The exponential object in the 'CGHaus' is given by (''Y''^''X'')_c where ''Y''^''X'' is the space of continuous maps from ''X'' to ''Y'' with the compact-open topology.

See also

★ compact-open topology

★ CW complex