Grandi Serisi: 1 − 1 + 1 − 1 + ... Toplamı Gerçekten Var mı?

Aldatıcı Derecede Basit Bir Toplam

Şu sonsuz toplamı düşünün:

$1 - 1 + 1 - 1 + 1 - 1 + \cdots$

Sadece $1$'ler ve eksi $1$'ler, sonsuza kadar dönüşümlü. Bu toplamın değeri nedir? İlk bakışta zararsız görünür, ama cevabı vermeye çalışınca tuhaf bir kuyuya düşersiniz. Bu, $18.$ yüzyılda rahip ve matematikçi Guido Grandi'nin incelediği ünlü Grandi serisidir ve sonsuzlukla nasıl dikkatli olunması gerektiğinin klasik bir dersidir.

Üç Yöntem, Üç Farklı Cevap

İşte sorun: terimleri farklı şekilde gruplarsanız, farklı sonuçlar elde edersiniz.

Birinci yol — sıfır: Terimleri şöyle eşleştirelim:

$(1 - 1) + (1 - 1) + (1 - 1) + \cdots = 0 + 0 + 0 + \cdots = 0$

Her parantez sıfır, demek ki toplam $0$.

İkinci yol — bir: Şimdi ilk $1$'i ayrı tutup gerisini eşleştirelim:

$1 + (-1 + 1) + (-1 + 1) + \cdots = 1 + 0 + 0 + \cdots = 1$

Bu kez toplam $1$ çıktı! Aynı seri, sadece parantezleri kaydırdığımız için bambaşka bir cevap verdi.

Üçüncü yol — bir buçuk: Şimdi cebirsel bir numara deneyelim. Toplama $S$ diyelim:

$S = 1 - 1 + 1 - 1 + \cdots$

İlk $1$'i dışarı alırsak, geri kalan kısım tam olarak $-S$'tir:

$S = 1 - (1 - 1 + 1 - \cdots) = 1 - S$

Buradan $2S = 1$, yani $S = \tfrac{1}{2}$ çıkar. Bir toplam nasıl $\tfrac{1}{2}$ olabilir — terimlerin hiçbiri kesir bile değilken?

Sorun Nerede? Yakınsaklık Yok

Üç saygın görünen yöntem, üç farklı cevap verdi: $0$, $1$, $\tfrac{1}{2}$. Hangisi doğru? Modern matematiğin cevabı şudur: hiçbiri. Daha doğrusu, bu serinin alışılmış anlamda bir toplamı yoktur.

Anahtar kavram yakınsaklıktır. Bir sonsuz toplamın "değeri" olabilmesi için, kısmi toplamlarının belirli bir sayıya yaklaşması (yakınsaması) gerekir. Grandi serisinin kısmi toplamlarına bakalım:

$1,\quad 1-1=0,\quad 1-1+1=1,\quad 1-1+1-1=0,\quad \dots$

Bu dizi $1, 0, 1, 0, 1, 0, \dots$ diye sonsuza kadar zıplar. Tek bir değere asla yerleşmez. Böyle bir seriye ıraksak (yakınsamayan) denir ve ıraksak serilerin alışılmış anlamda bir toplamı yoktur. İşte parantezleri farklı gruplayınca farklı cevap çıkmasının nedeni budur: yakınsamayan bir seride, terimleri yeniden düzenlemek meşru değildir ve sizi yanıltır.

Peki 1/2 Tamamen Anlamsız mı?

İşin güzel kıvrımı şu: o $\tfrac{1}{2}$ değeri büsbütün saçma değildir. Matematikçiler, ıraksak serilere bile genelleştirilmiş bir "değer" atamanın tutarlı yollarını geliştirmiştir. Bunlardan biri Cesàro toplamıdır: kısmi toplamların ($1, 0, 1, 0, \dots$) ortalamasını alırsınız. Bu ortalamalar dizisi ($1, \tfrac{1}{2}, \tfrac{2}{3}, \tfrac{2}{4}, \dots$) tam olarak $\tfrac{1}{2}$'ye yakınsar! Yani uygun bir genelleştirilmiş anlamda, Grandi serisinin "değeri" $\tfrac{1}{2}$ kabul edilebilir.

Ama buradaki kritik nokta şu: bu $\tfrac{1}{2}$, "$1+1=2$" gibi sıradan bir toplam değildir. O, bambaşka, daha geniş bir tanım altında verilmiş özel bir anlamdır. Karıştırıldığında — yani genelleştirilmiş toplamı sıradan toplam sanıldığında — paradokslar doğar.

Grandi serisi, matematiğin en önemli derslerinden birini bir satırlık bir toplamda saklar: sonsuzlukla oynarken kuralları değiştirmek tehlikelidir. "Topla" demek, sonlu durumda apaçıktır; ama sonsuza taşındığında, ne demek istediğimizi titizce tanımlamadan, aynı ifade $0$, $1$ ya da $\tfrac{1}{2}$ olabilir. Matematiğin gücü, tam da bu tür tuzakları fark edip, "yakınsaklık" gibi kavramlarla sağlam zemin kurmasından gelir.