
1 − 2 + 3 − 4 + … serisi kısmi toplamlarının ilk birkaç bin adedi.

Bu sonsuz seri
ıraksaktır çünkü kısmi toplamlarının
dizisi (1, -1, 2, -2, ...) herhangi bir
limit değere yakınsamaz. Ancak, 18. yüzyılın ortalarında
Leonhard Euler, bir
paradoks olduğunu kabul ettiği şu eşitliği yazmıştır:

Buna yönelik titiz bir açıklama çok sonraları yapılabilmiştir.
1890'dan itibaren Ernesto Cesàro, Émile Borel ve diğerleri, Euler'in girişimlerine yeni yorumlar da getirecek şekilde, ıraksak serilere genellenmiş toplamlar atamak için iyi tanımlanmış yöntemler araştırdılar. Bu toplanabilirlik yöntemlerinin birçoğu, 1 - 2 + 3 - 4 + ... serisinin
1⁄4'e eşit olduğunu kolayca göstermektedir.
Cesàro toplaması ise bu seriye bir değer atamayan az sayıdaki yöntemden biridir. Dolayısıyla bu seri,
Abel toplaması gibi daha kuvvetli bir yöntemin kullanılması gereken serilere örnektir.
1 - 2 + 3 - 4 + ... serisi ile
Grandi serisi (1 - 1 + 1 - 1 + …) yakından ilintilidir ve Euler tarafından, herhangi bir n için 1 - 2
n + 3
n - 4
n + ... serisinin özel durumları olarak değerlendirilmişlerdir. Bu yaklaşım, Euler'in
Basel problemi üzerindeki çalışmasını genişleten ve oradan da bugün
Dirichlet eta fonksiyonu ile
Riemann zeta fonksiyonu olarak bilinen fonksiyonel eşitliklere yönlendiren bir araştırma alanıdır.
Iraksaklık
Serinin terimleri (1, −2, 3, −4, …) hem
+ hem de
− yönde
0'dan uzaklaştığı için, 1 − 2 + 3 − 4 + ... serisi
terim testi bağlamında ıraksaktır. İleriki bahisler açısından, ıraksamayı temel bir yaklaşımla değerlendirmek de faydalı olur. Tanım olarak, sonsuz bir serinin yakınsama veya ıraksama niteliğini, o serinin kısmi toplamlar dizisinin yakınsaması veya ıraksaması belirler.
1 − 2 + 3 − 4 + ...'in kısmi toplamları ise şöyledir:
- 1 = 1,
- 1 − 2 = −1,
- 1 − 2 + 3 = 2,
- 1 − 2 + 3 − 4 = −2,
- 1 − 2 + 3 − 4 + 5 = 3,
- 1 − 2 + 3 − 4 + 5 − 6 = −3,
- ...
Bu kısmi toplam dizisi serinin herhangi bir sayıya yakınsamadığını açıkça göstermektedir çünkü önerilecek herhangi bir x limiti için, belli bir noktadan sonra kısmi toplamların hepsinin [x-1, x+1] aralığının dışında olduğunu bulabiliriz. Dolayısıyla, 1 − 2 + 3 − 4 + ... ıraksaktır.
Bu kısmi toplam dizisinin her bir tam sayıyı bir kez içermesi de dikkate değerdir çünkü

tam sayılar kümesinin
sayılabilirliğini gösterir.
Toplama için buluşsal yöntemler
Kararlılık ve doğrusallık
1, −2, 3, −4, 5, −6, … terimleri basit bir düzen izlediği için, kaydırma ve terim terim toplama yöntemini kullanarak, 1 − 2 + 3 − 4 + … serisi sayısal bir değer verecek şekilde düzenlenebilir. Herhangi bir s sayısı için s = 1 − 2 + 3 − 4 + … eşitliği yazılabiliyorsa, aşağıdaki düzenlemeler s = 1⁄4 eşitliğini göstermektedir:
4s = (1-2+3-4+5-6+...)+(1-2+3-4+5-6+...)+(1-2+3-4+5-6+...)+(1-2+3-4+5-6+...)
= (1-2+3-4+5-6+...)+1+(-2+3-4+5-6+...)+1+(-2+3-4+5-6+...)+1-2+(3-4+5-6+...)
= (1-2+3-4+5-6+...)+1+(-2+3-4+5-6+...)+1+(-2+3-4+5-6+...)-1+(3-4+5-6+...)
= (1+1-1)+(1-2-2+3)+(-2+3+3-4)+(3-4-4+5)+(-4+5+5-6)+...
= (1)+(0)+(0)+(0)+(0)+...
= 1
ve
s = 1⁄4

