Sonsuzluk Nedir? Sayı mı, Limit mi?

Sonsuzluk neden sayı doğrusu üzerinde bir nokta değildir?

Gerçek sayılar, sayı doğrusunda belirli bir konuma sahip olan ve aralarındaki işlemlerin tanımlanabildiği değerlerdir. Örneğin 3, $-2$, $1/2$ ve $\sqrt{2}$ gerçek sayıdır. Her birinin başka sayılarla toplama, çıkarma, çarpma ve bölme işlemlerinde kullanılan belirli bir değeri vardır.

$\infty$ ise bu anlamda belirli bir konum veya son değer göstermez. ‘Herhangi bir sonlu sayıdan daha büyük olma yönünde sınırsızlık’ ya da bir sürecin sınırının bulunmaması fikrini temsil eder. Bu nedenle alışılmış gerçek sayılar kümesinin elemanı değildir. Sayı doğrusunun sağına sonsuzluğu normal bir sayı gibi yerleştirip onunla bütün aritmetik işlemleri gerçek sayılarda olduğu gibi yapmak doğru olmaz.

Örneğin doğal sayılar dizisi $1, 2, 3, \ldots$ şeklinde devam eder. Bu dizinin sonsuz olması, içinde ‘sonsuz’ adlı bir doğal sayı bulunduğu anlamına gelmez. Anlamı şudur: Dizideki herhangi bir doğal sayı seçildiğinde ondan daha büyük başka bir doğal sayı, yani en azından bir sonraki sayı, bulunabilir. Dolayısıyla burada sonsuzluk, dizinin tek bir elemanı değil, dizinin bitmeme özelliğidir.

Bu ayrım, ‘sonsuzluk bir sayı mıdır?’ sorusunun temel cevabını verir: Standart gerçek sayılar sistemi içinde hayır. Bazı matematiksel sistemlerde $\infty$ için özel kurallar tanımlanabilir; fakat bu kurallar, sonsuzluğu gerçek sayılarla aynı türden bir sayı yapmaz.

$x$ sonsuza giderken limit neyi anlatır?

Limit gösterimlerinde sonsuzluk çoğunlukla ulaşılacak bir sayı değil, değişkenin izlediği yönü ifade eder. Örneğin $x$’in sonsuza gitmesi, $x$’in tek bir ‘sonsuz’ değerine eşit olması değildir. $x$’in değerlerinin sınırsız biçimde büyümesi anlamına gelir.

$f(x)=1/x$ fonksiyonunu inceleyelim. $x=10$ için fonksiyonun değeri $0{,}1$, $x=100$ için $0{,}01$, $x=1000$ için $0{,}001$ olur. $x$ büyüdükçe $1/x$ sıfıra yaklaşır. Bu davranış $\lim_{x\to\infty}1/x=0$ biçiminde yazılır. Buradaki sonuç, yeterince büyük bir sonlu $x$ değeri için fonksiyonun tam olarak sıfır olduğu anlamına gelmez; fonksiyonun değerlerinin sıfıra yaklaşma eğilimini anlatır.

Benzer şekilde bir fonksiyonun değeri sınırsız biçimde büyüyorsa $\lim_{x\to a}f(x)=+\infty$ ifadesi kullanılabilir. Bu ifade, her $M>0$ için $a$’nın yeterince yakınındaki tüm tanımlı $x$ değerlerinde $f(x)>M$ olması demektir. Yani değerler, $x\to a$ iken sonunda her sabit üst sınırı aşmalıdır. Bu iki durum birbirinden ayrılmalıdır: Birinde sonuç sonlu bir sayı olan 0’a yaklaşımdır; diğerinde fonksiyon değerleri sınırsız büyür.

Limitte doğru karar vermek için sembolü tek başına okumak yetmez. Değişkenin hangi değere yaklaştığı, fonksiyonun tanımlı olduğu aralık ve sağdan-soldan yaklaşım gibi koşullar kontrol edilmelidir. Özellikle payda sıfıra yaklaşırken oluşan ifadelerde, doğrudan ‘sonsuz’ yazmak yerine limitin yönü ve işareti incelenir.

Sonsuz terimli bir seri nasıl 1 veya 2 olabilir?

Sonsuz dizi ile sonsuz seri aynı şey değildir. Dizi, terimlerin sıralanmasıdır; seri ise bu terimlerin toplamını inceleyen ifadedir. Bir serinin sonsuz sayıda terim içermesi, toplamının mutlaka sonsuz olacağı anlamına gelmez.

Örneğin $1/2+1/4+1/8+1/16+\ldots$ serisinde her terim bir öncekinin yarısıdır. İlk $n$ terimin toplamı, 1’e yaklaşır; terim sayısı sınırsız biçimde artırıldığında toplamın limiti 1 olur. Bu nedenle bu seri 1’e yakınsamaktadır.

Buna karşılık $1+1/2+1/4+1/8+\ldots$ serisi aynı geometrik yapının ilk terimi 1 olan biçimidir ve toplamı 2’ye yaklaşır. Genel geometrik seri formülü, ortak oran için $|r|<1$ koşuluyla şöyle yazılır: $a+ar+ar^2+\ldots=\frac{a}{1-r}$. İlk seri için $a=1/2$ ve $r=1/2$ olduğundan toplam $\frac{1/2}{1-1/2}=1$ olur. İkinci seri için $a=1$ ve $r=1/2$ olduğundan sonuç $\frac{1}{1-1/2}=2$’dir.

Buradaki kritik koşul $|r|<1$ olmasıdır. Ortak oranın mutlak değeri 1’den küçük değilse bu formül doğrudan kullanılamaz. Örneğin terimleri büyüyen veya yeterince küçülmeyen bir serinin toplamı sonlu bir değere yakınsamayabilir. Bu yüzden ‘sonsuz sayıda terim var, o hâlde toplam sonsuzdur’ ve ‘her sonsuz seri sonlu bir sayıya eşittir’ yargılarının ikisi de genelleme olarak yanlıştır.

