2014-02-24
622
Для лучшего осмысления нижеследующей информации желательно ПОНИМАТЬ, что такое предел функции. Конечно, в стандартном курсе математического анализа сначала рассматривают предел последовательности и только потом предел функции, но дело в том, что о самой сущности предела я уже подробно рассказывал. Более того, в теории числовая последовательность считается частным случаем функции, и людям, которые знакомы с пределом функции, будет заметно веселее.
Впрочем, дальше могут читать все-все-все, однако если у вас возникнет непонимание или недопонимание чего-либо, то, пожалуйста, начните с пределов функций.
Пригласим на танец незамысловатую подругу:
Что происходит, когда «эн» увеличивается до бесконечности? Очевидно, что члены последовательности будут бесконечно близко приближаться к нулю. Это и есть предел данной последовательности, который записывается следующим образом:
Если предел последовательности равен нулю, то её называют бесконечно малой.
В теории математического анализа даётся строгое определение предела последовательности через так называемую эпсилон-окрестность. Хотел, если честно, проехать мимо с песнями, но вспомнил, как мне было трудно на 1 курсе, и решил протянутьноги руку помощи, прояснив хотя бы смысл определения.
Изобразим на числовой прямой члены только что рассмотренной последовательности и симметричную относительно нуля (предела) -окрестность:
Теперь зажмите синюю окрестность рёбрами ладоней и начинайте её уменьшать, стягивая к пределу (красной точке). Число является пределом последовательности, если ДЛЯ ЛЮБОЙ заранее выбранной -окрестности (сколь угодно малой) внутри неё окажется бесконечно много членов последовательности, а ВНЕ неё – лишь конечное число членов (либо вообще ни одного). То есть эпсилон-окрестность может быть микроскопической, да и того меньше, но «бесконечный хвост» последовательности рано или поздно обязан полностью зайти в данную окрестность.
Есть даже такая задача – найти предел последовательности, пользуясь определением, однако она несёт приличный теоретический груз, поэтому как-нибудь в другой раз.
Последовательность тоже бесконечно малА: с той разницей, что её члены не прыгают туда-сюда, а подбираются к пределу исключительно справа.
Естественно, предел может быть равен и любому другому конечному числу, элементарный пример:
Здесь дробь стремится к нулю, и соответственно, предел равен «двойке».
Если у последовательности существует конечный предел, то она называется сходящейся (в частности, бесконечно малой при). В противном случае – расходящейся, при это возможны два варианта: либо предела вовсе не существует, либо он бесконечен. В последнем случае последовательность называют бесконечно большой. Пронесёмся галопом по примерам первого параграфа:
Последовательности являются бесконечно большими, поскольку их члены уверенным ходом продвигаются к «плюс бесконечности»:
Арифметическая прогрессия с первым членом и шагом тоже бесконечно великА:
К слову, расходится и любая арифметическая прогрессия, за исключением случая с нулевым шагом – когда к конкретному числу бесконечно добавляется. Предел такой последовательности существует и совпадает с первым членом.
У последовательностей схожая судьба:
Любая бесконечно убывающая геометрическая прогрессия, как ясно уже из названия, бесконечно малА:
Если знаменатель геометрической прогрессии, то последовательность бесконечно великА:
Если же, например,, то предела вообще не существует, так как члены без устали прыгают то к «плюс бесконечности», то к «минус бесконечности». А здравый смысл и теоремы матана подсказывают, что если что-то куда-то и стремится, то это заветное место единственно.
После небольшого разоблачения становится понятно, что в безудержных метаниях виновата «мигалка», которая, кстати, расходится и сама по себе.
Действительно, для последовательности легко подобрать -окрестность, которая, скажем, зажимает только число –1. В результате бесконечное количество членов последовательности («плюс единиц») останутся вне данной окрестности. Но по определению, «бесконечный хвост» последовательности с определённого момента (натурального номера) должен полностью заходить в ЛЮБУЮ -окрестность своего предела. Вывод: предела не существует.
Факториал является бесконечно большой последовательностью:
Причём, растёт он как на дрожжах, так, представляет собой число, у которого более 100 цифр (разрядов)! Почему именно 70? На нём просит пощады мой инженерный микрокалькулятор.
С контрольным выстрелом всё чуть сложнее, и мы как раз подошли к практической части лекции, в которой разберём боевые примеры:
