Системы линейных алгебраических уравнений. Метод Гаусса

Система m линейных алгебраических уравнений с n неизвестными (или, линейная система, также употребляется аббревиатура СЛА́У) в линейной алгебре — это система уравнений вида

(1)

Система линейных уравнений от трёх переменных определяет набор плоскостей. Точка пересечения является решением.

Здесь — количество уравнений, а — количество неизвестных. x ₁, x ₂, …, x_n — неизвестные, которые надо определить. a ₁₁, a ₁₂, …, a_mn — коэффициенты системы — и b ₁, b ₂, … b_m — свободные члены — предполагаются известными^[1]. Индексы коэффициентов (a_ij) системы обозначают номера уравнения (i) и неизвестного (j), при котором стоит этот коэффициент, соответственно^[2].

Система (1) называется однородной, если все её свободные члены равны нулю (b ₁ = b ₂ = … = b_m = 0), иначе — неоднородной.

Система (1) называется квадратной, если число m уравнений равно числу n неизвестных.

Решение системы (1) — совокупность n чисел c ₁, c ₂, …, c_n, таких что подстановка каждого c_i вместо x_i в систему (1) обращает все её уравнения в тождества.

Система (1) называется совместной, если она имеет хотя бы одно решение, и несовместной, если у неё нет ни одного решения.

Совместная система вида (1) может иметь одно или более решений.

Решения c ₁⁽¹⁾, c ₂⁽¹⁾, …, c_n ⁽¹⁾ и c ₁⁽²⁾, c ₂⁽²⁾, …, c_n ⁽²⁾ совместной системы вида (1) называются различными, если нарушается хотя бы одно из равенств:

c 1(1) = c 1(2), c 2(1) = c 2(2), …, cn (1) = cn (2).

Совместная система вида (1) называется определённой, если она имеет единственное решение; если же у неё есть хотя бы два различных решения, то она называется неопределённой. Если уравнений больше, чем неизвестных, она называется переопределённой.

Метод Гаусса

Ме́тод Га́усса ^[1] — классический метод решения системы линейных алгебраических уравнений (СЛАУ). Это метод последовательного исключения переменных, когда с помощью элементарных преобразований система уравнений приводится к равносильной системе треугольного вида, из которой последовательно, начиная с последних (по номеру) переменных, находятся все остальные переменные^[2].