2. Понятие суммы ряда. Необходимое условие сходимости.

Сумма числового ряда определяется как предел, к которому стремятся суммы первых n слагаемых ряда, когда n неограниченно растёт. Если такой предел существует и конечен, то говорят, что ряд сходится, в противном случае — что он расходится. Элементы ряда a_n представляют собой либо вещественные, либо комплексные числа.

Пусть — числовой ряд. Число называется n-ой частичной суммой ряда .

Сумма (числового) ряда — это предел частичных сумм S_n, если он существует и конечен. Таким образом, если существует число , то в этом случае пишут . Такой ряд называется сходящимся. Если предел частичных сумм не существует или бесконечен, то говорят, что ряд расходится.

Необходимое условие сходимости рядов:

Ряд может сходиться лишь в том случае, когда член u_n (общий член ряда) стремится к нулю:

Это необходимый признак сходимости ряда (но не достаточный!). Если же общий член ряда не стремится к нулю — это достаточный признак расходимости.

3. Определение интеграла Римана.

Риман формализовал понятие интеграла, разработанное Ньютоном и Лейбницем, как площади подграфика (фигуры, заключенной между графиком функции и осью абсцисс). Для этого он рассмотрел фигуры, состоящие из нескольких вертикальных прямоугольников и получающиеся при разбиении отрезка (см. рисунок). Если при «размельчении» разбиения существует предел, к которому сходятся площади таких фигур (интегральные суммы), этот предел называется интегралом Римана функции на отрезке.

Определение через интегральные суммы:

Пусть на отрезке [a,b] определена вещественнозначная функция f.

Рассмотрим разбиение отрезка — конечное множество попарно различных точек отрезка. Это разбиение делит отрезок [a,b] на n отрезков . Длина наибольшего из отрезков δR =max(Δx_i), называется шагом разбиения, где Δx_i = x_i − x_i − 1 – длина элементарного отрезка.

Отметим на каждом отрезке разбиения по точке . Интегральной суммой называется выражение .

Если при стремлении шага разбиения к нулю интегральные суммы стремятся к одному и тому же числу, независимо от выбора , то это число называется интегралом функции f на отрезке [a,b], т.е. .

В этом случае, сама функция f называется интегрируемой (по Риману) на [a,b]; в противном случае f является неинтегрируемой (по Риману) на отрезке [a,b].

Свойства:

1. Невырожденность:

2. Положительность: Если интегрируемая функция f неотрицательна, то её интеграл по отрезку [a,b] также неотрицателен.

3. Линейность: Если функции f и g интегрируемы, и , то функция αf + βg тоже интегрируема, и .

4. Непрерывность: Если интегрируемые функции f_i равномерно сходятся на отрезке [a,b] к функции f, то f интегрируема, и . (Последняя формула может быть получена уже как формальное следствие свойств 1-3 и интегрируемости предельной функции.)

5. Аддитивность при разбиениях отрезка Пусть a < b < c. Функция f интегрируема на отрезке [a,c], тогда и только тогда, когда она интегрируема на каждом из отрезков [a,b] и [b,c], при этом .

6. Непрерывная на отрезке функция интегрируема по Риману (следствие свойств 1-5). Разрывные функции могут быть интегрируемы, но могут и не быть; примером функции, не интегрируемой по Риману, является всюду разрывная функция Дирихле. Критерий Лебега интегрируемости функции по Риману: функция интегрируема по Риману на отрезке [a,b], если и только если на этом отрезке она ограничена, и множество точек, где она разрывна, имеет нулевую меру (то есть может быть покрыто счётным семейством интервалов со сколь угодно малой суммарной длиной).

7. Если функция F является первообразной непрерывной функции f, то интеграл функции f на отрезке [a,b] может быть вычислен по формуле Ньютона-Лейбница: он равен F(b) − F(a). (Это - общее свойство любых интегралов, удовлетворяющих свойствам 1-5, а не только интеграла Римана.) Непрерывная на отрезке функция f всегда имеет первообразную, и каждая первообразная имеет вид: , где C - произвольная константа.