 
        
        Математика-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
 x 3 
 5 . Рассмотрим не-
5 . Рассмотрим не-
x 2
равенство 

 x 3
x 3 
 5 . Преобразуя левую часть этого не-
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
