По определению , поэтому необходимо показать, что
.
Теорема
5.1. Для скалярного произведения в евклидовом пространстве справедливо неравенство Коши-Буняковского
:
или .
Доказательство. Рассмотрим
функцию , где
, из
свойств 4, 5 скалярного произведения следует, что
:
.
Применяя свойства 1, 2, 3, получим:
Так как :
, (свойство 4), то
,
где
– дискриминант квадратного трёхчлена, т.е.
, следовательно
или
.
Следствие 5.1. Из неравенства Коши-Буняковского получаем, что
или
, следовательно, понятие угла
определено корректно.
Определение.
Векторы и
называются
перпендикулярными или ортогональными, если
.
Будем
считать, что вектор ортогонален любому вектору.
Определение.
Система векторов в пространстве
называется ортогональной, если
.
Определение.
Система векторов в пространстве
называется ортонормированной,
если
, где
– символ Кронекера.
Теорема 5.2. Любая
ортонормированная система векторов в пространстве линейно
независима!
Доказательство.
Пусть – ортонормированная система векторов в
. Рассмотрим равенство
(*)
Умножим
обе части равенства на (
),
тогда
,
.
Так
как – ортогональны, то
при
, следовательно
, где
и
:
.
Следовательно, равенство (*) возможно, если линейная комбинация тривиальна, это означает, что система векторов линейно независима.
Теорема
5.3. ВЕвклидовом пространстве всегда
существует ортонормированный базис!
Доказательство (метод математической индукции по размерности пространства п).
1) При п = 1
утверждение очевидно. Если – ненулевой вектор, то
вектор
– ортонормированная система из одного
вектора;
2) Предположим, что в каждом (п
– 1) – мерном евклидовом пространстве существует
ортонормированный базис и покажем, что тогда
утверждение верно и для п – мерного пространства.
Пусть базис в пространстве
(вектор
–
линейно независим с
). Линейная
оболочка векторов
представляет собой(п
– 1) – мерное евклидово пространство и по предположению индукции,
там существует ортонормированная система из(п – 1) векторов
. Рассмотрим вектор
(**).
Коэффициенты
подберем так, чтобы вектор
былортогонален всем векторам
. Умножим равенство (**) на
векторы
, получим
, откуда находим
(
).
Рассмотрим теперь вектор . Длина его равна 1 и он ортогонален
векторам
, следовательно система векторов
ортонормированная и по теореме 5.2
образует базис в пространстве
.
Метод,
с помощью которого получен ортонормированный базис в пространстве при доказательстве теоремы 5.3 называется
методом ортогонализации.
Практическая реализация метода ортогонализации
Пусть произвольный
базис в пространстве
.
1) Полагаем (нормировать полученные векторы можно
и потом).
2) Находим ортогональный
базис в линейной оболочке векторов , полагаем
, где
,
тогда
и искомый базис
.
3)
Находим ортогональный базис в линейной оболочке векторов , полагаем
, где
тогда
и искомый
базис
.
Повторяя
эту процедуру, на п-м шаге получим ортогональный базис в . Нормируя каждый вектор, получаем
ортонормированный базис.
Пример
5.1. Применить процесс ортогонализации к следующей системе векторов евклидова
пространства:
.
Решение. Полагаем . Вектор
ищем в
виде
. Так как
(считаем, что векторы заданы в ортонормированном базисе, который
по теореме 5.3 всегда существует в
), то
.
Следовательно,
Наконец, вектор находим в виде следующей линейной
комбинации векторов:
.
Вычисляя скалярные произведения
,
находим значения коэффициентов:
Следовательно,
Таким образом, получаем следующую систему ортогональных векторов:
Разделив каждый вектор на его длину:
,
,
, получим ортонормированный
базис:
Пусть в задан
базис
, значит
:
тогда на основании свойств скалярного умножения
(5.1)
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.