"Алгебра и начала математического анализа (базовый и углубленный уровень) (в 2 частях), изд-во «Мнемозина»", Мордкович А.Г.
Предел числовой последовательности описывает число, к которому её члены приближаются при увеличении номера. Он помогает точно говорить о поведении последовательности, даже если она никогда не принимает значение предела. Чтобы доказать сходимость, нужно показать: как бы ни была задана точность ε, начиная с некоторого номера N все члены отличаются от предела меньше чем на ε. На примерах разберём, как это определение применять и отличать сходимость от неограниченного роста и колебаний.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Числовая последовательность — это функция, заданная на натуральных числах. Её значения записывают как a₁, a₂, …, aₙ, …: индекс показывает номер члена, а aₙ называют общим членом последовательности. Например, если aₙ = 1/n, то a₁ = 1, a₂ = ½, a₃ = ⅓. Общий член позволяет находить любой член по его номеру.
Предел числовой последовательности — число a, к которому члены aₙ становятся сколь угодно близкими при достаточно больших n. Это записывают так: limₙ→∞ aₙ = a. Запись говорит о поведении членов при росте их номеров, а не о том, что среди них обязательно есть число a. Понятие предела позволяет описывать результат бесконечного приближения точным числом.
Сходящаяся последовательность — последовательность, имеющая конечный предел. Формально, для любого ε > 0 можно найти номер N так, что для всех n > N расстояние |aₙ − a| меньше ε. Здесь ε задаёт допустимую погрешность, а N показывает, с какого места условие выполняется. Такое определение нужно, чтобы точно выразить слова «становятся сколь угодно близкими».
Бесконечно малая последовательность — последовательность, предел которой равен нулю. Её члены по модулю становятся сколь угодно малы: для любой точности ε > 0 начиная с некоторого номера выполняется |aₙ| < ε. Например, 1/n — бесконечно малая последовательность. Термин удобен, когда нужно описать малую разность между членом последовательности и её пределом.
Предел характеризует последовательность целиком при неограниченном увеличении номера. Первые члены могут быть далеки от предела, а отдельный член может даже совпасть с ним случайно: ни то ни другое не определяет сходимость. Решающее значение имеет поведение всех членов, начиная с достаточно большого номера. Поэтому предел не обязательно является значением какого-либо члена.
Определение через ε и N превращает идею приближения в проверяемое условие. Сначала задают любую положительную точность ε, а затем должны найти номер N, после которого каждый член находится от предела на расстоянии меньше ε. Чем меньше ε, тем более строгая точность требуется и тем дальше может оказаться подходящий номер N. Условие должно выполняться для всех n > N, а не только для нескольких выбранных членов.
Рассмотрим aₙ = 1/n и предполагаемый предел 0. Нужно для любого ε > 0 обеспечить 1/n < ε; достаточно выбрать натуральное N большее 1/ε. Тогда при n > N получаем 1/n < 1/N < ε, поэтому условие определения выполнено. Значит, limₙ→∞ 1/n = 0. Этот выбор показывает, как номер N зависит от заданной точности.
Последовательность сходится, если её члены приближаются к одному конечному числу. У aₙ = n члены неограниченно растут, поэтому конечного предела нет. У aₙ = (−1)ⁿ члены снова и снова принимают значения −1 и 1, не приближаясь к одному числу. Сравнение таких примеров помогает отличать сходимость от роста без границ и устойчивых колебаний.
Связь предела с бесконечно малой последовательностью позволяет упростить доказательство. Если aₙ стремится к a, то разность aₙ − a стремится к нулю: именно её модуль показывает расстояние до предела. И наоборот, если aₙ − a стремится к нулю, члены aₙ становятся сколь угодно близки к a. Следовательно, aₙ → a тогда и только тогда, когда aₙ − a → 0.
| Последовательность | Предполагаемый предел | Поведение членов | Вывод |
|---|---|---|---|
| aₙ = 1/n | 0 | Модуль членов становится сколь угодно малым | Сходится к 0 |
| aₙ = (3n + 1)/(n + 2) | 3 | Разность aₙ − 3 стремится к нулю | Сходится к 3 |
| aₙ = n | Конечного предела нет | Члены неограниченно возрастают | Расходится |
| aₙ = (−1)ⁿ | Единого предела нет | Члены чередуются между −1 и 1 | Расходится |
В таблице сначала посмотрите на предполагаемый предел, затем проверьте, что происходит с членами при больших n. Если разность между членом и числом стремится к нулю, последовательность сходится к этому числу. Неограниченный рост или колебания между разными значениями указывают на отсутствие конечного предела.
Предполагаемый предел равен нулю: при росте n знаменатель увеличивается, а дробь уменьшается. Чтобы доказать это строго, проверим условие через произвольную точность ε. Нужно добиться, чтобы расстояние |1/n − 0| было меньше ε.
Мы нашли подходящий номер для любой положительной точности, поэтому определение предела выполнено. Ответ: limₙ→∞ 1/n = 0.
Дробь содержит n и в числителе, и в знаменателе, поэтому проверим, насколько её значение отличается от предполагаемого предела 3. Если эта разность стремится к нулю, то исходная последовательность стремится к 3. Такое преобразование сводит поиск предела к уже знакомому поведению малой дроби.
Ответ: limₙ→∞ (3n + 1)/(n + 2) = 3.
Здесь есть чередующаяся часть (−1)ⁿ и добавка 1/n, стремящаяся к нулю. Проверим отдельно члены с чётными и нечётными номерами: если они приближаются к разным числам, единого предела быть не может. Это надёжнее, чем оценивать несколько первых членов.
Ответ: последовательность расходится, конечного предела у неё нет.
Предел иногда принимают за значение, которое последовательность обязательно должна содержать. Это неверно: у 1/n предел равен нулю, хотя ни один член не равен нулю. Ошибка возникает из-за смешения приближения и равенства. Проверьте себя: определение требует близости при больших n, а не совпадения с пределом.
Ещё одна ошибка — судить о сходимости по нескольким первым членам. Они могут быть близки к предполагаемому пределу, но позднее поведение окажется другим. Определение требует условия для всех n больше некоторого N. Проверяйте не отдельные примеры, а обосновывайте, почему неравенство выполняется для каждого достаточно большого номера.
Неограниченный рост иногда ошибочно называют стремлением к конечному пределу. Например, члены aₙ = n увеличиваются, но ни к какому конечному числу не приближаются. Причина ошибки — считать любое устойчивое изменение сходимостью. Проверка проста: если члены могут превысить любое заранее заданное число, конечного предела нет.
Также неверно считать, что любые колебания исключают сходимость. Колебания могут становиться всё меньше: например, члены 1/n и −1/n чередуются по знаку, но приближаются к нулю. Ошибка — обращать внимание на смену знака, а не на величину отклонения. Сравните расстояния до предполагаемого предела: если они стремятся к нулю, колебания не мешают сходимости.
Для изучения предела нужны понятия числовой последовательности, натурального номера n и модуля числа. Модуль помогает выразить расстояние между членом последовательности и предполагаемым пределом, а натуральный номер задаёт порядок членов. Поэтому полезно уверенно читать записи aₙ и |aₙ − a|. Понимание предела последовательности станет основой для изучения пределов функций, непрерывности и производной.
Может ли предел последовательности не совпадать ни с одним её членом?
Да. Например, последовательность 1/n стремится к нулю, но ни один её член не равен нулю. Предел описывает приближение членов, а не обязательно значение, которое встречается в последовательности.
Что означают ε и N в определении предела?
ε — произвольно заданная положительная точность, то есть допустимое расстояние от члена последовательности до предела. N — номер, зависящий от ε: при всех n > N расстояние не превышает выбранную точность.
Как понять, что последовательность стремится к нулю?
Это означает, что для любой точности ε > 0 начиная с некоторого номера все члены удовлетворяют условию |aₙ| < ε. Иными словами, модуль членов становится сколь угодно малым.
Может ли последовательность иметь два разных предела?
Нет, у сходящейся последовательности предел только один. Если предположить, что есть два разных предела, то при достаточно большой точности члены должны были бы одновременно находиться сколь угодно близко к обоим, что невозможно.
Как отличить последовательность, стремящуюся к бесконечности, от сходящейся?
У сходящейся последовательности члены приближаются к некоторому конечному числу. Если же члены неограниченно возрастают, как у aₙ = n, последовательность стремится к бесконечности, но конечного предела не имеет.
§ 38. Предел числовой последовательности