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

Пусть дана система векторов

(1)

и α ₁, α ₂,...α _n - действительные числа. Тогда векторы вида

называются линeйнoй комбинaциeй вeктоpов cиcтeмы (1).

Определение. Система векторов (1) называется линейно зависимой, если существует такая линейная комбинация этих векторов, равная нулевому вектору, т.е.

= (2)

и хотя бы одно из чисел .

Определение. Система (1) называется линейно независимой, если равенство (2) возможно тогда и только тогда, когда все числа α _i=0.

Определение. Если какой-либо вектор можно представить в виде линейной комбинации векторов системы (1), т.е.

= ,

то говорят, что вектор линейно выражается через векторы системы (1).

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

Следствие. Если векторы системы (1) линейно независимы, то ни один из них нельзя линейно выразить через остальные. В частности, ни один из них не может быть нулевым.

Теорема. Для того чтобы два вектора были линейно зависимы, необходимо и достаточно, чтобы они были коллинеарны.

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

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

причем это разложение единственно.

Теорема. Для того чтобы три вектора были линейно зависимы, необходимо и достаточно, чтобы они были компланарны.

Следствие. Три вектора линейно независимо тогда и только тогда, когда они некомпланарны.

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

причем это разложение единственно.

Tеорема. Любые четыре вектора линейно зависимы.

Определение. Говорят, что два лежащих в плоскости α линейно- независимых вектора и (любые три линейно независимых вектора , и ) образуют на этой плоскости (в пространстве) базис, если любой вектор, лежащий в этой плоскости α (любой вектор пространства), может быть представлен в виде линейной комбинации векторов и (, , ).

Итак:

1) любая пара лежащих в данной плоскости неколлинеарнах векторов образует базис на этой плоскости;

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