Bağlantılılık: Bir Topolojik Uzay Ne Zaman Bölünemez?

Ayrışma ölçütü: açık kümelerle bağlantılılığı test etmek

Bir topolojik uzay X’in bağlantısız olması için X’i iki boş olmayan, ayrık ve X içinde açık kümenin birleşimi olarak yazabilmek gerekir. Yani U ve V kümeleri için X = U ∪ V, U ∩ V = ∅, U ≠ ∅ ve V ≠ ∅ koşulları sağlanıyorsa X bağlantısızdır. Buradaki açıklık, kümelerin içinde bulunduğu topolojiye göredir; başka bir deyişle U ve V’nin X’in alt uzay topolojisinde açık olması gerekir.

Bağlantılılık bunun olumsuzudur: Böyle bir ayrışma yoksa X bağlantılıdır. Bu tanım, yalnızca iki parçanın birbirine fiziksel olarak değip değmediğini söylemez. Örneğin ℝ standart topolojisiyle bağlantılıdır; fakat ℝ \ {0} kümesi (-∞, 0) ve (0, ∞) olarak iki ayrık, boş olmayan ve alt uzayda açık kümeye ayrılır. Bu nedenle ℝ \ {0} bağlantılı değildir.

Aynı fikir açık-kapalı kümelerle de ifade edilir. A ⊆ X kümesi, X'te açık ve X\A kümesi de X'te açık olduğunda clopen (açık-kapalı)dır. Eşdeğer olarak A, X'te hem açık hem kapalıdır. X bağlantılıysa X’in clopen alt kümeleri yalnızca ∅ ve X’tir. Tersine, ∅ ve X dışında bir clopen A varsa A ile X \ A, X’in bağlantısız olduğunu gösteren ayrışmayı oluşturur. Bu ölçütte "kapalı" ifadesi mutlak değil, X’e göre kapalı anlamındadır.

Alt uzay topolojisi ve çıkarılan noktaların etkisi

Bağlantılılık sorularında en sık atlanan nokta, bir kümenin hangi topolojiyle ele alındığıdır. ℝ içindeki bir alt küme, genellikle ℝ’nin standart topolojisinden türeyen alt uzay topolojisini taşır. Bir A ⊆ ℝ kümesi için A’da açık olan kümeler, A ile ℝ’de açık bir kümenin kesişimi biçiminde yazılabilen kümelerdir.

Bu nedenle bir uzayın bağlantılılığını incelerken yalnızca kümenin çizimindeki boşluklara bakmak yerine, ayrışmayı oluşturan kümelerin gerçekten ilgili uzayda açık olup olmadığını kontrol etmek gerekir. ℝ \ {0} örneğinde iki parça negatif ve pozitif sayılardan oluşur. Bu parçalar, çıkarılmış noktanın iki tarafında bulunur ve alt uzayda açık kümeler olarak uzayı kaplar. Sıfırın çıkarılması, iki taraf arasında bağlantı kurabilecek noktayı ortadan kaldırır.

Bir aralıkta aynı durum ortaya çıkmaz. Gerçel sayıların standart topolojisinde aralıklar bağlantılıdır; örneğin [a,b], (a,b), [a,b) ve (a,b] biçimindeki aralıklar, uç noktaların dahil edilip edilmemesine göre farklı kümeler olsa da bağlantılılık bakımından aynı temel özelliği taşır. Burada sonuç, aralığın düzen yapısıyla topolojik yapısı arasındaki ilişkiye dayanır. Aralığın içine yeni bir boşluk veya çıkarılmış nokta eklenirse bağlantılılık ayrıca incelenmelidir; aralıklara ait sonuç, keyfi alt kümelere otomatik olarak taşınmaz.

Sürekli fonksiyonlar bağlantılılığı nasıl taşır?

f: X → Y sürekli ve X bağlantılı ise f(X) görüntüsü Y’nin alt uzayı olarak bağlantılıdır. Bu teorem bir sonuç üretme aracıdır: Görüntünün bağlantısız olduğu gösterilebiliyorsa, f’nin tanım kümesinin bağlantılı olduğu varsayımıyla çelişki elde edilir. Ters yönde dikkat gerekir; f(X)’in bağlantılı olması X’in bağlantılı olduğunu tek başına göstermez.

Gerçel değerli sürekli fonksiyonlarda bu ilke ara değer fikrini açıklar. X bağlantılı, f: X → ℝ sürekli ve x₁, x₂ ∈ X ise f(x₁) ile f(x₂) arasındaki değerler, f(X) bağlantılı olduğu için görüntünün dışında kalamaz. Özellikle f(x₁) < t < f(x₂) ise uygun bir x için f(x) = t sonucu elde edilir. Ancak bu çıkarımın uygulanabilmesi için X’in bağlantılı olması ve f’nin sürekli olması gerekir. Tanım kümesi bağlantısızsa fonksiyon iki parçada farklı değer aralıkları üretebilir ve ara değer sonucu bu biçimde kullanılamaz.

Homeomorfizm, iki topolojik uzayın açık-kapalı yapılarını karşılıklı olarak koruyan sürekli ve tersi sürekli bir eşlemedir. Böyle bir eşleme bağlantılılığı da korur: X bağlantılıysa ve X ile Y homeomorfikse Y bağlantılıdır. Bu yüzden bağlantılılık, uzayın biçimi bükülüp gerilse bile korunan topolojik özelliklerden biridir; fakat bir uzayın geometrik görünüşü değiştirilmeden önce topolojinin değişip değişmediği kontrol edilmelidir.

Bağlantılılık, yol bağlantılılığı ve yerel bağlantılılık arasındaki sınır

