Süreklilik Teoremi ve Yakınsak Diziler

Eğer $ f: X \to Y $ fonksiyonu sürekli ise ve $ X $ uzayındaki $ x_1, x_2, \dots $ noktalarından oluşan bir dizi $ x $ noktasına yakınsıyorsa, $ f(x_1), f(x_2), \dots $ değerlerinden oluşan dizi de $ Y $ uzayında $ f(x) $'e yakınsar.

Başka bir deyişle, sürekli fonksiyonlar yakınsak dizilerin limitini korur.

Bu sonuç, analizde süreklilik kavramının en önemli özelliklerinden biridir. Bir dizi belirli bir noktaya yaklaşıyorsa, sürekli bir fonksiyon uygulandığında elde edilen yeni dizi de fonksiyonun o noktadaki değerine yaklaşır.

Sezgisel olarak düşünürsek, $ x_n $ terimleri $ x $'e yaklaştıkça, bunların görüntüleri olan $ f(x_n) $ değerleri de $ f(x) $'e yaklaşır. Sürekli fonksiyonlar, limit davranışını bozmadan bir noktadan diğerine taşır.

Bir örnek
İspat

Bir örnek

$ f: \mathbb{R} \to \mathbb{R} $ fonksiyonunu ele alalım ve $ f(x)=2x $ olarak tanımlayalım. Ayrıca

$$ x_n=\frac{1}{n} $$

dizisini inceleyelim.

$ n $ büyüdükçe dizinin terimleri sırasıyla

$ 1, \frac{1}{2}, \frac{1}{3}, \dots $

şeklinde ilerler ve giderek $ 0 $'a yaklaşır. Dolayısıyla

$$ \lim_{n\to\infty} x_n = 0 $$

olur.

Şimdi fonksiyonu dizinin her terimine uygulayalım:

$$ f(x_1)=f(1)=2 $$

$$ f(x_2)=f\left(\frac{1}{2}\right)=1 $$

$$ f(x_3)=f\left(\frac{1}{3}\right)=\frac{2}{3} $$

$$ ... $$

Böylece yeni dizi

$$ f(x_n)=2x_n $$

olur ve terimleri

$ 2, 1, \frac{2}{3}, \dots $

şeklindedir.

Bu dizi de $ 0 $'a yakınsar. Gerçekten de

$$ \lim_{n\to\infty} f(x_n)=0 $$

ve bu değer tam olarak

$$ f(0)=0 $$

olduğundan, teoremin öngördüğü sonuç doğrulanmış olur.

Bu örnekte, sürekli fonksiyonun dizinin limitini koruduğu açıkça görülmektedir.

İspat

Şimdi, sürekli bir fonksiyonun neden yakınsak dizilerin limitini koruduğunu adım adım gösterelim.

Varsayalım ki $ f: X \to Y $ sürekli bir fonksiyon olsun ve $ (x_n) $ dizisi $ x $'e yakınsasın.

Amacımız, $ (f(x_n)) $ dizisinin de $ f(x) $'e yakınsadığını kanıtlamaktır.

1. Adım: $ f(x) $'in bir komşuluğunu ele alalım

$ Y $ uzayında $ f(x) $'i içeren herhangi bir $ U $ açık kümesini seçelim.

Yakınsamayı göstermek için, yeterince büyük $ n $ değerleri için $ f(x_n) $ terimlerinin bu kümenin içinde kaldığını kanıtlamamız gerekir.

2. Adım: Ters görüntüden yararlanalım

$ f $ sürekli olduğundan, $ U $'nun ters görüntüsü olan

$$ f^{-1}(U) $$

kümesi $ X $ uzayında açık bir kümedir.

Ayrıca $ f(x)\in U $ olduğundan,

$$ x\in f^{-1}(U) $$

olur.

Dolayısıyla $ f^{-1}(U) $, $ x $'i içeren açık bir komşuluktur.

3. Adım: Dizinin yakınsama özelliğini kullanalım

$ (x_n) $ dizisinin $ x $'e yakınsadığını biliyoruz.

Yakınsamanın tanımına göre, $ x $'in her komşuluğu için bir $ N $ doğal sayısı vardır ve

$$ n \geq N $$

olduğunda tüm $ x_n $ terimleri bu komşuluğun içinde yer alır.

$ f^{-1}(U) $ da $ x $'in bir komşuluğu olduğundan, bir $ N $ doğal sayısı bulunur ve tüm $ n \geq N $ için

$$ x_n \in f^{-1}(U) $$

olur.

4. Adım: Sonucu elde edelim

Ters görüntünün tanımından dolayı

$$ x_n \in f^{-1}(U) $$

eşitliği

$$ f(x_n)\in U $$

anlamına gelir.

Bu nedenle, yeterince büyük tüm $ n $ değerleri için $ f(x_n) $ terimleri $ U $ içinde kalır.

Sonuç

$ U $, $ f(x) $'in keyfi olarak seçilmiş bir komşuluğu olduğundan, $ (f(x_n)) $ dizisinin $ f(x) $'e yakınsadığı sonucuna ulaşırız.

Dolayısıyla sürekli bir fonksiyon, yakınsak bir dizinin limitini korur:

$$ x_n \to x \quad \Longrightarrow \quad f(x_n)\to f(x) $$

Bu teorem, analizde süreklilik kavramını anlamanın en etkili yollarından biridir ve sürekli fonksiyonların limitlerle nasıl uyumlu çalıştığını açık bir biçimde ortaya koyar.