Kompaktlık: Açık Örtülerden Heine-Borel ve Yakınsaklığa

Açık örtü tanımı: sonlu alt örtü neyi garanti eder?

X bir topolojik uzay, K ise X'in bir alt kümesi olsun. X'te açık olan kümelerden oluşan bir {U_i : i ∈ I} ailesi K'yi örtüyorsa, K ⊆ ⋃_{i∈I} U_i yazılır. K'nin kompakt olması, bu örtünün içinden sonlu sayıda küme seçilebilmesi ve seçilen kümelerin hâlâ K'nin tamamını örtmesi demektir:

K kompakt ⟺ Her açık örtü için K ⊆ U_{i_1} ∪ ... ∪ U_{i_n} olacak biçimde sonlu sayıda U_{i_k} seçilebilir.

Burada önemli nokta, örtünün sonlu olması değil, başlangıçta sonsuz olabilmesidir. Kompaktlık, her mümkün açık örtü için sonlu bir alt örtünün bulunmasını ister. Yani tek bir örtüde sonlu seçim yapılabilmesi yeterli değildir; bütün açık örtüler için bu özellik aranır.

Kendi üzerinde incelenen bir alt kümede açıklık, altuzay topolojisine göre değerlendirilir. Bu ayrıntı, bir kümenin X içinde açık olup olmamasıyla K içinde açık olup olmamasının farklı olabileceğini gösterir. Kompaktlık tanımı bu yüzden yalnızca kümelerin biçimine değil, taşıdıkları topolojiye de bağlıdır.

Kompaktlık sonlu olmakla aynı değildir. Her sonlu topolojik uzay kompaktır; fakat sonsuz kümeler de kompakt olabilir. Örneğin standart topoloji altında kapalı sınırlı [0,1] aralığı sonsuz olmasına rağmen kompakttır. Buna karşılık ℝ, standart topolojide kompakt değildir.

Heine-Borel ölçütü: kapalı ve sınırlı koşulu ne zaman yeterlidir?

Standart topoloji taşıyan reel sayılarda ve Öklid uzaylarında Heine-Borel teoremi şu ölçütü verir: Bir K kümesi kompakt ise ve ancak ise kapalı ve sınırlıdır. Bu sonuç, açık örtü tanımını pratik bir kontrol yöntemine dönüştürür.

Bir kümenin sınırlı olması, bütün noktalarının sonlu bir aralığın veya sonlu yarıçaplı bir topun içinde kalmasıdır. Reel sayılarda K için bir M > 0 bulunup |x| ≤ M koşulu sağlanıyorsa K sınırlıdır. Kapalı olmak ise kümenin, içerdiği yakınsak dizilerin limitlerini de içermesiyle sezgisel olarak açıklanabilir; standart topolojide tamamlayıcısının açık olması biçiminde tanımlanır.

Örneğin [2,5] kapalıdır ve 2 ile 5 arasında kaldığı için sınırlıdır. Dolayısıyla Heine-Borel'e göre kompakttır. (2,5) sınırlı olsa da uç noktaları içermediği için kapalı değildir; bu nedenle kompakt değildir. [0,∞) kapalı olmasına karşın sınırlı değildir ve kompakt değildir. ℝ ise hem kapalı hem de kendisi içinde sınırsız olduğundan kompakt değildir.

Bu ölçüt keyfi topolojik uzaylara otomatik olarak taşınamaz. Kapalılık ve sınırlılık kavramlarının anlamı uzayın ek yapısına bağlıdır; ayrıca genel topolojik uzaylarda bir kümeyi kompakt kabul etmek için doğrudan açık örtü tanımına dönmek gerekebilir. Heine-Borel, özellikle ℝ^n'nin standart topolojisi için kullanılan özel bir sonuçtur.

Sürekli fonksiyonlarda görüntü ve ekstremum garantisi

Kompaktlığın en kullanışlı sonuçlarından biri, sürekli fonksiyonlar altında korunmasıdır. f: K → Y sürekli ve K kompakt ise f(K) kompaktır. Y Hausdorff ise f(K) ayrıca kapalıdır. Bu sonuç, kompaktlığın yalnızca başlangıç kümesinin bir özelliği olmadığını; sürekli dönüşümlerle taşınabildiğini gösterir.

Özel olarak f: K → ℝ sürekli ve K kompakt olduğunda f(K), ℝ içinde kompakt olduğundan kapalı ve sınırlıdır. Daha güçlü olarak f(K) bir minimum ve maksimum içerir. Başka bir deyişle, K içinde x_min ve x_max noktaları bulunur ve

f(x_min) ≤ f(x) ≤ f(x_max)

olur. Bu, fonksiyonun yalnızca alt ve üst sınırlarının bulunması anlamına gelmez; sınır değerlerin gerçekten birer noktada elde edilmesi anlamına gelir. Açık veya sınırsız kümelerde bu garanti yoktur. Örneğin f(x)=x fonksiyonu (0,1) üzerinde 0 ve 1'e yaklaşır, fakat bu değerleri almaz.

Sonuç için üç koşul birlikte kontrol edilmelidir: tanım kümesi kompakt olmalı, fonksiyon sürekli olmalı ve değer kümesiyle ilgili sonuç için uygun topolojik yapı bulunmalıdır. Bir fonksiyon süreksizse veya tanım kümesi kompakt değilse ekstremum değer teoremi doğrudan uygulanamaz.

Kompaktlık, Hausdorffluk ve diziler arasındaki sınırlar

Hausdorff uzayında farklı noktalar ayrık açık komşuluklarla birbirinden ayrılabilir. Bu koşul altında kompakt bir alt küme kapalıdır. Dolayısıyla K'nin kompakt olduğunu biliyorsak ve K, Hausdorff bir X uzayının alt kümesiyse, X \ K açıktır.

Ancak kompaktlık ile Hausdorffluk aynı özellik değildir. Hausdorffluk uzayın noktaları ayırma biçimini, kompaktlık ise açık örtülerin sonlu alt örtülerle kontrol edilmesini anlatır. Bir uzayın Hausdorff olması tek başına kompakt olduğunu göstermez; ℝ standart topolojide Hausdorff olmasına rağmen kompakt değildir.

Metrik kompakt uzaylarda önemli bir dizi ölçütü vardır: Her sonsuz dizinin yakınsak bir alt dizisi bulunur ve bu alt dizinin limiti uzayın içindedir. Bu ifade Bolzano-Weierstrass türü yakınsaklık davranışını genelleştirir. Reel sayılarda kapalı ve sınırlı bir kümede alınan her sonsuz dizinin yakınsak bir alt dizisi vardır; limit de kapalı küme nedeniyle kümenin içindedir.

Bu dizi özelliğini keyfi topolojik uzaylarda aynı biçimde kullanmak dikkat gerektirir. Metrik uzaylarda kompaktlıkla dizi kompaktlığı arasındaki ilişki güçlüdür; fakat yalnızca genel topolojik uzay verildiğinde dizi davranışı, açık örtü tanımının yerine koşulsuz geçirilemez. Sınav sorusunda uzayın metrik olup olmadığı belirtilmemişse önce açık örtü tanımı ve verilen topolojik koşullar kullanılmalıdır.

Çözümlü örnek: aralıkta kompaktlık ve sürekli fonksiyonun minimumu

Verilenler: K=[-2,3] ve f(x)=x^2+2x+4.

Çözüm adımı 1 — K'nin kompaktlığını belirleme: K, ℝ'nin standart topolojisinde kapalı bir aralıktır; çünkü -2 ve 3 uç noktaları kümeye dahildir. Ayrıca -2 ≤ x ≤ 3 olduğundan sınırlıdır. Heine-Borel teoremine göre K kompakttır.

Çözüm adımı 2 — Fonksiyonun sürekliliğini kontrol etme: f bir polinomdur ve polinomlar ℝ üzerinde süreklidir. Bu nedenle f, kompakt K üzerinde sürekli bir fonksiyondur.

Çözüm adımı 3 — Ekstremum garantisini kullanma: Sürekli fonksiyon kompakt kümede minimum ve maksimum değerini alır. Kare tamamlama yapalım:

f(x)=x^2+2x+4=(x+1)^2+3.

Çözüm adımı 4 — Minimumu bulma: (x+1)^2 ≥ 0 olduğundan f(x) ≥ 3'tür. Eşitlik x=-1 için sağlanır ve -1 ∈ [-2,3] olduğundan minimum gerçekten K üzerinde elde edilir. Minimum değer f(-1)=3'tür.

