Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




предыдущая главасодержаниеследующая глава

§ 2. Пределы

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

Определение непрерывности функции, как мы это уже видели в § 1, основывается на понятии предела. До сих пор мы пользовались этим понятием в более или менее интуитивной форме. В настоящем и в последующих разделах мы введем его более систематическим путем. Поскольку последовательности несколько проще, чем функции непрерывного переменного, мы начнем с изучения последовательностей.

В главе II мы имели дело с числовыми последовательностями аn и изучали их пределы при условии, что n неограниченно увеличивается или "стремится" к бесконечности. Например, последовательность с общим членом


(1)

при неограниченном возрастании n имеет предел 0:


(2)

Постараемся выразить точно, что под этим подразумевается. При продвижении по последовательности все дальше и дальше мы видим, что члены становятся все меньше и меньше. После 100-го члена члены уже меньше после 1000-го - меньше и т. д. Ни один из членов не равен в действительности 0. Но если мы продвинемся достаточно далеко по последовательности (1), то мы можем быть уверены, что каждый из ее членов будет отличаться от 0 сколь угодно мало.

В этом объяснении может смущать единственно то, что смысл подчеркнутых слов не вполне ясен. Что значит "достаточно далеко" и что значит "сколь угодно мало"? Если мы сумеем придать точный смысл этим выражениям, то этим самым будет установлен точный смысл понятия предела последовательности.

Геометрическая интерпретация поможет нам разобраться в интересующем нас вопросе. Если мы изобразим члены последовательности (1)в виде соответствующих им точек на числовой оси, то заметим, что члены последовательности в нашем примере "накапливаются" или "сгущаются" около точки 0. Выберем на числовой оси некоторый интервал I с центром в точке 0 и общей длиной 2ε, так чтобы интервал простирался на расстояние ε с каждой стороны от точки 0. Если мы возьмем ε = 10, то, конечно, все члены нашей последовательности будут лежать внутри интервала I. Если же мы возьмем то несколько первых членов окажутся лежащими вне интервала I; однако все члены, начиная с а11, а именно


будут лежать внутри I. Даже при лишь первая тысяча членов последовательности не попадет внутрь интервала I, тогда как бесконечное множество членов, начиная с а1001,

a1001, a1002, a1003, ...

окажется внутри него. Ясно, что это рассуждение~справедливо для любого положительно числа ε: если положительное ε выбрано, то независимо от того, как оно мало, мы всегда можем подобрать настолько большое целое число N, что


Отсюда следует, что все члены аn последовательности, для которых n≥N, будут лежать внутри интервала I, и только конечное число членов а1, а2, ..., aN-1 может лежать вне его. Основные моменты здесь таковы: во-первых, длина интервала I определяется произвольно посредством выбора ε. Затем может быть подобрано подходящее целое число N. Этот процесс первоначального выбора числа е и последующего подбора целого числа N может быть осуществлен при любом положительном ε независимо от его малости; тем самым устанавливается точный смысл утверждения, что "все члены последовательности (1) отличаются от 0 сколь угодно мало, если только мы достаточно далеко продвинемся по последовательности".

Подведем итоги: пусть ε - какое-нибудь положительное число. Тогда мы можем подобрать такое целое положительное число N, что все члены аn последовательности (1), для которых n≥N, будут лежать внутри интервала I длины 2ε с центром в точке ε. Таков смысл предельного соотношения (2).

Опираясь на этот пример, мы можем теперь дать точное определение следующего общего утверждения: "Последовательность действительных чисел а1, а2, а3, ... имеет предел а". Число а мы заключаем внутрь некоторого интервала I числовой оси: если этот интервал мал, то некоторые числа аn могут лежать вне этого интервала, но как только n становится достаточно большим, скажем, большим или равным некоторому числу N, то все числа аn, для которых n≥N, должны лежать внутри интервала I. Конечно, может случиться, что придется брать очень большое целое число N, если интервал I выбран очень малым; однако, как бы мал этот интервал I ни был, такое целое число N должно существовать, раз предполагается, что последовательность имеет предел.

Тот факт, что последовательность аn имеет предел а, выражается символически следующей записью:

lim an = a при n→∞

или просто

аn →а при n→∞

или

limn→∞ аn = а

("предел аn равен а", или "аn стремится к пределу а"). Если последовательность имеет предел в указанном смысле, она называется сходящейся. Определение сходимости последовательности аn можно сформулировать более сжато, а именно следующим образом:

Последовательность а1, а2, а3, ... имеет предел а при неограниченном возрастании n, если каждому сколь угодно малому положительному числу ε можно поставить в соответствие такое целое положительное число N (зависящее от ε), что неравенство

а - аn <ε (3)

выполняется для всех значений

n≥N.

Такова общая, "абстрактная" формулировка понятия предела последовательности. Не мудрено, если тот, кто встречается с ней впервые, не может сразу охватить и исчерпать ее содержание. К несчастью, авторы некоторых руководств, стоящие на позиции, граничащей со снобизмом, преподносят читателю это определение без тщательной подготовки, как будто снизойти до разъяснений ниже достоинства математика.

