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 A ∩ K is closed in K for all compact subspaces K ⊆ X.
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)