Yalnızca kaydırma ve terim terim toplama yöntemi kullanılarak
1 − 2 + 3 − 4 + …serisinin dört kopyası toplandığında, 1 elde edilir. Şeklin her iki yanında,
1 − 2 + 3 − 4 + …'in iki kopyasının
1 − 1 + 1 − 1 + ….'e eklenmesi gösterilmiştir.
Bu çıkarım, sağdaki şekilde grafik olarak anlatılmaktadır.
1 − 2 + 3 − 4 + …'in alışılmış anlamda bir toplamı olmasa da eğer bir toplam tanımlanacaksa,
s = 1 − 2 + 3 − 4 + … = 1⁄4 eşitliği bunun en doğal yanıtı olarak desteklenebilir. Iraksak bir serinin "toplamı"nı gösteren
genellenmiş bir tanım,
toplama yöntemi ya da
toplanabilirlik yöntemi olarak adlandırılır. Bu yöntem, tüm olası ıraksak serilerin bazı alt kümelerini toplar. Kimileri
aşağıda anlatılmış olmak üzere, sıradan toplama ile paylaştıkları özelliklerine göre betimlenen pek çok değişik yöntem vardır. Yukarıda gösterilmiş düzenlemelerin bilfiil kanıtladığı ise şudur:
doğrusal ve kararlı olan herhangi bir toplama yöntemi ile
1 − 2 + 3 − 4 + … serisi toplandığında, elde ettiği sonuç
1⁄4 olur.
Ayrıca bu yöntem, Grandi serisi toplamını da 1 − 1 + 1 − 1 + … = 1⁄2 olarak hesaplamalıdır:
2s = (1-2+3-4+5-6+...)+(1-2+3-4+5-6+...)
= 1+(-2+3-4+5-6+...)+1-2+(3-4+5-6+...)
= (1+1-2)+(-2+3)+(3-4)+(-4+5)+(5-6)+...
= (0)+(1)+(-1)+(1)+(-1)+...
= 1-1+1-1+...
ve
2s = 2 x 1⁄4 = 1⁄2 'den
1-1+1-1+... = 1⁄2
Cauchy çarpımı
1891'de
Ernesto Cesàro, ıraksak serilerin titiz yöntemlerle
kalkulus bünyesine alınabileceklerine ilişkin görüşünü dile getirmiş ve bunu, "
(1 − 1 + 1 − 1 + …)2 = 1 − 2 + 3 − 4 + …eşitliğinin sağlandığı ve eşitliğin her iki tarafının
1⁄4'e eşit olduğu zaten biliniyor" diye ifade etmiştir. Cesàro'ya göre bu eşitlik, bir önceki yıl yayınladığı ve muhtemelen de toplanabilir ıraksak seriler tarihinin ilk teoremi olarak tanımlanabilecek bir teoremin uygulamasıydı. Onun toplama yönteminin ayrıntıları
aşağıda sunulmuştur; ana fikir ise
1 − 2 + 3 − 4 + … serisinin,
1 − 1 + 1 − 1 + … ile
1 − 1 + 1 − 1 + …'in
Cauchy çarpımına eşit olduğudur.

