Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

0085730_32E51_mosin_v_g_matematicheskie_osnovy

.pdf
Скачиваний:
31
Добавлен:
12.03.2016
Размер:
1.22 Mб
Скачать

5.1. Пределы. Непрерывность функций

101

Доказательство В силу опеределений бесконечно малой (см. опр. 43, стр. 99) и ограниченной (см. опр. 42, стр. 97) последовательностей, существует такое положительное M , что

|fn| < M , для любого n ;

и для любого сколь угодно малого ε найдется номер N такой, что

ε

n| < M , для любого n > N .

Перемножая эти два неравенства, получим следующее: для любого сколь угодно малого положительного ε найдется номер N такой, что

ε

|fn · αn| = |fn| · |αn| < M · M = ε .

По определению бесконечно малой последовательности (см. опр. 43, стр. 99) это означает, что произведение n} · {fn} является бесконечно малой последовательностью.

Теорема доказана.

Теорема 41 (об алгебраическом обращении) Пусть {An} — бесконечно большая последовательность. Тогда ее алгебраическое обращение 1/{An}

— бесконечно малая последовательность.

Аналогично, если {αn} — бесконечно малая последовательность, то ее алгебраическое обращение 1/{αn} — бесконечно большая последовательность.

Доказательство Докажем первое из утрверждений (второе доказывается аналогично).

Воспользуемся определением бесконечно большой последовательности (см. опр. 44, стр. 99): для любого, сколь угодно большого, положительного M , найдется номер N такой, что

|An| > M , для любого n > N .

Обращая это неравенство, получим:

1

<

 

1

, для любого n > N .

|A n|

M

 

 

Обозначим ε = 1/M . Тогда полученное неравенство означает, что для любого сколь угодно малого положительного ε найдется номер N такой, что

1

|An| < ε , для любого n > N .

По определению бесконечно малой последовательности (см. опр. 43, стр. 99), последовательность 1/{An} является бесконечно малой.

Теорема доказана.

В заключение этого раздела отметим, что далеко не все действия с бесконечно малыми и бесконечно большими последовательностями являются таким

102

Глава 5. Математический анализ

очевидными. Например, что произойдет, если мы попытаемся разделить одну бесконечно малую последовательность на другую? Или перемножить бесконечно малую и бесконечно большую последовательности?

Такие ситуации называются неопределенностями: вида [0/0] для отношения двух бесконечно малых, [0 · ∞] для произведения бесконечно малой и бесконечно большой и т. д. Результатом раскрытия неопределенности может оказаться как бесконечно малая, так и бесконечно большая или ограниченная последовательности.

5.1.3Свойства сходящихся последовательностей

В этом разделе мы получим ряд правил, позволяющих облегчить вычисления пределов. Речь идет о вычислении пределов суммы (см. теор. 43, cтр. 102), произведения (см. теор. 44, cтр. 103) и частного (см. теор. 45, cтр. 104) сходящихся последовательностей. Начнем с того, что докажем следующее вспомогательное утверждение.

Теорема 42 (о представлении сходящейся последовательности)

Пусть последовательность {xn} сходится к пределу a:

lim xn = a .

n→∞

Тогда последовательность {xn} может быть представлена в виде:

xn = a + αn ,

где {αn} — бесконечно малая последовательность.

Доказательство Так как последовательность {xn} сходится к a, последовательность {xn − a} также сходится, причем к нулю:

lim (xn − a) = 0 .

n→∞

По определению бесконечно малой последовательности (см. опр. 43, стр. 99) это означает, что последовательность {xn − a} является бесконечно малой:

xn − a = αn , отсюда xn = a − αn.

Теорема доказана.

Теорема 43 (о сумме сходящихся последовательностей) Пусть последовательности {xn} и {yn} являются сходящимися, причем

lim xn = a ,

lim yn = b .

n→∞

n→∞

Тогда их сумма также является сходящейся последовательностью, причем

lim (xn + yn) = a + b .

n→∞

5.1. Пределы. Непрерывность функций

103

Доказательство Последовательности {xn} и {yn} являются сходящимися. Следовательно (см. теор. 42, стр. 102), они представимы в виде:

xn = a + αn , yn = b + βn ,

где αn, βn — бесконечно малые последовательности. Складывая эти равенства, получим:

xn + yn = a + αn + b + βn = (a + b) + (αn + βn) = (a + b) + γn ,

где γn = αn + βn — бесконечно малая последовательность (см. теор. 38, стр. 99). Итак, мы представили сумму последовательностей в виде:

xn + yn = (a + b) + γn ,

