Reel Analiz: Tamlık, Yakınsaklık ve Süreklilik

Rasyonel sayılardan reel sayılara: tamlık neyi tamamlar?

Reel analizde dört yapı birlikte çalışır. Cisim aksiyomları toplama ve çarpma işlemlerinin nasıl davranacağını belirler. Sıra aksiyomları, sayıların büyüklük bakımından karşılaştırılmasını mümkün kılar. Arşimet aksiyomu ise pozitif bir x ve herhangi bir y reel sayısı için, y’yi aşacak bir doğal sayı n bulunabileceğini söyler: $x > 0$ ise bir $n \in \mathbb{N}$ için $nx > y$ olur. Bu özellik, reel sayılar arasında analizde kullanılan sonlu ölçekteki karşılaştırmaların kurulmasına yardım eder.

Tamlık özelliği ise daha özel bir sınır ilkesidir: Boş olmayan ve yukarıdan sınırlı her $S \subseteq \mathbb{R}$ kümesinin bir en küçük üst sınırı vardır. Bu sayı $\sup(S)$ ile gösterilir. Üst sınır, kümenin bütün elemanlarından büyük veya onlara eşit olan sayıdır; en küçük üst sınır ise bu özelliğe sahip üst sınırların en küçüğüdür.

Bu ayrım önemlidir. Bir kümenin üst sınırı bulunması, tek başına supremumun kümenin içinde olduğunu göstermez. Örneğin açık bir aralıkta üst sınır olabilir, fakat en küçük üst sınır aralığa dahil olmayabilir. Kapalılık ve tamlık arasındaki ilişki, limit noktalarının neden reel sayı sistemi içinde kalabildiğini anlamaya yardım eder.

Rasyonel sayılar da cisim, sıralı ve Arşimet özelliklerine sahiptir; ancak tamlık özelliğine sahip değildir. Bu yüzden reel analizdeki bazı varlık sonuçları yalnızca rasyonel sayılara dayanarak elde edilemez. Tamlık, özellikle yakınsaklık teoremlerinin ispatında kullanılan temel farktır.

Bir dizinin limite yaklaşmasını ε-N diliyle test etmek

Bir $(a_n)$ dizisinin $L$ sayısına yakınsadığı, $\lim_{n\to\infty} a_n = L$ biçiminde yazılır. Tanım şudur: Her $\varepsilon > 0$ için, yalnızca $\varepsilon$’a bağlı bir $N \in \mathbb{N}$ bulunur ve $n > N$ olduğunda $|a_n-L|<\varepsilon$ eşitsizliği sağlanır.

Buradaki karar kuralı şudur: Hedef hata payını, yani ε’yi önceden seçersiniz; sonra tüm daha büyük indisler için hatanın ε’den küçük olduğunu gösteren bir N bulursunuz. N’nin seçimi, genellikle n’den bağımsız olmalı; yalnızca ε’ye bağlı olabilir. Birkaç terimin limite yakın olması yeterli değildir. Yakınsaklık, dizinin kuyruğundaki bütün terimler için geçerli bir koşuldur.

Yakınsak bir dizinin limiti tektir. Ayrıca yakınsak her dizi sınırlıdır; fakat sınırlı her dizi yakınsak değildir. Örneğin dizinin elemanları belirli bir aralıkta kalsa bile iki farklı değer arasında gidip gelebilir. Bu nedenle sınırlılık, yakınsaklık için gerekli olabilir ancak tek başına yeterli değildir.

Cauchy dizisi, terimlerin belirli bir limite yakınlığından değil, dizinin kendi terimlerinin birbirine yaklaşmasından tanımlanır: Her $\varepsilon>0$ için bir $N$ vardır ve $m,n>N$ olduğunda $|a_n-a_m|<\varepsilon$ olur. Reel sayıların tamlığı sayesinde her Cauchy dizisi reel bir sayıya yakınsar. Bu sonuç, limitin önceden bilinmediği durumlarda özellikle kullanışlıdır.

Monoton ve sınırlı dizilerde limitin varlığını kanıtlamak

Bir dizi artansa $a_n\leq a_{n+1}$, azalmıyorsa monoton artan; $a_{n+1}\leq a_n$ ise monoton azalan olarak adlandırılır. Monotonluk tek başına yakınsaklık sağlamaz. Örneğin artan bir dizi üstten sınırsızsa reel bir limite sahip olmak zorunda değildir. Yakınsaklık sonucunu veren koşul, monotonluk ile uygun yöndeki sınırlılığın birlikte bulunmasıdır.

