kompaktní množina

kompaktní množina, množina S, která je částí metrického prostoru (P, σ), se nazývá k. m. v tomto prostoru, právě když z každé nekonečné posloupnosti bodů an Σ S lze vybrat posloupnost an k, která konverguje k nějakému bodu a0 Σ P. Je-li množina S celý prostor (P, σ), je P kompaktní prostor.