Материал: 5691

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

86

lim

M k

1

,

1

,

 

k

1

M0 (0, 0, 1).

 

 

 

 

 

 

 

k

 

k

 

 

 

 

 

 

 

k

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применим формулу (4.1) дл нахождения расстояний между точками

в пространстве R3 . Получим, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

k 1

 

 

3

 

 

3

 

(М k , М 0 )

0

 

 

 

 

 

0

 

 

1

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

k 2

 

 

 

k

 

 

 

 

 

k

 

 

 

k

 

 

 

 

 

k

Так как lim (Мk , М0 )

lim

 

3

 

 

0, то равенство (4.6) установле-

 

 

 

 

 

 

k

k

k

 

 

 

 

 

 

 

но.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 7. Доказать, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

M k

k

1

 

M0

(1).

 

 

 

 

 

 

 

 

 

 

 

k

k

 

 

 

 

 

 

 

 

 

Имеем одномерный случай. Тогда

 

 

 

 

 

 

 

(M k , M 0 )

 

 

 

k 1

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

k

 

 

 

 

 

 

 

 

 

 

 

 

и равенство (4.6) очевидно.

По-видимому, читатель из этих примеров заметил, что координаты предельной точки M 0 являются пределами соответствующих координат

точек M k . Этот факт сейчас будет установлен в общем случае пространства

R n .

 

Если задана последовательность точек M k R n

 

 

 

M1 x11 ,..., xi1 ,..., xn1 ,..., M k x1k

,..., xi k ,..., xnk

,...,

 

то это означает, что имеется n числовых последовательностей:

 

 

1

,..., x k

 

 

 

 

 

 

 

 

x

,... (последовательность первых координат);

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

…

 

 

 

 

xi

1

,..., xi

k

,... (последовательность i -х координат);

 

 

 

 

 

 

 

 

 

 

 

…

 

 

 

 

1

 

 

 

 

 

 

 

 

 

xn

,..., xn k

,... (последовательность n -ых координат).

 

 

Теорема 1 (о координатной сходимости в R n ). Последовательность

точек

M

k

x k ,..., x k

,..., x k

R n

сходится

к

точке

 

 

1

 

i

n

 

 

 

 

M 0 x10 ,..., xi 0 ,..., xn0

 

R n ( М k

М 0 ) тогда и только тогда, когда

 

 

 

 

 

 

 

k

 

 

 

87

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

x

k

x 0

i

1,..., n .

 

 

 

(4.7)

 

 

 

 

 

 

 

k

i

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство необходимости. Дано, что

lim

М k

М 0. Опреде-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

ление 1 означает, что

lim

(М k ,

М 0 )

0. Для любого i

1,..., n оче-

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

видно неравенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(k )

(0)

 

 

 

(k )

(0)

2

 

(k )

(0)

2

 

 

(k )

(0) 2

 

(М k , М 0 ).

 

 

 

 

 

 

 

 

хi

хi

 

 

x1

х1

 

...

хi

 

хi

 

 

...

хn

хn

 

 

Так как

lim

(М k , М 0 )

0 , то из предыдущего неравенства следует,

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что

lim

х(k )

х

(0)

0 . Отсюда следует (4.7).

 

 

 

 

 

 

 

 

k

 

i

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

достаточности.

 

Даны

 

равенства

(4.7) или

 

х(k )

 

х(0)

для всех i

1,..., n . Отсюда следует, что

 

 

 

 

i

k

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

(k )

 

(0)

2

 

 

 

 

 

 

 

 

 

 

 

 

(M k , М 0 )

 

 

 

х

х

 

0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

1

i

 

i

 

k

 

 

 

 

т.е. выполнено неравенство (4.6),

которое означает М k

k

М 0 . Доста-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точность установлена.

На основании этой теоремы, используя главу 3, находятся предель-

ные точки последовательностей точек из R n . Пример 8. Найдём предельную точку M 0

M k точек из R3 , заданной общим членом M k

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

1

,

2k

1

,

k 1

.

 

 

 

 

k

 

k

 

 

k

Имеем следующие три числовые последовательности:

х

(k )

1

, х(k)

2k 1

, х

(k)

k 1

.

1

k

2

k

3

k

 

 

 

 

 

Так как

 

 

 

 

 

 

 

 

lim х(k)

lim

1

0,

lim

х(k)

lim

2k 1

2,

 

 

 

k

1

k

k

 

k

2

 

k

k

 

 

 

 

 

 

 

 

 

lim

х(k)

lim

 

k 1

1,

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

3

k

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

то на основании теоремы имеем, что M 0 0 ,2,1 .

 

 

 

 

 

 

88

 

 

 

 

 

Если предел хотя бы одной из последовательностей xi

k

равен

бесконечности или вовсе не существует, то последовательность

M k

точек из R n расходится. Это утверждение следует из теоремы 1.

 

 

 

Пример 9. Исследуем на сходимость следующие последовательности

точек из R 2 :

 

 

 

 

 

 

 

 

1) М

 

k,

1

;

2) М

 

1

, ( 1)k 1 ;

3) М k ( 1)k 1, k 2 .

 

 

k

 

 

 

 

 

 

 

k

 

k k

 

 

 

 

 

