Bölüm Topolojisi

\(X\) bir topolojik uzay, \(A\) ise \(X\)'in alt kümesi olmak zorunda olmayan bir küme olsun. \(p: X \rightarrow A\) örten (surjektif) bir fonksiyon verilsin. Bu durumda, \(A\)'nın bir \(U\) alt kümesi ancak ve ancak \(p^{-1}(U)\) kümesi \(X\)'te açıksa, \(A\)'da açık kabul edilir.

Bu tanımın özü şudur: bölüm topolojisinde açıklık, doğrudan \(A\) üzerinde değil, \(X\) üzerinden belirlenir. Yani bir kümenin açık olup olmadığını anlamak için, onun \(X\)'teki ters görüntüsüne bakarız.

Bu yöntemle, \(X\) üzerindeki mevcut topolojiyi kullanarak \(A\) üzerinde yeni bir topoloji tanımlarız. Bu yeni yapıya bölüm topolojisi denir.

\(A\) kümesine bölüm uzayı, \(p\) fonksiyonuna ise bölüm dönüşümü (quotient map) adı verilir.

Başka bir ifadeyle, \(A\)'daki açık kümeler, \(p\) fonksiyonu aracılığıyla \(X\)'teki açık kümelerden türetilir.

Burada önemli bir noktayı vurgulamak gerekir:

• \(A\)'da açık olan bir kümenin ters görüntüsü her zaman \(X\)'te açıktır.
• Ancak \(X\)'te açık olan bir kümenin görüntüsü, her zaman \(A\)'da açık olmak zorunda değildir.

Bu asimetri, bölüm topolojisinin en karakteristik özelliklerinden biridir.

Genel olarak, bölüm uzayı, bir uzaydaki bazı noktaların bir eşdeğerlik bağıntısına göre özdeşleştirilmesiyle elde edilir. Başka bir deyişle, belirli noktalar bir araya "yapıştırılır" ve bu işlem sonucunda yeni bir uzay oluşur.

Neden bölüm topolojisi kullanılır? Çünkü çoğu zaman daha karmaşık bir uzayı, daha basit bir uzay üzerinden tanımlamak ve analiz etmek mümkündür. Bölüm topolojisi, bu geçişi sistematik ve tutarlı bir şekilde yapmamızı sağlar.

Açıklama

Bölüm topolojisini anlamanın en iyi yolu, onu geometrik bir süreç gibi düşünmektir.

Temel fikir şudur: bir şeklin bazı kısımlarını birbirine yapıştırarak yeni bir şekil elde etmek.

Örneğin, kare biçiminde bir kâğıt düşünelim. Karşılıklı iki kenarı birleştirdiğimizde, bu kâğıt bir silindire dönüşür.

Ardından silindirin dairesel kenarlarını da birleştirirsek, bir torus yani simit şeklinde bir yüzey elde ederiz.

Bu süreçte aynı nesne, sadece bazı parçaların özdeşleştirilmesiyle tamamen farklı bir yapıya dönüşür.

İşte bölüm topolojisi de tam olarak bunu yapar: daha basit bir uzaydan başlayarak, belirli noktaları özdeşleştirip yeni bir topolojik uzay üretir.

Bu yaklaşım, özellikle yüzeylerin ve uzayların soyut özelliklerini incelemede son derece güçlü bir araçtır.

Uygulamalı Bir Örnek

\( X = [0, 1] \) aralığını standart topoloji ile ele alalım. Bu durumda açık kümeler, açık aralıklar veya bu aralıkların birleşimleridir.

Bu uzayda:

• \( X \) kümesi ve boş küme \( \emptyset \) açıktır.
• \( 0 \leq a < b \leq 1 \) olacak şekilde her \( (a,b) \) aralığı açıktır.

\(X\)'i, uç noktaları \(0\) ve \(1\) olan bir doğru parçası gibi düşünebiliriz.

Şimdi bu doğru parçasının uç noktalarını, yani \(0\) ve \(1\)'i, tek bir nokta olarak kabul edelim. Bu işlem, iki noktayı özdeşleştirmek anlamına gelir.

Bunu gerçekleştirmek için \( p: [0, 1] \rightarrow A \) fonksiyonunu şöyle tanımlarız:

$$ p(x) = \begin{cases} p(0) & \text{eğer } x = 0 \text{ veya } x = 1 \\ \\ x & \text{eğer } 0 < x < 1  \end{cases} $$

Bu özdeşleştirme sonucunda elde edilen \(A\) uzayı, sezgisel olarak bir çember gibi düşünülebilir.

Başka bir ifadeyle, doğru parçasını büküp uçlarını birleştirmiş oluruz.

Bu yeni uzayda \( P = \{0, 1\} \), artık tek bir noktayı temsil eder.

Şimdi şu soruya cevap vermeliyiz: \(A\)'da hangi kümeler açık kabul edilecek?

Cevap doğrudan tanımdan gelir: \( U \subseteq A \) kümesi, ancak ve ancak \( p^{-1}(U) \) kümesi \([0, 1]\) içinde açıksa, \(A\)'da açıktır.

İki temel duruma bakalım:

1. \( U = (a,b) \) aralığı \( P \)'yi içermiyorsa
   Bu durumda ters görüntü yine \( (a,b) \) olur ve bu küme \(X\)'te açıktır. Dolayısıyla \(U\) da açıktır.
2. \( U = (a,b) \) aralığı \( P = \{0,1\} \)'yi içeriyorsa
   Bu durumda ters görüntü \( [0,a) \cup (b,1] \) olur. Bu iki küme de \(X\)'te açık olduğundan, \(U\) yine açıktır.

Sonuç olarak, basit bir doğru parçasından başlayarak, çember gibi daha karmaşık bir topolojik uzay elde etmiş oluruz.

Bu örnek, bölüm topolojisinin nasıl çalıştığını ve neden güçlü bir araç olduğunu açık bir şekilde ortaya koyar.

Örnek 2

Bu örnekte, bölüm topolojisinin en klasik fikirlerinden birini ele alıyoruz: gerçek doğruyu bir çember üzerine "sarmak".

İki yönde de sonsuza uzanan gerçek doğruyu (\( \mathbb{R} \)) düşünelim.

Her gerçek sayıyı yalnızca kesirli kısmı ile temsil edersek, bu doğruyu bir çember üzerine taşıyabiliriz.

Bunu \( p(x) = x \mod 1 \) dönüşümü ile yaparız.

Bu dönüşüm çok basit çalışır: Her \( x \in \mathbb{R} \) için yalnızca ondalık kısmı alınır ve bu değer çember üzerindeki bir noktaya karşılık getirilir.

Örneğin, \( x = 1.3 \) için kesirli kısım 0.3'tür ve bu nokta çember üzerinde 0.3 ile temsil edilir. Benzer şekilde, \( x = 2.7 \) için kesirli kısım 0.7'dir; dolayısıyla bu sayı çember üzerinde 0.7 ile aynı noktaya karşılık gelir.

\( x \) her tam sayı kadar arttığında, nokta çember üzerinde aynı konuma geri döner.

Bu nedenle 0 ile 1, 1 ile 2, 2 ile 3 gibi noktalar çember üzerinde aynı noktayı temsil eder. Yani bu noktalar birbirine özdeşlenir.

Şimdi bu dönüşüm altında bazı aralıkların nasıl davrandığına bakalım.

• \( (0,1) \) aralığı
  Bu aralık çember üzerinde bir yay oluşturur ve 0 noktasını içermez. Ters görüntüsü \( (0,1) \) olduğu için, bu küme bölüm uzayında açıktır.
  
• \( (1,2) \) aralığı
  Bu aralık da aynı yayı verir. Çünkü 1 ve 2, mod 1 altında 0 ile özdeşlenir. Dolayısıyla bu aralık, çember üzerinde yine \( (0,1) \) aralığına karşılık gelir ve yeni bir durum oluşturmaz.
  
• \( (0,2) \) aralığı
  Bu aralık çember üzerine sarıldığında tüm çemberi kaplar. Çünkü 1 noktasını içerir ve aynı yayı iki kez dolaşır. Sonuç olarak elde edilen küme tüm çemberdir. Bu küme hem açık hem de kapalı (clopen) bir kümedir.
  

Not: Bu örnek, önemli bir noktayı gösterir: orijinal uzaydaki açık bir kümenin görüntüsü, bölüm uzayında her zaman açık değildir.

Buna karşılık, çember üzerindeki bir açık kümenin gerçek doğru üzerindeki ters görüntüsü her zaman açıktır.

Yani açıklık özelliği, görüntüde değil, ters görüntüde korunur.

Sonuç

Gerçek doğru üzerindeki bir açık kümenin çember üzerindeki görüntüsünün de açık olacağını varsayamayız. Çünkü bu "sarma" işlemi, kümelerin topolojik yapısını değiştirebilir.

Örnek 3

Şimdi sonlu bir örnek üzerinden aynı fikri görelim.

\( \mathbb{Z} \) kümesinden alınan ardışık tam sayılardan oluşan bir küme düşünelim:

$$ I_7 = \{1, 2, 3, 4, 5, 6, 7\} $$

Bu küme bir dijital aralıktır, çünkü ardışık tam sayılardan oluşur.

Şimdi ilk eleman olan 1 ile son eleman olan 7'yi özdeşleştirelim. Yani bu iki noktayı tek bir nokta olarak kabul edelim.

Bu işlem sonucunda 6 noktadan oluşan yeni bir yapı elde ederiz. Buna dijital çember \( C_6 \) denir.

Bu yapıda her nokta iki komşu noktaya bağlıdır. Yani yapı, kapalı bir döngü oluşturur.

Bu örnek, bölüm topolojisinin temel fikrini sonlu bir küme üzerinde açıkça gösterir: bazı noktaları özdeşleştirerek yeni bir uzay elde ederiz.

