Diziler ve Seriler: Limit ve Yakınsaklık

Dizi kavramı ve genel terim

Dizi, terimleri belirli bir sıraya yerleştirilmiş sayı listesidir. Matematiksel olarak dizi, tanım kümesi genellikle pozitif tam sayılar olan bir fonksiyon gibi düşünülebilir. Listedeki her sayıya terim denir ve n’inci sıradaki terim a_n ile gösterilir. Örneğin 2, 4, 8, 16, ... dizisinde ilk terim a_1 = 2, ikinci terim a_2 = 4 ve üçüncü terim a_3 = 8’dir. Üç nokta, dizinin aynı düzen içinde devam ettiğini belirtir.

Bütün terimleri tek tek yazmak yerine dizinin genel terimi kullanılır. Genel terim, n’inci terimi doğrudan veren kuraldır; böylece önceki terimleri hesaplamadan istenen sıradaki terim bulunabilir. Örneğin a_n = 2^n kuralı, 2, 4, 8, 16, ... dizisinin genel terimidir. Burada n pozitif tam sayı değerleri alır. Tanım kümesi sınırlı sayıda pozitif tam sayıdan oluşuyorsa sonlu dizi, tüm pozitif tam sayıları kapsıyorsa sonsuz dizi elde edilir. Aritmetik dizi ise ardışık terimleri arasındaki fark sabit olan dizi türüdür; ayrıntılı özellikleri ayrı bir başlıkta incelenir.

Dizilerin limiti ve yakınsaklığı

Bir dizinin limiti, n büyüdükçe a_n terimlerinin yaklaştığı değerdir. n’in sonsuza gitmesi, dizide sonsuz büyük bir n terimini yazmak anlamına gelmez; terimlerin davranışını sıranın ilerleyen bölümlerinde incelemek anlamına gelir. Eğer her pozitif ε sayısı için, yeterince büyük n değerlerinden sonra a_n ile L arasındaki fark ε’dan küçük oluyorsa a_n dizisinin limiti L’dir. Bu durum lim a_n = L biçiminde yazılır ve dizi L’ye yakınsıyor denir.

Yakınsaklığın çalışma mantığı, dizinin sonlu sayıdaki ilk teriminden çok ilerideki terimlerinin davranışına dayanır. Örneğin a_n = 1/n dizisinde n büyüdükçe payda büyür ve terimler sıfıra yaklaşır. Bu nedenle lim (1/n) = 0’dır. Terimler hiçbir sonlu adımda tam olarak sıfır olmak zorunda değildir; önemli olan sıfıra istenildiği kadar yaklaşabilmeleridir.

Her dizi bir limite sahip değildir. a_n = (-1)^n dizisi -1 ve 1 arasında sürekli gidip geldiği için tek bir değere yaklaşmaz; bu dizi ıraksaktır. a_n = n dizisinde ise terimler sınırsız biçimde büyür ve sonlu bir limite yaklaşmaz. Dolayısıyla sınırsız olmak, yakınsak olmamanın bir biçimidir; ancak ıraksaklık yalnızca sınırsızlık anlamına gelmez, salınımlı diziler de ıraksak olabilir.

Seri, kısmi toplam ve seri yakınsaklığı

Seri, bir dizinin terimlerinin toplama işaretiyle bir araya getirilmesiyle oluşur: a_1 + a_2 + a_3 + ... . Ancak sonsuz sayıda terimi doğrudan toplamak yerine kısmi toplamlar tanımlanır. İlk N terimin toplamı S_N = a_1 + a_2 + ... + a_N biçimindedir. Böylece seri, tek bir sayıdan çok kısmi toplamlar dizisi üzerinden incelenir.

