Наибольший из порядков миноров данной матрицы, отличных от нуля, называется рангом матрицы. Если ранг матрицы А равен r, то это означает, что в матрице А имеется отличный от нуля минор порядка r, но всякий минор порядка, большего чем r, равен нулю. Ранг матрицы А обозначается через r(A). Очевидно, что выполняется соотношение
Теорема Кронекера-Капелли
Система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы системы, т.е. rangA=rangA˜.
Напомню, что система называется совместной, если она имеет хоть одно решение. Теорема Кронекера-Капелли говорит вот о чём: если rangA=rangA˜, то решение есть; если rangA≠rangA˜, то данная СЛАУ не имеет решений (несовместна). Ответ на вопрос о количестве этих решений даёт следствие из теоремы Кронекера-Капелли. В формулировке следствия использована буква n, которая равна количеству переменных заданной СЛАУ.
Следствие из теоремы Кронекера-Капелли
- Если rangA≠rangA˜, то СЛАУ несовместна (не имеет решений).
- Если rangA=rangA˜<n, то СЛАУ является неопределённой (имеет бесконечное количество решений).
- Если rangA=rangA˜=n, то СЛАУ является определённой (имеет ровно одно решение).