где γn — бесконечно малая последовательность. Согласно доказанному нами выше утверждению о представлении сходящейся последовательности (см. теор. 42, стр. 102), последовательность {xn + yn} является сходящейся, причем:

lim (xn + yn) = a + b .

n→∞

Теорема доказана.

Теорема 44 (о произведении сходящихся последовательностей)

Пусть последовательности {xn} и {yn} являются сходящимися, причем их пределы таковы:

lim xn = a ,

lim yn = b .

n→∞

n→∞

Тогда их произведение также является сходящейся последовательностью, причем

lim (xn · yn) = a · b .

n→∞

В частности, постоянный множитель можно выносить из-под знака предела:

lim ( · xn) = c lim xn .

n→∞ n→∞

Доказательство Последовательности {xn} и {yn} являются сходящимися. Следовательно (см. теор. 42, стр. 102), они представимы в виде:

xn = a + αn , yn = b + βn ,

где αn, βn — бесконечно малые последовательности. Перемножая эти равенства, получим:

xn · yn = (a + αn) · (b + βn) = (a · b) + (αn · b + βn · a + αn · βn) = (a · b) + γn ,

где γn = αn · b + βn · a + αn · βn. Покажем, что γn — бесконечно малая последовательность.

Действительно, первые два слагаемых — бесконечно малые, так как это прозведения бесконечно малых αn, βn и ограниченных последовательностей a, b (см. тер. 40, стр. 100). Последнее слагаемое — также бесконечно малая, так как это произведение двух бесконечно малых αn и βn (см. тер. 39, стр. 100).

104

Глава 5. Математический анализ

Следовательно, последовательность γn является бесконечно малой как сумма бесконечно малых последовательностей (см. тер. 38, стр. 99).

Итак, мы представили произведение последовательностей в виде:

xn · yn = (a · b) + γn ,

где γn — бесконечно малая последовательность. Согласно доказанному нами выше утверждению о представлении сходящейся последовательности (см. теор. 42, стр. 102), последовательность {xn · yn} является сходящейся, причем:

lim (xn · yn) = a · b .

n→∞

Второе утверждение теоремы получается из только что доказанного, если учесть, что, по определению предела последовательности (см. опр. 39, стр. 96), предел постоянной равен ей самой.

Теорема доказана.

Теорема 45 (о частном сходящихся последовательностей) Пусть две числовые последовательности {xn} и {yn} являются сходящимися, причем

lim xn = a ,

lim yn = b .

n→∞

n→∞

Пусть, кроме того, b = 0. Тогда их частное также является сходящейся последовательностью, причем

lim xn = a .

n→∞ yn

b

Доказательство Последовательности {xn} и {yn} являются сходящимися. Следовательно (см. теор. 42, стр. 102), они представимы в виде:

xn = a + αn , yn = b + βn ,

где αn, βn — бесконечно малые последовательности. Разделим первое равенство на второе и получим:

 

xn

=

αn + a

=

 

 

 

a

 

 

+

 

αn

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yn

βn + b

 

 

 

b + βn

 

b + βn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

ab

 

 

+

 

 

αn

=

ab + n − aβn

+

 

αn

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b(b + βn) b + βn

 

 

 

b(b + βn)

b + βn

 

 

 

 

 

 

=

a(b + βn)

 

 

 

 

αn

 

 

 

n

a

1

αn

a

βn

a

 

 

 

 

 

 

 

 

+

 

 

 

 

=

 

+

 

 

=

 

+ γn ,

 

 

b(b + βn)

 

 

b + βn

b(b + βn)

b

b + βn

b

b

 

 

 

1

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где γn =

 

 

 

 

 

αn

 

βn . Покажем, что γn — бесконечно малая после-

b + βn

 

 

 

b

довательность.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Действительно, второе слагаемое в скобках — это бесконечно малая последовательность как произведение бесконечно малой βn и ограниченной величины a/b (см. теор. 40, стр. 100). Далее, разность в скобках — это разность бесконечно малых, следовательно (см. теор. 38, стр. 99) это также

= ab .

5.1. Пределы. Непрерывность функций

105

бесконечно малая последовательность. Наконец, коэффициент перед скобкой — это ограниченная величина, так как ее знаменатель, очевидно, ограничен (он является суммой ограниченной величины b и бесконечно малой βn). Следовательно, последовательность γn является бесконечно малой как произведение бесконечно малой и ограниченной последовательностей (см. теор. 40, стр. 100).

Итак, мы представили частное последовательностей в виде:

xn = a + γn , yn b

