30.1. Определение ряда

    Определение1. Пара последовательностей {un} и {sn}, где un, sn принадлежит C, n = 1, 2, ...,

sn = u1 + u2 + ... + un,   n = 1, 2, ...,

(30.1)

называется рядом (а также бесконечной суммой) и обозначается

u1 + u2 + ... + un + ...

или

un.

(30.2)

    Элементы последовательности {un} называются членами ряда, а элементы последовательности {sn} - его частичными суммами.
    Если существует конечный предел

sn = s,

(30.3)

то он называется суммой ряда. В этом случае ряд называется сходящимся и пишут

un = s.

    Если последовательность частичных сумм {sn} не стремится к конечному пределу, то ряд (30.2) называется расходящимся.
    Очевидно, что

u1s1,    unsn - sn-1,     n = 2, 3, ...

(30.4)

    Из формул (30.1) и (30.4) видно, что каждая из последовательностей {un} и {sn} однозначно определяет другую. Таким образом, чтобы задать ряд (30.2), достаточно задать одну из последовательностей {un} или {sn}. В этом смысле изучение рядов равносильно изучению последовательностей.
    Часто нумерацию членов ряда производят не натуральными числами, а целыми, начиная с нуля, т. е. числами 0, 1, 2, ..., а иногда - начиная с некоторого целого n0, т. е. числами n0, n0 + 1, ...  
    Примеры.
   1. Примером сходящегося ряда является ряд

qn

(30.5)

членами которого являются элементы геометрической прогрессии {qn}, q принадлежит C, |q|. В самом деле, в этом случае

sn определение суммаqk = ,    n = 1, 2, ...,

и потому

sn = = = - qn = .

Следовательно, ряд (30.5) при |q| < 1 сходится и

qn  = .

    2. Примером расходящегося ряда является ряд, все члены которого равны единице: un = 1, n = 1, 2, ... В этом случае sn = сумма1 = n, поэтому

sn = +бесконечность.


Оглавление  Интегралы от комплекснозначных функций действительного аргумента  Оглавление  Свойства сходящихся рядов