
Математика-2-й семестр (курс лекций)
..pdfТеорема 1.10. Всякая функция, имеющая при x x0 конечный предел, ограничена в некоторой проколотой
|
окрестности точки x0 . |
|
|
|
|
|
Доказательство проведем для скалярной функции f |
. Пусть |
|||||
lim |
f (x) A и A – конечно. Тогда для всякого 0 сущест- |
|||||
x x0 |
|
|
|
|
|
|
вует |
проколотая окрестность V П (x ) такая, что для всякого |
|||||
|
|
0 |
|
|
|
|
x V |
П (x ) выполнено неравенство |
|
f (x) A |
|
, или, |
что то |
|
|
|||||
|
0 |
|
|
|
|
|
же самое, A f (x) A . Последнее и означает утверждение теоремы.
Теорема |
1.11. |
|
|
Пусть f , : |
X Rn Y Rk |
и |
||||||||||||||||||
lim f (x) A , |
lim (x) B |
( A |
и |
B |
конечны). |
Тогда |
||||||||||||||||||
x x0 |
|
|
x x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
lim f |
(x) lim f (x) (x) |
существует |
и |
равен |
||||||||||||||||||||
x x0 |
|
|
x x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
A B. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. |
Докажем |
|
|
|
теорему |
для |
|
случая |
||||||||||||||||
f , : X Rn Y R , т.е. |
для скалярнозначных функций f |
и |
||||||||||||||||||||||
. Так как |
lim |
f (x) A , |
то для всякого 0 существует ок- |
|||||||||||||||||||||
|
x x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рестность V |
П (x ) точки x |
0 |
такая, что для всех x из этой окре- |
|||||||||||||||||||||
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
стности |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) A |
|
|
|
|
. |
|
|
|
|
(1.14) |
||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Далее, так как B lim (x) , то для всякого 0 существует |
||||||||||||||||||||||||
|
|
|
x x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
окрестность |
V П (x ) |
точки |
x |
0 |
такая, |
что для всех |
x из этой |
|||||||||||||||||
|
2 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
окрестности |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x) B |
|
|
. |
|
|
|
|
(1.15) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Положим V П (x0 ) V1П (x0 ) V2П (x0 ) . Тогда для всякого x из V П (x0 ) одновременно выполнены неравенства (1.14) и (1.15) и, следовательно, неравенство
61

