Topolojik Uzayda Dizilerin Yakınsaması

Bir $ X $ topolojik uzayında tanımlı $ (x_n) $ dizisi için $ x \in X $ noktası, şu koşul sağlanıyorsa dizinin limitidir: $ x $’in her komşuluğu $ U $ için, öyle bir pozitif tamsayı $ N $ vardır ki tüm $ n \geq N $ için $ x_n \in U $.

Bu tanımın özü şudur: Dizi terimleri yeterince büyük indislerden itibaren $ x $’e keyfi derecede yaklaşır. Başka bir ifadeyle, dizinin davranışı uzun vadede $ x $ noktasında toplanır.

Matematiksel gösterim:

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

Bu durumda $ x $, dizinin limitidir.

Somut Bir Örnek

Kavramı sezgisel olarak görmek için standart topoloji ile donatılmış $ X = \mathbb{R} $ uzayında klasik bir dizi ele alalım.

$$ x_n = \left( \frac{1}{n} \right) $$

Bu dizinin 0’a yakınsadığını göstereceğiz.

0’ın keyfi bir komşuluğunu $ U $ seçelim. Standart topolojide bu komşuluk mutlaka $ (-\epsilon, \epsilon) $ biçiminde bir açık aralık içerir, burada $ \epsilon > 0 $.

Amacımız, tüm $ n \geq N $ için $ \frac{1}{n} \in (-\epsilon, \epsilon) $ olacak bir $ N $ bulmaktır.

$ \epsilon > 0 $ verilsin. $ N = \left\lceil \frac{1}{\epsilon} \right\rceil $ seçelim. Bu durumda:

$$ n \geq \frac{1}{\epsilon} \implies \frac{1}{n} \leq \epsilon. $$

Dolayısıyla her $ n \geq N $ için

$$ \left| \frac{1}{n} \right| < \epsilon $$

eşitsizliği sağlanır.

Sonuç olarak, 0’ın her komşuluğu için uygun bir $ N $ vardır. Bu da

$$ \lim_{n \to \infty} \frac{1}{n} = 0 $$

sonucunu verir.

Özetle, $ \left( \frac{1}{n} \right) $ dizisi 0’a yakınsar.

$$ \lim_{n \rightarrow \infty} \frac{1}{n} = 0 $$

Sezgisel açıdan bakıldığında tablo nettir: $ n $ büyüdükçe $ \frac{1}{n} $ terimleri küçülür ve 0’a giderek yaklaşır.

Aşağıdaki tabloda ilk on terim yer almaktadır:

$$
\begin{array}{|c|c|}
\hline
n & \frac{1}{n} \\
\hline
1 & 1 \\
2 & 0.5 \\
3 & 0.333 \\
4 & 0.25 \\
5 & 0.2 \\
6 & 0.167 \\
7 & 0.143 \\
8 & 0.125 \\
9 & 0.111 \\
10 & 0.1 \\
\hline
\end{array}
$$

Örneğin $ N=5 $ için $ x_5 = 0.2 $. Bu indisten sonraki tüm terimler $ U = (0, 0.2) $ aralığında kalır.

Dizinin 0 limitine yaklaşmasını görselleştiren örnek

Aynı mantık farklı $ N $ değerleri için de geçerlidir.

Örneğin $ N=10 $ alındığında $ x_{10} = 0.1 $ olur ve sonraki terimler $ U = (0, 0.1) $ komşuluğunun içinde yer alır.

1/n dizisinin yakınsama davranışını gösteren görsel

Sonuç değişmez: Dizinin limiti 0’dır.