Reel Analiz Temelleri: Tamlık, Dizi Limitleri ve ε-N İspatları

Reel sayıların tamlık özelliği

Reel sayılar, rasyonel ve irrasyonel sayıların birlikte oluşturduğu sayı kümesidir. Her reel sayı sayı doğrusunda tek bir noktaya karşılık gelir; sayı doğrusundaki her nokta da tek bir reel sayıyı temsil eder. Reel sayıların cebirsel işlemler, sıralama ve uzaklık bakımından kullanılabilmesi analiz için gereklidir; ancak analizde asıl belirleyici özellik, reel sayıların tam olmasıdır.

Tamlık özelliği, üstten sınırlı ve boş olmayan her reel sayı kümesinin bir en küçük üst sınıra sahip olduğunu söyler. Bir A kümesi üstten sınırlıysa, A’nın her elemanından büyük veya eşit en az bir reel sayı vardır. Bu sayıların en küçüğüne supremum denir ve sup A ile gösterilir. Tamlık, böyle bir supremumun reel sayıların içinde gerçekten var olacağını garanti eder. Rasyonel sayılar aynı özelliğe sahip değildir: Örneğin A = {q ∈ Q : q² < 2} kümesi rasyonel sayılar içinde üstten sınırlıdır, fakat bu kümenin rasyonel bir supremumu yoktur; çünkü sınır noktası √2 irrasyoneldir.

Bu özellik limitlerin varlığını güvenceye alan mekanizmadır. Örneğin artan ve üstten sınırlı bir dizi düşünelim. Dizinin terimleri sürekli büyüse de bir üst sınırı aşamaz. Terimlerin oluşturduğu kümenin supremumu s alınır. Artanlık nedeniyle dizi s’nin altında kalır; supremumun en küçük üst sınır olması nedeniyle terimler s’den belirli bir uzaklıkta kalamaz. Aksi durumda s’den daha küçük bir üst sınır bulunabilirdi. Böylece dizi s’ye yaklaşır. Bu fikir, monoton ve sınırlı dizilerin yakınsaklığı teoreminin temelidir.

Reel sayıların toplama ve çarpma işlemlerindeki değişme, birleşme, dağılma, etkisiz eleman ve ters eleman özellikleri de analizde kullanılan cebirsel dönüşümlerin temelini oluşturur. Ancak bu işlemler tek başına yakınsaklık sağlamaz; yakınsaklık için sıralama ve tamlık yapısının birlikte kullanılması gerekir.

Dizi ve dizi limiti kavramı

Bir dizi, doğal sayıların her birine bir reel sayı karşılık veren fonksiyondur. Genellikle (a_n) veya a_1, a_2, a_3, ... biçiminde yazılır. Burada n, terimin sırasını gösterir. Örneğin a_n = 1/n dizisinin terimleri 1, 1/2, 1/3, ... şeklindedir.

Bir dizinin limiti, indisler büyüdükçe terimlerin yaklaştığı reel sayıdır. a_n dizisinin limiti L ise a_n → L yazılır. Bu ifade, terimlerin mutlaka L’ye eşit olacağı anlamına gelmez; terimler L’ye istenildiği kadar yaklaşabilir. Örneğin 1/n dizisinin hiçbir terimi 0 değildir, fakat n büyüdükçe terimler 0’a yaklaşır. Bu nedenle limiti 0’dır.

Limit kavramının çalışması, dizinin ilk birkaç teriminden çok ilerleyen terimlerinin davranışına dayanır. Sonlu sayıda başlangıç terimi değiştirildiğinde, dizinin limiti değişmez. Buna karşılık dizinin ilerleyen terimleri belirli bir uzaklığın dışında kalıyorsa o sayı limit olamaz. Örneğin a_n = (-1)^n dizisi 1 ve -1 arasında gidip gelir; tek ve çift indislerde farklı değerlere yaklaştığı için tek bir reel limite sahip değildir.

Diziler, sayıların yanı sıra fonksiyonların ve daha karmaşık yapıların davranışını incelemek için de temel araçtır. Bir dizinin belirli bir değere yaklaşması ile reel fonksiyonların bir noktadaki limiti arasında yakın bir ilişki bulunur; fonksiyon limitleri ve süreklilik ayrı bir inceleme konusudur.

