Sigma-kompakt

Ett topologiskt rum $(X,\mathcal{T})$ är sigma-kompakt om mängden $X$ kan framställas som en uppräknelig union av kompakta delmängder:

$X = \bigcup_{n=1}^\infty K_n, \qquad K_n \subseteq X \quad\textrm{kompakt}\,$

Ett topologiskt rum som är både sigma-kompakt och lokalkompakt sägs vara sigma-lokalkompakt

Se även

• Lokalkompakt
• Starkt lokalkompakt
• Pseudokompakt