2

Is there a name for a topological space $X$ which satisfies the following condition:

Every closed set in $X$ is contained in a countable union of compact sets

Does Baire space satisfy this condition?

Thank you!

drhab
  • 151,093
topsi
  • 4,222

1 Answers1

7

This property is equivalent to $\sigma$-compactness, which says that the space itself is a countable union of compact subsets. If your property holds for a space $X$, then since $X$ is a closed subspace of itself, it is contained in a countable union of compact subsets. Conversely, if $X$ is $\sigma$-compact, then your property holds because every subset is contained in a countable union of compact subsets.

Jack Lee
  • 46,803
  • 1
    I see Thank you. As a matter of fact, I meant "Every closed set $A$ in $X$, where $A \neq X$ is contained in a countable union of compact sets".. Should I open another post for it? – topsi Mar 13 '14 at 10:23
  • 1
    You probably should. Off the top of my head, I don't know the answer to that one. – Jack Lee Mar 13 '14 at 11:06