Евклидово пространство, ортонормированные системы

Определение. Вещественное линейное пространство называется евклидовым пространством, если каждой паре поставлено в соответствие вещественное число, которое называется скалярным произведением векторов и , обозначается и для любых , R удовлетворяет следующим требованиям:

1) ;

2. ;

61

3) , причем равенство возможно лишь в том случае, когда .

Утверждение. Арифметическое пространство Rⁿ, в котором скалярное произведение векторов задано равенством

,

является евклидовым пространством. Оно обозначается Eⁿ.

Определение. Векторы и называются ортогональными, если их скалярное произведение равно нулю.

Определение. Нормой (длиной) вектора называется число .

Определение. Углом между ненулевыми векторами и назы­вается угол такой, что

.

Определение. Система ненулевых векторов называется ортого­нальной системой, если скалярное произведение любых двух различных векторов этой системы равно нулю.

Утверждение. Ортогональная система линейно независима.

Определение. Ортогональная система векторов называется ортонормированной системой, если норма любого вектора из этой системы равна единице.

Процесс ортогонализации базиса. Пусть даны линейно независимых векторов . Для построения по этим векторам попарно ортогональных векторов необходимо провести следующую процедуру ортогонализации. Положим вначале . Затем вектор будем искать в виде .

По условию ортогональности . Следовательно, откуда .

62

Предположим, что уже построено ортогональных векторов . Будем искать в виде

.

По условию вектор должен быть ортогонален , что даёт уравнений для определения неизвестных . Выпишем эти уравнения с учётом ортогональности векторов :

откуда получим

Примеры

1. В евклидовом пространстве построить ортонормированный базис по данному

Решение. Проведём вначале ортогонализацию, т.е. построим ортогональный базис . Проверим прежде всего, нет ли среди векторов ортогональных. Вычислим :

.

Откуда следует, что векторы и ортогональны. Они сразу входят в состав ортогонального базиса .

Далее определим , пользуясь процедурой ортогонализации. Ищем в виде .

Из условий ортогональности имеем

.

63

Таким образом

Теперь отнормируем базис , т.е. переведём его в ортонормированный базис , получим

2. Дополнить до ортогонального базиса пространства систему векторов

Решение. Вначале ортогонализируем . Положим . Исходя из условия .

Построим . Пусть . По условиям ортогональности , откуда имеем

.

Общее решение полученной системы есть

ФСР строится стандартным способом и состоит из двух линейно независимых решений:

Вектор ортогонален векторам и, следовательно, входит в ортогональный базис. Вектор также ортогонален , но не ортогонален . Действительно

.

64

Проверим теперь, является ли система векторов линейно независимой. Для установления факта зависимости (независимости) этих векторов вычислим а»):

Неравенство нулю этого определителя означает, что однородная система уравнений для коэффициентов линейной комбинации рассматриваемых векторов имеет лишь тривиальное решение. Следовательно, векторы линейно независимы и составляют базис в пространстве . Остаётся теперь ортогонализировать вектор . Следуя стандартной процедуре, ищем в виде

Таким образом окончательно в качестве ортогонального базиса в имеем .

Задачи

5. Найти нормы векторов и , их скалярное произведение и косинус угла между ними, если

65

а) , ; б) , ;

в) , .

5. Найти длины сторон и внутренние углы треугольника , вершины которого заданы своими координатами: , , .

51. Установить, что данная система векторов является ортогональной, и получить из нее ортонормированную систему:

а) , ; б) , , ;

в) , , .

52. Ортогонализировать систему векторов:

а) , ; б) , , ;

в) , , .

52. Построить ортонормированный базис линейной оболочки векторов:

а) , ; б) , , ;

в) , , , .

54. Дополнить до ортогонального базиса пространства Еⁿ систему векторов:

а) ; б) , ; в) , , ; г) , .

54. Дополнить до ортонормированного базиса пространства Еⁿ систему векторов:

а) ; б) , ;

в) , .

54. Доказать, что линейное пространство непрерывных на отрезке функций является также евклидовым пространством, если в нем скалярное произведение двух произвольных функций и задано следующим образом:

66

.

Записать в этом пространстве неравенство треугольника и неравенство Коши-Буняковского.

54. Считая, что в евклидовом пространстве из предыдущей задачи , , найти

а) длину вектора ;

б) длину вектора ;

в) скалярное произведение векторов и ;

г) скалярное произведение векторов и ;

д) угол между векторами и ;

е) угол между векторами и .

54. Проверить, что в пространстве непрерывных на отрезке функций со скалярным произведением, заданным формулой

,

функции образуют ортогональную систему. Получить из нее ортонормированную систему.