Back فضاء متراص Arabic Espaciu compautu AST Espai compacte Catalan Kompaktní množina Czech Kompakter Raum German Συμπαγής χώρος Greek Compact space English Espacio compacto Spanish Espazio trinko Basque فضای فشرده Persian
En topologio, kompakta spaco[1] estas topologia spaco, sur kiu lokaj strukturoj (difinitaj laŭ iu kovraĵo — fibra fasko, ktp.) povas esti ĉiam konsiderata finie, ĉar la kovraĵo estas ĉiam anstataŭebla per finia subkovraĵo.[2] Tial, kompakta spaco estas iasence “finie malgranda” kaj tial ofte facile traktebla.
Sub malfortaj kondiĉoj (nome, aksiomo de Hausdorff) ĉiu kompakta subaro estas fermita subaro. En metrika spaco, ĉiu kompakta subaro estas barita subaro.