Скалярний добуток та евклідові простори.


Означення.В дійсному векторному просторі Vn визначена операція скалярного множення, якщо кожній парі векторів a,b є Vn ставиться у відповідність єдине дійсне число, яке називається скалярним добутком векторів a,b і познaчається символом (a,b), причому виконуються аксіоми скалярного добутку:

1. "a,b є Vn [(a,b)=(b,a)];

2. "a,b є Vn [(a+b,c)=(a,c)+(b,c)];

3. "a,b є Vn "k є R [(ka,b)=k(a,b)];

4. "a є Vn, a¹0 [(a,a)³0].

Властивості скалярного добутку:

1) (а12+…+аn,b)=(a1,b)+(a2,b)+…+(an,b);

2) (a-b,c)=(a,c)-(b,c);

3) " b є Vn [(0,b)=0];

4) (åkiai,åmjbj)=ååkimj(ai,bj), i=1,…,k, j=1,…,n;

5) (a,a)=0 ó a=0;

6) (q,q)=0.

Означення.Дійсний векторний простір, в якому визначений скалярний добуток, називається евклідовим простором.

Позначається евклідовий простір Е, а евклідовий простір

розмірності n – En.

Приклади евклідових просторів:

1) Множина векторів простору Vn утворює Еn, якщо скалярний добуток векторів а=(а12,…,аn) і b=(b1,b2,…,bn) визначається правилом

(a,b)=a1b1+a2b2+…+anbn.

2) Якщо в просторі С[a,b] функцій, неперервних на сегменті [a,b], скалярний добуток х(t) i y(t) визначається правилом

(x(t),y(t))=òx(t)y(t)dt, то множина С[a,b] утворює Еn.

Теорема 1. В будь-якому n-мірному дійсному векторному просторі Vn можна визначити скалярний добуток, тобто простір Vn можна перетворити в евклідовий простір Еn.

 

 

§2. Довжина вектора. Кут між векторами.

Нехай а – будь-який вектор простору Еn.

Означення.Невід’ємне значення квадратного кореня з числа (а,а) називається довжиною або нормою вектора а і позначають êêа êê.

êêа êê=

Властивості норми вектора:

1) êêа êê=0 ó a=0;

2) k є R êêkа êê= k êêа êê.

Теорема 2. (Нерівність Коші-Буняковського)

Для довільних векторів a,b евклідового простору має місце нерівність:

(a,b)2 £ êêа êê2 êêb êê2

Означення.Кутом між векторами a i b (відмінних від нульових) евклідового простору Е називається таке число j (0<=j<=p), що ê.

Означення.Вектори a i b простору Е називаються ортогональними, якщо (a,b)=0. Для ненульових векторів a,b це рівносильно тому, що кут між а і b дорівнює p/2.

Теорема 3. (Піфагора)

Квадрат довжини суми довільних ортогональних векторів a i b евклідового простору Е дорівнює сумі квадратів доданків:

úúa+búú2=úúaúú2+úúbúú2.

Доведення. Нехай a i b довільно вибрані ортогональні вектори в Е. Тоді за означенням довжини вектораúúa+búú2=(a+b,a+b). Але за другою аксіомою скалярного добутку

(a+b,a+b)=(a,a)+(a,b)+(b,a)+(b,b).

А внаслідок ортогональності векторів a i b (a,b)=(b,a)=0.

Таким чином úúa+búú2=(a,a)+(b,b)= úúaúú2+úúbúú2.

Теорема 4.(Нерівність трикутника)

Довжина суми будь-яких двох векторів евклідового простору Е не більша, ніж сума довжин доданків : úúa+búú£úúaúú+úúbúú.

Доведення. Нехай a i b довільно вибрані вектори простору Е.

Тоді úúa+búú2=(a+b,a+b)=(a,a)+2(a,b)+(b,b).

Але оскільки за нерівністю Коші-Буняковського



2(a,b) £2úúaúúúúbúú, то

úúa+búú2 = (a+b,a+b) £ (a,a)+2(a,b)+(b,b)=úúaúú2+2úúaúúúúbúú+úúbúú2 =
=(úúaúú+úúbúú)2.

Отже, úúa+búú£úúaúú+úúbúú.

§3. Ортогональний базис.

Теорема 5. Якщо вектор а ортогональний кожному з векторів b1,b2,…,bk, то він ортогональний і будь-якій лінійній комбінації цих векторів åkibi,I=1,…,k.

Означення.Система векторів а12,…,аn називається ортогональною, якщо будь-які її два вектори ортогональні,тобто (аij)=0 для i¹j.

Теорема 6. Будь-яка ортогональна система ненульових векторів лінійно незалежна.

Наслідок. Будь-яка ортогональна система n ненульових векторів
n-мірного евклідового простору Еn є ортогональним базисом цього простору.

Ортонормований базис.

Означення.Вектор а, довжина (норма) якого дорівнює 1, називається нормованим.

Означення.Базис е12,…,еn евклідового простору Еn називається ортонормованим, якщо він ортогональний і всі його вектори нормовані, тобто

ij)=

Наслідок. В кожному евклідовому просторі Еn існують ортонормовані базиси.

 

 









Последнее изменение этой страницы: 2016-04-08; Нарушение авторского права страницы

infopedia.su не принадлежат авторские права, размещенных материалов. Все права принадлежать их авторам. Обратная связь