Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Процесс ортогонализации



Теорема 8.12. Во всяком n -мерном евклидовом пространстве существует ортонормированный базис.

Доказательство. Пусть а 1, а 2, …, аn – произвольный базис евклидова пространства Е. Доказательство заключатся в описании алгоритма построения ортогонального базиса по данному базису. Этот алгоритм называется процессом ортогонализации. Пусть b 1 = a 1, b 1 ≠ 0 (т. к. а 1 ≠ 0). Положим b 2 = a 2 + a1 b 1. Подберем коэффициент a1 так, чтобы b 2 ≠ 0 стал ортогонален b 1;

(b 1, b 2) = 0 Þ (b 1, a 2 + a1 b 1) = 0 Þ (a 2 + a1 b 1, b 1) = 0 Þ (a 2, b 1) + a1(b 1, b 1) = 0, т. к. b 1 ≠ 0, то (b 1, b 1) ≠ 0 Þ a1 = . Вектор b 2 не равен нулю, поскольку он является ненулевой линейной комбинацией линейно независимых векторов a 1 и a 2.

Положим, далее b 3 = a 3 + b1 b 1 + b2 b 2. Подберем b1 и b2 так, чтобы b 3 ≠ 0 оказался ортогонален b 1 и b 2, для чего должны выполняться условия (b 1, b 3) = 0, (b 2, b 3) = 0. Выполняя преобразования, получим, что b1 = , b2 = . Вектор b 3 не равен нулю, поскольку он является ненулевой линейной комбинацией векторов а 1, а 2, а 3.

Продолжая этот процесс, получим систему векторов b 1, b 2, …, bn, и так как эти векторы ненулевые и попарно ортогональны, то по теореме 8.11 они линейно независимы, а значит образуют ортогональный базис.

Нормируя ортогональный базис b 1, b 2, …, bn, получим ортонормированный базис n -мерного евклидова пространства:

e 1 = × b 1, e 2 = × b 2, …, en = × bn.

Пример 8.12. Применить процесс ортогонализации к векторам а 1 = (2, –2, –2, 2), а 2 = (3, –1, –1, 3), а 3 = (2, –2, 0, 4).

Решение. Это задание можно сформулировать так: по данному базису подпространства построить ортогональный базис.

b 1 = а 1, b 1 = (2, –2, –2, 2);

b 2 = a 2 + a1 b 1, a1 = = = = –1. Тогда b 2 = a 2b 1 = (1, 1, 1, 1).

b 3 = a 3 + b1 b 1 + b2 b 2, b1 = = = –1, b2 = = = –1. Тогда b 3 = a 3b 1b 2 = (–1, –1, 1, 1).





Дата публикования: 2014-11-18; Прочитано: 12153 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.007 с)...