Serinin yakınsak olması, kısmi toplamlar dizisinin sonlu bir limite sahip olması demektir. Yani S_N değerleri N büyüdükçe bir S sayısına yaklaşıyorsa a_1 + a_2 + a_3 + ... serisi S’ye yakınsar. Mekanizma burada açıkça görülür: Önce terimler toplanarak S_1, S_2, S_3, ... elde edilir; sonra bu yeni dizinin limiti araştırılır. Kısmi toplamlar belirli bir değere yaklaşmıyorsa seri ıraksaktır.

Örneğin 1/2 + 1/4 + 1/8 + ... serisinin kısmi toplamları 1/2, 3/4, 7/8, 15/16, ... biçiminde ilerler ve 1’e yaklaşır. Bu nedenle seri 1’e yakınsar. Buna karşılık 1 + 1 + 1 + ... serisinde kısmi toplamlar 1, 2, 3, ... şeklinde büyür; sonlu bir limite ulaşmadıkları için seri ıraksaktır. Bu örnek, seri yakınsaklığının yalnızca terimlere değil, terimlerin birikimli toplamlarına bağlı olduğunu gösterir.

Geometrik seri, ardışık terimleri sabit bir oranla çarpılan geometrik dizinin terimlerinden oluşur; bu tür serilerde kısmi toplamların davranışı ortak orana bağlıdır. Geometrik dizilerin ve serilerin ayrıntılı özellikleri burada kapsamlı biçimde ele alınmaz.

Dizi ile seri arasındaki ilişki

Bir dizi ile bu dizinin oluşturduğu seri aynı şey değildir. Dizi, terimleri sırayla veren a_1, a_2, a_3, ... listesidir. Seri ise bu terimleri toplar ve S_N = a_1 + a_2 + ... + a_N kısmi toplamlarını oluşturur. Bu nedenle dizi yakınsaklığı a_n terimlerinin limitini, seri yakınsaklığı ise S_N kısmi toplamlarının limitini sorar.

Örneğin a_n = 1/n dizisi 0’a yakınsar. Fakat bu terimlerden oluşturulan 1 + 1/2 + 1/3 + ... serisinin yakınsak olup olmadığı, a_n limitinden ayrı bir sorudur. Bir serinin yakınsak olabilmesi için terimlerin sıfıra gitmesi gerekir; fakat bu koşul tek başına yeterli olmayabilir. Dolayısıyla “terimler sıfıra yaklaşıyor” ifadesi dizi için bir yakınsaklık sonucu olabilirken, seri için yalnızca ilk kontrol adımıdır.

Seriler için temel yakınsaklık gerekliliği ve testlere giriş

Bir seri yakınsaksa serinin terimleri zorunlu olarak sıfıra yaklaşır: a_n → 0. Bunun nedeni, kısmi toplamlar S_n belirli bir S değerine yaklaşıyorsa ardışık iki kısmi toplam arasındaki farkın da sıfıra yaklaşmasıdır; bu fark S_n - S_(n-1) = a_n’dir. Bu nedenle terimleri sıfıra gitmeyen bir seri, başka bir hesap yapmaya gerek kalmadan ıraksak kabul edilir. Örneğin 1 + 1 + 1 + ... serisinde terimler sıfıra yaklaşmadığı için seri yakınsak olamaz.

Ancak a_n → 0 koşulu yeterli değildir. Bu yüzden bir seri incelenirken önce terimlerin limitine bakılır; sonuç sıfır değilse seri elenir, sonuç sıfırsa uygun yakınsaklık testi seçilir. Testlerin ayrıntılı uygulanması başka bir makalenin konusudur. Seri yakınsaklık testlerinde kullanılacak karar sırası da ayrı bir rehber olarak ele alınabilir.

Cauchy ölçütüne giriş

Cauchy ölçütü, limitin değerini doğrudan bulmadan yakınsaklığı incelemeyi sağlar. Bir dizi için ilerideki terimler birbirine istenildiği kadar yaklaşıyorsa yakınsaklık beklenir; serilerde bu fikir, yeterince uzak iki kısmi toplam arasındaki farkın küçülmesiyle ifade edilir.