Все последовательности расходятся. У первой последовательности

lim х(k )

 

lim

k

. У второй – lim

х(k )

lim ( 1)k 1

не суще-

k

 

1

 

k

 

 

 

k

2

k

 

 

 

 

 

 

 

 

 

 

 

ствует (см главу 3). У третьей последовательности предел последовательности первых координат не существует, а предел последовательности вторых координат равен бесконечности.

В пространстве R n также можно ввести определение фундаментальной последовательности.

Определение 2. Последовательность {M k },

M k

R n

называется

фундаментальной, если для

0

N такое, что для

k

N и любо-

го натурального числа m выполняется неравенство

 

 

 

(M k m , M k )

.

 

 

 

Теорема 2 (критерий Коши сходимости последовательности). Для

того чтобы последовательность {M k },

M k R n

сходилась, необходимо

и достаточно, чтобы она была фундаментальной.

Доказательство проводится аналогичными рассуждениями теоремы

4.2 пункта 3.13.

4.3. Некоторые геометрические вопросы пространства R n

Введём важные понятия по аналогии с соответствующими понятиями и утверждениями из аналитической геометрии на прямой (одномерном

пространстве R1), плоскости (R 2 ) и в трёхмерном пространстве (R3 ).

 

89

 

 

 

 

 

Вектором с началом в точке

M1 x1,..., xn

и концом в точке

P y1,..., yn называется n -мерный вектор

 

 

 

 

MP

y1 x1,..., yn

xn .

 

 

Вектор OM , где O 0,...,0 – начало координат n -мерного координатного

пространства, называется радиусом –

вектором точки M . Очевидно,

что координаты радиуса – вектора OM совпадают с координатами точки M .

Из сказанного в пункте 1 следует, что

 

 

 

 

 

 

 

 

 

M , P

M , P

,

O, M

O, M

.

Из аналитической геометрии на плоскости и в трёхмерном простран-

стве известно, что уравнение прямой имеет вид

 

 

M 0M

tq

t

,

 

(4.7)

где M 0 – точка, лежащая на этой прямой,

M –

переменная (текущая)

точка данной прямой, а q – некоторый нулевой вектор, параллельный этой

прямой.

Из определения равных векторов, действий над векторами (см. пункт 1) и уравнения (4.7) в двумерном случае вытекают следующие уравнения:

х х0

tg1,

(4.8)

у у0

tg2.

 

Здесь M x, y – текущая точка прямой, M 0

x0 , y0 – фиксирован-

ная точка этой прямой, q q1, q2 ,

t

. Уравнения (4.8) назы-

ваются параметрическими уравнениями прямой на плоскости.

Свойство (4.8) берётся за основу для определения прямой в R n . Определение 3. Множество точек M x1,..., xn R n таких, что

M 0M

 

tq

t

,

(4.9)

называется прямой в R n , проходящей через точку M 0 x10 ,..., xn0

парал-

лельной вектору q q ,..., q

n

R n

, где q – ненулевой вектор.

 

1

 

 

 

 

В силу пункта 1 равенство (4.9) приводит к следующим параметри-

ческим уравнениям прямой в R n :

 

 

 

х

 

х(0)

tg ,

 

 

1

 

1

1

 

 

 

 

.....

 

 

(4.10)

 

 

 

 

 

xn

xn(0)

tgn.

 

 

Определение 4. Множество n -мерных точек, удовлетворяющих условию

 

 

90

 

 

 

M 0 M

tq

t

, q

0 ,

(4.11)

называется лучом с началом в точке M 0 .

 

 

 

Пусть на плоскости заданы две различные

точки M1 x1, y1

и

M 2 x2 , y2 . Тогда точки M x, y

отрезка, соединяющего M1 и

M 2,

находятся из векторного равенства

 

 

 

 

OM

1

t OM1

tOM 2 0

t

1 .

 

Это равенство достаточно просто установить на основании правила треугольника сложения векторов (надо выразить радиус – вектор OM через

радиусы – векторы OM1, OM 2; для наглядности можно сделать чертёж).

Определение 5. Если M1

и M 2 – две различные точки из R n , то

отрезком, их соединяющим, называется множество точек

M R n , удо-

влетворяющих равенству

 

 

 

 

 

 

OM

1

t OM1

 

tOM 2 0

t

1 .

(4.12)

Равенство (4.12) легко записать в координатной форме.

Кроме отрезка, луча и прямой в R n , будут необходимы в дальней-

шем и другие важные множества.

 

 

 

 

Определение 6. Параллелепипедом (прямоугольным)

в R n назы-

вается множество точек

M x1,..., xn , координаты которых независимо

одна от другой удовлетворяют неравенствам

 

 

 

a1

x1

b1,..., an

xn

bn ,

 

где ai и bi – фиксированные числа, причём ai

bi .

 

Таким образом,

 

как множество имеет вид

 

M

Rn : a

x

b i

1,..., n .

(4.13)

 

 

i

i

i

 

 

 

Параллелепипедом в пространстве R1 является отрезок. Параллеле-

пипед в пространстве R 2 всегда является некоторым прямоугольником

(см. рис.13).

x2 b2

а2

а1

b1

x1

Рис. 13

Источник: https://studfile.net/preview/16711351/