15. Базис векторного пространства. Координаты вектора

Пусть L – линейное пространство над полем Р.

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

Базису можно дать другое определение, эквивалентное приведённому.

Определение 19. Базисом Линейного пространства L Называется любая упорядоченная система А1, а2, … , аn , … (*) его векторов, удовлетворяющая следующим требованиям:

1. любой вектор из L можно представить в виде линейной комбинации конечного числа векторов из (*);

2. ни один вектор Ак Из системы (*) нельзя представить в виде линейной комбинации конечного числа остальных векторов из (*).

Теорема 11. Если линейное пространство L имеет конечный базис, то все базисы этого пространства конечны и содержат одно и то же число векторов.

Доказательство. Любые два базиса эквивалентны. Так как каждый из них линейно независим, то отсюда и следует утверждение теоремы.

Определение 20. Линейное пространство называется Бесконечно мерным, Если в нём есть базис, содержащий бесконечное множество векторов. Если все базисы пространства содержат N векторов, то пространство называется N-мерным.

Размерность линейного пространства будем обозначать dimL.

Примеры. 1. Множество всех коллинеарных геометрических векторов есть одномерное линейное пространство. Базисом является любой ненулевой вектор.

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

3. Множество всех возможных геометрических векторов трёхмерного евклидова пространства есть трёхмерное линейное пространство. Базисом будет любая упорядоченная тройка некомпланарных векторов.

4. Множество всех многочленов степени не выше N С действительными (комплексными) коэффициентами есть (N + 1)-мерное линейное пространство. Система 1, х, х2, … , хn – один из базисов в нём.

5. Множество всех многочленов с действительными (комплексными) коэффициентами есть бесконечно мерное линейное пространство. Система 1, х, х2, … , хn, … – один из базисов в нём.

6. Арифметическое n-мерное пространство. Пусть Аn – множество всех возможных упорядоченных наборов А =(A1, A2,… , An ) действительных чисел. Если В = (B1, B2, … , Bn), то сумму наборов и умножение набора на действительное число определим следующим образом:

А + в = (A1 + B1, A2 + B2, … , An + Bn); l×А = (la1, la2, … , lan). Легко проверить, что все требования определения 13 выполняются, т. е. Аn является линейным пространством. Очевидно, система Е1 = (1, 0, … ,0), Е2 = (0, 1, … 0), … , Еn = (0, 0, … , 0) является линейно независимой. Если А =(A1, A2,… , An ) – любой набор, то А = A1×е1 + A2×е2 + … + An×еn. Следовательно, система Е1, е2, … , еn является базисом в Аn, т. е. Аn – n-мерное линейное пространство.

7. Во множестве матриц размерности M´N базисом является система матриц Е11 = , Е12 =, … , ЕMn = .

Пусть L – n-мерное линейное пространство и В = {Е1, е2, … , еN } базис в нём. Если А – любой вектор из L, то А = A1Е1 + A2Е2 + … + ANЕN.

Определение 21. Упорядоченный набор коэффициентов, с помощью которых данный вектор выражается через базисные векторы, называется Координатами этого вектора в данном базисе. Обозначение А = {a1, a2, … , an}.

Если Через Е = (Е1, Е2, … , Еn ) обозначить строку базисных векторов, а через Х – столбец координат вектора А, т. е. Х = (A1, A2, … , An)Т, то А = Е×х (22). Это матричная запись вектора в данном базисе.

Теорема 12. Каждый вектор пространства L имеет в базисе В единственный набор координат.

Доказательство. По определению базиса каждый вектор имеет хотя бы один набор координат. Предположим, что некоторый вектор А имеет в базисе В Два различных набора координат, т. е. А = A1Е1 + A2Е2 + … + AnЕn и А = B1Е1 + B2Е2 + … + BnЕN . Будем считать, что a1 ¹ b1. Тогда A1Е1 + A2Е2 + … + AnЕn = B1Е1 + B2Е2 + … + BnЕN . Отсюда

(a1 – b1)Е1 = (b2 – a2)Е2 + … + (bn – an)ЕN.

Е1 = , т. е. один из базисных векторов выразился через остальные векторы базиса, что противоречит определению 19. Итак, a1 = b1. Аналогично получается равенство остальных соответствующих координат.

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

Доказательство проведите самостоятельно.

< Предыдущая		Следующая >