1.5*. Предел последовательности

Определения и обозначения

Числовая последовательность — это функция, заданная на натуральных числах: каждому n она сопоставляет число aₙ. Число aₙ называют n-м членом, а всю последовательность записывают (aₙ). Такое представление позволяет изучать, как значения меняются при увеличении номера.

Число A называют пределом последовательности, если для любого ε > 0 найдётся номер N, такой что при всех n > N выполняется |aₙ − A| < ε. Здесь ε задаёт допустимое расстояние до A, а N указывает, начиная с какого места это условие выполняется. Запись: limₙ→∞ aₙ = A.

Сходящаяся последовательность — это последовательность, имеющая конечный предел. У неё может быть только один предел: если бы члены приближались к двум разным числам, то на достаточно малых расстояниях от обоих чисел они одновременно находиться не могли бы. Понятие сходимости помогает отличать устойчивое приближение от колебаний.

Бесконечно малая последовательность — это последовательность, предел которой равен нулю. Иными словами, её члены становятся сколь угодно близкими к нулю при достаточно больших n. Такое понятие удобно, когда нужно описать небольшую добавку к числу или представить отклонение членов от предела.

Как это устроено

Представь вокруг числа A интервал, расстояние от границ которого до A равно ε. Определение требует, чтобы при любом выборе такого расстояния все члены, начиная с некоторого номера, попадали внутрь интервала. Чем меньше ε, тем точнее требуется приближение и тем дальше может оказаться нужный номер N.

Первые члены не влияют на предел, потому что условие проверяется только для n > N. Например, можно изменить несколько первых значений, а все последующие оставить прежними: для тех же ε подойдёт номер N, взятый больше изменённых индексов. Поэтому при поиске предела важно поведение последовательности на больших номерах, а не отдельные начальные значения.

Связь с бесконечно малыми последовательностями следует из равенства |aₙ − A|: это расстояние между членом и предполагаемым пределом. Если aₙ стремится к A, то разность aₙ − A стремится к нулю. И наоборот, если эта разность бесконечно мала, то члены последовательности приближаются к A.

Пределы можно вычислять по правилам для суммы, разности, произведения и частного. Если aₙ → A и bₙ → B, то aₙ + bₙ → A + B, aₙ − bₙ → A − B и aₙbₙ → AB. Для частного aₙ/bₙ предел равен A/B, если B ≠ 0 и знаменатель определён при рассматриваемых n; условие B ≠ 0 необходимо, чтобы деление на пределе не оказалось невозможным.

Предел не обязан быть одним из членов: например, 1/n приближается к нулю, оставаясь положительным при каждом натуральном n. Но сходятся не все последовательности. Члены (−1)ⁿ чередуются между двумя числами и не приближаются к одному значению, хотя последовательность ограничена.

Поведение числовых последовательностей

Таблица помогает сначала увидеть возможное поведение, но нескольких первых членов недостаточно для доказательства предела. Для проверки нужно применить определение или вычислительные свойства. Если члены продолжают чередоваться и не приближаются к одному числу, последовательность не сходится.

Разбор задач

Задача 1. Найти предел aₙ = 1/n, используя определение предела.

1. Предположим, что предел равен нулю. Нужно для произвольного ε > 0 добиться условия |1/n − 0| < ε.
2. Так как n положительно, это неравенство равносильно n > 1/ε. Выберем натуральное N, большее 1/ε.
3. Тогда при каждом n > N выполняется 1/n < ε. Условие определения выполнено для любого ε > 0.

Ответ: limₙ→∞ 1/n = 0.

Задача 2. Найти предел aₙ = (3n² − 2)/(n² + 4).

1. В числителе и знаменателе есть старшая степень n², поэтому разделим обе части дроби на n².
2. Получим (3 − 2/n²)/(1 + 4/n²). Поскольку 1/n² → 0, числитель стремится к 3, а знаменатель — к 1.
3. Предел знаменателя не равен нулю, поэтому применяем правило для частного: предел равен 3/1.

Ответ: limₙ→∞ aₙ = 3.

Задача 3. Найти предел aₙ = √(n² + 3n) − n.

1. При больших n оба слагаемых велики, поэтому вычитание затрудняет вычисление. Домножим выражение на сопряжённое: √(n² + 3n) + n.
2. После домножения и деления на это выражение получаем 3n/(√(n² + 3n) + n). Разделим числитель и знаменатель на n.
3. Получим 3/(√(1 + 3/n) + 1). Так как 3/n → 0, знаменатель стремится к 2, а предел дроби равен 3/2.

Ответ: limₙ→∞ aₙ = 3/2.

Типичные ошибки

Ошибка: считать, что предел должен совпадать с одним из членов. Такое представление возникает из-за привычки искать уже имеющееся значение, хотя предел описывает приближение при больших n. Проверка: выясни, выполняется ли условие близости, а не равенство aₙ = A; у 1/n предел 0, хотя ни один член не равен нулю.

Ошибка: проверять близость к пределу только на нескольких первых членах. Первые значения могут подсказать ответ, но не доказывают, что условие выполняется для всех n > N. Проверка: в доказательстве должны быть произвольное ε и оценка для любого номера после выбранного N.

Ошибка: отождествлять ограниченность со сходимостью. Ограниченность означает лишь, что члены остаются в некотором конечном промежутке; внутри него они могут бесконечно колебаться. Проверка: изучи поведение членов при росте n, например чередование −1 и 1 у (−1)ⁿ показывает отсутствие предела.

Ошибка: применять правило предела частного, не проверив знаменатель. Если его предел равен нулю, деление на пределе недопустимо и правило не даёт ответа. Проверка: перед вычислением частного найди предел знаменателя и убедись, что он отличен от нуля.

Связь с другими темами

Для изучения пределов нужны знания о числовых последовательностях, натуральных числах, неравенствах и модуле. В частности, модуль |aₙ − A| выражает расстояние между членом последовательности и предполагаемым пределом, а неравенства помогают подобрать номер N. Предел последовательности служит основой для предела функции и непрерывности. Позже он понадобится и при изучении производной, определение которой связано с переходом к пределу.

Что запомнить

• Предел последовательности задаёт поведение её членов при n → ∞.
• В определении близость к A должна выполняться для всех n, начиная с некоторого номера.
• Изменение конечного числа членов последовательности не меняет её предел.
• У сходящейся последовательности предел единственный.
• Сумму, разность и произведение сходящихся последовательностей можно рассматривать по соответствующим пределам.
• Для предела частного необходимо, чтобы предел знаменателя был отличен от нуля.