I семестр / Математический Анализ - ответы - 21-31 билеты / вопрос 22

22 Критерий Коши сходимости последовательности.

Определение: Последовательность {x_n} называется фундаментальной, если   > 0  N,  n >N и  натурального p: x_n+p-x_n < .

Так как m = n+p - тоже произвольное число >N, то определение фундаментальности можно сформулировать следующим образом:   > 0  N,  n >N и  m > N:x_m-x_n < .

Геометрически фундаментальность последовательности {x_n} означает, что для любого сколь угодно малого  существует такой номер N, что любые два члена последовательности с большим, чем N, номерами, отстоят друг от друга не более, чем на .

(здесь рисунок)

Пример: Докажем, что последовательность =1, ,, … - фундаментальная. Зададим произвольное  > 0, возьмем N > . Тогда > , и  n >N и  натурального p: x_n+p-x_n = =-< << . Это и означает, что последовательность - фундаментальная.

Лемма 2. Фундаментальная последовательность ограничена.

Доказательство: Пусть {x_n} - фундаментальная последовательность. Возьмем какое-нибудь положительное , например,  = 1. По определению фундаментальности,  N,  n >N и  m > N:x_m-x_n < 1. Зафиксируем какое-нибудь m₀ > N, тогда < 1 при n >N, или - 1 < x_n < + 1 при n >N. Таким образом, все члены последовательности с номерами n >N лежат в интервале (- 1, + 1), вне этого интервала лежит только конечное число членов последовательности. Это и означает, что последовательность {x_n} ограничена.

Лемма доказана.

Теорема 6.4 (критерий Коши сходимости последовательности) Для того, чтобы числовая последовательность сходилась, необходимо и достаточно, чтобы она была фундаментальной.

Доказательство.

1. Необходимость. Дано: Последовательность {x_n} сходится. Требуется доказать, что последовательность {x_n} - фундаментальная. Пусть =a. Зададим произв.  > 0.

По определению предела,  N,  n > N:x_n-a < , и  m > N:x_m-a < . Если n > N, m > N, то x_m-x_n=(x_m-a) - (x_n-a) +< .

Это и означает по определению, что последовательность {x_n} - фундаментальная. Необходимость доказана.

2. Достаточность. Дано: Последовательность {x_n} - фундаментальная. Требуется доказать: {x_n} сходится. По лемме 2, последовательность {x_n} ограничена, следовательно, можно выделить сходящуюся подпоследовательность . Пусть = a. Докажем, что = a. Зададим произвольное  > 0. Так как подпоследовательность сходится к a, начиная с некоторого номера N₁ все члены  {- окрестности точки a}, а так как последовательность {x_n} - фундаментальная, то начиная с некоторого номера N₂ все члены x_n отстоят от членов меньше, чем на . Следовательно, начиная с номера N = max (N₁, N₂) все члены последовательности x_n  {- окрестности точки a}, а это и означает, что = a, что и требовалось доказать. Теорема доказана.

[12] Сформулировать определение нефундаментальной последовательности.

Пример: Рассмотрим последовательность {sin n}. Докажем, что эта последовательность расходится. Для этого достаточно доказать, что она не является фундаментальной. Предположим противное: допустим, что {sin n} - фундаментальная. Тогда если   > 0  N,  n >N и  натурального p: x_n+p-x_n= sin(n+p) - sin n< . Возьмем p = 2.

sin(n+2) - sin n< 2sin 1cos(n+1)< .

  > 0  N,  n >N: cos(n+1)< .

=> {cos n} - бесконечно малая, то есть cos n  0 при n  .

cos(n+1) = cos ncos 1- sin nsin 1.

sin n = ( cos ncos 1 - cos(n+1))  0 при n  .

cos n  и sin n  0 при n  . Но это противоречит тому, что cos² n + sin² n =1.

Полученное противоречие доказывает, что последовательность {sin n} расходится.

Попробуйте исследовать вопрос, сколько предельных точек у последовательности {sin n}.