‹-- Назад
Линейная зависимость векторов
Введем еще одно очень важное понятие, которое используется не только в алгебре, но и во многих других разделах математики.
Система векторов, которая не является линейно зависимой, называется линейно независимой. Но последнее определение лучше сформулировать по другому.
Кто плохо понял два последних определения, может получить дополнительные объяснения здесь .
Пусть один из векторов системы является линейной комбинацией остальных векторов. Предположим, что это вектор , то есть . Очевидно, что . Получили, что линейная комбинация векторов системы равна нулю, причем один из коэффициентов отличен от нуля (равен ).
Пусть в системе векторов подсистема , , является линейно зависимой, то есть , и хотя бы один коэффициент отличен от нуля. Тогда составим линейную комбинацию . Очевидно, что эта линейная комбинация равна нулю, и что среди коэффициентов есть ненулевой.
Упражнение10.4.1. Докажите, что если система векторов линейно независимая, то любая ее подсистема линейно независимая.
Доказательство этого предложения предоставляется читателю. Оно аналогично доказательству следующего предложения.
Доказательство. Пусть векторы -- компланарные. Если -- коллинеарные, то в силу предыдущего предложения они образуют линейно зависимую подсистему системы . По предложению 10.7 система -- линейно зависима. Если векторы -- неколлинеарные, то по предложению 10.2 является линейной комбинацией векторов и по предложению 10.6 система векторов -- линейно зависимая.
Пусть система векторов линейно зависима. По предложению 10.6 один вектор, скажем , является линейной комбинацией других векторов, и , . Правая часть последнего равенства лежит в плоскости, в которой лежат векторы . Поэтому вектор лежит в одной плоскости с векторами , то есть векторы -- компланарные.
На основании сказанного дадим другое определение базиса, которое является более распространенным, чем определение 10.12.
Из предложений 10.8 – 10.11 следует, что это определение эквивалентно определению 10.12.