Topolojik Süreklilik

\(X\) ve \(Y\) iki topolojik uzay olsun. \(f: X \to Y\) fonksiyonu, \(Y\) içindeki her açık küme \(V\) için ters görüntü \(f^{-1}(V)\) kümesi \(X\) içinde açık ise sürekli olarak tanımlanır.

Bu tanımı daha sezgisel bir şekilde ifade edersek, topolojik olarak sürekli bir fonksiyon, bir uzaydan diğerine geçerken açık kümelerin yapısını bozmadan taşır.

Başka bir deyişle, topolojik süreklilik, açık kümelerin yapısının korunması fikrine dayanır. Bu nedenle süreklilik, noktaların “yakınlığı” ile değil, kümelerin nasıl davrandığıyla ilgilidir.

Not: Topolojik süreklilik, matematiksel analizdeki süreklilik kavramından daha geneldir. Analizde süreklilik, noktalar arasındaki uzaklık kavramına dayanır. Topolojide ise uzaklık kavramı zorunlu değildir. Bunun yerine, fonksiyonun açık kümelerle olan ilişkisi incelenir. Bu yaklaşım, çok daha geniş bir bağlamda sürekliliği tanımlamamızı sağlar.

Örneğin, bir geometrik şekli yırtmadan esnetmek veya bükmek mümkündür. Bu tür dönüşümler, topolojik anlamda sürekli fonksiyonlarla ifade edilir.

Özetle, süreklilik bir dönüşüm sırasında yapının korunmasını garanti eder.

Bir Örnek

\(X = \{a, b, c, d\}\) ve \(Y = \{1, 2\}\) olmak üzere iki topolojik uzay ele alalım.

• \(X\) uzayındaki açık kümeler: \(\{\}, \{a\}, \{a, b\}, \{a, b, c, d\}\)
• \(Y\) uzayındaki açık kümeler: \(\{\}, \{1\}, \{1, 2\}\)

Bu iki uzay arasında şu fonksiyonu tanımlayalım:

\( f(a) = 1 \), \( f(b) = 1 \), \( f(c) = 2 \), \( f(d) = 2 \)

Bu fonksiyon sürekli midir?

Aşağıdaki görselde fonksiyon ve açık kümeler birlikte gösterilmektedir:

Tanımı adım adım kontrol edelim:

• \(\{1\}\) kümesinin ters görüntüsü \( f^{-1}(\{1\}) = \{a, b\} \). Bu küme \(X\) içinde açıktır.
• \(\{1,2\}\) kümesinin ters görüntüsü \( f^{-1}(\{1,2\}) = \{a, b, c, d\} \). Bu da \(X\) içinde açıktır.

Boş küme her zaman açık olduğundan ayrıca kontrol etmeye gerek yoktur.

Sonuç olarak, tüm açık kümelerin ters görüntüleri açık kaldığı için \( f \) fonksiyonu süreklidir.

İkinci Bir Örnek

Aynı uzaylar üzerinde bu kez farklı bir fonksiyon tanımlayalım:

\( g(a) = 1 \), \( g(b) = 1 \), \( g(c) = 1 \), \( g(d) = 2 \)

Şimdi sürekliliği kontrol edelim:

• \(\{1\}\) kümesinin ters görüntüsü \( g^{-1}(\{1\}) = \{a, b, c\} \). Bu küme \(X\) içinde açık değildir.

Bu tek örnek bile yeterlidir. Çünkü tanım gereği, tek bir açık kümenin ters görüntüsü açık değilse fonksiyon sürekli değildir.

Dolayısıyla \( g \) fonksiyonu sürekli değildir.

Özdeşlik Fonksiyonu

Özdeşlik fonksiyonu \( id: X \to X \), \( id(x) = x \) ile tanımlanır.

$$ x = f(x) $$

Bu fonksiyon hiçbir şeyi değiştirmez. Her nokta olduğu gibi kalır.

Bu nedenle açık kümeler de aynen korunur.

Sonuç olarak \( f(x) = x \) özdeşlik fonksiyonu her zaman süreklidir.

Sabit Fonksiyon

Şimdi sabit bir fonksiyon düşünelim:

\( f: X \to Y \), \( f(x) = c \)

$$ f(x) = c $$

Bu fonksiyon, \(X\) içindeki tüm noktaları tek bir değere gönderir.

Sürekliliği kontrol etmek için yine tanıma bakarız:

• Eğer \( c \in V \) ise, \( f^{-1}(V) = X \) olur ve bu küme açıktır.
• Eğer \( c \notin V \) ise, \( f^{-1}(V) = \emptyset \) olur ve bu da açıktır.

Her durumda ters görüntü açık kaldığı için sabit fonksiyon her zaman süreklidir.

Not: Bu örnek önemli bir noktayı vurgular. Süreklilik yalnızca fonksiyonun formuna bağlı değildir. Aynı zamanda uzayların topolojik yapısına da bağlıdır.

Farklı Topolojilerde Özdeşlik Fonksiyonu

Son olarak, özdeşlik fonksiyonunu iki farklı topoloji arasında inceleyelim:

• \( X = \mathbb{R} \), standart topoloji (açık kümeler \( (a,b) \))
• \( Y = \mathbb{R} \), alt limit topolojisi (açık kümeler \( [a,b) \))

\(Y\) içinde \( [0,1) \) kümesini ele alalım.

Özdeşlik fonksiyonu için:

\( f^{-1}([0,1)) = [0,1) \)

Ancak bu küme standart topolojide açık değildir.

Not: Standart topolojide bir kümenin açık olması için, her noktanın etrafında tamamen küme içinde kalan bir açık aralık bulunmalıdır. \(0\) noktası için bu şart sağlanmaz.

Bu nedenle bu durumda özdeşlik fonksiyonu sürekli değildir.

Bu örnek şunu açıkça gösterir: topolojik süreklilik yalnızca fonksiyona değil, kullanılan topolojilere bağlıdır.

Aynı fonksiyon, farklı topolojik yapılarda farklı davranabilir.

Süreklilik İçin Baz Teoremi

\( X \) ve \( Y \) iki topolojik uzay olsun. \( f: X \to Y \) fonksiyonu, \(Y\) üzerindeki topolojinin bir bazı \( B_Y \) için her \( B \in B_Y \) kümesinin ters görüntüsü \( f^{-1}(B) \) \(X\) içinde açık ise ve ancak ise süreklidir.

Bu sonuç, sürekliliği kontrol etmenin en pratik yollarından biridir.

Normalde bir fonksiyonun sürekli olup olmadığını anlamak için \(Y\) içindeki tüm açık kümelerin ters görüntülerine bakmak gerekir. Ancak bu teorem sayesinde, yalnızca \(Y\) topolojisinin bazını oluşturan kümeleri incelemek yeterlidir.

Böylece hem daha az adım gerekir hem de kontrol süreci çok daha hızlı hale gelir.

İspat. \(Y\) üzerindeki her açık küme, baz elemanlarının birleşimi olarak yazılabilir. Ters görüntü işlemi birleşimleri korur: \( f^{-1}\!\left(\bigcup_i B_i\right) = \bigcup_i f^{-1}(B_i) \). Eğer her \( B_i \in B_Y \) için \( f^{-1}(B_i) \) \(X\) içinde açık ise, bu birleşim de açık olur. Böylece \(Y\) içindeki her açık kümenin ters görüntüsü \(X\) içinde açık olur ve bu da \( f \) fonksiyonunun sürekli olduğunu gösterir.

Örnek

\( X = \{a, b, c, d\} \) ve \( Y = \{x, y, z\} \) olmak üzere iki topolojik uzay ele alalım.

• \( X \) üzerindeki topoloji: \( \tau_X = \{\emptyset, \{a\}, \{a, b\}, \{a, b, c, d\} \} \)
• \( Y \) üzerindeki topolojinin bazı: \( B_Y = \{\{x\}, \{y\}, \{z\}\} \)

Bu durumda \(Y\) üzerindeki tüm açık kümeler, baz elemanlarının birleşimleriyle elde edilir.

Örneğin \( \{x, y\} \), \( \{x, z\} \), \( \{y, z\} \) ve \( \{x, y, z\} \) kümeleri doğrudan bazda yer almaz. Ancak baz elemanlarının birleşimi oldukları için \(Y\) uzayında açık kabul edilirler.

Şimdi \( f: X \to Y \) fonksiyonunu tanımlayalım:

• \( f(a) = x \)
• \( f(b) = x \)
• \( f(c) = y \)
• \( f(d) = z \)

Sürekliliği kontrol etmek için yalnızca baz elemanlarının ters görüntülerine bakmamız yeterlidir:

• \( f^{-1}(\{x\}) = \{a, b\} \). Bu küme \(X\) içinde açıktır.
• \( f^{-1}(\{y\}) = \{c\} \). Bu küme \(X\) içinde açık değildir.

Tek bir karşı örnek yeterlidir. Bu nedenle \( f \) fonksiyonu sürekli değildir.

Not. Eğer baz elemanlarından birinin ters görüntüsü açık değilse, diğerlerini kontrol etmeye gerek yoktur. Sürekliliğin sağlanması için tüm baz elemanlarının ters görüntülerinin açık olması gerekir.

Kaba ve İnce Topolojilerde Süreklilik

Bir fonksiyon daha kaba bir topolojiye göre sürekli ise, aynı fonksiyon daha ince topolojiye göre de süreklidir.

Ancak bunun tersi her zaman doğru değildir. Bir fonksiyon daha ince topolojide sürekli olabilir, fakat daha kaba topolojide süreklilik bozulabilir.

Kaba ve ince topoloji. Aynı \( X \) kümesi üzerinde tanımlı iki topolojiden, daha az açık küme içeren topolojiye "daha kaba", daha fazla açık küme içeren topolojiye "daha ince" denir.

Örnek

\( X = \{a, b\} \) kümesi üzerinde iki topoloji tanımlayalım:

1. Daha kaba topoloji \( \tau_1 = \{\varnothing, \{a, b\}\} \)
2. Daha ince topoloji \( \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a, b\}\} \)

\( Y = \{1\} \) olsun ve \( f: X \to Y \) fonksiyonunu tanımlayalım:

$$ f(a) = 1 $$

$$ f(b) = 1 $$

\( \tau_1 \) topolojisinde açık kümeler yalnızca \( \varnothing \) ve \( \{a, b\} \) kümeleridir.

Sürekliliği kontrol edelim:

• \( f^{-1}(\varnothing) = \varnothing \), açıktır.
• \( f^{-1}(\{1\}) = \{a, b\} \), bu küme de açıktır.

Dolayısıyla \( f \) fonksiyonu \( \tau_1 \) topolojisine göre süreklidir.

Aynı ters görüntüler geçerli olduğu için, \( f \) fonksiyonu \( \tau_2 \) topolojisine göre de süreklidir.

• \( f^{-1}(\varnothing) = \varnothing \), açıktır.
• \( f^{-1}(\{1\}) = \{a, b\} \), açıktır.

Sonuç olarak \( f \) fonksiyonu her iki topolojiye göre de süreklidir.

Uyarı. Tersi her zaman doğru değildir. Daha ince bir topolojide sürekli olan bir fonksiyon, daha kaba bir topolojide sürekli olmayabilir.

Örnek 2

Aynı küme ve topolojilerle devam edelim:

1. \( \tau_1 = \{\varnothing, \{a, b\}\} \)
2. \( \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a, b\}\} \)

\( Y = \{1,2\} \) olsun ve \( g: X \to Y \) fonksiyonunu tanımlayalım:

$$ g(a) = 1 $$

$$ g(b) = 2 $$

\( g \) fonksiyonu \( \tau_2 \) topolojisine göre süreklidir. Çünkü tüm ters görüntüler açıktır:

• \( g^{-1}(\varnothing) = \varnothing \)
• \( g^{-1}(\{1,2\}) = \{a,b\} \)
• \( g^{-1}(\{1\}) = \{a\} \)
• \( g^{-1}(\{2\}) = \{b\} \)