|
|
|
|
|
|
|
|
|
f (x) (x) (A B) |
|
|
|
|
|
|
|
f (x) A (x) B |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
f (x) A |
|
|
|
(x) B |
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
что и доказывает утверждение теоремы. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
Теорема |
1.12. |
|
|
|
|
Пусть |
|
|
|
|
f , : X Rn Y R |
|
и |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
lim |
f (x) A , lim (x) B ( A и B конечны). Тогда су- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
x x0 |
|
|
|
|
|
|
x x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
ществуют пределы |
|
lim f (x) (x) и |
lim f (x) (x) (при |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x x0 |
|
|
|
|
|
|
|
|
|
|
|
x x0 |
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
B 0 ), равные соответственно |
A B ( lim f (x) (x) A B ) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x x0 |
|
|
|||||||||||||
|
|
|
и A B ( lim |
f (x) (x) A B ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
x x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Справедливость теоремы следует из цепочки соотношений |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
AB f (x) (x) |
|
|
|
|
|
AB A (x) A (x) f (x) (x) |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
B (x) |
|
|
|
|
(x) |
|
|
|
A f (x) |
|
, |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
|
f (x) |
|
|
|
A (x) B f (x) |
|
|
|
A (x) A B A B B f (x) |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B |
|
(x) |
|
|
|
|
B (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B |
|
(x) |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
(x) B |
|
|
|
B |
|
|
|
A f (x) |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B |
|
|
|
|
(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и ограниченности функции, имеющей конечный предел, в окрестности предельной точки. Дальнейшее оформление доказательства предлагается проделать самостоятельно.
Доказанные теоремы о пределах можно использовать при практическом отыскании предела.
Пример 1. Найдем lim n2 3n 2 . Поделив числитель и n 1 2n 2n2
знаменатель дроби на n2 , получим
|
1 |
3 |
|
2 |
|
|
1 |
|
|||||
|
n |
|
|
|
|||||||||
lim |
|
|
|
|
|
|
n |
2 |
|
|
, |
||
|
|
|
|
|
|
|
|
|
|
||||
|
1 |
|
2 |
|
2 |
2 |
|||||||
n |
|
|
|
|
|||||||||
|
n |
|
|
||||||||||
|
|
n |
2 |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
так как
62

|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
lim |
|
|
|
|
|
|
|
|
2 lim |
|
|
|
|
|
|
|
lim |
|
|
|
|
|
lim |
|
2 0 0 2 2 0 |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
n n2 |
|
|
|
n |
|
|
|
|
|
n n2 |
|
|
n n |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
по |
теореме |
|
|
о |
пределе |
|
суммы. |
|
|
|
По |
|
этой |
|
же |
теореме |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
3 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
lim |
1 |
|
|
|
|
|
|
|
|
|
|
1. |
По теореме о пределе дроби получаем, |
что |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
n |
|
|
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
n |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
данный предел равен |
1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пример 2. |
|
|
lim |
|
n |
2 |
|
|
n 1 |
|
|
n |
2 |
|
4n 2 |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
n2 n 1 n2 4n 2 |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
n2 n 1 n2 4n 2 |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3n 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
n2 n 1 n2 4n 2 |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
4 |
|
2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
n |
2 |
|
n |
n |
2 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Мы использовали здесь теоремы о пределе суммы, дроби, а |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
также |
|
|
|
недоказанное |
|
|
|
|
еще |
|
|
|
|
утверждение |
|
|
|
о |
том, |
что |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
lim |
|
a |
|
|
|
|
|
lim a |
, |
|
которое будет доказано позднее. |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
n |
n |
|
|
|
|
|
n |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Пример 3. |
|
lim |
|
x3 |
1 |
lim |
|
(x 1)( x2 x 1) |
. |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x 1)( x 1) |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x 1 x2 |
1 |
|
|
|
x 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
Так как в определении предела рассматриваются проколо- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
тые окрестности предельной точки, то x 1, |
|
а потому x 1 0 и |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
можно |
|
последнюю |
|
дробь |
|
сократить на |
|
|
|
x 1 |
и |
получить |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
x3 1 |
|
|
|
|
|
|
|
x2 x 1 |
|
|
|
|
|
lim (x2 x 1) |
|
|
3 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
lim |
lim |
|
x 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. Равенства |
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
x 1 x2 1 |
|
x 1 |
|
|
x 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
lim (x 1) |
|
|
2 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
lim (x 2 x 1) 3 |
и |
|
lim (x 1) 2 |
|
нетрудно установить исходя |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
x 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
из определения. Предлагается сделать это самостоятельно.
63

1.5.6. Теоремы о пределах в неравенствах
Всюду в этом параграфе f |
– скалярнозначная функция. |
||||||||||
|
|
Теорема 1.13. Пусть |
lim f (x) A , lim (x) A и в |
||||||||
|
|
|
|
x x0 |
|
|
|
x x0 |
|||
|
некоторой окрестности точки x выполнено неравенство |
||||||||||
|
|
f (x) (x) (x). |
|
|
(1.16) |
||||||
Тогда |
lim (x) существует и равен A . |
|
|
|
|
||||||
|
|
x x0 |
|
|
|
|
|
|
|
|
|
Доказательство. Пусть 0 – произвольное число. Так как |
|||||||||||
lim |
f (x) A , то по определению предела для этого найдет- |
||||||||||
x x0 |
|
|
|
|
|
|
|
|
|
|
|
ся проколотая окрестность V П (x ) точки x |
0 |
такая, что для всех |
|||||||||
|
|
1 |
|
0 |
|
|
|
|
|
|
|
x из V П |
|
f (x) A |
|
, или, что то |
|||||||
(x ) выполнено неравенство |
|
|
|||||||||
|
1 |
0 |
|
|
|
|
|
|
|
|
|
же самое, |
|
|
|
|
|
|
|
|
|
||
|
|
A f (x) A . |
|
(1.17) |
|||||||
Аналогично, так как lim (x) A , для того же существует |
|||||||||||
|
|
x x0 |
|
|
|
|
|
|
|
|
|
проколотая окрестность V П (x ) |
точки |
x |
0 |
|
такая, что для всех |
||||||
|
|
2 |
0 |
|
|
|
|
|
|
|
|
x V П (x ) выполнено неравенство |
|
|
|
|
|
|
|||||
2 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
A (x) A . |
|
(1.18) |
Пусть V3 (x0 ) – окрестность точки x0 , в которой выполнено неравенство (1.16). Положим V П (x0 ) V1П (x0 ) V2П (x0 ) V3(x0 ) .
Заметим, что V П (x0 ) – проколотая окрестность точки x0 и
для каждой точки x V П (x0 ) выполнены одновременно нера-
венства (1.16) - (1.18). Тогда можем записать
A f (x) (x) (x) A ,
Отсюда A (x) A . Последнее неравенство эквивалентно неравенству (x) A , которое выполняется для всех x из V П (x0 ) . Теорема доказана.
64
Теорема 1.14. Пусть в некоторой окрестности точки
x0 выполнено неравенство |
|
f (x) B. |
(1.19) |
Тогда, если существует конечный предел |
lim f (x) A , |
|
x x0 |
то A B . |
|
Доказательство проведем методом от противного. Предположим, что условия теоремы выполнены и, тем не менее,
|
|
|
|
lim f (x) A B . |
|
|
|||
|
|
|
|
x x0 |
|
|
|
|
|
Положим |
A B . Тогда, |
по определению предела, |
для |
||||||
этого |
|
найдется |
окрестность |
V П (x ) |
|
такая, что для |
всех |
||
|
|
|
|
|
1 |
0 |
|
|
|
x V |
П (x ) выполнено неравенство |
|
|
|
|
||||
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
A f (x) A . |
|
|
(1.20) |
||
Пусть V П (x ) |
– окрестность точки x |
0 |
, в которой выполне- |
||||||
|
|
2 |
0 |
|
|
|
|
|
но неравенство (1.19) и V П (x0 ) V1П (x0 ) V2П (x0 ) . Тогда для всякого x V П (x0 ) выполнено неравенство (1.20) и, следова-
тельно,
f (x) A A (A B) B .
Полученное противоречие с неравенством (1.19) доказывает теорему.
Теорема 1.15. Пусть в некоторой окрестности точки
x0 выполнено неравенство
f (x) (x) |
|
и пусть существуют lim f (x) A , |
lim (x) |
x x0 |
x x0 |
A B . |
|
Доказательство. Допустим противное, т.е., что нении условий теоремы, тем не менее, A B.
|
A B |
. Так как |
lim f (x) A , то для |
|
A B |
|
|
||||
2 |
|
x x0 |
2 |
||
|
|
|
|
|
(1.21)
B . Тогда
при выполПоложим
существует
окрестность V П (x ) точки x |
0 |
такая, что для всех |
x V П (x ) |
||
1 |
0 |
|
1 |
0 |
|
|
A f (x) A . |
|
(1.22) |
65

Аналогично, так как |
B lim (x) , |
то для |
A B |
сущест- |
||||||||||||||
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x x0 |
|
|
|
|
|
2 |
|
|
вует |
окрестность |
V П (x ) |
точки x |
0 |
такая, |
что |
для всех |
|||||||||||
|
|
|
|
|
|
|
2 |
0 |
|
|
|
|
|
|
|
|
|
|
x V П (x ) справедливо |
|
|
|
|
|
|
|
|
|
|
|
|||||||
2 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B (x) B . |
|
|
|
|
(1.23) |
||||||
Пусть, |
|
далее, |
V П (x ) |
– |
окрестность точки |
x |
0 |
, |
в которой |
|||||||||
|
|
|
|
|
|
3 |
0 |
|
|
|
|
|
|
|
|
|
|
|
выполнено |
|
неравенство |
|
(1.21). |
|
Положим |
|
|
V П (x ) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
V П (x ) V П (x ) V П |
(x ) . Тогда |
V П (x ) |
– |
|
окрестность |
|||||||||||||
1 |
0 |
|
2 |
0 |
|
3 |
|
0 |
|
|
0 |
|
|
|
|
|
|
|
точки |
x |
0 |
и для всех |
x V |
П (x ) выполнены одновременно не- |
|||||||||||||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
равенства (1.21) – (1.23). Далее, из неравенств (1.22), (1.23),
имеем для всех x V П (x ) |
|
|
0 |
|
|
f (x) A A A B A B B A B B (x). |
||
2 |
2 |
2 |
Полученное противоречие с неравенством (1.21) доказывает теорему.
Заметим, что теорема 1.14 есть частный случай теоремы 1.15 при (x) B .
Заметим также, что если в теоремах 1.14 и 1.15 вместо неравенств (1.19) и (1.21) поставить строгие неравенства f (x) B и
f (x) (x) соответственно, то в заключениях теорем мы всё
равно должны оставить нестрогие неравенства A B .
Теорема 1.16. Всякая возрастающая ограниченная сверху числовая последовательность имеет предел.
Теорема 1.16(а). Всякая убывающая ограниченная снизу числовая последовательность имеет предел.
Доказывать эти теоремы не будем.
1.6. Непрерывность функции
Происходящие в природе процессы и явления можно разделить на меняющиеся плавно (непрерывно) и переходящие из одного состояния в другое скачкообразно. Уточнению и форма-
66
лизации интуитивно ясных понятий непрерывности и разрыва посвящен данный подраздел.
1.6.1 Основные понятия и теоремы
Определение 1. Функция f называется непрерывной в
точке x0 , если f |
определена в этой точке и |
lim f (x) f (x0 ). Функция, непрерывная в каждой точке
x x0
некоторой области, называется непрерывной в этой области.
Вспоминая определение предела с помощью окрестностей и неравенств, определение непрерывности функции в точке можно записать в следующем виде.
Определение 2. Функция f называется непрерывной в точке x0 , если f определена в этой точке и для всякой окрестности U ( f (x0 )) точки f (x0 ) существует окрестность V (x0 ) точки x0 такая, что для всех x V (x0 ) имеет место включение f (x) U ( f (x0 )) , или, что то же самое, если для всякой окресности U ( f (x0 )) точки f (x0 ) множество решений включения f (x) U ( f (x0 )) или некоторая его часть содержит окрестность точки x0 .
На языке неравенств это же определение для скалярной функции одной переменной имеет следующий вид.
Определение 3. Функция f называется непрерывной в точке x0 , если она определена в этой точке и для всякого0 существует 0 такое, что для всех x , удовлетво-
ряющих неравенству |
|
x x0 |
|
, выполнено неравенство |
|
|
|
f (x) f (x0 ) |
|
, или, что то же самое, |
если для всякого |
|||
|
|
||||||
0 множество решений неравенства |
|
f (x) f (x0 ) |
|
|
|||
|
|
или некоторая его часть содержит окрестность точки x0 .
Аналогично формулируется с помощью неравенств определение непрерывности и для вектор-функций.
67

Величину x x x0 называют приращением аргумента, аf f (x) f (x0 ) - приращением функции при переходе из точки x0 в точку x.
Определение 3 может быть сформулировано и на языке приращений.
Определение 4. Функция f называется непрерывной в точке x0 , если она определена в этой точке и из условияx 0 следует, что f 0.
При переходе в определениях 3 и 4 от модулей элементовx и f к их нормам получаем сразу же обобщение понятия
непрерывности на общий случай отображения нормированных пространств, в частности из Rn в Rk , даваемое с помощью шаровых окрестностей. Напомним, что x x0
есть расстояние между точками x и x0 , которое иногда обозначают (x, x0 ) , а
f (x) f (x0)
– расстояние между образами этих точек. Тогда из определения 4 следует, что для непрерывных функций из
условия (x, x0 ) 0 следует, |
что ( f (x), f (x0 )) 0. |
Используя определение односторонних окрестностей для |
|
функции f : X R Y R, |
можно ввести понятие одно- |
сторонней непрерывности.
Определение 5. Пусть скалярная функция скалярного
аргумента |
f : X R Y R определена в правой полу- |
|||||||
окрестности x0 , x0 |
точки |
x0 . Функция f (x) называ- |
||||||
ется |
непрерывной |
справа |
в |
точке |
x0 , |
если |
||
f (x0 |
0) |
lim |
f (x) f (x0 ) . |
|
|
|
||
|
|
x x0 0 |
|
|
|
|
|
|
Определение 5а. Пусть скалярная функция скалярного |
||||||||
аргумента |
f : X R Y R |
определена в левой полу- |
||||||
окрестности x0 |
, x0 |
точки |
x0 . Функция f (x) называ- |
|||||
ется |
непрерывной |
слева |
в |
точке |
x0 , |
если |
||
f (x0 |
0) |
lim |
f (x) f (x0 ) . |
|
|
|
||
|
|
x x0 0 |
|
|
|
|
|
68
Заметим, что в определениях 5 и 5а функция f (x) предполагается определённой в точке x0 .
Непосредственно из определения непрерывности и теоремы 1.8 следует справедливость следующего утверждения.
скалярного аргумента |
f (x) |
была непрерывна в точке x0 , |
||
необходимо и достаточно, чтобы |
она была непрерывна |
|||
справа и слева в этой точке, то есть существовали одно- |
||||
сторонние пределы |
lim |
f (x) и |
lim f (x) |
и для них |
Теорема 1.17. Для того, чтобы скалярная |
функция |
|
|
|
x x0 0 |
|
|
|
|
x x0 0 |
|
|
|
|
|
|
|
|||||||
выполнялись соотношения |
lim |
f (x) |
|
lim |
f (x) f (x0 ) . |
|||||||||||||||||
|
|
|
|
x |
x0 |
0 |
|
|
|
|
x x0 |
0 |
|
|
|
|
|
|
|
|||
|
|
Теорема 1.18. Если функции |
f , : X Rn Y R |
|||||||||||||||||||
непрерывны |
в точке |
x0 , |
|
то |
|
функции |
|
f |
, |
|
f |
, |
||||||||||
|
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( (x0 ) 0 ) также непрерывны в точке x0 . |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||
Справедливость теоремы следует из определения непрерыв- |
||||||||||||||||||||||
ности и теорем о пределе суммы, произведения и дроби. |
|
|
|
|||||||||||||||||||
|
|
Теорема |
1.19. |
Для |
|
|
того, |
|
|
чтобы |
|
функция |
||||||||||
|
|
|
|
|
|
|
f (x) |
|
|
f ( 1, 2 |
,..., n ) |
|
||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
f : X Rn Y Rk , |
f (x) |
f2 |
(x) |
|
f |
2 |
( 1, 2 |
,..., n ) |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
........ |
|
.......... .......... .... |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
,..., |
n |
) |
|
|
|
|
|
|
|
|
fk (x) |
|
fk |
( , |
|
|
|
||||||||||
была непрерывна в точке x |
( 1 |
, 2 |
,..., n ) , |
необходимо и |
||||||||||||||||||
|
|
|
|
0 |
|
|
0 |
0 |
|
|
|
0 |
|
|
|
|
|
|
|
|
||
достаточно, |
чтобы |
все |
|
|
координатные |
|
|
функции |
fi ( 1, 2 ,..., n ) были непрерывны в этой точке.
Справедливость теоремы следует из определения непрерывности и теоремы 1.7.
Приведем некоторые примеры.
Пример 1. Функция f (x) x2 непрерывна в каждой точке числовой оси. Действительно, пусть x0 – произвольная точка на числовой прямой. Тогда f (x0 ) x02 и для доказательства непре-
69

рывности |
|
нам достаточно показать, |
|
что |
lim x2 x2. Пусть |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x x0 |
|
|
|
|
0 |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
0 – произвольное число. Рассмотрим неравенство |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 x |
2 |
|
. |
|
|
|
|
|
|
|
(1.24) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Его решение состоит из интервалов |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
2 |
|
|
, |
|
2 |
|
|
|
|
|
2 |
|
, |
2 |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x0 |
|
|
x0 |
|
, |
x0 |
|
x0 |
. |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Действительно, неравенство (1.24) эквивалентно неравенст- |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
ву |
|
x2 |
x2 |
x2 |
|
, откуда имеем |
|
|
|
x2 x |
x2 |
или |
||||||||||||||||||||||||||||||||
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
x2 |
x |
|
x2 |
|
. |
Если x |
0 |
|
положительно, |
то интервал |
||||||||||||||||||||||||||||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
2 |
, |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x0 , |
а для от- |
||||||||||||||||
|
x0 |
|
|
x0 |
является окрестностью точки |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
рицательного |
|
|
x0 |
|
окрестностью |
|
|
точки |
x0 |
|
будет |
интервал |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
2 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
x0 , |
|
x0 |
что и доказывает непрерывность функции |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
f (x) x2 |
в каждой точке числовой оси, т.к. для произвольного |
||||||||||||||||||||||||||||||||||||||||||
0 мы можем указать окрестность точки |
x0 , |
для всякого x |
||||||||||||||||||||||||||||||||||||||||||
из которой выполнено неравенство (1.24). |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
Пример 2. Функция |
|
f (x) ax |
непрерывна на всей числовой |
||||||||||||||||||||||||||||||||||||||
оси. Действительно, |
|
|
пусть x0 |
– |
произвольная точка числовой |
|||||||||||||||||||||||||||||||||||||||
прямой. |
Тогда |
f (x |
|
) ax0 . |
Пусть |
|
|
0 |
– произвольно и |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ax ax0 |
. Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ax0 ax ax0 |
|
|
|
|
|
|
|
|
|
|
||||||||||||
или, что то же самое, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
log |
a |
(ax0 |
) x log |
a |
(ax0 |
) , |
|
|
|
|
(1.25) |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
если a 1, и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
log |
a |
(ax0 |
) x log |
a |
(ax0 |
) |
|
|
|
|
(1.26) |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
при 0 a 1. Интервал (1.25) является окрестностью точки |
x0 |
|||||||||||||||||||||||||||||||||||||||||||
при a 1, а |
интервал |
(1.26) |
|
есть окрестность |
точки x0 |
при |
70