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

ВЫСШАЯ МАТЕМАТИКА_ГОРНЫЙ

.pdf
Скачиваний:
15
Добавлен:
03.01.2021
Размер:
1.01 Mб
Скачать

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

Следствие. Если xn a и a 0 (или a 0 ), то все члены последовательности, начиная с некоторого, будут больше нуля (меньше нуля).

Теорема 4. Если три числовые последовательности xn , yn и zn

удовлетворяют неравенствам xn zn yn для любого n, последовательности

xn и yn имеют общий предел a , то и предел последовательности zn также равен числу a .

Доказательство. Возьмем произвольное 0. Так как

xn a и

yn a, то в соответствии с определением предела можно записать:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn

 

 

a

 

при n N1

или a xn

a при n N1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yn

 

 

a

 

при n N2

или a yn

a ε при n N2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

N max N1 ,N2 .

Тогда при n N

выполняются оба двойных

неравенства

 

a xn a

и

a yn a .

Используя левую

часть

первого из них и правую часть

 

 

второго с

 

 

 

учетом xn zn yn, получим

a zn a (n > N) или

 

 

zn

a

 

 

при (n > N) Таким образом, limzn a.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

Теорема 5. Сходящаяся последовательность ограничена.

 

 

 

 

Доказательство.

Пусть

xn a .

Возьмем произвольное 0.

Тогда

найдется такой номер

N,

что

 

xn a

 

 

при значениях

 

n N . Известно,

 

 

 

что

 

 

xn

 

 

 

 

 

 

a

 

 

 

 

 

xn a

 

 

 

и,

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

 

 

 

xn

 

 

 

 

a

 

 

 

при n N

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn

 

 

 

a

 

 

 

при n N .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть M max

 

x1

 

,

 

 

x2

 

,...,

 

xN

 

 

,

 

a

 

 

. Тогда

 

xn

 

M при всех

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

значениях

n N . Отсюда

следует,

что

xn

 

– ограниченная после-

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

Определение. Числовая последовательность xn называется монотонно возрастающей, если каждый ее последующий член не меньше предыдуще-

го, т.е. x1 x2 xn (обозначение xn ).

Аналогично определяется монотонно убывающая последовательность:xn , если каждый ее последующий член не больше предыдущего, т.е. x1 x2 xn ...

Теорема 6 (без доказательства). Если числовая последовательность монотонно возрастает (или убывает) и ограничена, то она сходится, т.е. имеет конечный предел.

Замечание 3. Если отметить на числовой оси значения членов возрастающей последовательности xn , то становится ясным геометрический

17

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

смысл теоремы: точка xn с увеличением n будет двигаться слева направо,

оставаясь все время левее точки M. В этих условиях точка xn будет стремиться к некоторой предельной точке a , причем a M .

Теорема 7. Предел суммы двух числовых последовательностей равен сумме их пределов.

Доказательство. Пусть xn a и yn b при n . По определению предела

xn a αn , yn b βn ,

где αn и βn – общие члены бесконечно малых последовательностей αn

 

и βn .

 

Складывая эти равенства, получим

xn yn a b αn βn

или

xn yn a b αn βn .

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

n

n

бесконечно малая. Таким образом,

последовательность xn

yn a b – также бесконечно малая, и потому

lim x y

n

a b lim x

lim y

n

.

n

n

 

n n

n

 

Теорема обобщается на любое конечное число бесконечное малых последовательностей.

Аналогично доказывается теорема о пределе разности двух последовательностей.

 

Теорема 8. Предел произведения двух числовых последовательностей

xn

и yn равен произведению их пределов.

Доказательство. Пусть xn a и yn a . По определению предела имеем

xn a αn, yn b βn,

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

xn yn ab n b aβn αn βn )

или

xn yn ab αn b aβn αn βn .

Последовательность αn b aβn αn βn есть последовательность бесконечно малая (по теоремам 1-3 раздела 4.8).

Следовательно, последовательность xn yn a b также бесконечно малая. Отсюда следует

18

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

lim x y

n

ab lim x

n

lim y

n

.

n n

n

n

 

Теорема обобщается на любое конечное число бесконечно малых последовательностей.

