Ангем. 1 курс (слайды + вопросы) / AnGeom_Lektsii_Egorov_A_A_3_glava_2012-2013
.pdfГл. 3. Евклидовы пространства
Определение 3.20 (ортогонального набора векторов)
Набор векторов a1; : : : ; ak 2 V называется ортогональным, если эти векторы попарно ортогогональны, т. е. ai ? aj , i 6= j,
i; j = 1; : : : ; k.
Определение 3.21 (ортонормированного набора векторов)
Ортогональный набор векторов a1; : : : ; ak называется ортонормированным, если каждый вектор набора имеет единичную дилну, т. е. jaj j = 1, j = 1; : : : ; k.
Ортонормированность набора a1; : : : ; ak равносильна условию
(
(ai ; aj ) = ij , i; j = 1; : : : ; k, где ij = 1; i = j; символ
0; i =6 j
Кронекера.
А. А. Егоров (yegorov@math.nsc.ru) |
Ан.геом.(II пот.) ММФ НГУ (2012-13) |
Гл. 3. Евклидовы пространства
Лемма 3.22 (о линейной независимости ортонормированного набора векторов)
В векторном пространстве со скалярным произведением каждый ортонормированный набор векторов является линейно независимым.
Лемма 3.23 (о вычислении скалярного произведения через координаты ортонормированного базиса)
Пусть V вещественное n-мерное векторное пространство со скалярным произведением, E = (e1; : : : ; en) ортонормированный базис в V , (u1; : : : ; un) и (v1; : : : ; vn) соответственно координаты векторов c 2 V и d 2 V в базисе E. Тогда (c; d) = u1v1 + : : : + unvn.
А. А. Егоров (yegorov@math.nsc.ru) |
Ан.геом.(II пот.) ММФ НГУ (2012-13) |
Гл. 3. Евклидовы пространства
Определение 3.24 (прямоугольной системы координат)
Аффинная система координат (O; e1; : : : ; en) в n-мерном метризованном аффинном пространстве A называется
(декартовой) прямоугольной системой координат, если
! e1; : : : ; en ортонормированный базис в A.
Лемма 3.25 (о вычислении расстояния между точками через их прямоугольные координаты)
Пусть A n-мерное метризованное аффинное пространство,
(I)= (O; e1; : : : ; en) прямоугольная система координат,
A; B 2 A, ( 1; : : : ; n) и ( 1; : : : ; n) координаты точек A и B в прямоугольной системе координат (I). Тогда
|
= v |
|
|
|
|
|
|
|
|
|
|
|||||||||||
AB |
n |
( k |
|
k )2: |
||||||||||||||||||
j j |
uk=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
uX |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|||||||||||||
А. А. Егоров (yegorov@math.nsc.ru) |
|
Ан.геом.(II пот.) ММФ НГУ (2012-13) |
Гл. 3. Евклидовы пространства
§ 3.3. Метод ортогонализации Грама Шмидта.
Метод ортогонализации Грама Шмидта позволяет, взяв произвольный линейно независимый набор векторов a1; : : : ; ak , построить по нему ортонормированный набор. Геометрическая идея метода состоит в следующем. Сначала нормируем вектор a1 и получаем единичный вектор c1. Далее в плоскости векторов a1 и a2 строим единичный вектор c2, ортогональный вектору c1. На следующем шаге в пространстве, натянутом на
векторы a1; a2; a3, строим единичный вектор c3, ортогональный к c1; c2, и т.д. В итоге получаем ортонормированную систему c1; : : : ; ck .
А. А. Егоров (yegorov@math.nsc.ru) |
Ан.геом.(II пот.) ММФ НГУ (2012-13) |
Гл. 3. Евклидовы пространства
Теорема 3.26 (об ортогонализации Грама Шмидта)
Пусть a1; : : : ; ak линейно независимый набор векторов векторного пространства V со скалярным произведением. Тогда набор векторов c1; : : : ; ck , построенный по формулам
b1= a1; |
|
|
c1= b1=jb1j; |
|
|
|
|
|
|||||||||||
b2= a2 (a2; c1)c1; |
|
c2= b2=jb2j; |
|
|
|
|
|
||||||||||||
: : : |
|
|
: : : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
bj = aj |
Xi |
|
cj = bj =jbj j; |
(1) |
|||||||||||||||
(aj ; ci )ci ; |
|
||||||||||||||||||
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
: : : |
|
|
: : : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Xi |
|
ck = bk =jbk j; |
|
|
|
|
|
|||||||||||
bk = ak (ak ; ci )ci |
; |
|
|
|
|
|
|||||||||||||
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
А. А. Егоров (yegorov@math.nsc.ru) |
|
Ан.геом.(II пот.) ММФ НГУ (2012-13) |
|
|
|
|
|
Гл. 3. Евклидовы пространства
является ортонормированным и Lfa1; : : : ; aj g = Lfc1; : : : ; cj g, j = 1; : : : ; k.
Определение 3.27 (ортогонализации Грама Шмидта)
Говорят, что набор c1; : : : ; ck , построенный из набора a1; : : : ; ak по формулам (1), получен методом (процессом) ортогонализации Грама Шмидта.
Следствие 3.28 (о существовании ортонормированного базиса)
В каждом конечномерном евклидово векторном пространстве существует ортонормированный базис.
А. А. Егоров (yegorov@math.nsc.ru) |
Ан.геом.(II пот.) ММФ НГУ (2012-13) |
Гл. 3. Евклидовы пространства
§ 3.4. Матрица Грама.
Определение 3.29 (матрицы Грама)
Пусть A = (a1; : : : ; ak ) набор векторов векторного пространства V со скалярным произведением. Тогда k k-матрица
|
g11 |
::: |
g1k |
!, где gij := (ai ; aj ), i; j = 1; : : : ; k, |
GA = |
gk...1 |
.:::.. |
g...kk |
называется матрицей Грама набора A.
А. А. Егоров (yegorov@math.nsc.ru) |
Ан.геом.(II пот.) ММФ НГУ (2012-13) |
Гл. 3. Евклидовы пространства
Запишем элементы u и v пространства Rn как векторы-столбцы
u1 |
|
|
v1 |
. Тогда стандартное скалярное |
u = u...n |
и v = v...n |
|||
произведение в Rn можно задать формулой hu; vi = uT v. |
||||
Упражнение 3.30 ( ) |
|
|||
|
a11 |
::: a1l |
|
|
Пусть A = |
ak... |
1 |
:::... a...kl ! вещественная k l-матрица, |
|
u1 |
|
|
|
v1 |
u = u...k |
вектор-столбец в Rk , v = v...l вектор-столбец |
|||
в Rl . Тогда hu; AviRk |
= hAT u; viRl . |
А. А. Егоров (yegorov@math.nsc.ru) |
Ан.геом.(II пот.) ММФ НГУ (2012-13) |
Гл. 3. Евклидовы пространства
|
a11 |
::: a1k |
! вещественная k k-матрица. |
|
Пусть A = |
ak... |
1 |
.:::.. akk... |
Определение 3.31 (симметричности матрицы)
Матрица A называется симметрической, если AT = A, т. е. aij = aji , i; j = 1; : : : ; k.
Гл. 3. Евклидовы пространства
Лемма 3.34 (о симметричности и неотрицательной определённости матрицы Грама)
Пусть A = (a1; : : : ; ak ) набор векторов вещественного векторного пространства V со скалярным произведением. Тогда 1) GA симметрическая матрица;
2) GA неотрицательно определённая матрица, причём в случае линейно независимого набора A матрица GA положительно определённая.
А. А. Егоров (yegorov@math.nsc.ru) |
Ан.геом.(II пот.) ММФ НГУ (2012-13) |