где γn — бесконечно малая последовательность. Согласно доказанному нами выше утверждению о представлении сходящейся последовательности (см. теор. 42, стр. 102), последовательность {xn/yn} является сходящейся, при-

чем:

lim xn

n→∞ yn

Теорема доказана.

Пример 65 Вычислим следующий предел:

n→∞

 

2n2 + 1

 

= n→∞

2 + 1/n2

 

= lim(2 + 1/n2) =

lim 2 + lim 1/n2

 

lim

 

n2 + n

 

 

lim

 

1 + 1/n

 

 

lim(1 + 1/n)

lim 1 + lim(1/n)

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

1

+ 0

=

1

.

 

 

 

 

 

 

 

 

 

2

+ 0

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

Прокомментируем выкладку. На первом шаге мы просто выполнили тождественное преобразование подпредельного выражения. Затем — применили теорему о пределе частного (см. теор. 45, стр. 104) и перешли к частному пределов. Далее при помощи теоремы о пределе суммы (см. теор. 43, стр. 102), и в числителе, и в знаменателе мы перешли к суммам пределов. После чего — воспользовались тем, что предел постоянной равен ей самой, и, самое главное, тем, что алгебраическое обращение бесконечно больших величин n и n2 есть величины бесконечно малые.

5.1.4Монотонные последовательности

В некоторых случаях мы не можем вычислить предел последовательности явно. Однако имеются приемы, одним из которых служит теорема о монотонной ограниченной последовательности (см. теор. 46, стр. 106), позволяющие утверждать, что предел все-таки существует. Более того, иногда удается получить численное значение предела с любой точностью, как, например, в случае с числом e (см. пример 67, стр. 107).

Определение 45 (монотонные последовательности) Определим следующие типы последовательностей:

1.Числовая последовательность {xn} называется возрастающей, если каждый последующий ее член строго больше предыдущего:

x1 < x2 < x3 < · · · < xn < . . .

106

Глава 5. Математический анализ

2.Числовая последовательность {xn} называется неубывающей, если каждый последующий ее член не меньше предыдущего:

x1 ≤ x2 ≤ x3 ≤ · · · ≤ xn ≤ . . .

3.Числовая последовательность {xn} называется убывающей, если каждый последующий ее член строго меньше предыдущего:

x1 > x2 > x3 > · · · > xn > . . .

4.Числовая последовательность {xn} называется невозрастающей, если каждый последующий ее член не больше предыдущего:

x1 ≥ x2 ≥ x3 ≥ · · · ≥ xn ≥ . . .

Последовательности, являющиеся возрастающими, неубывающими, убывающими или невозрастающими имеют общее название: они называются монотонными.

Пример 66 Проиллюстрируем данное определение примерами:

1.Последовательность xn = ln n является возрастающей, так как, в силу известного свойства логарифмической функции, большему значению аргумента отвечает большее значение функции.

2.Последовательность xn = n/2 является неубывающей5:

x1 = 0 ≤ x2 = 1 ≤ x3 = 1 ≤ x4 = 2 ≤ x5 = 2 ≤ . . .

3.Последовательность xn = 1/n является убывающей, так как большему значению знаменателя отвечает меньшее значение дроби.

4.Последовательность xn, определенная следующим образом

x1 = 1 , x2 = 0 , x3 = 0 , x4 = 0 , . . . ,

является, очевидно, невозрастающей.

5.Наконец, последовательность xn = (1)n не является монотонной, так как не относится ни к одному из перечисленных типов (ее членами служат чередующиеся 1 и 1).

Теорема 46 (о монотонной ограниченной последовательности)

Если последовательность является монотонной и ограниченной, то она сходится.

Доказательство Ограничимся случаем, когда последовательность {xn} является возрастающей (остальные случаи разбираются аналогично). В этом случае

x1 < x2 < x3 < · · · < xn < . . .

С другой стороны, так как последовательность {xn} ограничена, то (см. опр. 42, стр. 97) существует такое число M , что

x1 < x2 < x3 < · · · < xn < · · · < M .

5Здесь квадратные скобки означают целую часть дробного числа.

5.1. Пределы. Непрерывность функций

107

Выберем из таких верхних границ наименьшую и обозначим ее a. Тогда в любой ее окрестности за счет возрастания последовательности {xn} находится бесконечное число членов последовательности. Это означает (см. опр. 39, стр. 96), что последовательность {xn} сходится, и ее пределом служит число a.

Теорема доказана.

Доказанная теорема находит широкое применение во всем курсе математического анализа. Проиллюстрируем ее применение следующим примером.

Пример 67 (число e) Здесь мы убедимся в том, что последовательность

