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)
“But alas! I never could keep a promise. I do not blame myself for this weakness, because the fault must lie in my physical organization. It is likely that such a very liberal amount of space was given to the organ which enables me to make promises, that the organ which should enable me to keep them was crowded out. But I grieve not. I like no half-way things. I had rather have one faculty nobly developed than two faculties of mere ordinary capacity.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)