∑КОЛЛОК.
Тренажёр по матанализу
ТЕМА 33 / 55 · ПУНКТ 33 10–15 минут

Критерий Коши для числовой последовательности

Сначала пойми идею. Затем попробуй рассказать доказательство своими словами и закрепи результат задачей.

Что означают буквы и значки9 обозначений

Здесь — обозначения, которые встретятся в этой теме. Точный смысл буквы уточняй по формуле рядом с ней.

xx
Произвольный элемент множества или число, с которым работаем.
aa
Заданное число или точка; в теме о пределах часто это значение, к которому приближаемся.
nn
Натуральный номер члена последовательности или количество шагов.
mm
Другой натуральный номер; помогает сравнить два члена.
NN
Номер, начиная с которого утверждение верно для всех следующих членов.
jj
Индекс: номер выбранного члена, цифры или слагаемого.
R\R
Множество вещественных чисел: все точки числовой прямой.
ε\varepsilon
Любая выбранная точность результата: насколько близко нужно подойти к пределу.
→\to
Стрелка показывает направление отображения или приближения к пределу.
ШАГ 01

Разбираемся в теме

Последовательность в R\R сходится тогда и только тогда, когда она фундаментальна.

НАГЛЯДНАЯ СХЕМА · Критерий Коши
xₙ → a|xₙ−xₘ| → 0⇔в ℝ
Вещественная последовательность сходится тогда и только тогда, когда расстояния между далёкими членами становятся малы.
ДЛЯ УСТНОГО ОТВЕТА

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

  1. Необходимость доказана в пункте 32.
  2. Для достаточности фундаментальная последовательность ограничена: её хвост лежит в шаре радиуса 11 около одного из членов, первые члены конечны.
  3. По Больцано–Вейерштрассу (пункт 41) есть подпоследовательность xnj→ax_{n_j}\to a.
  4. Для данного ε\eps выбери NN, чтобы ∣xn−xm∣<ε/2|x_n-x_m|<\eps/2 при n,m>Nn,m>N, и jj так, чтобы nj>Nn_j>N, ∣xnj−a∣<ε/2|x_{n_j}-a|<\eps/2.
  5. Тогда при n>Nn>N имеем ∣xn−a∣≤∣xn−xnj∣+∣xnj−a∣<ε|x_n-a|\le|x_n-x_{n_j}|+|x_{n_j}-a|<\eps.
  6. Использование пункта 41 здесь не круговое: он доказывается непосредственно вложенными отрезками.
Понял идею?Проверь себя на задаче или устном вопросе.