Monoton Yakınsaklık Teoremi’ne göre yukarıdan sınırlı monoton artan bir reel dizi yakınsaktır. Benzer biçimde aşağıdan sınırlı monoton azalan bir dizi de yakınsar. Artan dizinin limiti, terimlerin ulaşabileceği en küçük üst sınırla ilişkilidir; azalan dizinin limiti ise en büyük alt sınırla ilişkilidir.

İspat fikri tamlık özelliğine dayanır. Artan ve yukarıdan sınırlı bir dizi için $S=\{a_n:n\in\mathbb{N}\}$ kümesini düşünün. $S$ boş değildir ve yukarıdan sınırlıdır. Tamlık gereği $L=\sup(S)$ vardır. $L$’nin supremum olması, her ε için dizinin bir teriminin $L-\varepsilon$’dan büyük olmasını sağlar. Dizi artan olduğu için bu terimden sonraki bütün terimler de $L-\varepsilon$’dan büyüktür; üstten sınırlılık nedeniyle $L+\varepsilon$’ı aşamazlar. Böylece $|a_n-L|<\varepsilon$ elde edilir.

Bu teorem, dizinin limitini hesaplamakla limitin varlığını kanıtlamayı ayırır. Önce monotonluk ve sınırlılık kontrol edilir; ardından tamlık, limitin reel sayılar içinde var olduğunu garanti eder.

Çözümlü örnekler: ε-N ve monotonluk adımlarını uygulama

Örnek 1 — Verilen: $a_n=1/n$ dizisinin $0$’a yakınsadığını ε-N tanımıyla gösterelim.

1. Hedefi yazın: Her $\varepsilon>0$ için $|a_n-0|<\varepsilon$ olmalı.
2. Mutlak değeri sadeleştirin: $|1/n|=1/n$.
3. Eşitsizliği çözün: $1/n<\varepsilon$ olması için $n>1/\varepsilon$ yeterlidir.
4. İndis seçin: $N>1/\varepsilon$ olacak bir doğal sayı seçin. Örneğin $N=\lceil 1/\varepsilon\rceil$ alınabilir; eşitlik sınırında kalmamak için gerektiğinde bir sonraki doğal sayı seçilir.
5. Sonucu yazın: $n>N$ olduğunda $|a_n-0|=1/n<\varepsilon$ olur. Dolayısıyla $\lim_{n\to\infty}1/n=0$.

Somut hata payı olarak $\varepsilon=0{,}01$ seçilirse $n>100$ koşulu yeterlidir. Yani 100’den sonraki tüm terimler 0’a olan uzaklık bakımından 0,01’den küçüktür. Bu, yalnızca birkaç terimin değil, dizinin tamamındaki kuyruğun kontrol edildiğini gösterir.

Örnek 2 — Verilen: $a_n=1-1/n$ dizisinin yakınsaklığını inceleyelim.

1. Monotonluğu kontrol edin: $a_{n+1}-a_n=(1-1/(n+1))-(1-1/n)=1/n-1/(n+1)>0$. Dizi monoton artandır.
2. Üst sınırı bulun: Her doğal $n$ için $1/n>0$ olduğundan $a_n=1-1/n<1$. Bu nedenle dizi 1 ile yukarıdan sınırlıdır.
3. Teoremi uygulayın: Dizi monoton artan ve yukarıdan sınırlı olduğundan Monoton Yakınsaklık Teoremi’ne göre yakınsaktır.
4. Limiti belirleyin: $1/n\to0$ olduğundan $1-1/n\to1$. Sonuç olarak $\lim_{n\to\infty}a_n=1$.

Bu örnekte limitin varlığı, yalnızca formülden sezilmemiş; monotonluk, sınırlılık ve ilgili teorem sırasıyla gösterilmiştir.

Süreklilik, kompaktlık ve tekdüze yakınsaklık arasındaki sınırlar

