LibreTimes

July 24, 2026 · Theory · LibreTimes

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

Линейная зависимость и независимость строк матрицы, критерий через линейную комбинацию и связь с рангом.

Read this publication in English

Пусть — строки матрицы (их можно складывать и умножать на число как обычные векторы-строки).

Определение. Говорят, что строка линейно выражается через строки (является их линейной комбинацией), если существуют числа такие, что

Определение. Строки называются линейно зависимыми, если существуют коэффициенты , не все равные нулю (т.е. ), такие что

где — нулевая строка. Если же равенство (1) возможно только при , строки называются линейно независимыми.

Эквивалентность двух понятий

Теорема. Строки линейно зависимы тогда и только тогда, когда хотя бы одна из них линейно выражается через остальные.

Доказательство. () Пусть . Перенесём всё в одну часть:

Это соотношение вида (1) с коэффициентами — не все нули. Значит, строки линейно зависимы.

() Пусть выполнено (1) и, например, . Тогда

то есть выражается через остальные.

Простейшие свойства

  • Система, содержащая нулевую строку, линейно зависима (возьмём при нулевой строке коэффициент , остальные ).
  • Система, содержащая две равные или пропорциональные строки, линейно зависима.
  • Если часть строк линейно зависима, то и вся система линейно зависима.

Связь с рангом

Теорема. Если , то в матрице найдётся линейно независимых строк, через которые линейно выражаются все остальные строки.

Иначе говоря, ранг матрицы равен максимальному числу её линейно независимых строк (и, в силу инвариантности ранга при транспонировании, столбцов). В частности, для квадратной матрицы порядка строки линейно независимы (см. Ранг матрицы и Свойства определителей).

Пример

Выясним, линейно ли зависимы строки (векторы)

Составим линейную комбинацию и приравняем нулевой строке: . Покоординатно это однородная система

Метод Гаусса приводит её к виду

Есть ненулевые решения, значит строки линейно зависимы. Взяв , получаем соотношение , то есть .

То же видно по определителю матрицы из этих строк:

а равенство определителя нулю как раз означает линейную зависимость строк (ранг меньше ).

0

No comments yet

Be the first to share your thoughts.