ε-N tanımı ve limit ispatları

a_n dizisinin limiti L ise, her ε > 0 için öyle bir N ∈ N vardır ki n ≥ N olduğunda |a_n − L| < ε olur. Sembolik olarak:

Her ε > 0 için bir N ∈ N vardır; n ≥ N ise |a_n − L| < ε.

Burada ε, kabul edilen hata payıdır. N ise bütün terimlerin bu hata payı içinde kalmaya başladığı eşik indisini gösterir. Tanımın önemli noktası, N’nin ε’ye bağlı olabilmesi, fakat n ≥ N koşulunu sağlayan bütün indisler için aynı anda çalışmasıdır. Ayrıca önce ε seçilir, sonra buna uygun N bulunur; niceliklerin sırası ispatın mantığını belirler.

Örnek olarak a_n = 1/n dizisinin limitinin 0 olduğunu gösterelim. ε > 0 verilsin. |a_n − 0| = 1/n olduğundan 1/n < ε koşulunu sağlamak isteriz. Bunun için N > 1/ε seçilebilir; örneğin N = ⌊1/ε⌋ + 1 alınabilir. n ≥ N ise n > 1/ε ve dolayısıyla 1/n < ε olur. Böylece ε-N tanımı sağlandığından 1/n → 0 sonucuna ulaşılır.

Bir başka örnekte a_n = (2n + 1)/(n + 3) dizisinin limitinin 2 olduğunu ispatlayalım. Önce farkı sadeleştirelim: (2n + 1)/(n + 3) − 2 = −5/(n + 3). Dolayısıyla |a_n − 2| = 5/(n + 3) ≤ 5/n. ε > 0 seçildiğinde n > 5/ε olması yeterlidir. N = ⌊5/ε⌋ + 1 seçilirse n ≥ N için |a_n − 2| < ε elde edilir. Bu nedenle a_n → 2’dir.

Yakınsaklık ispatlarında kullanılan temel mantık, hedef eşitsizliği önce cebirsel olarak inceleyip n için yeterli alt sınırı bulmaktır. İspat, keyfi bir ε > 0 alır ve bu ε’ye bağlı bir N seçer. Son adımda n ≥ N varsayımından hareketle istenen eşitsizlik doğrudan gösterilir. Bu yaklaşım, sezgisel “yaklaşma” düşüncesini kesin bir niceleyici düzenine dönüştürür.

Dizi limitlerinin temel özellikleri

Bir dizi yakınsaksa limiti tektir. Gerçekten a_n hem L’ye hem de M’ye yakınsıyor olsun. L ≠ M varsayalım ve ε = |L − M|/3 seçelim. Yeterince büyük n için hem |a_n − L| < ε hem de |a_n − M| < ε olur. Üçgen eşitsizliği, |L − M| ≤ |L − a_n| + |a_n − M| < 2ε sonucunu verir. Bu ise 2ε < |L − M| olduğundan çelişkidir.

Yakınsak diziler sınırlıdır. a_n → L ise ε = 1 için yeterince büyük n’de |a_n − L| < 1 olur; bu terimler L − 1 ile L + 1 arasında kalır. İlk sonlu sayıdaki terim de ayrı ayrı sınırlanabildiği için dizinin bütün terimleri ortak bir sabit tarafından sınırlanır.

Limit işlemleri cebirsel işlemlerle uyumludur. a_n → a ve b_n → b ise a_n + b_n → a + b, a_n − b_n → a − b ve a_n b_n → ab olur. Ayrıca b ≠ 0 ise, yeterince büyük n için b_n sıfıra yaklaşmayacak kadar b’ye yakın olduğundan a_n/b_n → a/b sonucuna ulaşılır. Toplam ve çarpım sonuçları, farkı ε ile kontrol edip üçgen eşitsizliği kullanılarak ispatlanır; bölümde paydanın sıfıra uzaklığı ayrıca güvenceye alınır.