Çözüm adımı 5 — Maksimumu bulma: Parabol yukarı açıldığı için kapalı aralıkta maksimum uç noktalardan biriyle kontrol edilir. f(-2)=4 ve f(3)=19 olduğundan maksimum değer 19'dur.

Sonuç: K kompakt, f sürekli, minimum 3 ve maksimum 19'dur. Buradaki mantık yalnızca hesap yapmaktan ibaret değildir: önce kompaktlık ve süreklilik koşulları doğrulanmış, sonra ekstremum teoremi uygulanmıştır.

Çözümlü örnek ve sınır durumu: açık aralık neden yetmez?

Verilenler: K=(0,1) ve g(x)=1/x.

Çözüm adımı 1 — Sınırlılık: K, 0 ile 1 arasında kaldığı için sınırlıdır.

Çözüm adımı 2 — Kapalılık: K, ℝ içinde 0 ve 1 noktalarını içermez. Özellikle 0'a yakın K noktalarının limiti 0 olabilir; fakat 0 ∉ K. Bu nedenle K, ℝ içinde kapalı değildir.

Çözüm adımı 3 — Heine-Borel sonucu: K sınırlı olsa da kapalı olmadığı için kompakt değildir. Dolayısıyla yalnızca sınırlı olmak yeterli değildir.

Çözüm adımı 4 — Fonksiyon davranışı: g, (0,1) üzerinde süreklidir; fakat x, 0'a sağdan yaklaştıkça 1/x sınırsız büyür. Bu nedenle g'nin K üzerinde maksimum değeri yoktur.

Sonuç: Süreklilik tek başına maksimum veya minimum garantisi vermez. Kompakt tanım kümesi koşulu eksik olduğu için ekstremum değer teoremi uygulanamaz. Bu örnek, kapalı uç noktaların neden önemli olduğunu gösterir. Aynı fonksiyon [1,2] gibi kompakt bir aralıkta incelenseydi minimum ve maksimum değerlerini alması garanti edilirdi.

Sık yapılan hatalar ve karıştırılan kavramlar

1. Kompaktlığı yalnızca kapalı ve sınırlı sanmak: Bu eşdeğerlik ℝ ve standart Öklid uzayları gibi uygun ortamlarda geçerlidir. Genel topolojik uzaylarda doğrudan Heine-Borel uygulanamaz.

2. Sınırlı kümeyi kompakt kabul etmek: (0,1) sınırlıdır fakat kapalı değildir; bu yüzden ℝ'de kompakt değildir. Kapalı olmayan uç noktalar, yakınsak dizilerin limitlerinin küme dışına çıkmasına yol açabilir.

3. Kompaktlığı bağlantılılıkla karıştırmak: Kompaktlık açık örtülerle, bağlantılılık ise uzayın iki ayrık ve boş olmayan açık parçaya ayrılamamasıyla ilgilidir. [0,1] kompakt ve bağlantılıdır; [0,1] ∪ [2,3] kompakt fakat bağlantısızdır. ℝ bağlantılı fakat kompakt değildir.

4. Sadece supremum ve infimumun varlığını yeterli görmek: Kompaktlık sonucu, sürekli reel değerli fonksiyonun sınır değerleri gerçekten almasını sağlar. Açık kümelerde fonksiyonun supremumu bulunabilir, fakat bu değer kümenin bir noktasında elde edilmeyebilir.

5. Kapalı alt küme sonucunu koşulsuz kullanmak: Kompakt bir uzayın kapalı alt kümesi kompakttır. Ters yönde, Hausdorff uzayında kompakt alt küme kapalıdır. Bu sonuçlarda hem alt kümenin hangi uzayda kapalı olduğu hem de Hausdorff koşulu önemlidir.

6. Kompaktlık ile yerel kompaktlığı aynı sanmak: Kompakt bir uzayın tamamı kompaktlık koşulunu taşır. Yerel kompaktlıkta ise her noktanın kompakt bir komşuluğa sahip olması söz konusudur. ℝ yerel kompakttır, fakat kendisi kompakt değildir.

7. Tychonoff teoremini eksik koşulla yazmak: Kompakt uzayların çarpımı, çarpım topolojisi altında kompakttır. Burada her çarpan uzayın kompakt olması ve kullanılan topolojinin çarpım topolojisi olması gerekir.