Uppräkneligt kompakt

Ett topologiskt rum $(X,𝒯)$ är uppräkneligt kompakt om varje framställning av mängden $X$ som en uppräknelig union av öppna mängder kan skrivas som en union av ett ändligt antal öppna mängder:

$X=\bigcup _{n=1}^{\mathrm{\infty }}{O}_n⟹X=\bigcup _{k=1}^N{O}_{n_k},O_n\in 𝒯.$

Denna definition är ekvivalent med följande egenskaper:

• Varje oändlig delmängd av $X$ har en omega-ackumuleringspunkt som är ett element i mängden $X$.
• Varje följd av element i mängden $X$ har en ackumuleringspunkt som är ett element i $X$.
• Varje familj bestående av uppräkneligt många slutna delmängder vars snitt är icke-tomt, har en ändlig delfamilj av slutna mängder vars snitt också är icke-tomt.

Se även

• kompakt
• Sigma-kompakt
• Lindelöfrum
• Svagt uppräkneligt kompakt
• Pseudokompakt
• Följdkompakt
• Metakompakt
• Uppräkneligt metakompakt
• Parakompakt
• Uppräkneligt parakompakt
• Separabelt rum
• Uppräknelig av första ordningen
• Uppräknelig av andra ordningen