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

Математика-2-й семестр (курс лекций)

..pdf
Скачиваний:
8
Добавлен:
05.02.2023
Размер:
11.03 Mб
Скачать

 

 

 

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