Лекция 6
.pdf
|
|
|
1 |
§2. Линейная структура в Rn |
|
|
|
1. Rn как векторное пространство. |
|
|
|
Норма в Rn |
|
|
|
Если в Rn |
ввести операции сложения |
||
двух элементов |
x = (x1; x2; : : : ; xn), |
y |
= |
(y1; y2; : : : ; yn) и |
умножения элемента |
x |
= |
(x1; x2; : : : ; xn) на действительное число ¸ соответственно по формулам:
x + y = (x1 + y1; x2 + y2; : : : ; xn + yn); ¸x = (¸x1; ¸x2; : : : ; ¸xn);
то Rn становится векторным (линейным) пространством над полем действительных чисел.
Векторы ek = (0; : : : ; 0; 1; 0; : : : ; 0), k = 1; n (1 стоит только на k-том месте) образуют
максимальную линейно независимую систему векторов в пространстве Rn. Любой вектор x 2 Rn можно разложить по базисным векторам ek, k = 1; n в виде
x = x1e1 + x2e2 + : : : + xnen:
Определение 1. Нормой в действительном векторном пространстве X называется функция
2
jj¢ jj : X ! R, удовлетворяющая условиям
1)kxk > 0; причем kxk = 0 , x = 0,
2)k¸xk = j¸j ¢ kxk,
3)kx+yk 6 kxk+kyk (неравенство треугольника),
8x; y 2 X; 8¸ 2 R.
Число kxk норма вектора x.
Векторное пространство X с введенной в нем нормой называется векторным нормированным пространством.
В векторном пространстве Rn определим норму по формуле
|
n |
|
|
x |
= v |
xi2; |
(1) |
k k |
ui=1 |
|
|
|
uX |
|
|
|
t |
|
|
где x = (x1; : : : ; xn) 2 Rn. При этом условия 1),2) определения 1 очевидно имеют место. Если
в (2) §1 положить ai = xi, bi = yi, i = 1; n, то получим условие 3).
Таким образом, |
если в |
Rn |
ввести |
норму |
по формуле (1), то Rn |
станет векторным |
|||
нормированным |
пространством |
над |
полем |
3
действительных чисел. Из (1)и (4)x1 следует:
kx ¡ yk = ½(x; y); |
kxk = ½(x; 0); |
(2) |
где ½(x; y) расстояние |
между векторами |
x |
и y, которые рассматриваются как точки метрического пространства Rn.
2. Евклидова структура в Rn.
Определение 2. Скалярным |
произведением |
||
в |
действительном |
векторном пространстве |
|
X |
называется |
функция |
' : X £ X ! R, |
обозначаемая '(x; y) = (x; y), 8x; y 2 X, если выполняются условия:
1)(x; x) > 0; (x; x) = 0 , x = 0,
2)(x; y) = (y; x),
3)(®x; y) = ®(x; y),
4)(x + y; z) = (x; z) + (y; z);
8x; y; z 2 X; 8® 2 R:
В векторном пространстве Rn скалярное
произведение векторов x = (x1; x2; : : : ; xn), y = (y1; y2; : : : ; yn) определим по формуле
(x; y) = x1y1 + : : : + xnyn: |
(3) |
Легко проверить, что условия 1)-4) определения 2 выполняются. Векторное пространство Rn с
4
определенным в нем скалярным произведением по формуле (3) называется Евклидовым пространством.
Число |
|
|
x12 + : : : + xn2 |
называет- |
|||
(x; x) = |
|||||||
ся длинной (модулем) вектора |
x |
= |
|||||
p |
|
|
q |
|
|
||
(x1; x2; : : : ; xn) 2 Rn и обозначается jxj: |
|
||||||
|
|
jxj = p |
|
: |
|
(4) |
|
|
|
(x; x) |
|
||||
Из (1) и (4) |
имеем, что jxj = kxk: |
|
|
||||
Из (2) следует, что |
|
|
|
|
|
||
½(x; y) = kx ¡ yk = jx ¡ yj: |
|
(5) |
В дальнейшем, на Rn будем смотреть с одной стороны как на точечное метрическое пространство, а с другой стороны как на векторное евклидово пространство, при этом имеет место (5).
§3. Последовательности точек пространства Rn
1. Сходимость последовательности точек пространства Rn
Определение 1. * Последовательностью точек пространства Rn называется функция
|
|
|
|
|
|
|
|
|
|
5 |
f |
: N ! Rn, которая каждому натуральному |
|||||||||
числу k ставит в соответствие точку |
|
|
|
|||||||
x(k) = |
³x1(k); : : : ; xn(k)´ |
2 Rn. |
|
|
|
|
||||
Для |
записи |
последовательности |
применяют |
|||||||
обозначения nx(k)o или x |
(k) |
|
|
|
|
|||||
|
(k,s)k = 1; 2; : : : |
|
||||||||
|
|
|
|
x |
o, |
образованная |
||||
Последовательность |
n |
|
|
|
(k) |
с |
||||
из |
членов |
последовательности |
|
x |
|
сохранением порядка их следования, называется |
|||||||
|
|
|
|
|
|
n |
o |
подпоследовательностью |
последовательности |
||||||
nx(k)o. |
|
|
|
2 R |
n |
называется |
|
Определение 2. * Точка a |
|
||||||
пределом последовательности |
x(k) |
точек |
|||||
пространства Rn, если предел |
n o |
|
|||||
lim |
½ |
x(k); a |
´ |
= 0; |
|
|
|
k!1 |
³ |
|
|
|
|
|
|
при этом пишут: |
|
|
|
|
|
|
|
lim |
x(k) = a: |
|
|
(1) |
|||
k!1 |
|
|
|
|
|
Если имеет место (1), то говорят, что после- n o
довательность x(k) сходится к точке a.
6
Заметим, что последовательность ½(x(k); a) , k = 1; 2; : : : является числовой и поэтому определение 2 можно привести в другой форме:
lim |
x(k) = a |
k!1 |
´ |
³ |
, 8" > 0 9N 2 N : 8k > N ) ½(x(k); a) < " ;
lim x(k) = a
k!1³ ´
, 8" > 0 9N 2 N : 8k > N ) x(k) 2 V (a; ") .
Также как и для числовой последовательности можно сказать, что lim x(k) = a, если любая
k!1
" - окрестность точки a содержит почти все n o
точки последовательности x(k) , то есть все за исключением, быть может, конечного их числа.
Теорема |
1. Последовательность |
x(k) |
= |
|||||||||
x1(k); : : : ; xn(k) |
|
|
2 Rn, k |
= 1; 2; : : : сходится |
||||||||
к точке a = (a |
; : : : ; a ) |
2 |
R |
n тогда |
|
|
||||||
³ |
|
´ |
1 |
|
n |
|
|
|
и только |
|||
|
|
|
|
|
|
|
||||||
тогда, когда |
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
x(k) = a ; |
|
|
|
|
|
(2) |
||||
|
|
i = 1; n: |
|
|||||||||
|
k!1 i |
i |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
7
Доказательство. Согласно (5)§1 можем записать |
||||||||||||||
¯xi |
¡ ai¯ |
6 ½ ³x ; a´ |
6 |
|
16j6n |
¯xj ¡ aj |
¯ |
|
||||||
n |
; |
|||||||||||||
¯ |
(k) |
¯ |
(k) |
|
p |
|
max |
¯ |
(k) |
(3)¯ |
||||
¯ |
|
|
|
¯ |
|
|
|
|
|
¯ |
|
|
¯ |
|
i = 1; n |
|
|
|
x(k) = a, то |
|
|
|
|||||||
|
Необходимость. Если |
lim |
|
|
|
|||||||||
|
|
|
|
|
|
k!1 |
|
|
|
|
|
|
|
|
|
8" > 0; 9N 2 N : 8k > N ) ½ ³x(k); a´ < "; |
|
|
а значит согласно (3) выполняются неравенства
¯ |
xi(k) |
|
¯ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
< |
|
", |
i |
|
= |
|
|
1; n. Откуда |
|
следует |
||||||||||
|
¡ ai |
|
|
|
|
|
|||||||||||||||
¯справедливость¯ |
(2). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
¯ |
Достаточность.¯ |
Если имеет место (2), то для |
|||||||||||||||||||
8" > 0; 9N 2 N : 8k > N |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
¯ |
|
|
¯ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
xi(k) |
¡ ai |
|
< "=pn; |
i = 1; n; и, |
||||||||||||||||
¯ |
¯ |
|
|||||||||||||||||||
|
|
|
|
|
|
(k) |
|
|
|
|
|
|
p |
|
|
|
|||||
следовательно,¯ ¯ |
|
¯ |
|
|
|
(k¯) |
|
|
|
|
|
|
|||||||||
|
|
|
|
max |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
¯xj |
|
¡ aj¯ < "= n: |
|
|
|
||||||||||||
|
|
|
|
16j6n |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
(3)¯ |
|
³ |
|
|
¯; a |
´ |
|
|
|
|
|
||||
|
Тогда в |
силу |
½ |
x |
|
|
< ", |
а это и |
означает, что lim x(k) = a:
k!1
Определение 3. Последовательность x(k) 2 Rn, k = 1; 2; : : : называется ограниченной, если
8
существует шар B(0; r), такой что x(k) 2 B(0; r), k = 1; 2; ::: :
Теорема |
2. Из |
любой |
ограниченной |
последовательности |
nx(k)o |
точек |
пространства Rn можно выделить сходящуюся подпоследовательность.
Доказательство. Поскольку последовательность |
||||||||||||||||||||||||||
nx(k)o |
ограничена, то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
³ |
|
|
|
|
|
´ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
³ |
|
´ |
|
|
|
|
|
³ |
|
´ |
2 6 r; |
|
||||||
|
½ x(k); 0 = r |
|
x1(k) |
|
2 + : : : + xn(k) |
|
|
|||||||||||||||||||
а значит |
¯ |
x(k) |
¯ |
6 |
r, i |
|
|
|
Следовательно, |
|||||||||||||||||
= 1; n |
. |
|||||||||||||||||||||||||
|
|
|
|
|
|
i |
|
|
|
|
|
|
(k) |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
¯ |
|
¯ |
|
|
|
|
|
|
|
|
x |
i |
; |
i = 1; n |
||||||
числовые ¯последовательности¯ |
n |
|
||||||||||||||||||||||||
ограничены. |
|
|
|
|
|
|
|
|
|
o |
|
|
|
|
|
|
|
|||||||||
|
Согласно теореме Больцано–Вейерштрасса из |
|||||||||||||||||||||||||
числовой |
|
последовательности |
|
|
|
x1(k) |
|
|
|
можно |
||||||||||||||||
выделить |
|
сходящуюся |
подпоследовательность |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n |
o |
|
|
|
|
|
o |
||||||||
n |
(ks |
|
) |
o |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
(ks |
) |
||||
|
x1 |
1 |
|
|
. |
|
Последовательность |
|
|
|
x2 1 |
|
, |
|||||||||||||
являющаяся |
|
|
|
|
подпоследовательностью |
|||||||||||||||||||||
последовательности |
|
nx2(k)o, |
|
|
ограничена |
9
и из нее можно выделить сходящуюся |
|||||||
подпоследовательность |
|
(ks2) |
o |
|
nx2(ks2)o. |
||
Последовательность |
x |
|
|
|
|
является |
|
подпоследовательностью |
n |
1 |
|
o |
сходящейся |
||
n |
(ks |
) |
|
|
|
||
последовательности |
x1 |
1 |
|
, |
а |
значит |
|
сходится. Поступая аналогичным |
образом, |
через n шагов мы получим n сходящихся
подпоследовательностей |
|
|
|
x(ksn) |
|
, |
i |
= |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
. |
|
|
По |
|
теореме |
|
1 |
nпоследовательностьo |
||||||||||||
1; n |
|
|
|
|
|||||||||||||||||
n |
|
(ks |
|
) |
o |
|
|
|
|
|
|
(k) |
|
|
|
|
|
|
|
||
x |
|
|
n |
|
, являющаяся подпоследовательностью |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
o |
|
|
|
|
|
|
|
|
последовательности |
x |
|
|
|
|
|
|
|
|
||||||||||||
требовалось доказать.n |
|
|
сходится, |
|
что |
и |
|||||||||||||||
Будем рассматривать |
|
также неограниченные |
|||||||||||||||||||
|
n |
|
|
|
|
|
|
|
|
|
n |
|
|
o (k) |
|
|
|
|
|
|
|
последовательности |
x(k) |
|
точек пространства |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
lim |
½ |
x |
|
; 0 |
|
= + |
|
|
|||
R , для которых |
k!1 |
|
³(k) |
|
´ |
|
|
|
1. При |
||||||||||||
этом пишут, что |
klim |
|
x |
|
= |
1. Нетрудно |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
!1 |
|
|
|
|
|
½ x(k); a |
|
|||
убедиться, |
что в этом случае lim |
|
= |
||||||||||||||||||
|
n |
. |
|
|
|
|
|
k!1 |
³ |
|
´ |
|
|||||||||
+1, 8a 2 R |
|
|
|
|
|
|
|
|
|
|
|
|
|
10
Замечание 1. Числовую ось, на которой имеется два направления, мы дополняли двумя символами ¡1; +1. В пространстве Rn, n > 1 вводиться только один символ 1 бесконечно удаленная точка в пространстве Rn.
2. Полные метрические пространства
Определение |
4. Последовательность |
x(k) |
называется фундаментальной, если " > 0n; |
o |
|
|
8 |
|
9N 2 N : 8l > N; 8m > N ) ½ ³x(l); x(m)´ < ": |
||
Согласно формуле 5)x1 можем записать: |
|
|
¯ |
¯ |
(4) |
¯xi(l) ¡ xi(m)¯ 6 ½ ³x(l); x(m)´ 6 |
||
¯ |
¯ |
|
|
|
p |
|
|
max |
|
x(l) |
¡ |
x(m) |
¯ |
|
|
|
|
|
|||
|
|
n |
|
; i = 1; n: |
|
|||||||||||||
|
|
|
16j6n ¯ |
|
j |
|
j |
|
|
|
|
|
||||||
|
|
|
|
|
|
¯ |
|
|
|
|
|
|
¯ |
|
|
|
|
|
Из |
и |
неравенств¯ |
|
n |
(4) |
o |
¯ |
следует, |
что |
|||||||||
|
|
|
|
|
|
|
|
|
|
фундаментальна |
||||||||
последовательность |
|
|
x(k) |
|
||||||||||||||
тогда |
|
только |
тогда, |
когда |
фундаментальны |
|||||||||||||
последовательности |
nxi(k)o, |
|
= |
|
. Тогда |
|||||||||||||
i |
1; n |