Ancak \( g \) fonksiyonu \( \tau_1 \) topolojisine göre sürekli değildir:

• \( g^{-1}(\varnothing) = \varnothing \)
• \( g^{-1}(\{1,2\}) = \{a,b\} \)
• \( g^{-1}(\{1\}) = \{a\} \), bu küme \( \tau_1 \) içinde açık değildir

Sonuç olarak \( g \) fonksiyonu daha ince topolojide süreklidir, ancak daha kaba topolojide sürekli değildir.

Bağlantılılık ve Süreklilik Arasındaki Fark

Bağlantılılık ve süreklilik, topolojide sık sık birlikte anılsa da, aslında farklı şeyleri ifade eder.

• Bağlantılılık uzayın bir özelliğidir
  Bağlantılılık, bir topolojik uzayın kendi yapısıyla ilgilidir. Bir uzay \( X \), iki ayrık ve her ikisi de açık (ya da eşdeğer olarak kapalı) altkümeye ayrılamıyorsa bağlantılıdır. Bu, uzayın içsel bir özelliğidir ve üzerinde tanımlanan fonksiyonlardan bağımsızdır.
• Süreklilik bir fonksiyonun özelliğidir
  Süreklilik ise bir fonksiyonla ilgilidir. \( f: X \to Y \) fonksiyonu, \(Y\) içindeki her açık kümenin ters görüntüsü \(X\) içinde açık ise süreklidir. Yani burada odak noktası uzayın kendisi değil, fonksiyonun noktaları nasıl eşlediğidir.

Bu iki kavram arasında güçlü ilişkiler vardır, ancak aynı şey değildirler.

Örneğin şu temel sonuç oldukça önemlidir:

Eğer \( X \) bağlantılı bir uzay ve \( f: X \to Y \) sürekli bir fonksiyon ise, görüntü kümesi \( f(X) \) de \( Y \) içinde bağlantılıdır.

Bu durum, sürekliliğin bağlantılılığı koruduğunu gösterir. Ancak bağlantılılık ve süreklilik yine de farklı kavramlar olarak kalır.

Notlar

Topolojik süreklilikle ilgili bazı önemli noktalar:

• Sürekli fonksiyonlar her zaman açık dönüşüm değildir
  Sürekli bir fonksiyon, açık kümeleri her zaman açık kümelere göndermez. Bu nedenle süreklilik, açık kümelerin korunmasını garanti etmez.
• Yapıştırma Lemması
  İki sürekli fonksiyon, uygun koşullar altında birleştirilerek daha büyük bir küme üzerinde tanımlı yeni bir sürekli fonksiyon elde edilebilir.
• Altuzay topolojisinde süreklilik
  Bir uzayın altkümesi için tanımlanan içerme fonksiyonu her zaman süreklidir.
• Bölüm topolojisinde süreklilik
  Bölüm topolojisi, tanım gereği ilgili fonksiyonun sürekli olmasını sağlayacak şekilde kurulur.
• Küme Kapanışına İlişkin Süreklilik Teoremi
  Süreklilik, kapanış işlemiyle uyumludur. Bir kümenin kapanışındaki noktalar, görüntü altında da kapanışta kalır.
• Açık kümelerle süreklilik
  Sürekliliğin temel tanımı, açık kümelerin ters görüntüleri üzerinden verilir.
• Kapalı kümelerle süreklilik
  Aynı tanım, kapalı kümeler üzerinden de eşdeğer biçimde ifade edilebilir.
• Sürekli fonksiyonların bileşkesi
  Sürekli fonksiyonların bileşkesi yine süreklidir.
• Süreklilik ve diziler
  Sürekli fonksiyonlar, yakınsak dizileri görüntü altında da korur.
• Polinom fonksiyonlar
  Gerçel sayılar üzerinde tanımlı her polinom fonksiyon süreklidir.

Bu gözlemler, topolojik sürekliliğin farklı yönlerini hızlıca kavramaya yardımcı olur.