2
$\begingroup$

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!

$\endgroup$
  • 2
    $\begingroup$ The Baire space clearly doesn't satisfy that. By your previous question. Remember that the Baire space is closed in itself. $\endgroup$ – Asaf Karagila Mar 12 '14 at 19:49
  • $\begingroup$ yes, ok Thank you! $\endgroup$ – topsi Mar 13 '14 at 10:21
7
$\begingroup$

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.

$\endgroup$
  • 1
    $\begingroup$ 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? $\endgroup$ – topsi Mar 13 '14 at 10:23
  • 1
    $\begingroup$ You probably should. Off the top of my head, I don't know the answer to that one. $\endgroup$ – Jack Lee Mar 13 '14 at 11:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.