Пусть X — линейное пространство.
Определение. Система векторов x1, x2, … , xn О X называется линейно зависимой, если существуют числа α1, α2, … , αn О R , не все равные нулю (т.е. α12 + α22 + … + αn2 ≠ 0 ), такие, что
α1x1 + α2x2 + … + αnxn = θ.
Если это равенство выполняется только при α1 = α2 = … = αn = 0 , то система векторов называется линейно независимой.
Вместо «линейно зависимая (или независимая) система векторов» можно говорить просто «линейно зависимые (или независимые) векторы».
Теорема Чтобы векторы x1, x2, … , xn О X были линейно зависимы, необходимо и достаточно, чтобы хотя бы один из них являлся линейной комбинацией остальных.
Доказательство см. в книге О.В. Зиминой «Линейная алгебра и аналитическая геометрия» (Москва, Изд–во МЭИ, 2000, стр.39).
Следствие. Два вектора x1 и x2 линейно зависимы тогда и только тогда, когда x1 = αx2 или x2 = βx1 при некоторых α, β О R , т.е. когда векторы x1 и x2 коллинеарны.