xn =

1 + n

n

 

 

1

 

 

является сходящейся, причем ее предел заключен между 2 и 3. Воспользуемся формулой бинома Ньютона:

 

 

n

n

 

·

n

1 · 2

·

n

 

2

 

 

 

 

 

1 +

1

 

 

= 1 + n

 

1

 

+

n(n − 1)

 

1

 

+

 

 

 

 

 

 

 

 

 

 

 

· · · + n(n − 1) · · · (n − (n − 1)) 1 · 2 · 3 · · · n

1 · 2 · 3

 

·

n

3

· · ·

 

 

n(n − 1)(n

2)

 

1

 

+

 

 

 

 

 

 

1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

·

 

.

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

Выполняя элементарные алгебраические преобразования в каждом слагаемом получим:

1 + n

n

= 2 + 2

1 n

+ 2 · 3

1 n

1 n + · · ·

 

 

1

 

 

 

 

1

 

1

 

 

 

 

1

 

 

 

1

 

 

 

 

 

2

 

 

 

 

 

 

 

 

· · ·

 

 

2 · 3 · · · n

 

 

n

 

n

· · ·

 

 

n

 

 

 

 

 

 

+

1

 

 

 

1

1

1

 

 

 

2

 

 

1

 

n − 1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Все слагаемые в этой формуле положительны, причем с возрастанием показателя n растет и число слагаемых. Следовательно, последовательность {xn}, ничиная с наименьшего значения, равного 2, растет вместе с показателем n.

С другой стороны, очевидно, что каждое слагаемое в сумме увеличится, если все множители знаменателей заменить на 2, а каждую из скобок заменить на 1. Поэтому:

1 + n

n

< 2 + 2 +

22

+ 23

+ · · · + 2n−1 .

 

1

 

 

 

1

1

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В силу известной формулы для вычисления суммы геометрической прогрессии, мы можем оценить сумму в правой части неравенства:

2 +

1

+

1

+

1

+

· · ·

+

1

=

1 1/2n

= 1

1

< 1 .

2

 

23

2n−1

2n−1

 

22

 

 

 

 

1

1/2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда, интересующее нас выражение не может возрастать неограниченно, оно ограничено сверху тройкой:

1 + n

n

< 3 .

 

1

 

 

Таким образом, члены последовательности {xn} при возрастании n постояно возрастают, оставаясь больше 2 и меньше 3. Отсюда, на основании теоремы о монотонной ограниченной последовательности (см. теор. 46, стр. 106) можно сделать вывод, что последовательность {xn} сходится, причем ее предел заключен между 2 и 3.

108

 

 

 

Глава 5. Математический анализ

Этот предел и называется числом e:

 

n→∞

1 + n

n

lim

1

 

= e .

 

 

 

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

e= 2. 7182818284 . . .

5.1.5Предел функции

Исторически сложилось так, что примерно в одно и то же время было дано два определения предела функции: определение Коши и определение Гейне. Эти определения эквивалентны (см. теор. 47, стр. 109). В зависимости от ситуации, используется то из них, которое удобнее для решения конкретной задачи.

Мы так же в ряде случаев будем использовать определение Коши, а в ряде случаев — определение Гейне.

Определение 46 (предел функции (Гейне)) Число A называется пределом функции f (x) в точке a, если для любой последовательности аргументов {xn}, сходящейся к a, соответствующая последовательность значений функции {f (xn)} сходится к A. Этот факт обозначается следующим образом:

lim f (x) = A .

x→a

Пример 68 Покажем, например, пользуясь определением Гейне, что

lim (x2 + x + 1) = 3 .

x→1

Рассмотрим произвольную последовательность {xn}, сходящуюся к 1, и соответствующую ей последовательность {x2n + xn + 1} значений функции. Пользуясь свойствами сходящихся последовательностей (см. теор. 43, 44, стр. 102, 103), получим:

lim (xn2 + xn + 1) = ( lim xn)2 + lim xn + 1 = 1 + 1 + 1 = 3 .

n→∞

n→∞

n→∞

В силу определения Гейне предела функции (см. опр. 46, стр. 108), это означает, что

lim (x2 + x + 1) = 3 .

x→1

Определение 47 (предел функции (Коши)) Число A называется пределом функции f (x) в точке a, если для любого, сколь угодно малого положительного ε существует такая δ-окрестность точки a, что

|f (x) − A| < ε для любого x из этой окрестности .

Так же, как и выше, этот факт обозначается следующим образом:

lim f (x) = A .

x→a

5.1. Пределы. Непрерывность функций

109

