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
• Pseudokompakt