Not: Bu yapı, gerçek bir aralığın uçlarının birleştirilmesiyle elde edilen çembere benzer. Ancak burada uzay sonlu ve ayrık (discrete) bir yapıya sahiptir.

Dijital çember aynı zamanda dijital topoloji kapsamında da incelenebilir.

Çünkü her nokta komşularıyla belirli bir bağlantı ilişkisi içindedir ve bu da dijital topolojinin temel kavramlarından biridir.

Not: Dijital topolojide bir küme, seçilen komşuluk türüne bağlı olarak, içindeki her noktanın komşularını da içeriyorsa açık kabul edilir. Örneğin, 1 boyutta 2-komşuluk, düzlemde 4- veya 8-komşuluk, uzayda 6- veya 18-komşuluk gibi.

Son olarak şunu vurgulamak gerekir: bölüm topolojisi ile dijital topoloji aynı şey değildir.

Dijital çember hem bir bölüm uzayı olarak elde edilebilir hem de dijital topoloji içinde incelenebilir. Ancak bu iki yaklaşım kavramsal olarak farklıdır ve birbirine karıştırılmamalıdır.

Örnek 4

Bu örnekte, bölüm topolojisinin nasıl çalıştığını çok basit ama öğretici bir yapı üzerinden göreceğiz.

Gerçek sayılar kümesini (\( \mathbb{R} \)) standart topolojisi ile ele alalım ve şu dönüşümü tanımlayalım:

$$ p(x) = \begin{cases} a \ \ \text{eğer } x < 0 \\ \\ b \ \ \text{eğer } x = 0 \\ \\ c \ \ \text{eğer } x > 0 \\ \\ \end{cases} $$

Bu dönüşüm, gerçek doğruyu üç parçaya ayırır:

• negatif sayılar tek bir noktaya, yani \( a \)'ya,
• 0 noktası \( b \)'ye,
• pozitif sayılar ise \( c \)'ye gönderilir.

Yani sonsuz sayıda nokta üç farklı noktada "toplanır". Bu, bölüm topolojisinin tipik bir örneğidir.

Şimdi bölüm topolojisinin nasıl oluştuğunu anlamak için ters görüntülere bakalım:

• \( p^{-1}(a) = (-\infty, 0) \) → açık,
• \( p^{-1}(b) = \{0\} \) → açık değil,
• \( p^{-1}(c) = (0, \infty) \) → açık.

Temel kural şudur:

Bir küme, ancak ve ancak ters görüntüsü açıksa, bölüm uzayında açıktır.

Bu kurala göre:

• \( \{a\} \) açıktır,
• \( \{c\} \) açıktır,
• \( \{a,c\} \) açıktır, çünkü ters görüntüsü \( \mathbb{R} \setminus \{0\} \)'dır ve bu küme açıktır.

Ayrıca her topolojide olduğu gibi:

• \( \emptyset \) açıktır,
• \( \{a,b,c\} \) yani tüm uzay açıktır.

Ancak dikkat edilmesi gereken önemli bir nokta vardır:

\( \{b\} \) açık değildir. Çünkü ters görüntüsü \( \{0\} \)'dır ve bu küme \( \mathbb{R} \)'de açık değildir.

Bu nedenle \( b \) noktası, tek başına açık bir küme oluşturamaz. Bu, bölüm topolojisinin nasıl "ince ayar" yaptığına güzel bir örnektir.

Sonuç olarak açık kümeler şunlardır:

\( \emptyset, \ \{a,b,c\}, \ \{a\}, \ \{c\}, \ \{a,c\} \)

Bölüm Topolojisinin Temel Özellikleri

Bu örnekten hareketle, bölüm topolojisiyle ilgili bazı temel özellikleri daha net görebiliriz.

• Boş küme ve tüm uzay her zaman açıktır

  Bu durum tüm topolojik uzaylar için geçerlidir ve bölüm topolojisi de bu kuralın bir istisnası değildir.

  Not: Boş kümenin ters görüntüsü yine boştur, tüm uzayın ters görüntüsü ise orijinal uzayın kendisidir. Her ikisi de açıktır.

• Açık kümelerin birleşimi açıktır

  Eğer \( U_i \) kümeleri açıksa, bunların birleşimi de açıktır. Çünkü:

  $$ p^{-1}\left( \bigcup U_i \right) = \bigcup p^{-1}(U_i) $$

  Sağ tarafta açık kümelerin birleşimi vardır ve bu da açıktır.

• Sonlu sayıda açık kümenin kesişimi açıktır

  Açık kümelerin sonlu kesişimi de açık kalır. Bu da topolojinin temel aksiyomlarından biridir.

  Not: Bu özellik, ters görüntülerin açık olmasına ve açık kümelerin sonlu kesişim altında kapalı olmasına dayanır.

Bu özellikler, bölüm topolojisinin nasıl çalıştığını anlamak için temel bir çerçeve sunar.