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