Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

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



Пусть V=(V,+,W) – линейное пространство над полем R. Будем говорить, что в линейном пространстве V задано скалярное умножение, если задано отображение V´V®R, удовлетворяющее следующим аксиомам:

1° "a,bÎV ((a,b)=(b,a))

2° "a,b,cÎV ((a+c,b)=(a,b)+(c,b))

3° "a,bÎV"lÎ R ((la,b)= l(a,b))

4° "aÎV (a¹0Þ(a,a)>0)

Следствие из аксиом. Если a=0 или b=0, тогда (a,b)=0.

Примеры

1. Рассмотрим линейное пространство векторов на плоскости, а скалярное произведение определим так:

Самостоятельно показать, что все аксиомы выполняются.

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

(f (x) ,g (x))= .

Самостоятельно показать, что все аксиомы выполняются.

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

В любом n-мерном линейном пространстве можно ввести скалярное умножение векторов. Действительно, пусть V – n-мерное линейное пространство и e1,e2,…,en – базис этого пространства, тогда любой вектор линейного пространства V можно представить как линейную комбинацию векторов базиса, то есть "a,bÎV(а= , b= ). Введем операцию умножения векторов по правилу

(a,b)= ÎR.

Проверим, будет ли данное умножение скалярным произведением, для этого проверим все аксиомы

1° "a,bÎV ((a,b)= = =(b,a))

2° "a,b,cÎV ((a+c,b)= = (a,b)+(c,b))

3° "a,bÎV"lÎ R ((la,b)= = l(a,b))

4° "aÎV (a¹0Þ(a,a)= >0)

Все аксиомы выполнены, следовательно, мы получили евклидово пространство. Это говорит о том, что любое конечномерное линейное пространство можно преобразовать в евклидово. Далее будем рассматривать евклидовы пространства и обозначать их Е(n).

Определение. Назовем длиной вектора а величину, равную арифметическому квадратному корню из скалярного квадрата

ô а ô= .

Определение. Назовем углом между векторами a¹0 и b¹0 угол

j=arccos , 0£j£p.

Докажем корректность этого определения, то есть нужно показать, что

-1£ £1Û £1Û £1.

Рассмотрим скалярный квадрат вектора a-lb, где lÎ R, имеем

(a-lb, a-lb)=(a, a-lb)+(-lb, a-lb)=(a,a) +(a,-lb)+(-lb, a)+(-lb,-lb)=

=(a,a)-l(a,b)- -l(b,a)+ l2(b,b)= l2(b,b)-2l(a,b)+(a,a)³0 "lÎR.

Если рассмотреть последнее соотношение как квадратное неравенство относительно переменной l, тогда имеем (b,b)>0, и неравенство верно "lÎR, следовательно,

D=(a,b)2-(a,a)(b,b) £0Û (a,b)2£(a,a)(b,b) Û £1, что и требовалось доказать.

Из неравенства (a,b)2-(a,a)(b,b) £0 можно получить интересное следствие.

Пусть дано пространство, и скалярное произведение в нем определено следующим образом (a,b)= , тогда получим

()2- £0Û(a1b1+a2b2+…+anbn)2£(a12+…+ an2)(b12+…+ bn2).

Это неравенство Коши – Буняковского.

Определение. Два вектора a¹0 и b¹0 называются ортогональными, если угол между ними равен 90° или (a,b)=0.

Определение. Система векторов

a1,a2,…,as (1)

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

"i¹j ((ai,aj)=0).

Теорема. Ортогональная система векторов линейно независима.

Доказательство

Пусть система векторов (1) – ортогональная. Рассмотрим их линейную комбинацию

a1a1+a2a2+…+asas=0 (2)

и покажем, что равенство 0 обязательно влечет за собой равенство нулю всех коэффициентов. Умножим обе части равенства (2) скалярно на a1, получим

(a1a1+a2a2+…+asas,a1)=(0,a1) Û (a1a1,a1)+(a2a2,a1)+…+(a sas ,a1)=0 Û

Ûa1(a1,a1)+ a2(a2,a1)+…+ a s(as ,a1)=0,

но (ai,aj)=0, если i¹j, то есть (a2,a1)=…=(as ,a1)=0. Следовательно, получаем

a1(a1,a1)=0 и (a1,a1)>0, отсюда a1=0. Аналогично, умножая равенство (2) скалярно на a2,…,as, получим a2=…=as=0, что и требовалось доказать, следовательно, система векторов (1) линейно независима.

Из доказанной теоремы следует, что всякая ортогональная система векторов евклидова пространства линейно независима. Возникает вопрос о переходе от линейно независимой системы векторов к ортогональной, содержащей такое же количество векторов. Такой процесс называется процессом ортогонализации. Дадим индуктивное определение процесса ортогонализации:

1. Пусть система векторов a1, a2 (s=2) линейно независима (очевидно, a1¹0,a2¹0). Рассмотрим новую систему векторов b1=a1, b2=aa1+a2, где a - неизвестный числовой параметр, который найдем из условия (b1,b2)=0:

(b1,b2)=(a1,aa1+a2)=a(a1,a1)+(a1,a2)=0 Þ a=- .

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

2. Пусть имеем линейно независимую систему векторов

a1,a2,…,as (1)

Предположим, что для любого k (2£k<s) ортогональная система векторов построена

b1,b2,…,bk.

Добавим еще один вектор bk+1=a1b1+a2b2+…+akbk+ ak+1.

Самостоятельно показать, что bk+1¹0.

Коэффициенты ai будем вычислять из условия, что

(bk+1,bi)=0Û(a1b1+a2b2+…+akbk+ ak+1,bi)=0Û

a1(b1,bi)+ …+ai(bi,bi)+…+ ak(bk,bi)+(ak+1,bi)=0Ûai(bi,bi)+(ak+1,bi)=0Þ

ai=- .

получим ортогональную систему векторов b1,b2,…,bk bk+1.

Следствие. Пусть a1,a2,…,anÎЕ(n) и являются базисом Е(n). Так как базис - это линейно независимая система, то его можно ортогонализировать. Очевидно, полученная ортогональная система векторов также будет базисом пространства Е(n). То есть в любом евклидовом пространстве существует ортогональный базис.

Пусть а¹0ÎЕ(n). Рассмотрим вектор е= . Очевидно, ôеô=1. Операция перехода от вектора а к вектору е называется нормированием, а полученный вектор – нормированным или нормальным. Любой ненулевой вектор можно аналогичным образом пронормировать. Если пронормировать векторы ортогонального базиса, то получим ортонормированный базис евклидова пространства e1,e2,…,en,где ôеiô=1"i=1,…,n, (ei,ej)= .

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





Дата публикования: 2015-01-23; Прочитано: 284 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.009 с)...