Пример 69 Покажем, пользуясь определением Коши, что

lim x2 = 4 .

x→2

По контексту задачи переменная x принимает значения, близкие к 2. Поэтому можно считать, что 1 < x < 3, то есть — |x − 2| < 1.

Пусть ε — произвольное положительное число. Мы можем оценить разность |x2 4| следующим образом:

|x2 4| = |x − 2||x + 2| = |x − 2|(x + 2) < 5|x − 2| .

Следовательно, |x2 4| < ε, если |x − 2| < ε/5. Обозначим δ = ε/5. Тогда оказывается, что для любого положительного ε существует положительное δ такое, что |x2 4| < ε для любого x, попадающего в δ-окрестность точки 2.

Отсюда, в силу определения Коши предела функции в точке (см. опр. 47, стр. 108), заключаем:

lim x2 = 4 .

x→2

Отметим еще раз, что определения Коши и Гейне являются эквивалентными (то есть определяют одно и то же понятие), в виде следующей теоремы, которую примем без доказательства.

Теорема 47 Определения Коши (см. опр. 47, стр. 108) и Гейне (см. опр. 46, стр. 108) предела функции в точке являются эквивалентными.

Далее нас будут интересовать свойства пределов функций. Отметим, забегая вперед, что они окажутся полностью аналогичны соответствующим свойствам пределов последовательностей (см. теор. 43, 44 и 45, стр. 102, 103 и 104).

Теорема 48 (свойства пределов функций) Пусть функции f (x) и g(x)

обладают пределами в точке a:

lim f (x) = A ,

lim g(x) = B . Тогда:

x→a

x→a

1. предел суммы функций f (x) и g(x) равен сумме их пределов

lim (f (x) + g(x)) = A + B ;

x→a

2.предел произведения функций f (x) и g(x) равен произведению их пределов

lim (f (x) · g(x)) = A · B ,

x→a

в частности — постоянный множитель можно выносить из-под знака предела;

3.если, кроме того, B = 0, то предел частного функций f (x) и g(x) равен частному их пределов:

lim

f (x)

=

 

A

.

 

 

x→a g(x)

 

B

110

Глава 5. Математический анализ

Доказательство Докажем первое утверждение (остальные доказываются аналогично). Воспользуемся определением Гейне предела функции в точке (см. опр. 46, стр. 108).

Пусть {xn} — произвольная последовательность, сходящаяся к a. Тогда соответствующая последовательность значений функции f (x) + g(x) — это f (xn) + g(xn). Пользуясь тем, что предел суммы последовательностей равен сумме их пределов (см. теор 43, стр. 102), получим:

lim (f (xn) + g(xn)) =

lim f (xn) + lim g(xn) = A + B .

n→∞

n→∞

n→∞

Таким образом, для любой последовательности {xn}, сходящейся к a, соответствующая последовательность значений функции f (x) + g(x) сходится к A + B. В силу определения Гейне (см. опр. 46, стр. 108) это означает, что

lim (f (x) + g(x)) = A + B .

x→a

Теорема доказана.

Теорема 49 (о промежуточной функции) Пусть в некоторой окрестности точки a функция f (x) заключена между двумя функциями ϕ(x) и ψ(x), имеющими одинаковый предел A, то есть

ϕ(x) ≤ f (x) ≤ ψ(x) , lim ϕ(x) = lim ψ(x) = A .

x→a x→a

Тогда функция f (x) имеет в точке a предел, причем, он тоже равен A:

lim f (x) = A .

x→a

Доказательство Здесь мы воспользуемся определением Коши предела функции в точке (см. опр. 47, стр. 108).

Имееющееся по условию теоремы двойное неравенство можно преобразовать, отняв от каждой его части число A:

ϕ(x) − A ≤ f (x) − A ≤ ψ(x) − A .

Отсюда, пользуясь свойствами модуля, заключаем:

( )

|f (x) − A| ≤ max{ |ϕ − A| , |ψ − A| } .

Так как функции ϕ(x) и ψ(x) имеют в точке a предел, равный A, на основании определения Коши (см. опр. 47, стр. 108) имеем: для любого положительного ε существует такая δ-окрестность точки a, что одновременно (x) − A| < ε и (x) − A| < ε для любого x, попадающего в δ-окрестность точки a.

Отсюда, на основании соотношения ( ), заключаем: для любого положительного ε существует такая δ-окрестность точки a, что

|f (x) − A| < ε , для любого x из этой δ-окрестности.

По определению Коши (см. опр. 47, стр. 108) это в точности означает, что

lim f (x) = A .

x→a

Теорема доказана.