Compactly Generated Space

In topology, a compactly generated space (or k-space) is a topological space whose topology is coherent with the family of all compact subspaces. Specifically, a topological space X is compactly generated if it satisfies the following condition:

A subspace A is closed in X if and only if AK is closed in K for all compact subspaces KX.

Equivalently, one can replace closed with open in this definition. If X is coherent with any cover of compact subsets in the above sense then it is, in fact, coherent with all compact subsets.

A compactly generated Hausdorff space is a compactly generated space which is also Hausdorff. Like many compactness conditions, compactly generated spaces are often assumed to be Hausdorff.

Read more about Compactly Generated Space:  Motivation, Examples, Properties

Famous quotes containing the words generated and/or space:

    Here [in London, history] ... seemed the very fabric of things, as if the city were a single growth of stone and brick, uncounted strata of message and meaning, age upon age, generated over the centuries to the dictates of some now all-but-unreadable DNA of commerce and empire.
    William Gibson (b. 1948)

    The merit of those who fill a space in the world’s history, who are borne forward, as it were, by the weight of thousands whom they lead, shed a perfume less sweet than do the sacrifices of private virtue.
    Ralph Waldo Emerson (1803–1882)