Kapalı Kümeler Aracılığıyla Sürekliliğin Karakterizasyonu
\( X \) ve \( Y \) iki topolojik uzay olsun. \( f: X \to Y \) fonksiyonu, ancak ve ancak \( Y \) içindeki her kapalı küme \( C \subseteq Y \) için, \( C \)'nin ters görüntüsü \( f^{-1}(C) \) kümesi \( X \) içinde kapalıysa süreklidir.
Topolojide süreklilik çoğu zaman açık kümeler kullanılarak tanımlanır. Buna göre bir fonksiyonun sürekli olması için, hedef uzaydaki her açık kümenin ters görüntüsünün tanım uzayında da açık olması gerekir.
Ancak bu yaklaşım tek seçenek değildir. Aynı kavramı kapalı kümeler yardımıyla da ifade etmek mümkündür. Nitekim aşağıdaki özellik sürekliliğin açık kümelerle verilen klasik tanımına tamamen eşdeğerdir:
Bir fonksiyon, hedef uzaydaki her kapalı kümenin ters görüntüsünü tanım uzayında kapalı bir kümeye dönüştürüyorsa süreklidir.
Not: Bu eşdeğerlik, topolojide açık ve kapalı kümeler arasındaki güçlü ilişkiye dayanır. Her kapalı küme bir açık kümenin tümleyeni, her açık küme de bir kapalı kümenin tümleyeni olduğundan, süreklilik her iki tür küme kullanılarak da tanımlanabilir.
Bir Uygulama Örneği
Bu karakterizasyonun nasıl çalıştığını görmek için
$$ f(x)=x^2 $$
fonksiyonunu ele alalım. Burada hem tanım uzayı hem de değer uzayı standart topoloji ile donatılmış \( \mathbb{R} \) kümesidir.
Amacımız, hedef uzaydaki bir kapalı kümenin ters görüntüsünün gerçekten kapalı olup olmadığını kontrol etmektir.
Örneğin,
$$ C=[1,+\infty) $$
kümesini seçelim. Bu küme \( \mathbb{R} \)'de kapalıdır.
Şimdi bu kümenin ters görüntüsünü hesaplayalım:
$$ f^{-1}(C)=\{x \in \mathbb{R}: x^2 \in [1,+\infty)\} $$
Bu ifade
$$ x^2 \geq 1 $$
eşitsizliğine denktir.
Bu eşitsizliği çözdüğümüzde
$$ x \leq -1 \quad \text{veya} \quad x \geq 1 $$
sonucunu elde ederiz. Dolayısıyla ters görüntü kümesi
$$ f^{-1}(C)=(-\infty,-1]\cup[1,+\infty) $$
olur.
Bu küme kapalıdır; çünkü tümleyeni olan
$$ (-1,1) $$
kümesi açıktır.
Böylece, seçtiğimiz kapalı kümenin ters görüntüsünün de kapalı olduğunu görmüş olduk. Aynı durum diğer kapalı kümeler için de geçerli olduğundan, \( f(x)=x^2 \) fonksiyonunun sürekli olduğu sonucuna ulaşılır.
İspat
Teoremin ispatı iki bölümden oluşur. İlk bölümde sürekliliğin bu özelliği sağladığını, ikinci bölümde ise bu özelliğin sürekliliği zorunlu kıldığını göstereceğiz.
1] (⇒) Eğer \( f \) sürekli ise, her kapalı kümenin ters görüntüsü kapalıdır:
\( f \)'nin sürekli olduğunu varsayalım. Sürekliliğin standart tanımına göre, \( Y \) içindeki her açık kümenin ters görüntüsü \( X \) içinde açıktır.
Şimdi \( C \subseteq Y \) kapalı bir küme alalım. Kapalı bir kümenin tümleyeni açık olduğundan,
$$ Y \setminus C $$
kümesi \( Y \) içinde açıktır.
\( f \) sürekli olduğu için, bu kümenin ters görüntüsü
$$ f^{-1}(Y \setminus C) $$
\( X \) içinde açık olur.
Ters görüntü işlemi tümleyen alma işlemiyle uyumlu olduğundan,
$$ f^{-1}(Y \setminus C)=X \setminus f^{-1}(C) $$
eşitliği geçerlidir.
Buna göre \( X \setminus f^{-1}(C) \) açık bir kümedir. Bir kümenin tümleyeni açık ise o küme kapalıdır. Dolayısıyla
$$ f^{-1}(C) $$
kümesi \( X \) içinde kapalıdır.
Böylece, sürekli bir fonksiyonun her kapalı kümenin ters görüntüsünü kapalı bir kümeye dönüştürdüğü gösterilmiş olur.
2] (⇐) Eğer her kapalı kümenin ters görüntüsü kapalıysa, \( f \) süreklidir:
Şimdi de \( Y \) içindeki her kapalı kümenin ters görüntüsünün \( X \) içinde kapalı olduğunu varsayalım.
\( U \subseteq Y \) herhangi bir açık küme olsun. Sürekliliği gösterebilmek için \( f^{-1}(U) \) kümesinin açık olduğunu kanıtlamamız gerekir.
\( U \) açık olduğundan, tümleyeni olan
$$ Y \setminus U $$
kümesi kapalıdır.
Varsayım gereği, bu kümenin ters görüntüsü
$$ f^{-1}(Y \setminus U) $$
\( X \) içinde kapalıdır.
Öte yandan,
$$ f^{-1}(Y \setminus U)=X \setminus f^{-1}(U) $$
olduğundan, \( X \setminus f^{-1}(U) \) kümesi kapalıdır.
Kapalı bir kümenin tümleyeni açık olduğuna göre, \( f^{-1}(U) \) kümesi açıktır.
Bu da sürekliliğin klasik tanımının sağlandığını gösterir. Dolayısıyla \( f \) fonksiyonu süreklidir.
Sonuç
Her iki yön de kanıtlandığı için şu sonuca ulaşırız:
\( f: X \to Y \) fonksiyonu, ancak ve ancak \( Y \) içindeki her kapalı kümenin ters görüntüsü \( X \) içinde kapalıysa süreklidir.
Bu nedenle süreklilik, yalnızca açık kümeler aracılığıyla değil, kapalı kümeler aracılığıyla da tanımlanabilir. Bu eşdeğer karakterizasyon, özellikle topolojik uzaylarda süreklilikle ilgili ispatlarda ve teorik çalışmalarda son derece kullanışlıdır.
