Линейная независимость
Лине́йная незави́симость, одно из основных понятий линейной алгебры, которое означает, что не существует нетривиальной линейной комбинации элементов множества, равной нулевому элементу.
Пусть – векторное пространство над полем вещественных чисел. Векторы называются линейно зависимыми, если существует нетривиальная линейная комбинация , равная нулевому вектору. Если только тривиальная линейная комбинация равна нулевому вектору, система векторов называется линейно независимой (т. е. линейная комбинация равна нулевому вектору, только если все коэффициенты при равны нулю).
Эквивалентное определение: система векторов линейно зависима, если один из векторов системы можно представить в виде линейной комбинации остальных векторов. Если ни один из векторов нельзя представить в виде линейной комбинации остальных векторов системы, векторы линейно независимы.
Свойства линейно зависимых и линейно независимых векторов.
Если система векторов содержит нулевой вектор, то она линейно зависима.
Если система векторов содержит два равных или два противоположных вектора, то она линейно зависима.
Если некоторая подсистема системы векторов линейно зависима, то и вся система линейно зависима.
Если система векторов линейно независима, то и любая её подсистема также линейно независима.
В конечномерном линейном пространстве система любых векторов линейно зависима.
Система ненулевых ортогональных векторов линейно независима.
Геометрический смысл линейной зависимости.
Два вектора линейно зависимы тогда и только тогда, когда они коллинеарны.
Три вектора линейно зависимы тогда и только тогда, когда они компланарны.
Любые четыре вектора в трёхмерном пространстве линейно зависимы.
Понятие линейной независимости векторов тесно связано с понятиями базиса в подпространстве и ранга матрицы. В частности, определитель квадратной матрицы не равен нулю тогда и только тогда, когда строки (столбцы) матрицы линейно независимы.