Sürekli Fonksiyonların Bileşiminin Sürekliliği Teoremi
\( f: X \to Y \) ve \( g: Y \to Z \) fonksiyonları sürekli ise, bu fonksiyonların bileşkesi olan \( g \circ f: X \to Z \) fonksiyonu da süreklidir.
Topolojinin ve matematiksel analizin temel sonuçlarından biri olan bu teorem, sürekli fonksiyonların bir araya getirildiğinde de sürekliliklerini koruduklarını söyler.
Başka bir ifadeyle, iki fonksiyonun her biri ayrı ayrı sürekliyse, bunların ardışık uygulanmasıyla elde edilen yeni fonksiyon da süreklidir.
- \( f: X \to Y \)
- \( g: Y \to Z \)
Bu durumda önce \( f \), ardından \( g \) uygulanır ve sonuçta elde edilen
$$ g \circ f : X \to Z $$
bileşke fonksiyonu da sürekli olur.
Bu özellik, yalnızca gerçek sayılar üzerinde tanımlı fonksiyonlar için değil, genel topolojik uzaylar arasında tanımlanan fonksiyonlar için de geçerlidir. Bu nedenle teorem, topolojinin en temel yapı taşlarından biri olarak kabul edilir.
Pratik bir örnek
Teoremin nasıl çalıştığını görmek için basit bir örnek inceleyelim. Aşağıdaki iki fonksiyonu ele alalım:
$$ f(x) = x^2 \quad \text{on} \quad \mathbb{R} $$
$$ g(y) = \frac{y}{2} \quad \text{on} \quad \mathbb{R} $$
Her iki fonksiyon da \( \mathbb{R} \) üzerinde süreklidir.
Şimdi bu fonksiyonların bileşkesini oluşturalım.
\( f \) fonksiyonu önce uygulanır, ardından elde edilen sonuç \( g \) fonksiyonuna aktarılır:
$$ (g \circ f)(x)=g(f(x))=\frac{x^2}{2} $$
Bu yeni fonksiyonun da sürekli olup olmadığını inceleyelim.
Bunun için örnek olarak \( (-2,2) \subset \mathbb{R} \) açık aralığını ele alalım.
\( f \) fonksiyonu altında bu aralığın görüntüsü
$$ f((-2,2))=(0,4) $$
olur.
Daha sonra \( g \) fonksiyonu bu görüntü kümesine uygulanır ve
$$ g((0,4))=(0,2) $$
elde edilir.
Bu örnek, bileşke fonksiyonun açık kümeler üzerindeki davranışını anlamaya yardımcı olur. Ancak topolojide süreklilik, görüntü kümeleriyle değil, açık kümelerin ters görüntüleri ile tanımlanır.
Örneğin \( (0,2) \) açık aralığının \( g \circ f \) altındaki ters görüntüsü
$$ (g \circ f)^{-1}((0,2))=(-2,2) $$
olup yine açık bir kümedir.
Bu durum süreklilik tanımına uygundur. Aynı düşünce herhangi bir açık küme için de geçerlidir. Böylece bileşke fonksiyonun sürekli olduğu sonucuna ulaşılır.
İspat
Şimdi teoremi genel durumda kanıtlayalım.
- \( f: X \to Y \)
- \( g: Y \to Z \)
\( Z \) içinde herhangi bir \( U \) açık kümesini ele alalım.
\( g \) fonksiyonu sürekli olduğundan, \( U \) kümesinin \( g \) altındaki ters görüntüsü
$$ g^{-1}(U) $$
\( Y \) içinde açık bir kümedir.
Aynı şekilde, \( f \) fonksiyonu da sürekli olduğundan, bu açık kümenin \( f \) altındaki ters görüntüsü
$$ f^{-1}(g^{-1}(U)) $$
\( X \) içinde açık olur.
Öte yandan bileşke fonksiyonlar için şu temel eşitlik geçerlidir:
$$ (g \circ f)^{-1}(U)=f^{-1}(g^{-1}(U)) $$
Dolayısıyla \( (g \circ f)^{-1}(U) \) kümesi de \( X \) içinde açıktır.
\( U \), \( Z \)'nin herhangi bir açık alt kümesi olduğundan, \( g \circ f \) fonksiyonunun her açık kümenin ters görüntüsünü açık bir kümeye dönüştürdüğü sonucuna ulaşılır.
Bu da süreklilik tanımının sağlandığını gösterir.
Sonuç olarak \( g \circ f \) fonksiyonu süreklidir. Böylece sürekli fonksiyonların bileşiminin de sürekli olduğu kanıtlanmış olur.
Bu teorem, topolojide ve analizde daha karmaşık fonksiyonların sürekliliğini göstermek için en sık kullanılan araçlardan biridir. Birçok matematiksel yapı ve dönüşüm, sürekli fonksiyonların bileşimi olarak ifade edilebildiğinden, teoremin uygulama alanı son derece geniştir.