Yol bağlantılılık daha güçlü bir koşuldur. X’in yol bağlantılı olması, X’teki herhangi iki x ve y noktası arasında sürekli bir γ: [0,1] → X fonksiyonu bulunması ve γ(0) = x, γ(1) = y olması demektir. [0,1] aralığı bağlantılı olduğundan, sürekli görüntü teoremi yol bağlantılı her uzayın bağlantılı olduğunu gösterir.

Ters yön geçerli değildir: Bağlantılı bir uzayda her iki noktayı birleştiren sürekli bir yol bulunmayabilir. Bu nedenle bir soruda yalnızca "tek parça" sezgisine dayanarak yol bağlantılılık sonucu çıkarılamaz. Yol bağlantılılık kanıtı için açıkça bir yol tanımlamak veya bilinen bir yol bağlantılı uzay sonucunu kullanmak gerekir; bağlantılılık kanıtı için ise ayrışma bulunmadığını göstermek yeterlidir.

Yerel bağlantılılık ise uzayın her noktasının bağlantılı açık komşuluklardan oluşan bir komşuluk tabanına sahip olmasıyla ilgilidir; eşdeğer olarak, her noktanın her komşuluğu içinde o noktayı içeren bağlantılı açık bir komşuluk bulunur. Bu özellik, uzayın bütününün bağlantılı olmasından farklıdır. Bir uzay bağlantılı olsa bile yerel davranışı ayrıca incelenebilir. Dolayısıyla üç kavramı şu sırayla ayırmak gerekir: yol bağlantılılık, bağlantılılığı gerektirir; bağlantılılık, yol bağlantılılığı gerektirmez; yerel bağlantılılık ise uzayın noktalar çevresindeki yapısını anlatan ayrı bir koşuldur.

Bağlantılı bileşenler: bağlantısız bir uzayın parçalarını okumak

Bir uzay bağlantısız olduğunda onu anlamanın yolu, bağlantılı bileşenlerini incelemektir. Bir noktanın bağlantılı bileşeni, o noktayı içeren maksimal bağlantılı alt kümedir. Maksimal ifadesi, bu alt kümeye yeni bir nokta eklendiğinde bağlantılılığın korunmaması anlamına gelir; dolayısıyla bileşen, yalnızca seçilmiş herhangi bir bağlantılı parça değildir.

Bileşenler uzayı kapsar ve iki farklı bileşen kesişemez. Böylece her nokta tam olarak bir bağlantılı bileşene aittir. Ancak bağlantılı bileşenlerin açık olması genel bir sonuç değildir; bunun için uzayın ek özellikleri gerekebilir. Bu ayrıntı, "bağlantısız uzay iki açık parçaya ayrılır" ifadesinin her bağlantılı bileşen için otomatik olarak aynı biçimde kullanılmaması gerektiğini gösterir.

Örneğin ℝ \ {0} için negatif sayılar kümesi (-∞,0), pozitif sayılar kümesi (0,∞) iki bağlantılı bileşen olarak düşünülebilir. Her biri bir aralıktır ve bağlantılıdır; birlikte ele alındıklarında ise sıfırın yokluğu nedeniyle uzay bağlantısız olur. Bileşen kavramı, tek bir ayrışmayı bulmanın ötesine geçerek uzayın bağlantılı parçalarının en büyük ölçekte nasıl düzenlendiğini açıklar.

Çözümlü Örnekler

Örnek 1 — ℝ \ {0} kümesinin bağlantılılığını inceleyelim.

Verilenler: X = ℝ \ {0}; ℝ standart topolojiyle, X ise alt uzay topolojisiyle ele alınsın.

1. X’i iki doğal parçaya ayırın: U = (-∞,0) ve V = (0,∞).
2. U ve V boş değildir; örneğin -1 ∈ U ve 1 ∈ V’dir.
3. U ∩ V = ∅’dir; bir gerçek sayı aynı anda hem negatif hem pozitif olamaz.
4. U ∪ V = X’tir; X’te sıfır dışındaki her gerçek sayı ya negatif ya da pozitiftir.
5. U ve V, ℝ’de açık oldukları için X’in alt uzayında da açıktır.

Sonuç: X, iki ayrık ve boş olmayan açık kümenin birleşimi olduğundan bağlantısızdır. Ayrıca U ve V’nin her biri bağlantılı birer aralık olduğundan, bu örnekte bağlantılı bileşenler U ve V’dir.

Örnek 2 — Sürekli görüntü üzerinden ara değer sonucunu kullanalım.

Verilenler: X bağlantılı bir topolojik uzay, f: X → ℝ sürekli, x₁ ve x₂ X’in noktaları; f(x₁) = 2 ve f(x₂) = 7 olsun.

1. Sürekli görüntü teoremine göre f(X), ℝ içinde bağlantılıdır.
2. f(X), 2 ve 7 sayılarını içerir; çünkü bu değerler sırasıyla f(x₁) ve f(x₂)’dir.
3. ℝ’de 2 ile 7’yi içeren bağlantılı bir küme, bu iki sayı arasındaki değerleri dışarıda bırakamaz. Bu nedenle 2 ile 7 arasındaki her t için t ∈ f(X) olur.
4. Özellikle t = 5 seçilirse, X’te en az bir x için f(x) = 5 bulunur.

Sonuç: f sürekli ve X bağlantılı olduğu için f, 2 ile 7 arasındaki 5 değerini almak zorundadır. Burada yalnızca f(x₁) ve f(x₂) değerlerini bilmek yeterli değildir; X’in bağlantılı ve f’nin sürekli olması sonucu mümkün kılan iki temel koşuldur.