Kompaktlık
Kompaktlık, sonluluğun topolojik soyutlamasıdır: bir uzay, her açık örtünün sonlu bir alt örtüye sahip olması durumunda kompakttır; bu özellik, birçok sonsuz problemi sonlu problemlere dönüştürmektedir.
Tanım
Bir topolojik uzay, birleşimi tüm uzayı oluşturan her açık kümeler koleksiyonunun (bir açık örtü) uzayı hala örten sonlu bir alt koleksiyonu barındırması durumunda kompakttır.
Kapsam
Bu konu, açık örtüler aracılığıyla kompaktlığı tanımlamakta ve onun eşdeğer ve ilişkili biçimlerini — limit nokta kompaktlığı, sıralı kompaktlık ve sayılabilir kompaktlık — ile sayılabilirlik ve metrizasyon varsayımları altındaki ilişkilerini geliştirmektedir. Kompaktlığın sonuçlarını (kompakt uzayların sürekli görüntüleri kompakttır, sürekli gerçel fonksiyonlar ekstremum değerlere ulaşır, Hausdorff uzaylarının kompakt alt kümeleri kapalıdır), Öklid uzayındaki Heine-Borel karakterizasyonunu ve kompakt uzayların çarpımlarının kompakt olduğunu belirten Tychonoff teoremini kapsamaktadır. Yerel kompaktlık ve kompaktlaştırmalar da bu kapsamda yer almaktadır.
Temel sorular
- Açık örtü tanımı, sonluluğun sınırlılık veya sıralı limitler yerine neden doğru soyutlamasıdır?
- Sıralı, limit nokta ve açık örtü kompaktlığı ne zaman çakışır ve ne zaman ayrışır?
- Kompaktlık, sürekli dönüşümler, çarpımlar ve alt uzaylar aracılığıyla nasıl yayılır?
- Tychonoff teoremini — ve seçim aksiyomuna bağımlılığını — genel topolojinin merkezine ne yerleştirmektedir?
Anahtar kavramlar
- Açık örtüler ve sonlu alt örtüler
- Sıralı, limit nokta ve sayılabilir kompaktlık
- Öklid uzayında Heine-Borel teoremi
- Keyfi çarpımlar için Tychonoff teoremi
- Yerel kompaktlık ve tek nokta kompaktlaştırması
Klinik önem
Kompaktlık, matematik genelinde varoluş sonuçlarının temelini oluşturmaktadır — ekstremum değerlere ulaşma (ekstremum değer teoremi), yakınsak alt ağların varlığı, fonksiyonel analizde kompakt operatörler ve geometride modül ve parametre uzaylarının kapalılığı gibi.
Tarihçe
Bu kavram, kapalı sınırlı aralıklar üzerindeki Heine-Borel teoreminden doğmuştur; modern açık örtü tanımı 1920'lerde soyutlanmıştır ve Tychonoff'un 1930'daki çarpımlar üzerine teoremi, kompaktlığı keyfi çarpımlar altında güçlü bir şekilde korunan, seçim aksiyomuyla güç açısından eşdeğer bir özellik olarak belirlemiştir.
Öne çıkan isimler
- Eduard Heine
- Émile Borel
- Andrey Tychonoff
İlgili konular
Temel eserler
- munkres2000
- kelley1955
Sıkça sorulan sorular
- Kompakt, kapalı ve sınırlı ile aynı mıdır?
- Sadece sonlu boyutlu Öklid uzayında, Heine-Borel teoreminin onları eşdeğer kıldığı durumlarda. Genel metrik ve topolojik uzaylarda, kapalı ve sınırlı kümelerin kompakt olması gerekmemektedir.
- Tychonoff teoremi neden seçim aksiyomuna ihtiyaç duymaktadır?
- Kompakt uzayların keyfi (muhtemelen sayılamaz) bir çarpımının kompakt olduğunu kanıtlamak, seçim aksiyomuyla mantıksal olarak eşdeğerdir; bu nedenle teorem, bir tür seçim olmaksızın kanıtlanamamaktadır.