Следствие 1. Постоянный множитель можно выносить за знак предела. Доказательство. Пусть xn a и A const. В силу теоремы 8 имеем

lim A x

lim x

n

lim

A A lim x .

n

n

n

n

n n

Следствие 2. Предел целой положительной степени равен степени ее предела.

Доказательство. Пусть xn a

и k

целое положительное число.

В силу теоремы 8 имеем

 

 

 

 

lim xn

k .

lim(xn)k lim xn

lim xn...lim xn

 

n

 

n

 

n

n

n

 

 

k раз

Лемма. Если последовательность yn имеет предел, отличный от нуля,

и не принимает нулевых значений, то обратная последовательность 1/ yn является ограниченной.

Доказательство. Пусть yn b,b 0 ,yn 0 . Выберем произвольно

сколь угодно малое

 

0, удовлетворяющее

неравенству 0

b

.

По

данному 0

найдется

 

 

такой

 

 

номер

 

N, что при

n N

выполняется

неравенство

 

yn b

 

.

 

 

 

 

b yn b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим,

что

 

yn

 

 

 

 

 

 

 

b

 

 

 

 

yn b

 

 

 

b

 

 

при

n N

 

и,

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

при всех n N .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yn

 

 

 

 

yn

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M max

 

 

 

 

,

 

 

 

 

 

 

,...,

 

 

 

 

 

,

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

y

 

 

 

 

 

y

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда окончательно

 

получим

 

 

 

 

 

 

 

 

 

 

 

при

всех

 

 

 

 

Отсюда

 

 

 

 

 

 

 

yn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yn

 

 

ограниченная числовая последовательность.

Теорема 9. Предел частного двух сходящихся последовательностей равен частному их пределов при условии, что предел знаменателя отличен от нуля и последовательность, стоящая в знаменателе, не принимает нулевых значений.

19

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

 

 

Доказательство.

Пусть xn a и

 

 

 

yn a при

n ,

причем b ≠ 0,

yn ≠ 0 По определению предела xn a αn ; yn b n , где αn

и n

– общие

члены бесконечно малых последовательностей.

 

 

 

 

 

 

Найдем разность

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn

 

a

 

a n

 

a

 

1

 

1

nb na .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yn

 

 

b b n

 

 

 

 

b b yn

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим, что

 

 

 

 

 

– ограниченная

 

 

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

лемме;

 

 

 

 

 

 

 

 

yn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= const 0. Тогда

 

 

α

b

n

a

 

 

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

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b yn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

a

 

 

ность (по теоремам 1-3 раздела 4.8), а потому

n

 

 

– также бесконечно

 

 

малая последовательность. Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yn

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

xn

 

 

a

 

nlim xn

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n yn

 

 

 

b

 

 

lim yn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

4.11. БЕСКОНЕЧНО БОЛЬШИЕ ЧИСЛОВЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ

Определение. Числовая последовательность xn называется бесконечно большой, если для любого сколь угодно большого положительного числа E 0 найдется такой номер N N E , что при всех значениях n N выполняется неравенство

xn E .

Символически это записывается в виде

lim xn или xn при n

n

С помощью логических символов определение бесконечно большой последовательности можно записать в виде

E 0 N n N :

xn

E.

Замечание. Если бесконечно большая последовательность сохраняет постоянный знак, то в с соответствии со знаком говорят, что последовательность xn имеет своим пределом или .

Установим связь между бесконечно малыми и бесконечно большими последовательностями.

20

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

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

xn 0, является

 

1

 

бесконечно большой, то ее обратная последовательность

 

есть последо-

 

xn

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

Доказательство. Возьмем произвольное 0 и вычислим Е = 1/ . По определению бесконечно большой последовательности найдется такой номер N, что при всех значениях n > N выполняется неравенство

xn E 1/ . Переходя в этом неравенстве к обратным величинам, получим

 

 

 

1

 

 

 

1

 

при всех значениях n N .

 

 

 

xn

 

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

Следовательно,

 

 

 

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

 

 

 

xn

 

 

 

 

 

 

Обратная теорема (без доказательства). Если числовая последовательность αn , где αn 0, является бесконечно малой, то ее обратная последо-

