Линейная зависимость и независимость векторов

Свойства арифметическогоn-мерного пространства

1. Ассоциативность

(a +b )+c =a +(b +c )(a+b)+c=a+(b+c).

2. Коммутативность

a +b =b +a a+b=b+a.

3. Единственность решения уравнения

a ,b !x Pn(a +x =b ).

4. Существование нейтрального элемента

0 =(0,0,0,…,0),a ,a +0 =a.

5. Существование противоположного вектора

0 ,a ,a +0 =a .

6. Ассоциативность скалярного умножения

,R :(a )=()a

7. Дистрибутивность умножения относительно сложения скаляров

(+)a =a +a

8. Дистрибутивность умножения относительно сложения векторов

(a +b )=a +b

Операции с векторами и их свойства

Суммой векторов и называется

вектор Для любых векторов справедливы равенства

 

Теорема 11.6.

Каковы бы ни были три точки A, B и C, имеет место векторное равенство

Правило параллелограмма: для векторов с общим началом их сумма изображается диагональю параллелограмма, построенного на этих векторах.

Рисунок 11.2.3. Правило параллелограмма

Разностью векторов и называется такой вектор который в сумме с вектором дает вектор откуда c1 = a1b1; c2 = a2b2.

Произведением вектора на число называется вектор т. е.

  • Для любого вектора и чисел и
  • Для любых двух векторов и и числа

Теорема 11.7.

Абсолютная величина вектора равна | || a|. Направление вектора при совпадает с направлением вектора если > 0, и противоположно направлению вектора если < 0.

 

Теорема 11.8.

Для любых отличных от нуля коллинеарных векторов и существует такое число , что

 

Теорема 11.9.

Пусть и – отличные от нуля неколлинеарные векторы. Любой вектор можно единственным образом представить в виде

 

Скалярное произведение векторов.

Скалярным произведением векторов и называется число Скалярное произведение векторов и обозначется

Для любых векторов и верно:

Теорема 11.10.

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

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

Теорема 11.11.

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

 

Свойства умножения вектора на число:

  1. .

Здесь и - произвольные векторы, , - произвольные числа.

2. Определение 1. Система векторов называется линейно зависимой, если один из векторов системы можно представить в виде линейной комбинации остальных векторов системы, и линейно независимой - в противном случае.

Определение 1´. Система векторов называется линейно зависимой, если найдутся числа с1, с2, …, сk, не все равные нулю, такие, что линейная комбинация векторов с данными коэффициентами равна нулевому вектору: = , в противном случае система называется линейно независимой.

Покажем, что эти определения эквивалентны.

Пусть выполняется определение 1, т.е. один из векторов системы равен линейной комбинации остальных:

,

.

Линейная комбинация системы векторов равна нулевому вектору, причем не все коэффициенты этой комбинации равны нулю, т.е. выполняется определение 1´.

Пусть выполняется определение 1´. Линейная комбинация системы векторов равна , причем не все коэффициенты комбинации равны нулю, например, коэффициенты при векторе .

,

,

.

Один из векторов системы мы представили в виде линейной комбинации остальных, т.е. выполняется определение 1.

Определение 2. Единичным вектором, или ортом, называется n-мерный вектор, у которого i-я координата равна единице, а остальные - нулевые.

. (1, 0, 0, …, 0),

(0, 1, 0, …, 0),

(0, 0, 0, …, 1).

Теорема 1. Различные единичные векторы n-мерного пространства линейно независимы.

Доказательство. Пусть линейная комбинация этих векторов с произвольными коэффициентами равна нулевому вектору.

= .

Из этого равенства следует, что все коэффициенты равны нулю. Получили противоречие.

Каждый вектор n-мерного пространства (а1, а2 , ..., аn) может быть представлен в виде линейной комбинации единичных векторов с коэффициентами, равными координатам вектора

.

Теорема 2. Если системы векторов содержит нулевой вектор, то она линейно зависима.

Доказательство. Пусть дана система векторов и один из векторов является нулевым, например = . Тогда с векторами данной системы можно составить линейную комбинацию, равную нулевому вектору, причем не все коэффициенты будут нулевыми:

= .

Следовательно, система линейно зависима.

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

Доказательство. Дана система векторов . Предположим, что система линейно зависима, т.е. найдутся числа с1, с2, …, сr, не все равные нулю, такие, что = . Тогда

= .

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

Следствие. Если система векторов линейно независима, то и любая ее подсистема также линейно независима.

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

Предположим противное, т.е. некоторая подсистема линейно зависима. Из теоремы следует, что вся система линейно зависима. Мы пришли к противоречию.

Теорема 4 (теорема Штейница).Если каждый из векторов является линейной комбинацией векторов и m>n, то система векторов линейно зависима.

Следствие. В любой системе n-мерных векторов не может быть больше чем n линейно независимых.

Доказательство. Каждый n-мерный вектор выражается в виде линейной комбинации n единичных векторов. Поэтому, если система содержит m векторов и m>n, то, по теореме, данная система линейно зависима.

Линейная зависимость и независимость векторов

 

Система линейно зависима что

Система линейно независима


Критерий линейной зависимости векторов

 

Для того чтобы векторы (r > 1) были линейно зависимы, необходимо и достаточно, чтобы хотя бы один из этих векторов являлся линейной комбинацией остальных.

 

Лемма.

Пусть система векторов линейно независима, а каждый ее вектор линейно выражается через векторы системы . Тогда .

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

Следствие. Если и две максимальные линейно независимые системы в , то .

Определение. Пространство называется -мерным ( ), если в есть максимальная линейно независимая система, состоящая из векторов. Если такой подсистемы нет ни для какого , то . Если , то по определению

Определение. Система векторов называется базисом линейного пространства , если каждый вектор единственным образом записывается в виде линейной комбинации , .

Предложение. Система векторов является базисом в пространстве тогда и только тогда, когда является максимальной линейно независимой системой в .

Предложение. Пусть -- -мерное векторное пространство, . Тогда в существует хотя бы один базис. Более того, каждая линейно независимая система может быть дополнена до некоторого базиса .

Предложение. Система является базисом в -мерном векторном пространстве тогда и только тогда, когда эта система линейно независима и .

Предложение. Система является базисом в -мерном векторном пространстве тогда и только тогда, когда и каждый вектор линейно выражается через эти векторы.

Рассмотрим арифметическое пространство , состоящее из множества строк , . Вектора (на месте стоит ) -- образуют базис.

Следствие. В пространстве система , , является базисом тогда и только тогда, когда