6.1. Основные понятия и определения

Определение 6.1. Системой m линейных уравнений с n неизвестными называется система вида:

(1)

Здесь x₁, …, x_n – неизвестные (или переменные), числа а_ij – коэффициенты при неизвестных, i – номер уравнения, j – номер неизвестного, b₁, …, b_m – свободные члены.

Короче систему (1) можно записать в виде: , где i = 1, 2, …, m.

С каждой системой вида (1) связаны следующие матрицы: А – основная матрица системы, составленная из коэффициентов при неизвестных; В – матрица-столбец свободных членов, Х – матрица-столбец неизвестных; (А|B) – расширенная матрица системы.

А_mn = , B_m1 = , X_n1 = , (А|B)_{m(n + 1)} = .

Из определения 6.1 видно, что матрицы А и Х согласованы, следовательно можно найти их произведение:

АХ =  = .

Если воспользоваться определением 3.4 равенства матриц, то равенство

АХ = В (2)

записывается в виде системы линейных уравнений (1).

Определение 6.2. Уравнение (2) называют матричной формой записи системы (1).

Определение 6.3. Решением системы линейных уравнений (1) называется любой упорядоченный набор (кортеж, вектор) а = (₁, ₂, …, _n) из чисел, который при подстановке в систему каждое уравнение обращает в верное равенство.

Таким образом, если а = (₁, ₂, …, _n) решение системы, то следующие равенства верны:

Определение 6.4. Система линейных уравнений называется совместной, если она имеет хотя бы одно решение, и несовместной, если она не имеет ни одного решения.

Определение 6.5. Система линейных уравнений называется определенной, если она имеет единственное решение, и неопределенной, если она имеет более одного решения.

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

То есть, если упорядоченный набор чисел а = (₁, ₂, …, _n) является решением первой системы, то он является решением второй и наоборот, если упорядоченный набор чисел является решением второй системы, то он является решением первой системы.