Решение систем линейных алгебраических уравнений методом Гаусса. Эквивалентные системы и элементарные преобразования

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

Системы A·x = b и B·A·x = B·b эквивалентны, если матрица B невырождена (определитель не равен нулю).

Перестановка уравнений системы, прибавление к одному уравнению системы другого уравнения, умножение уравнения на число, отличное от нуля — такие преобразования системы называются элементарными преобразованиями системы. Элементарные преобразования приводят к эквивалентным системам.

Алгоритм решения СЛАУ методом Гаусса подразделяется на два этапа.

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

§ На втором этапе осуществляется так называемый обратный ход, суть которого заключается в том, чтобы выразить все получившиеся базисные переменные через небазисные и построить фундаментальную систему решений, либо, если все переменные являются базисными, то выразить в численном виде единственное решение системы линейных уравнений. Эта процедура начинается с последнего уравнения, из которого выражают соответствующую базисную переменную (а она там всего одна) и подставляют в предыдущие уравнения, и так далее, поднимаясь по «ступенькам» наверх. Каждой строчке соответствует ровно одна базисная переменная, поэтому на каждом шаге, кроме последнего (самого верхнего), ситуация в точности повторяет случай последней строки.