Sık kullanılan bir sonuç da sıkıştırma ilkesidir: c_n ≤ a_n ≤ d_n ve c_n ile d_n aynı L limitine sahipse a_n de L’ye yakınsar. Alt diziler, bir dizinin terimlerinden indisleri artan bir seçim yapılarak elde edilir; yakınsak bir dizinin her alt dizisi aynı limite yakınsar.

Monoton ve sınırlı dizilerin yakınsaklığı

Bir dizi, her n için a_n ≤ a_{n+1} ise artan, a_n ≥ a_{n+1} ise azalan olarak adlandırılır. Artan veya azalan dizilere monoton dizi denir. Bir dizi üstten sınırlıysa bütün terimleri bir M sayısından küçük veya eşittir; alttan sınırlıysa bütün terimleri bir m sayısından büyük veya eşittir. Monoton ve sınırlı bir reel dizi mutlaka yakınsaktır.

Artan ve üstten sınırlı bir (a_n) dizisi için A = {a_n : n ∈ N} kümesini ele alalım. Tamlık özelliği gereği A’nın supremumu vardır; bu sayıya s diyelim. Her terim s’den küçük veya eşittir. Şimdi s’nin dizinin limiti olduğunu gösterelim. ε > 0 verilsin. s − ε sayısı üst sınır olsaydı s, en küçük üst sınır olamazdı; o hâlde bir k indisi için a_k > s − ε olmalıdır. Dizi artan olduğundan n ≥ k için a_n ≥ a_k > s − ε olur. Öte yandan a_n ≤ s’dir. Böylece n ≥ k için s − ε < a_n ≤ s ve dolayısıyla |a_n − s| < ε elde edilir. Bu, a_n → s demektir.

Azalan ve alttan sınırlı dizide benzer biçimde infimum kullanılır. Örneğin a_n = 1 − 1/n dizisi artandır ve 1 ile üstten sınırlıdır. Terim kümesinin supremumu 1 olduğundan dizi 1’e yakınsar. Buna karşılık a_n = n dizisi artan olsa da üstten sınırlı değildir; bu nedenle teorem uygulanamaz ve reel bir limite yakınsamaz.

Cauchy dizileri ile yakınsaklık arasındaki ilişki

Bir (a_n) dizisi Cauchy dizisi ise her ε > 0 için öyle bir N vardır ki m,n ≥ N olduğunda |a_n − a_m| < ε olur. Bu tanımda önceden bilinen bir limit yoktur; dizinin yeterince ilerideki terimlerinin birbirine yaklaşması istenir. Dolayısıyla Cauchy koşulu, dizinin kendi içindeki yakınlığı ölçer.

Yakınsak her reel dizi Cauchy’dir. a_n → L olsun. ε > 0 verildiğinde, yeterince büyük m ve n için |a_m − L| < ε/2 ve |a_n − L| < ε/2 seçilebilir. Üçgen eşitsizliğiyle |a_n − a_m| ≤ |a_n − L| + |a_m − L| < ε bulunur.

Reel sayıların tamlık özelliği, ters yönü de sağlar: Her Cauchy reel sayı dizisi yakınsaktır. Bunun mekanizması, dizinin ilerleyen terimlerinin birbirine çok yakın olmasından tek bir sınır değer üretmektir. Cauchy koşulu, belirli bir ε için yeterince ilerideki tüm terimleri dar bir aralıkta toplar. Bu aralıkların genişliği keyfi biçimde küçülebilir. Tamlık, bu küçülen aralıkların ortak bir reel noktaya karşılık gelmesini garanti eder; bu nokta dizinin limitidir.

Daha biçimsel bir ispatta, Cauchy dizisinin sınırlı olduğu gösterilir. Her n için uygun alt ve üst sınırlar kullanılarak kuyrukların infimum ve supremumları tanımlanır. Cauchy koşulu, bu iki sınır arasındaki farkın n büyüdükçe sıfıra gitmesini sağlar. Tamlık sayesinde elde edilen ortak reel sayı L için |a_n − L| < ε koşulu sağlanır ve a_n → L bulunur. Rasyonel sayılar gibi tam olmayan bir sayı sisteminde ise Cauchy bir dizi, sistemin içinde limite sahip olmayabilir; bu nedenle Cauchy yakınsaklık teoremi doğrudan tamlıkla bağlantılıdır.