Критерий совместности Кронекера-Капелли

Система линейных уравнений имеет вид:

где а_ij – коэффициенты при неизвестных, b_i – свободные члены м(i = ; j = ), x_j - неизвестные.

Решением системы называется такая совокупность n чисел (x₁=c₁, x₂=c₂,..., x_n=c_n), при подстановке которых каждое уравнение системы обращается в верное равенство.

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

Система называется несовместной, если она не имеет решений.

Пример:

- система уравнений совместная и определенная, так как имеет единственное решение (10; 0);

- система уравнений несовместная;

- система уравнений совместная и неопределенная, так как имеет более одного решения (x₁=c, x₂=10-2c), где с – любое число.

Запишем систему уравнений в матричной форме

AX = B,

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

Если к матрице системы приписать столбец свободных членов, то получится расширенная матрица системы вида

.

Вопрос о совместности системы решается следующей теоремой.

Теорема Кронекера-Капелли: Система линейных уравнений совместна тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы.

Система имеет единственное решение только в том случае, когда ранг матрицы совместной системы равен числу переменных r(A) = n.

Если ранг матрицы совместной системы меньше числа переменных, то система неопределенная и имеет бесконечное множество решений.