Лекции 17 Евклидово пространство

Содержание лекции: Евклидово пространство. Ортонормированный базис. Понятие метрического пространства. Метрическое пространство Rⁿ.

Рассмотрим линейное пространство L. Наряду с операциями сложения векторов и умножения вектора на число введем в этом пространстве еще одну операцию – операцию скалярного умножения.

Определение 1

Если каждой паре векторов а, b Î L по некоторому правилу поставить в соответствие действительное число, обозначаемое символом (а, b) и удовлетворяющее условиям

1. (а, b) = (b,а),

2. (а + с, b) = (а, b) + (с, b),

3. (aа, b) = a(а, b)

4. > 0 " а ¹ 0 и = 0 Û а = 0,

то это правило называется скалярным умножением, а число (а, b) называется скалярным произведением вектора а на вектор b.

Число называют скалярным квадратом вектора а и обозначают , т. е. .

Условия 1) – 4) называют свойствами скалярного произведения: первое – свойством симметрии (коммутативности), второе и третье – свойствами линейности, четвертое – положительной определенности, а условие Û называют условием невырожденности скалярного произведения.

Определение 2

Евклидовым пространством называется действительное линейное пространство, на котором введена операция скалярного умножения векторов.

Евклидово пространство обозначают Е.

Свойства 1) – 4) скалярного произведения при этом называют аксиомами евклидова пространства.

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

· Пространства V² и V³ являются евклидовыми пространствами, т.к. на них скалярное произведение, удовлетворяющее всем аксиомам, было определено следующим образом

.

· В линейном пространстве R_п(x) многочленов степени не выше п скалярное умножение векторов и можно ввести по формуле

.

Проверим выполнение свойств скалярного произведения для введенной операции.

1) .

2) Рассмотрим . Пусть , тогда

.

3)

.

4) . Но сумма квадратов любых чисел всегда больше либо равна нулю, причем равна нулю тогда и только тогда, когда все эти числа равны нулю. Следовательно, , если многочлен не равен тождественно нулю (т.е. среди его коэффициентов есть отличные от нуля) и Û когда , что означает .

Таким образом, все свойства скалярного произведения выполняются, значит, равенство определяет скалярное умножение векторов пространства R_п(x), а само это пространство является евклидовым.

· В линейном пространстве Rⁿ скалярное умножение вектора на вектор может быть определено по формуле

.

Покажем, что в любом линейном пространстве может быть определено скалярное умножение, т.е. любое линейное пространство можно сделать евклидовым пространством. Для этого возьмем в пространстве Lⁿ произвольный базис {а₁, а₂, …, а_п}. Пусть в этом базисе

а = a₁а₁+ a₂ а₂+ …+ a_па_п и b = b₁а₁ + b₂а₂ + …+ b_па_п.

Положим

(а, b) = a₁b₁+ a₂b₂+ …+ a_пb_п. (*)

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

1) (а, b) = a₁b₁+ a₂b₂+ …+ a_пb_п = b₁a₁+ b₂a₂+ …+b_пa_п= (b, а),

2) Если ,то

.

Тогда

g₁ = а₁, g₂ = а₂ + g₁

g₃ = а₃ + g₁ + g₂ ,

и подберем и так, чтобы вектор g₃ был ортогонален и g₂, и g₃, т.е. (g₁, g₃) = 0 и (g₂, g₃) = 0. Находим

,

.

Тогда из равенств и находим соответственно и .

Таким образом, вектор g₃ = а₃ –` g₁ – g₂ ортогонален векторам g₁ и g₂.

Аналогично построим вектор

g₄ = а₄ –` g₁ – g₂ – g₃.

Нетрудно проверить, что (g₁, g₄) = 0, (g₂, g₄) = 0, (g₃, g₄) = 0.

Действую далее подобным образом, получим

g_п = а_п – g₁ – g₂ – … – g_п–1,

причем этот вектор, в силу взаимной ортогональности векторов g₁, g₂, …, g_п–1, будет ортогонален каждому из этих векторов.

Таким образом, система векторов { g₁, g₂, …, g_п}, где

g₁ = а₁,

g_k = а_k – g₁ – g₂ – … – g_k–1, k = 2, 3, …, n,

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

2. Положим теперь , , , …, . В силу теорем 5.1 и 5.2, векторы е₁, е₂, …, е_n попарно ортогональны и линейно независимы, а значит, образуют ортонормированный базис рассматриваемого пространства.

Таким образом, во всяком евклидовом пространстве существует ортонормированный базис. ▲

Из доказательства этой теоремы следует алгоритм построения ортонормированного базиса (процесс ортогонализации):

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

2) Найти векторы ортогонального базиса по формулам

g₁ = а₁,

g_k = а_k – g₁ – g₂ – … – g_k–1, k = 2, 3, …, n.

3) Нормировать полученную систему векторов {g₁, g₂, …, g_п}, т.е. положить .

4) Записать ортонормированный базис {е₁, е₂, …, е_n}.

В дальнейшем ортонормированный базис будем обозначать

Б₀:{е₁, е₂, …, е_n}.

Отметим следующие свойства ортонормированного базиса.

1) В ортонормированном базисе скалярное произведение любых двух векторов пространства равно сумме произведений их соответствующих координат: (а, b) = a₁b₁ + a₂b₂ + …+ a_п b_п.

2) Если в некотором базисе скалярное произведение двух векторов равно сумме произведений их соответствующих координат, то этот базис – ортонормированный.

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

3) В ортонормированном базисе норма вектора равна корню квадратному из суммы квадратов его координат.

|| a || = .

Определение 8.

Множество М называется метрическим пространством, если существует правило, по которому любым двум его элементам х и у поставлено в соответствие некоторое действительное число r(х,у) называемое расстоянием между этими элементами, удовлетворяющее условиям:

1. r(х,у) = r(у,х);

2. r(х,у)³0 для любых х и у, причем r(х,у)=0 тогда и только тогда, когда х = у;

3. r(х,у) £ r(х, z) + r(у, z) для любых трех элементов х, у, zÎМ.

Элементы метрического пространства называются точками.

Примером метрического пространства является пространство Rⁿ, в нем расстояние между точками (векторами этого пространства) может быть определено по формуле r(х,у) = || х – у ||.