1

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

αn

Отметим некоторые свойства бесконечно больших последовательностей.

1.Сумма двух бесконечно больших последовательностей одного знака есть бесконечно большая последовательность того же знака, что и слагаемые последовательности.

2.Произведение двух бесконечно больших последовательностей есть бесконечно большая последовательность.

3.Произведение постоянной величины, отличной от нуля, на бесконечно

большую последовательность xn есть последовательность бесконечно большая.

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

Доказательство. Пусть xn и yn – бесконечно большие последовательности. Выберем сколь угодно большое положительное число

 

E и вычислим

E . По определению бесконечно большой последовательно-

сти для числа

E

0 найдется такой номер

N1, что при всех значениях

n N1

 

 

 

 

 

 

 

xn

 

 

 

 

,

 

 

 

 

n N2

выполняется неравенство

 

 

 

 

E

а при всех значениях

 

 

 

 

 

 

yn

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

выполняется неравенство

 

 

E

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть N max N1,N2

.

 

 

 

xn

 

 

 

 

и

Тогда

оба

неравенства

 

 

E

 

yn

 

 

 

 

выполняются одновременно при всех значениях n N .

 

 

 

 

 

 

E

 

 

 

 

 

 

Рассмотрим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

21

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

 

 

 

 

 

 

 

 

 

 

xn yn

 

xn

 

yn

E

 

E E при всех n N .

Следовательно, xn yn бесконечно большая последовательность.

 

 

4.12. ЧИСЛО e

 

 

 

 

 

 

 

 

 

 

 

 

Имеет место формула, называемая биномом Ньютона:

 

 

 

 

 

 

 

 

 

 

a b n an nan 1b

n n 1

an 2b2 ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2

 

 

 

 

 

 

 

 

 

 

 

 

 

n n 1...n k 1

 

an kbk ...

n n 1...n n 1

bn .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2 ... k

 

 

 

 

 

 

 

 

 

1 2 ... n

 

 

 

 

 

 

 

 

 

 

Легко проверить справедливость формулы при

n 1,2,3,4.

Действительно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a b 1 a 1a1 1b a b;

 

 

 

 

 

 

 

 

 

 

 

 

 

a b 2 a2 2ab

2 2 1

b2 a2 2ab b2 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2

 

 

 

 

 

 

 

 

 

 

 

 

a b 3 a3 3a2b

3 2

ab2

3 2 1

b3 a3 3a2b 3ab2 b3 ;

 

 

 

 

 

 

 

 

 

 

1 2

 

1 2 3

 

 

 

 

 

 

 

 

 

 

 

 

a b 4 a4 4a3b

4 3

a2b2

4 3 2

ab3

4 3 2 1

b4

 

 

 

1 2

 

 

 

 

 

 

 

 

 

 

 

 

1 2 3

1 2 3 4

 

 

 

 

 

 

a4 4a3b 6a2b2 4ab3 b4 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

n

 

 

Рассмотрим числовую последовательность

 

xn

 

 

 

где

 

1

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1,2,3,... Заметим, что x1 2; x2

2,25; x3 2,44...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

n

 

 

 

 

 

Теорема. Числовая последовательность xn

 

 

 

при неограни-

1

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ченном возрастании n имеет предел, заключенный между 2 и 3. Доказательство. По формуле бинома Ньютона представим общий член

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

xn

1 n

1

 

n n

1

1

...

n n 1 n n 1

 

1

n

1 2

 

 

n2

1 2 ... n

 

nn

 

 

 

 

 

 

или

22

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

xn

 

 

 

1

1

 

1

1

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

2

n 1

 

1 1

 

 

1

 

 

 

 

1

 

 

1

 

 

 

 

 

 

...

 

 

 

 

 

1

 

 

1

 

... 1

 

. (4.1)

 

 

 

 

n

 

 

 

 

 

n!

n

 

n

 

 

 

 

2!

n

 

3!

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

Если рассмотреть член

xn 1, т.е. увеличить n

на единицу, то добавится

положительное слагаемое с номером

 

n 2

 

 

и каждый множитель

вида

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что xn 1

xn

n.

1

 

 

заменится большим

1

 

 

 

 

 

 

 

 

 

 

 

. Отсюда следует,

 

 

n

 

xn

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак,

 

возрастающая

 

 

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

Покажем,

что

она

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

ограничена.

 

Заменим

каждую скобку

вида

 

 

1

 

1 в равенстве

(4.1)

 

 

 

 

единицей. Получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

2

1

 

 

1

 

 

...

1

.

 

 

 

 

 

 

(4.2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

2!

3!

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечая, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

1

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3!

 

 

 

2 3

22

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

1

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 3 4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4!

 

 

 

 

 

 

23

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n! 2 3 4 ... n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

неравенство (4.2) перепишем в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn 2

1

 

1

 

...

 

1

 

 

.

 

 

 

 

 

(4.3)

 

 

 

 

 

 

 

 

 

 

 

 

22

2n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подчеркнутые слагаемые неравенства (4.3) образуют геометрическую прогрессию, сумма которой не превосходит единицы. Действительно.

a

1

 

1

,

q

1

; S

n

 

a1 1 qn

1

1

1.

 

 

1 q

2n

 

2

 

2

 

 

 

 

Неравенство (4.3) усилится, если заменить подчеркнутую сумму единицей. Итак, xn 3.

 

 

1

n

 

 

 

 

 

Так как последовательность xn

1

 

 

 

возрастающая и ограни-

 

 

 

n

 

 

 

 

 

 

 

 

ченная, то по теореме 6 раздела 4.10 она имеет предел. Из доказательства теоремы следует, что этот предел заключен между 2 и 3.

23

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

 

 

1

n

 

 

 

Определение. Предел числовой последовательности xn

1

 

 

 

 

 

 

n

 

 

 

 

 

 

при неограниченном возрастании n называется числом e. Итак,

 

1

n

е.

(4.4)

lim 1

 

 

 

n

n

 

 

Число e иррациональное. Можно показать, что e = 2,718281828459…

4.13. ПРЕДЕЛ ФУНКЦИИ

Пусть функция f (x) определена в некоторой окрестности точки x x0 ,

за исключением, быть может, самой точки x x0 .

Возьмем в области определения функции последовательность точек,

отличных от точки x x0 ,

 

x1 ,x2 ,x3 ,...,xn ...,

(4.5)

сходящуюся к х0. Значения функции в точках этой последовательности также образуют последовательность

f x1 , f x2 , f x3 ,..., f xn ... ,

(4.6)

и можно ставить вопрос о ее сходимости, т.е. о существовании ее предела. Определение 1. Число A называется пределом функции f (x) в точке

x x0 (или при x x0 ), если для любой сходящейся к x0 последовательно-

сти (4.5) значений аргумента

x , отличных от x0 , соответствующая последо-

вательность (4.6) значений функции сходится к числу A.

Символически это записывается в виде lim f (x) A.

 

 

 

 

 

 

x x0

 

 

 

f x в точке

x x0

Замечание 1. Функция

x0 может иметь только один пре-

дел, что следует из единственности предела последовательности f xn .

Пример 4.6. Найти предел функции

f x

x2 1

при х → 1, т.е. х0 = 1.

 

 

 

 

 

 

 

 

 

x 1

Решение. Для

x 1

f x

x2 1

x 1

 

, а так как по определению

 

 

предела при x 1

 

 

 

x 1

 

 

 

 

не принимается во внимание значение функции в точке

x0 1, то

 

 

 

 

 

 

 

 

 

 

lim

x2 1

lim x 1 lim x

 

1 2 .

 

 

 

 

x 1 x 1

x 1

x 1

n

24

 

 

 

 

 

 

 

 

 

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

Определение 2. Число A1 ( A2 ) называется левосторонним (правосто-

ронним) пределом функции f (x) в точке x x0 , если для любой сходящейся к x0 последовательности (4.5) значений аргумента, элементы которой xn

меньше (больше) x0 , соответствующая последовательность (4.6) значений функции сходится к числу A1 (или A2 ).

Символическая запись

lim f x

lim

f x A ,

lim f x

lim

f x A .

x x0

x x0 0

1

x x0

x x0 0

2

x x0

 

 

x x0

 

 

Левосторонний и правосторонний пределы функции f (x) при x x0 обозначаются соответственно f x0 0 и f x0 0 .

Замечание 2. Для существования предела функции в точке x0 необходимо и достаточно существование и равенство односторонних пределов, т.е.

lim

f x

lim f x A .

x x0 0

 

x x0 0

Определение 3. Число

A называется пределом функции f (x) при

x , если для любой бесконечно большой последовательности (4.5) значений аргумента x, соответствующая последовательность (4.6) значений функции сходится к числу A.

Символическая запись lim f (x) A.

x

Определение 4. Число A1 ( A2 ) называется пределом функции f (x) при x ( x ), если для любой бесконечно большой последовательно-

сти (4.5) значений аргумента x , элементы которой xn положительны (отрицательны), соответствующая последовательность (4.6) значений функции

сходится к числу A1( A2 ).

f (x) A ;

 

f (x) A .

Символическая запись lim

lim

x

1

x

2

4.14. ТЕОРЕМЫ О ПРЕДЕЛАХ ФУНКЦИЙ

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

Теорема 1. Пусть функции f x и

g x имеют в точке x x0 пределы

A и B соответственно. Тогда функции

f x g x , f x g x и f x / g x

при

B 0 имеют в точке

x x0 пределы, равные соответственно (А + В),

A

B и A/B .

 

Доказательство. Пусть xn ( xn 0 ) – произвольная последователь-

ность значений аргумента функций f x и g x , сходящихся к числу x0 . Со-

25

СПБГУАП группа 4736 Контакты https://new.guap.ru/i03/contacts

ответствующие последовательности f xn и g xn значений этих функций

имеют пределы

A и B. В силу теорем 7-9 раздела 4.10 последовательности

f xn g xn ,

f xn g xn

и

f xn /g xn (при B 0)

имеют пределы,

равные соответственно A B , A B и A/B .

 

 

 

По определению предела функции можно записать

 

 

 

 

lim f x g x A B lim

f x lim

g x ;

 

 

x x0

 

 

 

 

 

 

 

 

x x0

x x0

 

 

 

 

lim (f x g x ) A B

lim

f x lim

g x ;

 

 

x x0

 

 

 

 

 

 

 

 

 

x x0

x x0

 

 

 

 

 

 

f x

 

A

 

 

lim f x

 

 

 

 

 

lim

 

 

 

 

x x0

 

 

(при B 0).

 

 

 

 

 

 

lim g x

 

 

 

x x0

 

g x

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x0

 

 

 

 

 

 

Теорема 2. Пусть: 1) функции

f x , g x и r x

определены в некото-

рой окрестности точки x0 , за исключением, быть может, самой точки x0 ;

2) функции f x

и g x

имеют в точке x0 предел,

равный A, т.е.

lim f x A ,

lim g x A ; 3)

выполняются неравенства

f x r x g x .

x x0

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда lim r x A.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x0

 

Пусть xn

 

 

 

 

 

 

 

Доказательство.

( xn 0)

– произвольная последователь-

ность значений аргумента функций

f x

и

g x , сходящаяся к x0 . Соответ-

ствующие последовательности

f xn

и

g xn значений

этих функций

имеют предел, равный A , т.е.

f xn A

и g xn A при

n .

Используя условие 3 теоремы, можно записать f xn r xn g xn . От-

сюда по теореме 5 раздела 4.10 следует, что r xn A при n .

Согласно определению предела имеем lim r x A .

x x0

Замечание. Теоремы 1 и 2 верны также при х → ∞, х → –∞ или х → +∞

4.15. БЕСКОНЕЧНО МАЛЫЕ И БЕСКОНЕЧНО БОЛЬШИЕ ФУНКЦИИ

Определение 1. Функция α x называется бесконечно малой функцией

(или просто бесконечно малой) в точке x x0 (или при x x0 ), если для любой сходящейся к x0 последовательности xn значений аргумента x ,

отличных от x0 , соответствующая последовательность α xn значений функции является бесконечно малой.

В соответствии с замечанием 3 раздела 4.9 можно записать

lim α x 0.

x x0

26