przestrzeń zwarta

Przestrzeń zwarta – przestrzeń topologiczna o tej własności, że z dowolnego jej pokrycia zbiorami otwartymi można wybrać podpokrycie skończone (tj. pewna skończona liczba zbiorów pokrycia tworzy pokrycie). Zbiorem zwartym nazywa się podzbiór przestrzeni topologicznej, który traktowany jako podprzestrzeń (z topologią podprzestrzeni) jest przestrzenią zwartą. W niektórych źródłach (np. ) w definicji zwartości dodatkowo wymaga się, aby przestrzeń zwarta była przestrzenią Hausdorffa, a przestrzenie zdefiniowane z pominięciem tego warunku nazywa się przestrzeniami quasi-zwartymi.