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

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

Число a называют пределом последовательности (aₙ), если её члены становятся сколь угодно близкими к a при достаточно больших n. Записывают: limₙ→∞ aₙ = a. Эта запись описывает поведение последовательности при росте номера, а не значение какого-то одного её члена. Она нужна, чтобы точно выразить, к какому числу приближаются члены последовательности.

Последовательность, имеющая конечный предел, называется сходящейся. Например, если при увеличении n её члены приближаются к числу 2, то последовательность сходится к 2. Если конечного предела нет, последовательность не является сходящейся. Это понятие позволяет разделить последовательности, поведение которых при больших номерах можно описать одним числом, и остальные.

Условие |aₙ − a| < ε означает, что член aₙ отстоит от числа a менее чем на ε. Модуль разности нужен потому, что он показывает расстояние независимо от того, расположен член выше или ниже a. Например, неравенство |aₙ − 3| < 0,1 означает, что aₙ находится между 2,9 и 3,1. Так можно задать точную границу близости к предполагаемому пределу.

В определении предела для любого ε > 0 можно найти номер N, после которого все члены последовательности находятся от a на расстоянии меньше ε. Число ε задаёт требуемую точность, а N указывает, с какого места её удаётся обеспечить. Эта формулировка важна тем, что охватывает не отдельные удачные члены, а весь хвост последовательности. Хвостом называют все члены, начиная с некоторого номера.

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

Определение предела формализует идею приближения с помощью условия, которое можно проверить. Недостаточно обнаружить несколько членов рядом с числом a: дальше последовательность могла бы снова от него удалиться. Поэтому в определении требуют, чтобы близкими были все члены начиная с некоторого номера. Именно это отличает устойчивое приближение от случайного совпадения.

Точность ε выбирают заранее: например, можно потребовать расстояние меньше 0,1, затем меньше 0,01 и вообще меньше любого положительного числа. Для каждой такой точности ищут свой номер N. Чем меньше ε, тем более строгим становится требование, поэтому иногда приходится брать N больше. Если нужный номер найден для выбранной точности, то любой более поздний член также должен удовлетворять неравенству.

Условие |aₙ − a| < ε равносильно тому, что aₙ лежит внутри интервала (a − ε; a + ε). Такой открытый интервал называют ε-окрестностью числа a: это все числа, расстояние от которых до a меньше ε. Геометрическая картинка помогает увидеть смысл определения: начиная с N-го члена, последовательность должна целиком оставаться внутри этой полосы. Границы интервала не входят в него, поскольку требуется строгое неравенство.

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

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

Как проверять определение предела последовательности

Проверку начинайте с предполагаемого предела и выражения |aₙ − a|. Затем добейтесь, чтобы оно было меньше ε, и найдите условие на n. В конце выберите подходящий N и убедитесь, что неравенство верно для всех n > N, а не только для одного номера.

Разбор задач

Задача 1. Докажите по определению, что limₙ→∞ 1/n = 0. Нужно показать: для любого ε > 0 можно выбрать N так, чтобы при каждом n > N расстояние |1/n − 0| было меньше ε. Поскольку n положительно, модуль здесь равен 1/n.

1. Запишем требуемое условие: |1/n − 0| < ε, то есть 1/n < ε.

2. Преобразуем его для положительных n и ε: n > 1/ε. Поэтому выбираем натуральное N, которое больше 1/ε.

3. Для любого n > N получаем n > 1/ε, значит, 1/n < ε. Условие определения выполнено для каждой точности.

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

Задача 2. Докажите по определению, что limₙ→∞ (3n + 1)/(n + 2) = 3. Сравним общий член с предполагаемым пределом и найдём расстояние между ними. После упрощения нужно сделать его меньше произвольного ε > 0.

1. Вычтем 3 и приведём к общему знаменателю: |(3n + 1)/(n + 2) − 3| = |(3n + 1 − 3n − 6)/(n + 2)| = 5/(n + 2).

2. Потребуем 5/(n + 2) < ε. Так как знаменатель положителен, достаточно n + 2 > 5/ε, то есть n > 5/ε − 2.

3. Выберем натуральное N больше 5/ε − 2. Тогда для каждого n > N расстояние до 3 меньше ε, как и требуется.

Ответ: limₙ→∞ (3n + 1)/(n + 2) = 3.

Задача 3. Докажите по определению, что limₙ→∞ (−1)ⁿ/n = 0. Здесь члены меняют знак, поэтому нельзя рассуждать, будто они всё время приближаются к нулю сверху или снизу. Однако для модуля важен только размер расстояния до нуля.

1. Рассмотрим расстояние: |(−1)ⁿ/n − 0| = |(−1)ⁿ|/n = 1/n, потому что |(−1)ⁿ| = 1.

2. Для заданного ε > 0 выберем натуральное N > 1/ε. Тогда при n > N имеем 1/n < ε.

3. Следовательно, расстояние каждого члена после N-го до нуля меньше ε. Чередование знаков этому не мешает.

Ответ: limₙ→∞ (−1)ⁿ/n = 0.

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

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

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

Проверять разность aₙ − a без модуля недостаточно, потому что она может быть отрицательной, даже если расстояние до предела велико. Обычно это происходит, когда забывают, что члены могут находиться по обе стороны от a. Используйте |aₙ − a| или отдельно рассмотрите обе стороны. Убедитесь, что доказали именно ограничение расстояния, а не только верхнюю или нижнюю границу разности.

Не путайте предел с членом последовательности и не требуйте, чтобы последовательность когда-нибудь его достигла. Такое ожидание возникает из-за буквального понимания слов стремится к числу. По определению важно, чтобы расстояние становилось меньше любой заданной точности, а равенство конкретному члену не обязательно. Проверьте, можно ли доказать это неравенствами, не находя номера, при котором aₙ = a.

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

Для работы с пределами нужно уметь задавать члены последовательности, работать с модулем и преобразовывать неравенства. Также важно понимать логические слова «для любого» и «существует»: точность выбирают произвольно, а номер находят после неё. Понятие предела последовательности становится основой для изучения пределов функций и непрерывности. Оно также используется, чтобы обосновывать сходимость числовых процессов и вычислений.

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

• Предел последовательности — число, к которому приближаются её члены при росте номера.
• Запись limₙ→∞ aₙ = a означает, что aₙ стремится к a.
• В определении для любого ε > 0 должен найтись номер N.
• При n > N расстояние |aₙ − a| должно быть меньше ε.
• Номер N может зависеть от выбранной точности ε.
• Изменение конечного числа первых членов не меняет предел.