Учебное пособие 1816
.pdfdet Γg' = det Γg (detP)2 . |
(6.1) |
Из формулы (6.1), учитывая невырожденность матрицы |
перехода |
( detP ≠ 0 ), видно, что при изменении базиса определитель базисной матрица Грама сохраняет знак, или, другими словами, величина sgn(det Γ) является инвариантной при переходе к новому базису.
Рассмотрим определитель матрицы Грама для системы линейно независимых векторов.
Теорема. Система элементов {f1, f2 ,..., fk } линейно независима тогда
и только тогда, когда определитель матрицы Грама этой системы отличен от нуля.
Доказательство. Покажем, что если элементы {f1, f2 ,..., fk } линейно зависимы, то определитель их матрицы Грама равен нулю. Действительно, пусть существуют не равные нулю одновременно числа λ1, λ2 ,..., λk такие, что
λ1 f1 +λ2 f2 +... +λk fk =θ .
Умножим это равенство скалярно на элемент fi , где i – любой номер от 1 до k . Тогда получим систему линейных алгебраических уравнений:
λ1(fi , f1 )+ λ2 (fi , f2 )+... + λk (fi , fk )= 0, i =1,2,...,k .
Данная система представляет собой однородную систему линейных алгебраических уравнений относительно λ1, λ2 ,..., λk , матрица системы – это
матрица Грама системы {f1, f2 ,..., fk }, которая будет иметь равный нулю определитель, так как есть ненулевые решения.
С другой стороны, если элементы {f1, f2 ,..., fk }линейно независимы, то система должна иметь только нулевое решение, что выполняется, когда определитель матрицы Грама – определитель системы – будет не равен нулю.
Теорема. Координатный столбец любого элемента x евклидова пространства E n в базисе {g1, g2 ,..., gn }может быть представлен в виде:
|
|
|
|
X = Γg −1B, |
|
|
|
(6.2) |
|
|
ξ1 |
|
|
|
|
(x, g1 ) |
|
||
|
|
|
|
|
|
|
|
|
|
где X = |
|
ξ2 |
|
– координаты вектора x в базисе |
{g1, g2 ,..., gn }, B = |
|
(x, g2 ) |
, |
|
|
|
M |
|
|
|
|
M |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
||||
|
|
ξn |
|
|
|
|
|
|
|
|
|
|
|
|
|
(x, gn ) |
|
Γg – базисная матрица Грама.
61
Доказательство. Выпишем разложение вектора x в базисе
{g1, g2 ,..., gn }:
n
x = ξ1g1 +ξ2 g2 +... +ξn gn = ∑ξi gi .
i =1
Умножив скалярно обе части равенства на gk , где k – любой номер от 1 до n , получим значения элементов матрицы B
n |
n |
n |
(x, gk )= ∑ξi (gi , gk )= ∑ξiγik =∑ξiγki , k =1,2,..., n , |
||
i =1 |
i =1 |
i =1 |
B = Γg X ,
Γg X = B ,
Поскольку матрица Грама является невырожденной, получим
X = Γg −1B.
62
Лекция 7
Ортонормированный базис
7.1. Ортогональная система векторов
Определение. Система векторов x1, x2 ,..., xn ( n ≥ 2 ) называется линейно независимой, если векторы, входящие в эту систему, являются линейно независимыми.
Определение. Система векторов x1, x2 ,..., xn ( n ≥ 2 ) называется ортогональной, если эти векторы попарно ортогональны, т.е. (xi , x j )= 0 при i ≠ j .
Теорема. Ортогональная система ненулевых векторов линейно незави-
сима.
Доказательство. Пусть x1, x2 ,..., xn – ортогональная система ненулевых векторов. Предположим, что она линейно зависима. Тогда существуют числа α1,α2 ,...,αn , среди которых хоты бы одно отлично от нуля, такие, что
|
α1x1 +α2 x2 +... +αn xn =θ . |
(7.1) |
Пусть для определенности αi ≠ 0 . Тогда равенство (7.1) умножим ска- |
||
лярно на вектор xi |
|
|
|
(xi ,α1x1 +α2 x2 +... +αn xn )= 0 |
|
и получим |
α1 (xi , x1 )+α2 (xi , x2 )+... +αi (xi , xi )+... +αn (xi , xn )= 0 . |
|
Так как (xi , x j )= 0 при i ≠ j , то |
|
|
|
αi (xi , xi )= 0 . |
|
Откуда xi = 0, т.е. xi – нулевой вектор, что противоречит условию
теоремы.
Определение. Вектор x называется нормированным, или единичным,
если его норма равна единице, т.е. x =1. Если вектор x – ненулевой вектор, то
x 0 = |
|
x |
, |
(7.2) |
|
|
x |
|
|||
|
|
||||
|
|
|
|
|
63
x* = − |
|
x |
(7.3) |
|
|
x |
|
||
|
|
|||
|
|
|
|
есть нормированные векторы.
Нахождение для данного вектора нормированного вектора по форму-
лам (7.2) или (7.3) называется нормированием данного вектора, а множитель
μ = ± 1x
называется нормирующим множителем.
Определение. Система векторов x1, x2 ,..., xn ( n ≥ 2 ) называется ортонормированной, если она ортогональна, и каждый вектор является нормированным, т.е. если
0, |
i ≠ |
j, |
где i, j =1,2,..., n . |
(xi , x j )= δij = |
i = |
j, |
|
1, |
|
Очевидно, что если x1, x2 ,..., xn – ортогональная система ненулевых векторов, то система, полученная из данной нормированием каждого вектора, также является ортогональной и, кроме того, будет еще и ортонормированной.
Определение. Базис евклидова n -мерного пространства называется ортонормированным, если базисные векторы {e1, e2 ,..., en } составляют ортонормированную систему.
Теорема. Во всяком евклидовом n -мерном пространстве ( n ≥ 2 ) существует ортонормированный базис.
Доказательство. Пусть {g1, g2 ,..., gn } – некоторый базис данного евклидова пространства. Составим ортогональную систему векторов {f1, f2 ,..., fn }следующим образом.
|
|
|
|
|
|
|
|
|
|
|
|
|
+λ(2) |
|
|
|
|
Положим f1 = g1 . В качестве |
|
f |
2 |
возьмем вектор f |
2 = g2 |
f1 , где |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
λ(2) |
– число. При любом λ(2) вектор |
|
|
2 |
– ненулевой, так как векторы g1 и g2 |
|||||||||||
f |
||||||||||||||||
1 |
1 |
так, чтобы (f1, f |
2 )= 0 , т.е. |
|
|
|
|
|||||||||
линейно независимы. Подберем λ(2) |
|
|
|
|
||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
(f1, g2 +λ1(2) f1 )= 0 .
Отсюда
(f1, g2 )+λ1(2) (f1, f1 )= 0 ,
(f1, g2 )+ λ1(2) f1 2 = 0.
Так как f1 ≠ 0, то
64
|
|
|
|
|
|
|
|
|
|
|
λ(2) = − (f1, g2 ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
3 возьмем вектор |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
В качестве f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
3 = g3 +λ(3) f1 +λ(3) |
|
|
2 , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(7.4) |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
f |
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где λ(3) , |
λ(3) - числа. При любых λ(3) |
|
и λ(3) |
вектор |
|
|
|
|
|
– ненулевой (в этом |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
f |
3 |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
легко убедиться, подставив в равенство (7.4) вместо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
f1 |
и f2 их выражения |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
через g1 |
и g2 ). Подберем |
|
λ(3) и λ(3) |
так, чтобы (f1, f |
3 )= 0 и (f |
|
|
|
|
|
|
|
3 )= 0 , т.е. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
2 , f |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
(f1, g3 + λ1(3) f1 + λ(23) f |
2 )= 0 , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
Следовательно, |
|
(f |
2 , g3 + λ1(3) f1 + λ(23) f |
2 )= 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
(f1, g3 )+ λ(3) |
(f1, f1 )+ λ(3) |
(f1, f |
2 )= 0 , |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
(f |
2 , g3 )+ λ(3) |
(f |
2 , f1 )+ λ(3) |
(f |
|
|
2 )= 0 . |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
2 , f |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Так как (f1, f |
2 )= (f |
2 , f1 )= 0 , а (f1, f1 )= |
|
|
|
|
|
|
|
|
|
2 ≠ 0 , |
(f |
|
|
|
|
|
2 )= |
|
|
|
|
|
|
|
2 ≠ 0, то |
|||||||||||||||||||||||||||||||||||||||||
|
|
f1 |
|
2 , f |
|
f |
2 |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
λ(3) |
= − (fi , g3 ), |
|
i =1,2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Пусть найдены векторы {f1, |
|
|
|
|
|
|
|
|
k −1}. В качестве |
|
|
k возьмем вектор |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
f |
2 ,..., f |
f |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
k |
|
= gk + λ(k ) |
|
|
|
+ λ(k ) f |
2 |
+... + λ(k ) f |
k −1 , |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
f |
|
f1 |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k −1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
где λ(k ) , |
i =1,2,..., k −1 – |
числа. Как и ранее, |
легко убедиться в том, что при |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
любых λ(k ) , i =1,2,..., k −1 вектор |
|
|
|
k |
|
|
– ненулевой. Находя λ(k ) , i =1,2,..., k −1 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
f |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
из условий
(fk , fi )= 0, i =1,2,..., k −1,
получим
λ(k ) = − (fi , gk ) |
, i =1,2,...,k −1. |
|||||
i |
|
|
|
|
2 |
|
|
fi |
|
||||
|
|
|
Это построение будем продолжать до тех пор, пока не найдем послед-
65
ний (ненулевой) вектор
fn = gn +ξ1 f1 +ξ2 f2 +... +ξn −1 fn −1 ,
ортогональный ко всем предыдущим векторам f1, f2 ,..., fn −1 . В силу предыдущей теоремы векторы f1, f2 ,..., fn линейно независимы и, значит, образуют (ортогональный) базис.
Итак, построена ортогональная система ненулевых векторов {f1, f2 ,..., fn }. Пронормировав каждый вектор этой системы, получим ортонормированную систему векторов
f1 ,f1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f2 |
|
|
|
fn |
|
||||||
|
|
,..., |
|
|
, |
|||||||
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|||
|
f2 |
|
|
|
fn |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
которая является ортонормированным базисом.
Процесс построения по данному базису ортонормированного базиса называется ортогонализацией данного базиса, а в процессе доказательства теоремы получен метод ортогонализации базиса (метод Грама-Шмидта9).
Процесс ортогонализации Грама-Шмидта может быть применен к любой, в том числе к линейно зависимой, системе элементов евклидова пространства. Если ортогонализируемая система линейно зависима, то на некотором шаге мы получим нулевой элемент, после отбрасывания которого можно продолжить процесс ортогонализации.
Пример. Рассмотрим евклидово пространство |
E матриц-строк, где |
||||
m =1, |
n = 3 . В |
качестве базиса |
возьмем |
линейно |
независимые векторы |
g1 = (1 |
−1 1), |
g2 = (2 −3 4), |
g3 = (2 2 |
6) (показать это самостоятель- |
но).
Построим по данному базису ортонормированный базис. Положим
|
|
|
|
|
|
= g2 |
+λ(2) |
|
|
|
|
||
|
f1 = g1 , f |
2 |
f1 , |
||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
λ(2) |
= − (f1, g2 ) |
= − |
2 +3 +4 |
= −3. |
|||||||||
|
|||||||||||||
1 |
|
|
|
f1 2 |
|
|
( 3)2 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
Следовательно,
9 ШМИДТ Эрхард (1876-1959) - немецкий математик. Родился в Дерпте, с 1917 профессор Берлинского университета. В 1946-1958 первый директор Института математики академии наук ГДР. Основные его труды по теории функций, интегральным уравнениям, функциональному анализу. Определил и геометрически изучил гильбертово пространство в полной аналогии с геометрией Евклида. Занимался квадратичными формами. Известен оператор Гильберта-Шмидта.
66
|
|
|
|
|
|
|
|
|
2 = (−1 |
0 |
1). |
|
|
|
|
|
||||
|
|
|
|
|
|
f |
|
|
|
|
|
|||||||||
Далее, находим |
|
|
|
|
|
= g3 +λ(3) |
|
|
|
+λ(3) |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
2 , |
|
|||||||||
|
|
|
f |
3 |
f1 |
f |
|
|||||||||||||
где |
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|||||
= − (f1, g3 )= −2 , λ(3) |
= − (f |
2 , g3 )= −2 . |
||||||||||||||||||
λ(3) |
||||||||||||||||||||
1 |
|
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
2 |
||
|
|
f1 |
|
|
|
|
|
|
|
f2 |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Таким образом, |
|
|
|
|
|
|
|
|
|
3 = (2 |
4 |
2). |
|
|
|
|
|
|||
|
|
|
|
|
|
|
f |
|
|
|
|
|
Нормируя векторы f1, f2 , f3 , получим ортонормированный базис
e1 |
|
1 |
− |
1 |
1 |
e2 |
|
− |
1 |
0 |
1 |
|
e3 |
|
1 |
2 |
1 |
= |
3 |
3 |
, |
= |
2 |
2 |
, |
= |
6 |
6 |
. |
||||||
|
|
|
3 |
|
|
|
|
|
|
|
6 |
7.2.Выражение скалярного произведения через координаты
вортонормированном базисе
Пусть в n -мерном евклидовом пространстве задан некоторый ортонормированный базис {e1, e2 ,..., en }.
Рассмотрим в этом пространстве векторы x и y , координаты которых в данном базисе соответственно равны α1,α2 ,...,αn ; β1, β2 ,..., βn , т.е.
x =α1e1 +α2e2 +... +αnen ,
y = β1e1 + β2e2 +... + βnen .
Вычислим скалярное произведение этих векторов:
(x, y)= (α1e1 +α2e2 +... +αnen , β1e1 + β2e2 +... + βnen ).
Так как {e1, e2 ,..., en }– ортонормированный базис, то
(ei , e j )= δij = 0, |
i ≠ j, |
где i, j =1,2,..., n . |
1, |
i = j. |
|
Следовательно,
n
(x, y)=α1β1 +α2β2 +... +αn βn = ∑αi βi .
i =1
Таким образом, если векторы заданы координатами в ортонормированном базисе, то их скалярное произведение равно сумме произведений одноименных координат.
67
Используя полученную формулу, можно записать формулу для нормы вектора.
Действительно, так как x = (x, x ), то
x = α12 +α22 +... +αn2 .
Нормирующий множитель для вектора x имеет вид
μ = ± |
1 |
, |
α12 +α22 +... +αn2 |
где α1,α2 ,...,αn – координаты вектора x в ортонормированном базисе. Заметим, что в ортонормированном базисе базисная матрица Грама яв-
ляется единичной, т.е. Γe = E , следовательно, det Γe =1. Приняв во внимание, что det Γg = det Γe (det P)2 (см. формулу (6.1)), получим det Γg = (det P)2 > 0 ,
т.е. в любом базисе определитель матрицы Грама является положительным
( det Γg > 0 ).
Кроме того, в ортонормированном базисе {e1, e2 ,..., en } евклидова про-
n
странства E n для любого элемента x = ξ1e1 +ξ2e2 +... +ξnen = ∑ξi ei этого
i =1
пространства имеют места равенства
ξi = (x, ei ), i =1,2,..., n .
Действительно, так как в ортонормированном базисе {e1, e2 ,..., en } мат-
рица Грама единична, то обратная к ней матрица Γe−1 также является единичной, а следовательно, из формулы (6.2) получаем
ξ1 |
|
|
|
(x,e1 ) |
(x,e1 ) |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
ξ2 |
|
−1 |
|
(x,e2 ) |
|
(x,e2 ) |
, |
||
X = |
M |
|
= Γe |
|
M |
|
= |
M |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
||||||
|
ξn |
|
|
|
|
|
|
|
|
|
|
|
|
|
(x,en ) |
(x,en ) |
|
отсюда ξi = (x, ei ), i =1,2,..., n .
7.3. Ортогональные матрицы в евклидовом пространстве
Определение. Матрица Q , удовлетворяющая соотношению QT = Q−1 ,
называется ортогональной.
68
Основные свойства ортогональных матриц
1º. QTQ = QQT = E .
Оба эти равенства говорят о том, что у ортогональной матрицы столбцы (строки), если их рассматривать как элементы пространства матрицстолбцов (строк), сами образуют ортонормированную систему ([1, гл.5, §3, с. 158]).
2º. det Q = ±1.
Ортогональная матрица, для которой det Q =1, называется собствен-
ной.
3º. Любая ортогональная матрица не вырождена (следует из свойства
2).
4º. Произведение двух ортогональных матриц – ортогональная матри-
ца.
Действительно, пусть A и B – две ортогональные матрицы, тогда
(AB)T AB = BTATAB = BT EB = BT B = E .
5º. Если Q – ортогональная матрица, то и QT также ортогональная мат-
рица.
Покажем это.
QQT = E , или (QT )T QT = E ,
следовательно,
(QT )T = (QT )−1 ,
что означает, что QT – ортогональная матрица.
6º. Если Q – ортогональная матрица, то и Q−1 также ортогональная матрица.
Так как Q – ортогональная матрица, то QT = Q−1 . Следовательно,
(Q−1 )T = (QT )−1 = (Q−1 )−1 .
Теорема. Ортогональные матрицы, и только они, в n -мерном евкли-
довом пространстве E n могут служить матрицами перехода от одного ортонормированного базиса к другому ортонормированному базису.
69
Доказательство. Рассмотрим в E n следующие два различных ортонормированных базиса: {e1, e2 ,..., en } – старый базис, а {e1', e2 ',..., en '} – новый базис. Пусть P является матрицей перехода от старого базиса к новому. Поскольку в этих базисах матрица Грама единичная, то из соотношения
Γe' = PT ΓeP
следует равенство
E = PT EP,
E = PT P.
Поскольку матрица перехода P невырожденная, то окончательно име-
ем
PT = P−1 .
То есть матрица перехода P является ортогональной.
С другой стороны, покажем, что если P – ортогональная матрица, то она служит матрицей перехода от одного ортонормированного базиса к другому ортонормированному базису. Действительно, так как P – ортогональная матрица, то она является невырожденной и
PT = P−1 .
В силу ортонормированности базиса {e1, e2 ,..., en } Γe = E , тогда
Γe' = PT ΓeP = E ,
следовательно, новый базис {e1', e2 ',..., en '}является ортонормированным.
Приведем в качестве примеров следующие ортогональные матрицы:
0,6 |
−0,8 |
cosα |
−sinα |
1 |
0 |
0 |
|
||||
|
0 |
−1 0 |
|
||||||||
|
0,8 |
−0,6 |
|
, |
cosα |
|
, |
. |
|||
|
|
sinα |
|
|
0 |
0 |
1 |
|
|||
|
|
|
|
|
|
|
|
|
Проверьте, будут ли данные матрицы ортогональны, опираясь на определение ортогональной матрицы.
70