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

Линейно независимые векторы в R³.

Линейно зависимые векторы на плоскости в R³.

В линейной алгебре линейная зависимость — это свойство, которое может иметь подмножество линейного пространства. Для этого должна существовать нетривиальная линейная комбинация элементов этого множества, равная нулевому элементу. Если такой комбинации нет, то есть коэффициенты единственной такой линейной комбинации равны нулю, множество называется линейно независимым.

Пример

В $\mathbb{R}^3$ векторы $(1,0,0)$, $(0,1,0)$ и $(0,0,1)$ линейно независимы, так как уравнение

$a_1\cdot(1,0,0) + a_2\cdot(0,1,0) + a_3\cdot(0,0,1) = (0,0,0) \quad a_i \in \mathbb{R}$

имеет только одно, тривиальное, решение. Векторы $(1,0,0)$ и $(5,0,0)$ являются линейно зависимыми, так как

$(1,0,0) \cdot 5 = (5,0,0)$

а значит

$-5 \cdot (1,0,0) + 1 \cdot (5,0,0) = (0,0,0)$

Определение

Пусть $V$ будет линейное пространство над полем $K$ и $M \subseteq V$. $M$ называется линейно независимым множеством, если любое его конечное подмножество является линейно независимым.

Конечное множество $M' = \{v_1, v_2, ..., v_n\}$ называется линейно независимым, если единственная линейная комбинация, равная нулю, тривиальна, то есть состоит из факторов, равных нулю:

$a_1v_1 + a_2v_2 + ... + a_nv_n = 0 \quad \Rightarrow \quad a_1 = a_2 = ... = a_n = 0$

Если существует такая линейная комбинация с минимум одним $a_i \neq 0$, $M'$ называется линейно зависимым. Обратите внимание, что в первом равенстве подразумевается $0 \in V$, а во втором $0 \in K$.

Свойства

• $0 \in M \Rightarrow M$ линейно зависимо
• $M$ линейно независимо $\Rightarrow$ $M'$ линейно независимо для всех $M' \subseteq M$
• $M$ линейно зависимо $\Rightarrow$ $M'$ линейно зависимо для всех $M' \supseteq M$

Значение

Линейные системы уравнений

Линейная система $n$ уравнений, где $n$ — количество переменных, имеет однозначное решение тогда и только тогда, когда столбцы её основной матрицы являются линейно независимыми.

Ранг матриц

Ранг матрицы равен числу её линейно независимых строк или столбцов.

Геометрический смысл

• Векторы $\vec{a}$ и $\vec{b}$ линейно зависимы тогда и только тогда, когда они коллинеарны (лежат на параллельных прямых).
• Векторы $\vec{a},\;\vec{b},\;\vec{c}$ линейно зависимы тогда и только тогда, когда они компланарны (лежат в одной плоскости).

Базис

Базис линейного пространства является в частности множеством линейно независимых векторов.

См. также

• Базис
• Ранг матрицы
• Система линейных уравнений