Определение предполагает своего рода дискуссию между двумя лицами А и В. A выдвигает требование: заданная величина а должна быть приближена числами аn так, чтобы ошибка не превышала границы ε = ε1. В отвечает на это требование указанием, что существует такое целое N = N1,, что все члены аn, следующие за аN1, удовлетворяют этому условию. Тогда А становится более требовательным и предлагает новую, меньшую границу ε = ε2; В снова встречает это требование подбором некоторого, может быть значительно большего, целого числа N = N2, обладающего аналогичным свойством, и т. д. Если В может удовлетворить А независимо от того, какую малую границу назначает A, то мы имеем дело с положением, которое кратко выражается соотношением: аn→а.

Имеется определенная психологическая трудность в том, чтобы составить правильное представление о понятии предела. Наша интуиция предполагает "динамическую" идею предела как результат процесса "движения": мы продвигаемся по ряду целых чисел 1, 2, 3, ..., n, ... и при этом наблюдаем за поведением последовательности аn. Мы ждем, что числа аn должны все меньше и меньше отличаться от числа а. Но эта "естественная" точка зрения не поддается ясной математической формулировке. Чтобы прийти к точному определению, надо обратить ход рассуждения: вместо того чтобы прежде всего обращаться к независимому переменному nn, а затем уже к переменному аn, мы должны основывать наше определение на том, что следует делать, если мы по существу хотим проконтролировать утверждение аn→а. При такой постановке вопроса мы прежде всего должны выбрать произвольно малый интервал около а и затем решить: можем ли мы добиться, чтобы аn с помощью выбора достаточно большого n в него попало. Затем, вводя символы ε и N для обозначения "произвольно малого интервала" и "достаточно большого n", мы приходим к точному определению предела.

Обращаясь теперь к другому примеру, рассмотрим последовательность


где Я утверждаю, что lim аn = 1. Если вы выберете интервал с центром в точке 1 и возьмете то я смогу удовлетворить вашему требованию (3), выбрав N = 10; в самом деле,


при n≥10. Если вы усилите ваше требование, выбирая , то я снова могу ему удовлетворить, выбирая N = 1000, и так далее - для любого положительного числа ε, которое вы пожелаете выбрать независимо от его малости: действительно, мне только нужно будет выбрать любое целое N, большее чем Этот процесс, заключающийся, во-первых, в выборе произвольно малого интервала длины 2ε вокруг числа а и, во-вторых, в доказательстве того, что все члены последовательности аn находятся на расстоянии, меньшем чем ε от а, раз только мы продвинемся достаточно далеко по последовательности, и есть не что иное, как подробное описание того факта, что аn→а. Если члены последовательности а1, а2, а3, ... представлены в виде бесконечных десятичных дробей, то утверждение

lim аn = а

обозначает попросту то, что для любого целого положительного m первые m цифр числа аn совпадают с первыми m цифрами бесконечного десятичного разложения числа а, раз только n выбрано достаточно большим, скажем, большим некоторого значения N (зависящего от m). Это просто соответствует выбору ε в форме 10-m.

Существует другое, и очень выразительное определение понятия предела. Если lim аn = а и если мы заключим число а в интервал I, то независимо от малости интервала I все числа аn при n, большем некоторого целого числа N, будут лежать в интервале I, так что не больше чем конечное число N-1 членов из числа следующих:

a1, a2, a3, ..., aN-1,

могут лежать вне интервала I. Если интервал I очень мал, то число N может быть очень большим, скажем, равным 100 или даже 1000 биллионам, и все же лишь конечное число членов последовательности будет лежать вне интервала I, в то время как бесконечное множество оставшихся членов попадет в интервал I. Можно условиться говорить о членах некоторой бесконечной последовательности, что "почти все" они обладают некоторым свойством, если лишь конечное число их (неважно, как оно будет велико) не обладает этим свойством. Так, например, "почти все" целые положительные числа больше 1 000 000 000 000. Используя эту терминологию, мы видим, что утверждение

lim аn = а

эквивалентно следующему утверждению: Если I есть любой интервал с центром в точке а, то почти все числа аn лежат в этом интервале.

Не мешает мимоходом отметить, что нет необходимости предполагать, что все члены аn последовательности непременно имеют различные значения. В частности, совершенно допустимо, чтобы несколько из них, или бесконечное число, или даже, наконец, все числа аn были равны предельному значению а. Например, вполне законно рассматривать последовательность а1 = 0, а2 = 0, ..., аn = 0, ..., и ее предел есть, конечно, 0.

Как уже указано, последовательность аn с пределом а называется сходящейся. Последовательность, не имеющая предела, называется расходящейся.

Упражнения. Доказать:

  1. Последовательность с общим числом имеет предел, равный 0. (Указание. меньше и больше 0).
  2. Последовательность имеет предел 0. (Указание: лежит между 0 и 2/n.
  3. Последовательность 1, 2, 3, 4, ..., а также "колеблющиеся" последовательности
    1, 2, 1, 2, 1, 2, ...
    -1, 1, -1, 1, -1, 1, ... (т. е. аn = (-1)n)
    и
    не имеют пределов.

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

Упражнение. Докажите, что последовательность стремится к бесконечности; аналогично в случае


Начинающие часто впадают в ошибку, думая, что переход к пределу при n→∞ может быть выполнен совершенно просто путем подстановки n = ∞ в выражение общего члена аn. Например, потому, что Но символ ∞ не является числом, и его употребление в выражении незаконно. Попытка представить себе предел последовательности как "последний" член последовательности аn при n = ∞ не попадает в цель и затемняет правильное понимание существа дела.

предыдущая главасодержаниеследующая глава




ИНТЕРЕСНО:

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2017
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru