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:
“It is precisely the purpose of the public opinion generated by the press to make the public incapable of judging, to insinuate into it the attitude of someone irresponsible, uninformed.”
—Walter Benjamin (1892–1940)
“Here were poor streets where faded gentility essayed with scanty space and shipwrecked means to make its last feeble stand, but tax-gatherer and creditor came there as elsewhere, and the poverty that yet faintly struggled was hardly less squalid and manifest than that which had long ago submitted and given up the game.”
—Charles Dickens (1812–1870)