Теорема (о ранге ступенчатой матрицы)

Ранг ступенчатой матрицы равен числу ее ненулевых строк.

Доказательство. Ненулевые, ступенчатые строки линейно независимы, что можно показать, составив линейную комбинацию этих строк и приравняв ее нулевой строке. Покомпонентный анализ этой линейной комбинации показывает, что все числовые коэффициенты при строках, начиная с первой, последовательно обращаются в нули. По определению это означает линейную независимость ненулевых строк. Остальные строки ступенчатой матрицы нулевые, а добавление нулевой строки в систему ненулевых строк превращает новую систему в зависимую систему. Поэтому только ненулевые строки линейно независимы. По следствию 1 теоремы о базисном миноре это означает, что ранг ступенчатой матрицы равен числу ее ненулевых строк, что и требовалось доказать.

Теорема (об инвариантности ранга при элементарных преобразованиях).

Ранг матрицы не изменяется при ее элементарных преобразованиях.

Доказательство. При любых элементарных преобразованиях отличный от нуля определитель остается таковым. Поэтому любой найденный базисный минор останется базисным. Миноры более высокого порядка равны нулю и останутся таковыми при любых элементарных преобразованиях. Таким образом, теорема доказана.

На основе трех, приведенных выше теорем, формулируется метод элементарных преобразований: сначала исходная матрица приводится к ступенчатому виду, затем ранг исходной матрицы полагается равным числу ненулевых строк ступенчатой матрицы.

В рассмотренном выше примере матрица была приведена элементарными преобразованиями к ступенчатой матрице, имеющей три ненулевые строки. Это означает, что ранг исходной матрицы равен трем.

Исследуя систему уравнений общего вида, необходимо либо доказать, что она не имеет решений, либо, если она совместна, найти все возможные решения и представить их в компактной и наглядной форме. Для этого систему уравнений с помощью элементарных преобразований приводят к более простому виду, позволяющему непосредственно увидеть решения или показать несовместность системы. При этом центральным понятием является равносильность двух систем. Две системы уравнений с одними теми же неизвестными называются равносильными, если они имеют одно и то же множество решений.

Например, системы и являются равносильными, так как каждая из них имеет одно и то же единственное решение .

Системы и также являются равносильными, поскольку каждая из них не имеет решений (множество решений пусто).

Элементарными преобразованиями системы линейных алгебраических уравнений называют следующие преобразования:

перестановка местами любых двух уравнений;

умножение любого уравнения системы на одно и то же число, отличное от нуля;

сложение любых двух уравнений.