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

В линейном пространстве можно определить скалярное произведение векторов (х, у).

Свойства скалярного произведения:

1. (х, х) ³ 0, при этом (х, х) = 0 Û х = 0;

2. (х, у) = (у, х);

3. (х12, у) = (х1, у) + (х2, у);

4. (λх, у) = λ (х, у).

Линейное пространство с определенным в нем скалярным произведением называется евклидовым пространством. В евклидовом пространстве норма вводится с помощью формулы

.

Из свойств скалярного произведения следует, что все аксиомы нормы при этом выполнены.

Наличие в линейном пространстве скалярного произведения позволяет ввести в этом пространстве не только норму (длину) вектора, но и угол между векторами. Угол между векторами х и у определяется формулой

.

Если скалярное произведение (х, у) = 0, то вектора х и у называются ортогональными. Система ненулевых векторов называется ортогональной, если любые два из них ортогональны. Если вектора ортогональны, то они линейно независимы. Полная система ортогональных векторов образует в евклидовом пространстве ортогональный базис.

Рассмотрим некоторые примеры евклидовых пространств и ортогональных базисов в них.

1. Пространство R n с элементами с обычными операциями сложения и умножения и скалярным произведением

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

2. Пусть f ÎC[ a; b ] – пространство непрерывных функций. Оно удовлетворяет аксиомам линейного пространства, поэтому функции можно рассматривать как векторы. Определим в этом пространстве скалярное произведение. Положим

.

Нетрудно проверить, что введенное таким образом скалярное произведение удовлетворяет всем требуемым свойствам. Квадратичная метрика, рассмотренная в примере 7 пункта 1, индуцируется нормой, порождаемой этим скалярным произведением

.

Рассмотрим системы функций, образующих ортогональный базис в пространстве С[ a, b ]. Среди различных ортогональных базисов важнейшим является тригонометрическая система, состоящая из функций

В качестве другого ортогонального базиса можно взять многочлены Лежандра:

.

Все рассмотренные примеры играют важную роль в дальнейшем изложении.


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: