Szereg 1 − 1 + 1 − 1 + … nie ma zwykłej sumy równej 1/2
Dla szeregu Grandiego 1−1+1−1+… sumy częściowe wynoszą kolejno 1, 0, 1, 0, … i nie zbliżają się do jednej liczby. W zwykłym sensie szereg jest więc rozbieżny. Istnieją jednak uogólnione metody sumowania. W metodzie Cesàro uśrednia się sumy częściowe: średnie z ciągu 1,0,1,0,… dążą do 1/2, dlatego szereg jest Cesàro-sumowalny do 1/2. Zapis „1−1+1−1+…=1/2” jest poprawny tylko wtedy, gdy jasno zaznaczymy, że chodzi o takie rozszerzone pojęcie sumy, a nie zwykłą zbieżność szeregu. Wartość 1/2 pojawia się dopiero po zastosowaniu innej, jawnie zdefiniowanej metody sumowania.
Co pokazują zwykłe sumy częściowe
Zaczynamy od definicji. Pierwsza suma częściowa wynosi 1. Po dwóch wyrazach mamy 0. Po trzech znów 1, po czterech 0 i tak dalej. Ciąg sum częściowych nie ma granicy: stale przeskakuje pomiędzy 1 i 0. Według standardowej definicji zbieżności szeregu to kończy sprawę — szereg Grandiego jest rozbieżny i nie ma zwykłej sumy.
Skąd zatem bierze się 1/2
Cesàro zaproponował metodę, która nie patrzy bezpośrednio na granicę S_n, lecz na średnie pierwszych n sum częściowych. Dla ciągu 1,0,1,0,… średnie te zbliżają się do 1/2. Mówimy wtedy, że szereg jest Cesàro-sumowalny do 1/2. Metoda została zaprojektowana tak, by zgadzać się ze zwykłą sumą tam, gdzie szereg naprawdę jest zbieżny, a jednocześnie nadawać sens pewnym dodatkowym przypadkom rozbieżnym.
Dlaczego nawiasy mogą zwodzić
Popularna manipulacja grupuje wyrazy jako (1−1)+(1−1)+… i otrzymuje 0 albo jako 1+(−1+1)+(−1+1)+… i otrzymuje 1. Innym razem wykonuje się formalne przekształcenia prowadzące do 1/2. Te sprzeczne wyniki nie dowodzą, że arytmetyka jest wadliwa. Pokazują, że własności skończonych sum nie mogą być stosowane do rozbieżnego szeregu bez sprawdzenia warunków zbieżności. Zwykła suma po prostu nie istnieje.
Uogólnione sumowanie ma konkretne zastosowania
Metody takie jak Cesàro czy Abel nie są sztuczkami wymyślonymi tylko po to, by uzyskać efektowną wartość. W analizie, teorii szeregów Fouriera i innych działach pozwalają odzyskiwać sens graniczny w sytuacjach, gdzie zwykła zbieżność jest zbyt restrykcyjna. Ważne jest jednak precyzyjne słownictwo. Wartość przypisana przez metodę uogólnioną nie zmienia faktu, że ciąg zwykłych sum częściowych nie ma granicy.
Ta sama liczba, inne pojęcie sumy
Jeżeli szereg jest zwyczajnie zbieżny, regularna metoda Cesàro przypisuje mu tę samą wartość. Problem nie polega więc na tym, że istnieją dwie konkurencyjne arytmetyki. Cesàro rozszerza dziedzinę przypadków, którym można przypisać wartość, zachowując zgodność z klasyczną teorią tam, gdzie ta działa. To analogiczne do rozszerzania funkcji poza pierwotną dziedzinę, ale trzeba pamiętać, jakie rozszerzenie zostało użyte.
Dlaczego to ważne przy innych „paradoksalnych sumach”
Szereg Grandiego jest dobrym treningiem przed znacznie bardziej sensacyjnym zapisem 1+2+3+…=−1/12. W obu przypadkach największy błąd polega na ukrywaniu zmiany definicji. Dla Grandiego zwykła suma nie istnieje, lecz Cesàro daje 1/2. Dla 1+2+3+… zwykłe sumy częściowe rosną do +∞, a wartość −1/12 pochodzi z innej konstrukcji związanej z analitycznym przedłużeniem funkcji dzeta. Precyzja nazwy metody usuwa pozorny paradoks.
Metoda Cesàro zachowuje zwykłe sumy tam, gdzie one istnieją
Uogólnienie byłoby mało użyteczne, gdyby zmieniało odpowiedzi dla zwykłych szeregów zbieżnych. Sumowanie Cesàro ma ważną własność regularności: jeśli szereg zbiega w zwykłym sensie do S, to jego średnie Cesàro również prowadzą do S. Dopiero w niektórych przypadkach rozbieżnych metoda rozszerza klasę obiektów, którym można sensownie przypisać wartość. Dla szeregu Grandiego średnie kolejnych sum częściowych 1,0,1,0,… zbliżają się do 1/2. Dlatego poprawne zdanie brzmi „szereg jest Cesàro-sumowalny do 1/2”, a nie „zwykła suma szeregu wynosi 1/2”. Ta precyzja języka jest ważna także dlatego, że istnieje wiele różnych metod uogólnionego sumowania i nie każda przypisuje wartości dokładnie tym samym szeregom rozbieżnym. Można policzyć średnie Cesàro wprost. Suma pierwszego wyrazu to 1, dwóch pierwszych to 0, trzech znów 1, czterech 0 itd. Średnia z pierwszych N takich sum częściowych zbliża się do 1/2, bo w długim ciągu występuje prawie tyle samo zer co jedynek. To nie „naprawia” braku zwykłej granicy — ciąg sum częściowych nadal oscyluje. Cesàro zmienia pytanie: zamiast pytać o granicę samych sum, pyta o granicę ich średnich. Dzięki temu dokładnie wiadomo, skąd bierze się 1/2 i dlaczego nie wolno mieszać dwóch różnych definicji w jednym równaniu bez komentarza. Cesàro nie nadaje jednak skończonej wartości każdemu szeregowi rozbieżnemu. Metoda działa tylko wtedy, gdy odpowiednie średnie mają granicę. To ważne ograniczenie: „uogólnione sumowanie” nie jest pozwoleniem na dowolne przypisywanie liczb, lecz konkretną definicją z konkretnym zakresem zastosowania. Jeśli średnie również nie stabilizują się, metoda Cesàro nie dostarcza skończonego wyniku i trzeba to po prostu zaakceptować.