Category:Sigma-Compact Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about $\sigma$-compact spaces.

Let $T = \struct {S, \tau}$ be a topological space.


$T$ is $\sigma$-compact if and only if $S$ is the union of the underlying sets of countably many compact subspaces of $T$.