Bölüm Topolojisinde Süreklilik
Bölüm topolojisi, bir fonksiyonun sürekliliğini doğrudan tanımın içine yerleştiren özel bir topolojidir. Eğer \( f: X \to A \) örten bir fonksiyon ise, bölüm topolojisinde \( f \) otomatik olarak sürekli olur. Çünkü \( A \) içindeki bir kümenin açık kabul edilmesi, onun ters görüntüsünün \( X \) içinde açık olmasına bağlıdır.
\( X \) bir topolojik uzay ve \( f: X \to A \) örten bir fonksiyon olsun. Burada \( A \), mutlaka \( X \)’in bir alt kümesi olmak zorunda değildir.
\( A \) üzerinde tanımlanan bölüm topolojisi, \( f \) fonksiyonunun sürekli olmasını sağlayacak şekilde oluşturulur.
Bunun temelinde şu fikir vardır:
\( V \subseteq A \) kümesi, ancak ve ancak \( f^{-1}(V) \) kümesi \( X \) içinde açıksa, \( A \) içinde açık kabul edilir.
Başka bir ifadeyle, \( A \) üzerindeki açıklık kavramı doğrudan \( X \) üzerindeki açıklığa göre tanımlanır. Bu nedenle süreklilik koşulu otomatik olarak sağlanmış olur.
Not. Bölüm topolojisinin en önemli özelliği, örten fonksiyonun sürekliliğini tanım gereği garanti etmesidir. Çünkü açık kümeler, ters görüntüleri üzerinden belirlenir.
Pratik bir örnek
\( X = \{a, b, c\} \) kümesini ele alalım.
Şimdi \( A = \{1, 2\} \) olmak üzere aşağıdaki örten fonksiyonu tanımlayalım:
- \( f(a) = f(b) = 1 \)
- \( f(c) = 2 \).
Bu fonksiyon, \( a \) ve \( b \) noktalarını \( A \) kümesinde tek bir eleman altında birleştirmektedir.
Bölüm topolojisinde bir kümenin açık olup olmadığını anlamak için onun ters görüntüsüne bakılır.
Örneğin \( V = \{1\} \subseteq A \) kümesini ele alalım.
Bu durumda:
\( f^{-1}(\{1\}) = \{a, b\} \)
Eğer \( \{a, b\} \) kümesi \( X \) içinde açıksa, o zaman \( \{1\} \) kümesi de \( A \) içinde açık kabul edilir.
Bu örnekte \( A \) üzerindeki açık kümeler şunlardır:
- \( \emptyset \)
- \( \{1,2\} \)
- \( \{1\} \)
- \( \{2\} \)
Şimdi bu kümelerin ters görüntülerini inceleyelim:
- \( f^{-1}(\emptyset) = \emptyset \). Boş küme her topolojide açık olduğundan \( X \) içinde de açıktır
- \( f^{-1}(\{1,2\}) = \{a,b\} \cup \{c\} = \{a,b,c\} = X \). Tüm uzay her zaman açıktır
- \( f^{-1}(\{1\}) = \{a,b\} \). Bu küme \( X \) içinde açıktır
- \( f^{-1}(\{2\}) = \{c\} \). Bu küme de \( X \) içinde açıktır
Dolayısıyla \( A \) üzerindeki her açık kümenin ters görüntüsü \( X \) içinde açık olmaktadır.
Bu da \( f \) fonksiyonunun sürekli olduğunu gösterir.
Sonuç olarak, bölüm topolojisinin tanımı doğrudan sürekliliği garanti edecek şekilde kurulmuştur. Bu nedenle bölüm topolojisi, topolojide eşdeğer noktaları birleştirme ve yeni uzaylar oluşturma süreçlerinde oldukça önemli bir araçtır.
