Пусть в линейном пространстве V задан некоторый базис, тогда каждый вектор
можно разложить по этому базису.
Координатным столбцом вектора
в заданном базисе будем называть столбец
, составленный из координат вектора
в этом базисе.
Лемма 3.1.Для того чтобы векторы были линейно зависимыми, необходимо и достаточно, чтобы их координатные столбцы в некотором базисе были линейно зависимыми.
► Пусть заданы векторы
, (3.26)
– их координатные столбцы в некотором базисе. Одновременно проводим доказательство и необходимости, и достаточности. Согласно следствию из свойств координат векторов, координатный столбец линейной комбинации векторов равен такой же линейной комбинации координатных столбцов векторов-слагаемых. Имеем:
{(3.26) линейно зависима} 
, не все равные нулю, что


, не все равные нулю, что
{столбцы
линейно зависимы}.◄
Теорема 3.1 (матричный критерий). Для того чтобы система векторов была линейно зависимой, необходимо и достаточно, чтобы ранг матрицы, составленной из координатных столбцов этих векторов в некотором базисе, был меньше количества векторов.
Для того чтобы система векторов была линейно независимой, необходимо и достаточно, чтобы ранг матрицы, составленной из координатных столбцов этих векторов, был равен их количеству.
Доказательство вытекает из леммы 3.1 и теоремы 2.4.