Математика-2-й семестр (курс лекций)
..pdf
|
|
|
M |
( M 0 0 : 0 |
|
x x0 |
|
|
||
ся неравенство |
f (x) |
|
|
|||||||
|
|
|
|
|
|
|
|
|||
|
f (x) |
M ). |
|
|
|
|
|
|
||
Сформулировать определения на языке неравенств для слу- |
||||||||||
чаев x0 , A – конечно и x0 |
, |
A предлагается само- |
||||||||
стоятельно. |
|
|
|
|
|
|
||||
Пусть теперь f – скалярная функция многих переменных, |
||||||||||
x X Rn – конечная точка, A R |
– конечное число. Тогда с |
|||||||||
0 |
|
|
|
|
|
|
|
|
|
|
помощью неравенств на основе окрестностей П 1 2 ... n (x0 ) соот-
ветствующее определение предела приобретает нижеследующий вид.
Определение 5. Число A называется пределом функ-
ции f |
при x x0 , если для всякого |
0 существуют |
|||||||
1 0, |
2 0,..., n 0 |
такие, |
что |
|
как |
только |
|||
|
i0 |
|
|
|
|
|
|||
0 |
i |
i , |
i 1,2,..., n, тотчас |
f (x) A |
. |
|
|||
Сформулировать |
определения для |
остальных возможных |
здесь случаев, а также на основе окрестностей U (x0 ) , предлагается самостоятельно.
Пространство Rn с введёнными выше понятиями окрестности точки при всяком n обладает интересным свойством выражающемся в том, что для любых двух различных точек этого пространства существуют непересекающиеся окрестности этих точек. Пространства с указанным свойством, называются отде-
лимыми. Таким образом, Rn с системой окрестностей построенной на основе шара или параллепипеда – отделимое про-
странство. Свойство отделимости пространства Rn существенно используется при доказательстве следующей, весьма естественной, на первый взгляд очевидной и вместе с тем очень важной теоремы.
Теорема 1.4. Пусть f : X Y и Y – подмножество отделимого пространства. Если существует предел
lim f (x) , то этот предел единственный.
x x0
41
|
|
Доказательство. Предположим, что при |
x x0 |
функция |
||||||||||||||||
f |
|
имеет два предела |
A1 и |
A2 , причем |
A1 A2 . Это означает, |
|||||||||||||||
что для всякой окрестности U ( A1) |
точки |
A1 |
существует проко- |
|||||||||||||||||
лотая окрестность V П |
(x ) |
точки |
x |
0 |
такая, |
что для всех |
x из |
|||||||||||||
|
|
|
|
|
|
|
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
этой окрестности ( x V П (x ) ) имеет место включение |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) U ( A1) . |
|
|
|
|
|
|
|
(1.5) |
||||
С другой стороны, для всякой окрестности |
U ( A2 ) точки A2 |
|||||||||||||||||||
существует |
проколотая окрестность |
V П |
(x ) |
точки |
|
x |
0 |
такая, |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
0 |
|
|
|
|
|
|
|
что для всех x из этой окрестности ( x V |
П (x ) ) имеет место |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
0 |
|
|
|
|
|
|
включение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
f (x) U ( A2 ) . |
|
|
|
|
|
|
|
(1.6) |
||||
Пусть U ( A1) и U ( A2 ) |
– непересекающиеся окрестности точек |
|||||||||||||||||||
A |
и |
A |
; V П (x ) , |
V П (x ) |
– окрестности точки x |
0 |
, для кото- |
|||||||||||||
|
1 |
|
2 |
1 |
0 |
2 |
0 |
|
|
|
|
|
|
|
|
|
|
|
||
рых |
выполнены |
включения |
(1.5) |
и |
|
(1.6); |
|
положим |
||||||||||||
V П (x ) V |
П (x ) V П (x ) . Тогда V |
П (x ) – окрестность точки |
||||||||||||||||||
|
|
|
0 |
1 |
|
0 |
2 |
0 |
|
|
|
0 |
|
|
|
|
|
|
|
|
x |
0 |
такая, что для всякого x |
из V П (x ) выполнены как включе- |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
ние (1.5), так и включение (1.6), что противоречит выбору окрестностей U ( A1) и U ( A2 ) . Полученное противоречие доказывает
теорему.
Имеется много различных способов практического отыскания предела. Некоторые из них мы изучим в нашем курсе. Из теоремы 1.4 следует, что значение предела в отделимом пространстве не может зависеть от способа его отыскания. Кроме того, если при разных способах нахождения предела получаем
разный результат, то предел не существует.
Замечание. Пусть f : X Y и U (A) – некоторая окрестность точки A . Рассмотрим включение f (x) U ( A) . Его решением является множество {x X : f (x) U ( A)} . Если это решение или некоторая его часть содержит проколотую окрестность
точки x0 |
, то A lim f (x) , |
если же решение этого включения |
|
x x0 |
|
не содержит проколотой |
окрестности точки x0 , то |
42
A |
lim f (x) . |
Для систем окрестностей, задаваемых неравен- |
|||||
|
x x0 |
|
|
|
f (x) U ( A) эквивалентно вы- |
||
ствами, выполнение включения |
|||||||
|
|
|
|
||||
полнению неравенства |
|
f (x) A |
. Если решение этого нера- |
||||
венства или некоторая его часть содержит проколотую окрест- |
|||||||
ность точки x0 , то A |
|
lim f (x) , если же решение неравенства |
|||||
|
|
|
x x0 |
|
|
|
|
не |
содержит |
проколотую |
окрестности |
точки |
x0 , |
то A lim f (x) .
x x0 |
|
Сделанное замечание позволяет сформулировать эквива- |
|
лентное исходному определение предела. |
|
Определение 6. Будем говорить, что |
A lim f (x) , если |
|
x x0 |
для всякой окрестности U (A) точки |
A множество точек |
{x X : f (x) U ( A)} , являющееся решением включения |
|
f (x) U ( A) , содержит проколотую |
окрестность точки |
x0 .
Вспоминая задание окрестности неравенствами, получаем в
случае, когда |
A – конечная точка, определение предела на язы- |
|||
ке неравенств. |
|
|
|
|
|
Определение 7. Будем говорить, что A lim f (x) , ес- |
|||
|
|
всякого 0 |
x x0 |
|
ли для |
множество решений неравенства |
|||
|
f (x) A |
содержит |
проколотую окрестность точки |
|
|
|
|
|
|
x0 .
|
Пример 1. Рассмотрим неравенство |
x 2 9 |
. Его решени- |
||||||||||||||
ем, при |
любом |
0 , |
|
является |
объединение |
интервалов |
|||||||||||
|
|
|
|
|
|
|
|
||||||||||
|
9 x |
9 |
и |
|
9 x |
9 . Первый из них яв- |
|||||||||||
ляется окрестностью точки |
x |
0 |
3 и поэтому |
lim x 2 |
9 , второй |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x 3 |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
есть окрестность точки |
x |
0 |
3 и поэтому |
lim x2 |
9 . С дру- |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x 3 |
|
|||
гой стороны, при 5 , |
|
|
|
|
|
|
|
|
|
||||||||
это решение не содержит точку x0 2 и |
|||||||||||||||||
поэтому не может являться окрестностью точки x0 2 . Следо- |
|||||||||||||||||
вательно, |
lim x 2 9 . |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
x 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
43
Пример 2. Докажем, что lim sin x 0. |
Пусть 0 – произ- |
x 0 |
|
вольно. Позже (в п. 1.7.1) будет показано, что sin x x . Поэто-
|
|
|
|
sin x 0 |
|
|
|
|
|
|
|
, со- |
||||||||||||||
му, множество решений неравенства |
|
sin x |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
, являю- |
|||||||||||||||||
держит в себе множество решений неравенства |
x |
|
|
|||||||||||||||||||||||
щееся интервалом x , содержащим точку |
|
x 0 и, сле- |
||||||||||||||||||||||||
довательно, |
окрестностью точки |
x 0 . |
Поэтому, |
|
по определе- |
|||||||||||||||||||||
нию 7, |
lim sin x 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
x 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пример 3. Покажем, что lim cos x 1 . Так как |
|
|
|
|
|
|||||||||||||||||||||
1 cos x |
||||||||||||||||||||||||||
2 sin |
2 |
|
x |
|
x2 |
x 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 cos x |
|
|
||||
|
, то множество решений неравенства |
|
|
|||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||
|
2 |
2 |
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
. Реше- |
|||||||||||
содержит в себе множество решений неравенства |
|
|||||||||||||||||||||||||
2 |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
||||||||||||||||||||||
нием последнего является интервал |
x |
|
|
2 , содержащий точ- |
||||||||||||||||||||||
ку x 0 и, следовательно, являющийся |
окрестностью точки |
|||||||||||||||||||||||||
x=0. Поэтому, по определению 7, |
lim cos x 1. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
x 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Замечание. Пусть функции |
f (x) |
и |
(x) |
|
таковы, что |
f (x) (x) . Тогда из неравенства (x) следует справед-
ливость неравенства f (x) . Если при этом множество ре-
шений более грубого неравенства (x) обладает некото-
рым свойством (в примерах 2 и 3 содержит окрестность точки x0 0 ),то этим же свойством обладает и множество решений
более тонкого неравенства f (x) . С другой стороны, если
множество решений более грубого неравенства некоторым свойством не обладает, то это не означает, что множество решений более тонкого неравенства также не обладает этим свойст-
вом. Может оказаться, что найти решения неравенства (x)
легче, чем найти решения неравенства f (x) .
44
Проиллюстрируем переход к более грубому неравенству, множество решений которого найти легче, чем найти множество решений исходного неравенства, на ещё одном примере.
Пример 4. Докажем, что lim x 3 5 . Рассмотрим не-
x 2
равенство x 3 5 . Преобразуя левую часть этого не-
равенства, имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 3 |
5 |
x 3 |
|
5 |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
x 3 |
5 |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 3 |
5 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 3 5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 2 |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 3 |
|
5 |
|
|
|
|
x |
3 |
5 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
При |
|
|
x 3 |
|
можем записать |
x 3 |
|
|
5 |
5 2 . |
Поэтому |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 2 |
|
|
|
|
|
|
|
|
x 2 |
|
|
. Решение |
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
x 3 5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
более |
грубого |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
3 |
5 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
неравенства |
|
|
x 2 |
|
|
содержит при любом 0 окрестность |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2 |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
точки |
|
x0 2 , что и доказывает справедливость равенства |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
lim |
|
|
x 3 |
5 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
x 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 5. Покажем теперь, что |
|
|
|
|
lim loga (1 x) 0. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Из |
|
неравенства |
|
|
loga (1 x) 0 |
|
|
следует неравенство |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
loga (1 x) . Пусть |
|
a 1. |
|
|
Тогда |
|
|
|
a 1 x a , т. е. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
a 1 x a 1 . |
Последнее неравенство определяет окрест- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ность |
V (x ) точки |
x 0 |
, так как a 1 0 , а a 1 0 . Таким |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
образом, для всякого x из (a 1,a 1) |
справедливо |
неравен- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ство |
|
loga (1 x) |
|
, означающее, |
что lim loga (1 x) 0. Анало- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
гично, в случае 0 a 1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 0 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
нужная нам окрестность точки x0 0 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
задана неравенством a 1 x a 1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
45
Пример 6. |
Предлагается доказать |
самостоятельно, |
|
что |
||||||||||||||||||||
lim a x 1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 7. Докажем, что |
|
lim |
(x2 y2 ) 2. |
Пусть 0 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
( x, y) (1,1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
– произвольно. Множество |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
V (1,1) |
= (x, y) R |
|
: |
1 |
|
|
x 1 |
|
|
, |
1 |
|
|
y 1 |
|
|
|
|||||||
|
|
|
|
|
|
|||||||||||||||||||
1 2 |
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
является окрестностью точки (1,1) , так как |
1 |
|
|
2 |
|
1 , а
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 при любом |
0 , и входит в множество решений не- |
|||||||||||||||||||||||
2 |
|
|||||||||||||||||||||||||
равенства |
|
2 x2 |
y2 |
|
. |
Действительно, |
(x, y) V |
(1,1) |
||||||||||||||||||
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 2 |
|
выполняется неравенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|||
2 1 |
|
|
|
1 |
|
|
2 |
|
x |
|
y |
|
2 1 |
|
|
1 |
|
|
или, после |
|||||||
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
2 |
|
|
2 |
|
|
|
|||
приведения подобных, неравенство |
2 x2 y2 |
, эквива- |
||||||||||||||||||||||||
лентное |
|
исходному. |
|
Следовательно, |
по |
определению |
7, |
|||||||||||||||||||
|
lim |
|
|
(x2 y2 ) 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
( x, y) (1,1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.5.2. Последовательность и ее предел
Важную роль в анализе играет частный случай функции – последовательность.
Определение 1. Функция, заданная на множестве натуральных чисел и записанная в порядке их возрастания, называется последовательностью.
Вместо f (n), n 1,2,..., обычно пишут {an}, n 1,2,..., {an}1
или {a } . n n 1
Если an – действительные числа, то последовательность называется скалярной, или числовой последовательностью, а когда an – векторы из Rk , то последовательность называется век-
46
торной. В случае, когда an |
|
– функции, имеем функциональную |
||||||||||||||||||||||||||||||
последовательность. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Примеры последовательностей: |
|
|
|
|
|
|
|
|||||||||||||||||||||||||
f (n) a |
|
1 |
|
; |
|
1, |
1 |
, |
1 |
, |
1 |
|
,..., |
1 |
,... |
; |
|
|
|
|
|
|
||||||||||
|
n |
|
|
|
|
n |
|
|
|
|
|
|||||||||||||||||||||
n |
|
|
|
|
2 |
|
3 |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
f (n) a |
|
|
1 |
|
; |
1, |
1 |
, 1 , |
|
1 |
,..., |
|
1 |
,... ; |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
n |
|
|
n2 |
4 |
|
|
9 |
|
16 |
|
|
|
n2 |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
1 |
|
1 |
1 |
1 |
1 |
1 |
|
||||||||||||
f (n) an |
n 1 |
, |
n 2 |
; |
|
|
2 |
, |
3 , 3 |
, |
4 |
,..., |
n 1 |
, |
n 2 |
,... ; |
||||||||||||||||
fn 1(x) cos(n 1)x; |
|
|
1, |
cos x, cos2x, ..., cos(n 1)x, ... ; |
fn 1(x) xn 1; 1, x, x2, ..., xn 1, ... .
Как и для любых скалярных функций скалярного аргумента, для числовых последовательностей вводятся понятия возрастающей, убывающей, неубывающей, невозрастающей, ограниченной, неограниченной последовательностей. Определение этих понятий и соответствующие примеры предлагается привести самостоятельно, например, последовательность
f (n) |
n 1 |
|
|
является возрастающей, последовательность |
||
n |
||||||
|
|
|
||||
f (n) |
n 1 |
|
– убывающая, а последовательность f (n) 1 ( 1)n |
|||
|
||||||
|
|
n |
|
– ограничена сверху и снизу.
Заметим, что задание векторной последовательности
a (a1 |
, a2 |
,..., ak ), |
n 1,2,... , |
a Rk , при выбранном базисе в |
|||
n |
n |
n |
n |
|
|
n |
|
Rk |
равносильно |
заданию |
k |
числовых последовательностей |
|||
{a1 |
}, {a2}, …,{ak }, |
n 1,2,..., |
называемых координатными |
||||
n |
|
n |
n |
|
|
|
|
последовательностями. |
|
|
|
||||
|
Сформулируем определение предела последовательности. |
||||||
Поскольку множество |
N натуральных чисел имеет единствен- |
||||||
ную предельную точку , |
то для функций f (n) имеет смысл |
рассматривать только случай n . Обычно при этом знак " " опускают. Напомним, что окрестность VM ( ) точки в R имеет вид VM ( ) {x R : x M} . Поэтому индуцированная система окрестностей точки в N состоит из множеств
47
VM ( ) {n N : n M} VN ( ) {n N : n N} , где |
N [M ] |
||||||||||||||
– целая часть числа M . |
|
|
|
|
|
|
|
|
|
|
|
|
|||
Определение 2. Точка |
A называется пределом после- |
||||||||||||||
довательности {an}1 при |
n , стремящемся к бесконечно- |
||||||||||||||
сти (A lim |
a ) , |
|
если |
|
для всякой окрестности |
U |
|
( A) |
|||||||
|
n |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
точки |
A существует окрестность VN ( ) , зависящая от |
||||||||||||||
выбора |
окрестности |
U ( A) , |
такая, что для |
|
всех |
||||||||||
n VN ( ) выполнено включение an U ( A) . |
|
|
|
|
|||||||||||
Используем в определении 2 запись окрестностей в R и Rk |
|||||||||||||||
в виде неравенств. Тогда, если |
{an}1 |
– числовая последова- |
|||||||||||||
тельность и |
A – конечное число, то на языке неравенств соот- |
||||||||||||||
ветствующее определение примет нижеследующий вид. |
|
|
|
||||||||||||
Определение 3. Число |
A называется пределом число- |
||||||||||||||
вой последовательности {an}1 при n , стремящемся к |
|||||||||||||||
бесконечности |
(A lim |
|
an ) , если для всякого |
0 су- |
|||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
||
ществует число |
N N( ) |
такое, что для всех |
n N( ) |
||||||||||||
выполнено неравенство |
|
an A |
|
. |
|
|
|
|
|||||||
|
|
|
|
|
|
||||||||||
Если {a } Rk |
( a |
n |
– точки k -мерного пространства) и |
||||||||||||
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
A Rk – конечная точка, то определение предела на языке неравенств, полученное на основе шаровых окрестностей U ( A) ,
приобретает нижеследующий вид. |
|
|
|
|
|
Определение 4. Точка |
A A1, A2 ,..., Ak есть предел |
||||
|
1 2 |
|
k |
|
|
|
1 |
|
|||
последовательности an 1 |
an , an |
,..., an |
при n , стре- |
||
мящемся к бесконечности (A lim |
|
a ) , |
если для всякого |
||
|
n |
n |
|
|
|
0 существует число |
N N( ) |
|
такое, |
что для всех |
n N выполнено неравенство
k ani Ai 2 2. i 1
48
Определение на основе параллелепипеидальных окрестностей П 1 , 2 ,..., k (A) предлагается сформулировать само-
стоятельно.
Введённое с помощью неравенств понятие предела последовательности легко обобщается на случай метрических пространств. Выглядит оно при этом следующим образом.
Определение 5. Точка A из метрического пространства называется пределом последовательности {an}1 точек этого пространства при n , стремящемся к бесконечности
(A lim |
an ) , если для всякого 0 |
существует число |
n |
|
|
N N( ) |
такое, что для всех n N( ) |
выполнено нера- |
венство (an , A) .
Последовательность, имеющую конечный предел A , назовем сходящейся. Будем при этом говорить, что последователь-
ность {an}1 сходится к точке A . Если же предела не существует или он бесконечен, то последовательность назовем расходя-
щейся. |
|
|
|
|
|
|
|
|
|
|
Отметим следующий результат. |
|
|
|
|
||||||
Теорема |
1.5. Для |
того, чтобы последовательность |
||||||||
{a } {(a1 , a2 |
,..., ak } |
точек (векторов) |
пространства |
|||||||
n |
1 |
n |
n |
n |
1 |
|
|
|
|
|
Rk |
сходилась к точке (вектору) |
A (A1, A2,..., Ak ) , т.е. |
||||||||
чтобы |
A lim |
a , необходимо и достаточно, чтобы каж- |
||||||||
|
|
n |
n |
|
|
|
|
|
|
|
дая координатная последовательность |
{ai } , i 1,2,..., k, |
|||||||||
|
|
|
|
|
|
|
|
n 1 |
|
|
сходилась |
и |
при |
этом имело |
место |
соотношение |
|||||
lim |
ani |
Ai . |
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
Доказательство. |
Необходимость. Пусть |
A lim |
a . Это |
|||||||
|
|
|
|
|
|
|
|
|
n |
n |
означает, |
что для всякого 0 существует число |
N N( ) та- |
||||||||
кое, что для всех n N имеет место неравенство |
|
|
||||||||
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
(ani |
Ai )2 2. |
|
|
|
(1.7) |
i 1
49
Далее, для любого n 1,2,... имеет место неравенство
|
|
k |
|
|
(ani Ai )2 |
(anj A j )2 , i 1,2,..., k , |
|||
|
|
j 1 |
|
|
откуда, с учетом (1.7), получаем |
||||
(ai Ai )2 |
2 , i 1,2,..., k, |
|||
|
n |
|
|
|
или, что то же самое, |
|
|
|
|
|
ani |
Ai |
|
, i 1,2,..., k, |
|
|
для всякого n N( ) , что и доказывает необходимость.
Ещё проще необходимость доказывается, если воспользоваться
определением предела последовательности в Rk на основе окрестностей П 1 , 2 ,..., k (A) .
Достаточность. Пусть для всякого i 1,2,..., k имеет место
соотношение |
Ai lim |
ani . |
На языке неравенств это означает, |
|||||||||||||
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
||
что для всякого 0 |
существуют числа Ni ( ), i 1,2,...k , такие, |
|||||||||||||||
что для n Ni ( ) выполнены неравенства |
|
|
||||||||||||||
|
|
|
|
ai |
Ai |
|
|
|
|
, |
i 1,2,..., k. |
(1.8) |
||||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
n |
|
|
|
|
|
|
k |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Положим |
N max{ N1( ), N2 ( ),..., Nk ( )} max {Ni ( )} . |
Тогда |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i 1,..., k |
|
для номеров |
n N |
выполнены |
неравенства (1.8) для |
всех |
||||||||||||
i 1,2,..., k |
сразу. Откуда |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
k |
ani Ai |
2 |
|
|
k |
k |
2 |
|
||||||
|
|
|
|
(ani Ai )2 |
2. |
|
||||||||||
|
|
i 1 |
|
|
|
|
i 1 |
i 1 |
k |
|
для любого n N , что доказывает достаточность. Теорема доказана.
Приведём без доказательства важный критерий сходимости последовательности называемый критерием Коши.
Теорема 1.6 (критерий Коши). Для того, чтобы числовая последовательность {an}1 была сходящейся, необходимо и достаточно, чтобы для всякого 0 сущест-
50