Kompaktlık topoloji analizinin en derin ve en çok yerde karşılaşılan kavramlarından birini oluşturur. Heine-Borel teoremi, bu kavramı sezgiden sıyrılarak ℝⁿ'nin ötesine taşımanın başlangıç noktasıdır. Topolojik uzayda kompaktlık: X topolojik uzayı kompakttır, her açık örtüsünün sonlu alt örtüsü varsa. Formal olarak: {U_α} X'in açık örtüsü ise sonlu bir alt koleksiyon {U_α₁, ..., U_αₙ} ile X = U_α₁ ∪ ... ∪ U_αₙ sağlanabilmelidir. **Heine-Borel Teoremi (ℝⁿ klasik versiyonu):** ℝⁿ'de bir küme kompakttır ancak ve ancak sınırlı (bounded) ve kapalı (closed) ise. Bu eşdeğerlik ℝⁿ'ye özgüdür; genel metrik uzaylara aynen taşınmaz. **Metrik uzaylara genelleme:** Genel metrik uzay (X, d)'de kompaktlık eşdeğer karakterizasyonlar sergilenir: 1. **Açık örtü tanımı** (yukarıda) 2. **Ardışık kompaktlık:** X'teki her dizi bir yakınsak alt dizi içerir. 3. **Tam sınırlılık + tamlık:** X tam ise (her Cauchy dizisi yakınsak) ve tamamen sınırlı ise (her ε > 0 için sonlu ε-net mevcutsa) kompakttır. Bu üç nitelik genel metrik uzaylarda denktir. ℝⁿ'de tamlık otomatik sağlanır; bu yüzden "sınırlı + kapalı" yeterlidir. Ancak sonsuz boyutlu metrik uzaylarda (örneğin l² Hilbert uzayı) kapalı ve sınırlı olmak kompaktlık için yeterli değildir. Karşı örnek: l²'de standart birim vektörleri dizisi {e_n} sınırlıdır (‖e_n‖ = 1) ve kapalı bir kümede yaşar, ancak yakınsak alt dizi içermez. Dolayısıyla bu küme kompakt değildir. Kompaktlık topoloji açısından önemi: kompakt uzayda her sürekli fonksiyon üst sınırına ulaşır (Weierstrass ekstremum teoremi), tek tip yakınsama kompakt uzaylarda çok daha güçlü sonuçlar verir, ve kompakt gruplar üzerinde Haar ölçüsü mevcuttur. Fonksiyonel analizdeki önemi: Arzelà-Ascoli teoremi, eşsürekli ve noktasal sınırlı fonksiyon ailelerinin C(K) uzayında kompakt olduğunu garantiler (K kompakt). Bu, diferansiyel denklemlerde çözüm ailesinin kompakt olduğunu göstermekte kullanılır. Sobolev gömme teoremlerindeki kompakt gömme ise eliptik PDE'lerin Fredholm yapısının temelidir.