Kompaktlık, lise düzeyinde hayal etmesi en zor ama matematikteki en güçlü kavramlardan biridir. Kabaca, bir kümenin hem kapalı (sınırlarını dahil etmesi) hem de sınırlı (bir topun içine sığabilmesi) olması durumudur.
Matematiksel tanımı: Bir kompakt uzayı sonsuz sayıda küçük açık kümeyle (örtüyle) kaplamak istersen, bu sonsuz kümeden her zaman sadece sonlu sayıda olanını seçerek de bütün uzayı kaplayabilirsin (Heine-Borel teoremi).
Neden süper bir şey? Kompakt uzaylar üzerinde çalışan matematikçiler çok rahattır. Çünkü kompakt bir uzayda tanımlı sürekli fonksiyonlar her zaman bir maksimum ve minimum değere ulaşır. Bu, optimizasyon problemlerinin çözülebileceğini garanti eder
Kompaktlık
Bildiğimiz normal Öklid uzayında (yani normal geometride) bir kümenin kompakt olması, o küme için iki katı şartın aynı anda sağlanması demektir. Yani, kümenin ucu bucağı belli olmalı, sonsuza uzanıp gitmemelidir. Mesela, kümenin etrafına devasa bir küze çizecek olursak, küme o kürenin içinde kalmalıdır.
Örneğin, Say doğrusu üzerindeki [0, 1] kapalı aralığını düşünelim (0 ve 1 dahil). Bu aralık kompaktır. Çünkü hem ucu bucağı bellidir (0 ile 1 arasındadır, sınırlıdır) hem de sınırları (0 ve 1) kümeye dahildir.
Şimdi (0, 1) açık aralığını düşünelim (0 ve 1 dahil değil). Bu aralık sınırlıdır ama kapalı değildir, bu yüzden kompakt değildir. Neden kompakt olmadığını aşağıda göreceğiz.
Tüm reel sayılar kümesini (R) düşünelim. Bu küme sonsuza uzandığı için sınırsızdır, dolayısıyla kompakt değildir.
Heine-Borel teoreminin kanıtının grafiğe çevrilmiş hali.
Kompaktlık günlük hayatımızda nerelerde kullanılıyor?
Bir günün sıcaklık değişimini düşünün. Zaman çizgisi [00: 00, 24: 00] kompakt bir aralıktır (kapalı ve sınırlı). Gün içindeki sıcaklık değişimi de sürekli (zıplama yapmayan) bir fonksiyondur. Kompaktlık teoremi der ki: "O gün içinde havanın en sıcak olduğu bir an ve en soğuk olduğu bir an MUTLAKA yaşanmıştır." Eğer zaman aralığı sonsuza gitseydi, hava sıcaklığı sürekli artıp asla bir maksimuma ulaşmayabilirdi. Kompaktlık bize bu garantiyi verir.
Bilgisayarlar devasa veri setleriyle uğraşırken sonsuz olasılıkları hesaplayamazlar. Bir yapay zeka algoritmasının en kararlı (en optimize) çözümü bulabilmesi için, arama yaptığı veri uzayının "kompakt" olarak tasarlanması gerekir. Kompakt uzaylar, algoritmanın sonsuz döngüye girip kaybolmasını engeller; çözümün o uzayın sınırları içinde bir yerde "yakalanabileceğini" matematiksel olarak garanti eder.
Genel Görelilik teorisinde, uzay-zamanın bazı bölgelerinin kompakt olup olmadığı incelenir. Örneğin, Stephen Hawking ve Roger Penrose'un uzay-zaman tekillikleri (kara delikler) üzerindeki çalışmaları tamamen topolojik kompaktlık argümanlarına dayanır. Bir yıldız çöktüğünde oluşan durumun sınırlarını çizmek ve evrenin kendi üzerine kapanan (sonlu ama sınırsız) bir yapıda olup olmadığını anlamak için kompakt uzay modelleri kullanılır.
Kompaktlık kavramı, matematiğin en zarif koruma kalkanlarından biridir. Matematikçiler zor bir problemle karşılaştıklarında önce "Çalıştığım uzay kompakt mı?" diye sorarlar. Eğer cevap "Evet" ise, o problemin çözülebileceğine dair umutları tavan yapar.