Bir fonksiyonun sürekliliği, bir noktadaki küçük girdi değişimlerinin o noktadaki çıktı değişimini küçük tutmasıdır. ε-δ diliyle, $f$ fonksiyonu $a$ noktasında sürekli ise her $\varepsilon>0$ için bir $\delta>0$ vardır; $|x-a|<\delta$ olduğunda $|f(x)-f(a)|<\varepsilon$ olur. Burada δ, seçilen ε’ye ve fonksiyonun incelenen noktasına bağlı olabilir. Bir fonksiyonun tek bir noktada sürekli olması, bütün tanım kümesinde sürekli olduğu anlamına gelmez.

Kompaktlık, sonsuz kümelerde sonlu bir kontrol sağlayan yapısal bir özelliktir. Reel sayıların alt kümeleri için Heine-Borel teoremi, kompaktlığın kapalı ve sınırlı olma ile eşdeğer olduğunu belirtir. Bu ifade reel sayılar bağlamında kullanılmalıdır; farklı uzaylarda aynı kısa karakterizasyon doğrudan geçerli kabul edilmemelidir. Boş olmayan bir kompakt $K$ kümesi üzerinde tanımlı sürekli $f:K\to\mathbb{R}$ fonksiyonu maksimum ve minimum değerlerine ulaşır. Yani yalnızca üstten ve alttan sınırlı olmak değil, bu sınır değerlerine gerçekten ulaşmak söz konusudur.

Fonksiyon dizilerinde noktasal yakınsaklık ile tekdüze yakınsaklık ayrılmalıdır. Noktasal yakınsaklıkta her sabit x için yeterince büyük n’lerde $f_n(x)$, $f(x)$’e yaklaşır; seçilen N, x’e bağlı olabilir. Tekdüze yakınsaklıkta ise her $\varepsilon>0$ için tek bir N bulunur ve bu N, tanım kümesindeki bütün x’ler için $|f_n(x)-f(x)|<\varepsilon$ koşulunu sağlar. Bu nedenle tekdüze yakınsaklık daha güçlü bir koşuldur.

Bu ayrım, limit ile türev veya integral işlemlerinin yer değiştirilmesinde önem taşır. Ancak tekdüze yakınsaklık her durumda türevlerin veya integrallerin otomatik olarak değiştirilebileceği anlamına gelmez; ilgili işlem için ek koşulların kontrol edilmesi gerekir.

Sık yapılan hatalar ve karıştırılan kavramlar

1. Sınırlı olmayı yakınsaklık sanmak: Sınırlı bir dizi belirli bir aralıktan çıkmayabilir, fakat yakınsamayabilir. Yakınsaklık iddiası için limit tanımı, monotonluk-sınırlılık teoremi veya uygun başka bir ölçüt kullanılmalıdır.

2. Monotonluğu tek başına yeterli görmek: Artan dizi üstten sınırsız olabilir. Teoremin koşulu, artanlıkla birlikte yukarıdan sınırlı olmayı; azalanlıkla birlikte aşağıdan sınırlı olmayı gerektirir.

3. Üst sınır ile supremumu eşitlemek: Her üst sınır supremum değildir. Supremum, üst sınırların en küçüğüdür. Ayrıca supremumun kümenin elemanı olması gerekmez; bu nokta açık ve kapalı kümeleri ayırırken önem kazanır.

4. ε-N ile ε-δ’yi karıştırmak: ε-N dizilerde, indis n’nin ne kadar büyümesi gerektiğini kontrol eder. ε-δ ise fonksiyonlarda x’in belirli bir a noktasına ne kadar yaklaşması gerektiğini ifade eder.

5. Noktasal yakınsaklığı tekdüze yakınsaklık sanmak: Noktasal yakınsaklıkta N, x’e bağlı olabilir; tekdüze yakınsaklıkta aynı N bütün x’ler için çalışmalıdır. Bu nedenle bir fonksiyon dizisini incelerken N’nin x içerip içermediği açıkça kontrol edilmelidir.

6. Her kapalı ve sınırlı ifadesini her uzaya taşımak: Heine-Borel biçimindeki kapalı ve sınırlı karakterizasyonu burada reel sayıların alt kümeleri için kullanılır. Uzay değiştiğinde kompaktlık ayrıca tanımlanmalı ve uygun teoreme başvurulmalıdır.

7. Kaynağı belirtilmeyen sonuçları ispatlanmış kabul etmek: Reel analizde bir teorem kullanılacaksa koşulları yazılmalı, sonucun hangi varsayımlara dayandığı açıklanmalıdır. Özellikle limit, süreklilik ve türev işlemlerinin yer değiştirilmesi ek şartlar gerektirebilir.