1 − 2 + 3 − 4 + … 'in, 1 − 1 + 1 − 1 + …'in iki katlı Cauchy çarpımı oluşunu gösteren şekil.
İki sonsuz serinin Cauchy çarpımı, iki seri de ıraksak olsa bile tanımlıdır. Σan = Σbn = Σ(−1)n koşulu sağlandığında, Cauchy çarpımının terimleri sonlu çapraz toplamlar ile ifade edilir.
![\begin{array}{rcl}
c_n & = &\displaystyle \sum_{k=0}^n a_k b_{n-k}=\sum_{k=0}^n (-1)^k (-1)^{n-k} \\[1em]
& = &\displaystyle \sum_{k=0}^n (-1)^n = (-1)^n(n+1)
\end{array}](https://upload.wikimedia.org/math/f/9/1/f91944110b8c47fd5baebece34a83a7b.png)
Böylece, çarpım serisi

olarak yazılabilir.
Dolayısıyla, iki serinin Cauchy çarpımını temel alan ve 1 − 1 + 1 − 1 + … = 1⁄2 toplamını hesaplayabilen toplama yöntemi,1 − 2 + 3 − 4 + … = 1⁄4'ü de bulacaktır. Önceki bölümün sonuçlarıyla birlikte bu, 1 − 1 + 1 − 1 + … ve 1 − 2 + 3 − 4 + …'in doğrusal, kararlı ve Cauchy çarpımını temel alan yöntemlerle toplanabilirlikleri arasında bir eşdeğerlik olduğunu gösterir.
1 − 1 + 1 − 1 + … serisi, Cesàro yönteminin en temel haliyle toplanabilirdir ve
"(C, 1)-toplanabilir" olarak adlandırılır.
1 − 2 + 3 − 4 + … içinse bu teoremin daha güçlü bir biçiminin uygulanması gerektiğinden,
[5] "(C, 2)-toplanabilir" olarak tanımlanır. Cesàro teoreminin tüm biçimleri doğrusal ve kararlı olduğundan, elde edilen toplamlar yukarıda hesaplandığı gibidir.
Özel yöntemler
Cesàro ve Hölder

1⁄4'e eşit olan (H, 2) toplamına ilişkin veriler.
- 1, −1, 2, −2, 3, −3, …
iken, bu kısmi toplamların aritmetik ortalamaları da şöyledir:
- 1, 0, 2⁄3, 0, 3⁄5, 0, 4⁄7, …
Bu dizi yakınsak olmadığı için, 1 − 2 + 3 − 4 + … Cesàro yöntemiyle toplanamaz.
Cesàro toplamasının iyi bilinen iki genellemesi vardır. Bunların kavramsal bakımdan daha basit olanı,
n doğal sayıları için kullanılan (H,
n) yöntemler dizisidir. (H, 1), Cesàro toplamasını ifade etmektedir; daha üst düzey yöntemlerde de ortalama hesapları yinelenir. Yukarıda elde edilen ortalamalar dizisinde çift sıra numaralı olanlar
1⁄2'ye yakınsarken, tek sıra numaralı olanların tümü sıfırdır. Böylece,
ortalamaların ortalaması, 0 ve
1⁄2'nin ortalaması olan
1⁄4'e yakınsar. Sonuç olarak
1 − 2 + 3 − 4 + …, (H, 2) yöntemiyle
1⁄4olarak toplanabilir.
"H",
Otto Hölder'e karşılık gelmektedir. Hölder, matematikçilerin bugün
Abel toplamı ve (H,
n) toplamı arasındaki bağlantı olarak düşündükleri ilişkiyi 1882'de ilk kez kanıtlayan kişidir ve
1 − 2 + 3 − 4 + …'yi de ilk örnek olarak sunmuştur.
1 − 2 + 3 − 4 + …'in (H, 2) toplamının
1⁄4'e eşit oluşu, bunun bir Abel toplamı olduğunu da garantilemektedir; bu ilişki aşağıda ıspatlanacaktır.
Cesàro toplamasının diğer genellemesi ise (C, n) yöntemler dizisidir. (C, n) ve (H, n) toplamalarının aynı sonucu verdiği kanıtlanmıştır ancak bu iki yöntem farklı tarihi köklere sahiptir. Cesàro, 1887'de (C, n) toplamasını tanımlamaya çok yaklaşmış ama sınırlı sayıda örnekler vermiştir. Yaptığı şey, bugün (C, n) olarak adlandırılabilecek ancak zamanında o şekilde doğrulanmamış bi yöntemle 1 − 2 + 3 − 4 + … toplamını 1⁄4 olarak hesaplamak olmuştur. (C, n) yöntemlerini 1890'da usule uygun şekilde tanımlayan Cesàro, (C, n)-toplanabilir bir seri ile (C, m)-toplanabilir bir serinin Cauchy çarpımının (C, m + n + 1)-toplanabilir olduğunu ortaya koyan teoremini bu tanıma dayandırmıştır.
Abel toplamı

1−2
x+3
x2+…; 1/(1 +
x)
2'nin bazı parçaları ve 1 noktasındaki limitleri.
Leonhard Euler, 1749 tarihli bir yazısında serinin ıraksadığını kabul etmekte ancak yine de toplamını hesaplamayı amaçlamaktadır:
| « ... 1 − 2 + 3 − 4 + 5 - 6 + ... serisi toplamının 1⁄4 olduğu söylendiğinde, bunun bir paradoks olması gerekir. Çünkü serinin ilk 100 terimini toplayınca -50 elde ederiz, ilk 101 teriminin toplamı ise 1⁄4'ten oldukça farklı olan +51'i verir ve toplanan terim sayısı arttıkça da büyür. Daha önceki çalışmalarımda da gördüm ki, toplam sözcüğüne daha genişletilmiş bir anlam kazandırmamız gerek... » |
| |
Euler, "toplam" sözcüğünün bir genellenmesini birçok kez önermiştir. Onun
1 − 2 + 3 − 4 + … serisine ilişkin görüşleri, bugün
Abel toplaması olarak bilinen kavrama çok benzerdir:
| « ... 1 − 2 + 3 − 4 + 5 - 6 + ... serisi toplamının 1⁄4 olduğuna artık şüphe yoktur çünkü seri, değerinin 1⁄4 olduğu tartışılmaz olan 1⁄(1+1)2 formülünün açılımından kaynaklanmaktadır. Bu serinin, 1⁄(1+x)2 ifadesinin açılımı olan 1 − 2x + 3x2 − 4x3 + 5x4 − 6x5 + ... genel serisine x=1 için eşit olduğunun göz önünde bulundurulması, konuyu daha iyi açıklamaktadır. » |
| |
En azından |x|<1 a="" href="https://tr.wikipedia.org/wiki/Mutlak_de%C4%9Fer" nbsp="" olan="" style="background-attachment: initial; background-clip: initial; background-image: none; background-origin: initial; background-position: initial; background-repeat: initial; background-size: initial; color: #0b0080; text-decoration: none;" title="Mutlak değer">mutlak değerler1>