Przestrzeń zwarta – przestrzeń topologiczna o tej własności, że z dowolnego jej pokryciazbiorami otwartymi można wybrać podpokrycie skończone (tj. już skończona liczba zbiorów danego pokrycia tworzy pokrycie). Podzbiór przestrzeni topologicznej nazywany jest zbiorem zwartym, gdy traktowany jako podprzestrzeń (z topologią podprzestrzeni z ) jest przestrzenią zwartą.