Doğal sayılarla gerçek sayıların sonsuzluğu aynı büyüklükte midir?

Küme teorisinde sonsuz kümeler yalnızca ‘eleman sayısı bitmiyor’ denilerek bırakılmaz; kümelerin elemanlarının eşleştirilip eşleştirilemediği de incelenir. Doğal sayılar kümesi $\{1,2,3,\ldots\}$ sayılabilir sonsuz bir kümeye örnektir. Elemanları birinci, ikinci, üçüncü şeklinde sıralanabildiği için her eleman bir doğal sayı sırasına bağlanabilir.

Gerçek sayıların doğal sayılardan daha büyük bir sonsuzluk olduğu, iki doğal sayı arasında sonsuz sayıda gerçek sayı bulunmasıyla tek başına kanıtlanamaz. Cantor’un köşegen yöntemi gibi bir argümanla doğal sayıların sayılabilir, gerçek sayıların ise sayılamaz olduğu gösterilir. Bu nedenle gerçek sayılar doğal sayılardan daha büyük kardinaliteye sahiptir.

Burada ‘daha büyük’ sözcüğü günlük hayattaki fiziksel uzunluk anlamında değil, kümelerin elemanlarını bire bir eşleştirme biçimindeki matematiksel büyüklük anlamındadır. Bu nedenle bir sonsuz kümenin başka bir sonsuz kümeden daha büyük olması çelişki değildir. ‘İkisi de sonsuz, öyleyse eşittir’ çıkarımı bu bağlamda geçerli değildir.

Bu konu, sonsuzluğu tek ve değişmez bir nesne gibi düşünmenin neden yetersiz olduğunu gösterir. Limitteki sonsuzluk sınırsız büyüme yönünü, serideki sonsuzluk bitmeyen terim sayısını, küme teorisindeki sonsuzluk ise kümenin elemanlarının karşılaştırılan büyüklüğünü anlatabilir.

Çözümlü örnekler: limit ve geometrik seri ayrımı

Örnek 1 — Limit:

Verilen: $f(x)=1/x$ ve $x\to\infty$.

1. $x$ için 10, 100 ve 1000 gibi giderek büyüyen değerler seçilir.
2. Fonksiyon değerleri hesaplanır: $1/10=0{,}1$, $1/100=0{,}01$, $1/1000=0{,}001$.
3. Bu değerlerin 0’a yaklaştığı görülür; fakat sonlu bir $x$ için $1/x=0$ olmaz.
4. Sonuç limit biçiminde yazılır: $\lim_{x\to\infty}\frac{1}{x}=0$.

Sonuç: Buradaki sonsuzluk, $x$’in ulaşacağı özel bir sayı değildir. $x$ büyüdükçe fonksiyonun 0’a yaklaşma davranışını gösterir.

Örnek 2 — İki farklı geometrik seri:

Verilenler: Birinci seri $1/2+1/4+1/8+\ldots$; ikinci seri $1+1/2+1/4+\ldots$.

1. Her iki seride ortak oranın $r=1/2$ olduğu belirlenir.
2. $|r|=1/2<1$ olduğu için geometrik seri toplamı kullanılabilir.
3. Birinci seride ilk terim $a=1/2$’dir: $S=\frac{1/2}{1-1/2}=1$.
4. İkinci seride ilk terim $a=1$’dir: $S=\frac{1}{1-1/2}=2$.

Sonuç: Terim sayısı sonsuz olsa da ilk seri 1’e, ikinci seri 2’ye yakınsar. İlk terimi yanlış almak, bu sorudaki en yaygın hesap hatasıdır.

Sonsuzluk işlemlerinde hangi ifadeler belirsizdir?

$\infty$ sembolü gerçek sayı olmadığı için onunla yapılan ifadeler, normal aritmetik işlemler gibi otomatik yorumlanamaz. Örneğin limit bağlamında ‘sonsuz eksi sonsuz’ ifadesi belirsiz formdur. Çünkü iki sınırsız büyümenin farkı farklı sonuçlar verebilir.

$n\to\infty$ iken $(n+1)-n=1$ olur. Buna karşılık $2n-n=n$ olduğundan sonuç sınırsız büyür. Her iki işlem yüzeyde ‘sonsuz eksi sonsuz’ biçiminde görünse de sonuçlar aynı değildir. Bu nedenle bir limitte $\infty-\infty$ görüldüğünde, terimleri ayrı ayrı sonsuz kabul edip çıkarma yapmak yerine ifade cebirsel olarak sadeleştirilmeli veya uygun limit yöntemi uygulanmalıdır.

Aynı dikkat, $0\cdot\infty$, $\infty/\infty$ ve $0/0$ gibi biçimler için de gerekir. Bunlar tek başına sonuç vermez; fonksiyonların birbirine göre nasıl büyüdüğünü incelemek gerekir. Örneğin $1/x$ ifadesinde $x\to\infty$ iken sonuç 0’a yaklaşır; fakat başka bir fonksiyonla çarpıldığında davranış değişebilir.

‘$\infty+1=\infty$’ türü yazımlar bazı genişletilmiş sayı sistemlerinde veya sezgisel limit anlatımlarında kullanılabilse de, bu eşitlik sonsuzluğun gerçek sayılar gibi işlem gören sıradan bir sayı olduğunu kanıtlamaz. Sınavda işlem yapmadan önce ifadenin bir limit mi, seri mi, küme büyüklüğü mü yoksa özel bir genişletilmiş sistem mi olduğunu belirlemek gerekir.