Szereg, Szereg - uogólnienie sumy liczb na nieskończoną liczbę składników


Szereg - uogólnienie sumy liczb na nieskończoną liczbę składników.

Definicja

Niech 0x01 graphic
będzie ciągiem liczb rzeczywistych bądź zespolonych. n-tą sumą częściową ciągu 0x01 graphic
nazywa się sumę

0x01 graphic
.

Granicę ciągu sum częściowych

0x01 graphic

(jeśli istnieje, być może nieskończona) nazywa się sumą szeregu o wyrazie ogólnym an. Granicę tę oznacza się symbolem

0x01 graphic
.

Formalnie, szereg jest parą uporządkowaną 0x01 graphic
jednak (gdy nie prowadzi to do nieścisłości) oznacza się go tak samo jak jego sumę. Jeśli suma szeregu istnieje i jest skończona, to szereg taki nazywamy zbieżnym - w przeciwnym wypadku nazywamy go od zera.

Zbieżność

Tak jak przy ciągach przedstawione symbole stosuje się tak do szeregów zbieżnych jak i rozbieżnych. Należy mieć na uwadze, że suma szeregu nie jest tym samym co suma jego składników (zob. niżej szeregi zbieżne warunkowo). Ponadto, jeśli w szeregu zbieżnym zmienimy, opuścimy lub dołączymy skończoną liczbę wyrazów, to otrzymany szereg też będzie zbieżny.

Warunek Cauchy'ego dla szeregów

Szereg 0x01 graphic
o wyrazach rzeczywistych bądź zespolonych jest zbieżny wtedy i tylko wtedy, gdy

0x01 graphic
.

Dowód: Ponieważ 0x01 graphic
, zatem warunek podany w twierdzeniu jest warunkiem Cauchy'ego dla ciągu sum częściowych. Ciąg sum częściowych (a więc szereg) jest zbieżny wtedy i tylko wtedy, gdy spełnia warunek Cauchy'ego.

Zbieżność bezwzględna i warunkowa

Jeżeli szereg 0x01 graphic
jest zbieżny (0x01 graphic
), to szereg 0x01 graphic
nazywamy zbieżnym bezwzględnie. Zbieżność bezwzględna szeregu pociąga za sobą zbieżność w zwykłym sensie.

O szeregach, które są zbieżne, lecz nie bezwzględnie mówi się, że są zbieżne warunkowo. W ich przypadku istnieje skończona granica 0x01 graphic
, lecz 0x01 graphic
(suma (bądź całka) wartości bezwzględnych wyrazów ciągu jest nieskończona).

Wyrazy szeregów bezwzględnie zbieżnych można przestawiać w dowolny sposób nie zmieniając przy tym sumy szeregu. Niestety, szeregi warunkowo zbieżne nie mają tak dobrych własności: twierdzenie Riemanna mówi, że przestawiając wyrazy danego szeregu zbieżnego warunkowo można otrzymać jako sumę nowego szeregu dowolną, z góry zadaną liczbę, bądź otrzymać szereg rozbieżny. Dlatego operacje na nich należy wykonywać z najwyższą uwagą.

Dla danego szeregu liczb rzeczywistych 0x01 graphic
rozważmy szeregi 0x01 graphic
jego składników dodatnich i 0x01 graphic
jego składników ujemnych. Szereg 0x01 graphic
jest bezwzględnie zbieżny wtedy i tylko wtedy, gdy zbieżne są oba te szeregi- w takim wypadku jego suma jest równa 0x01 graphic
. Jeżeli oba te szeregi są rozbieżne odpowiednio do 0x01 graphic
i 0x01 graphic
, to szereg może być albo zbieżny warunkowo albo rozbieżny (zobacz też twierdzenie Riemanna).

Działania

W niniejszym paragrafie niech 0x01 graphic
będą ustalonymi ciągami liczb rzeczywistych bądź zespolonych.

Dodawanie i mnożenie przez skalar

Szereg dany wzorem 0x01 graphic
nazywamy sumą szeregów 0x01 graphic
i 0x01 graphic
. Jeżeli oba szeregi są zbieżne, to ich suma również jest szeregiem zbieżnym. Analogicznie określa się różnicę szeregów. Jeśli c jest liczbą zespoloną bądź rzeczywistą, to

0x01 graphic
.

Możenie szeregu przez niezerowy skalar nie wpływa na jego zbieżność.

Iloczynem (Cauchy'ego) szeregów 0x01 graphic
i 0x01 graphic
nazywamy szereg 0x01 graphic
, gdzie

0x01 graphic
.

Odpowiada to ustawieniu wszystkich iloczynów wyrazów anbn w tablicę:

0x01 graphic

i sumowaniu kolejno grup elementów w kierunku oznaczonym strzałkami. Jest to tzw. sposób Cauchy`ego:

0x01 graphic

Kryterium Leibniza

Jeżeli ciąg (an) spełnia następujące dwa warunki:

  1. 0x01 graphic

  2. ciąg 0x01 graphic
    jest malejący (od pewnego momentu)

to szereg 0x01 graphic
jest zbieżny.

Dowód

Ponieważ ciąg sum częściowych ciągu 0x01 graphic
jest ograniczony przez 1, oraz ciąg 0x01 graphic
jest monotoniczny i zbieżny do 0 to na mocy kryterium Dirichleta szereg 0x01 graphic
jest zbieżny.



Wyszukiwarka