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

Критерий Кронекера-Капелли — теорема в линейной алгебре, устанавливающая необходимое и достаточное условие совместности системы линейных алгебраических уравнений (СЛАУ). Согласно этому критерию, система линейных уравнений совместна (то есть имеет хотя бы одно решение) тогда и только тогда, когда ранг её основной матрицы равен рангу расширенной матрицы. Критерий назван в честь немецкого математика Леопольда Кронекера и итальянского математика Альфредо Капелли, которые независимо друг от друга сформулировали и доказали эту теорему в конце XIX века.

История

Истоки критерия восходят к работам Карла Фридриха Гаусса, который в начале XIX века разработал метод последовательного исключения неизвестных (метод Гаусса) для решения систем линейных уравнений. Однако строгое условие совместности в общем виде было сформулировано позднее.

В 1884 году немецкий математик Леопольд Кронекер опубликовал работу, в которой ввёл понятие ранга матрицы и связал его с разрешимостью систем уравнений. Независимо от него, в 1889 году итальянский математик Альфредо Капелли в своём учебнике «Лекции по алгебре» дал полную формулировку теоремы. В русскоязычной литературе теорема традиционно называется именем обоих учёных, в то время как в западной традиции её часто называют теоремой Кронекера — Капелли или просто теоремой Руше — Капелли (по имени французского математика Эжена Руше, который также внёс вклад в её развитие).

Формулировка

Пусть дана система \( m \) линейных уравнений с \( n \) неизвестными:

\[ \begin{cases} a_{11}x_1 + a_{12}x_2 + \dots + a_{1n}x_n = b_1, \\ a_{21}x_1 + a_{22}x_2 + \dots + a_{2n}x_n = b_2, \\ \dots \\ a_{m1}x_1 + a_{m2}x_2 + \dots + a_{mn}x_n = b_m. \end{cases} \]

Основная матрица системы \( A \) имеет размер \( m \times n \) и состоит из коэффициентов при неизвестных:

\[ A = \begin{pmatrix} a_{11} & a_{12} & \dots & a_{1n} \\ a_{21} & a_{22} & \dots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \dots & a_{mn} \end{pmatrix}. \]

Расширенная матрица системы \( \widetilde{A} \) получается добавлением к основной матрице столбца свободных членов:

\[ \widetilde{A} = \begin{pmatrix} a_{11} & a_{12} & \dots & a_{1n} & b_1 \\ a_{21} & a_{22} & \dots & a_{2n} & b_2 \\ \vdots & \vdots & \ddots & \vdots & \vdots \\ a_{m1} & a_{m2} & \dots & a_{mn} & b_m \end{pmatrix}. \]

Теорема (критерий Кронекера-Капелли): Система линейных уравнений совместна тогда и только тогда, когда ранг основной матрицы равен рангу расширенной матрицы: \( \operatorname{rg} A = \operatorname{rg} \widetilde{A} \).

Следствия

1. Если \( \operatorname{rg} A = \operatorname{rg} \widetilde{A} = n \) (ранг равен числу неизвестных), то система имеет единственное решение (определённая совместная система).
2. Если \( \operatorname{rg} A = \operatorname{rg} \widetilde{A} < n \), то система имеет бесконечно много решений (неопределённая совместная система). Число свободных переменных равно \( n - \operatorname{rg} A \).
3. Если \( \operatorname{rg} A \neq \operatorname{rg} \widetilde{A} \), то система несовместна (не имеет решений).

Доказательство

Доказательство критерия опирается на свойства ранга матрицы и линейную независимость строк или столбцов.

Необходимость

Пусть система совместна, то есть существует вектор \( x = (x_1, x_2, \dots, x_n)^T \) такой, что \( A x = b \). Тогда столбец свободных членов \( b \) является линейной комбинацией столбцов основной матрицы \( A \) с коэффициентами \( x_1, x_2, \dots, x_n \). Следовательно, добавление этого столбца к матрице \( A \) не увеличивает её ранг, так как новый столбец линейно выражается через уже имеющиеся. Таким образом, \( \operatorname{rg} \widetilde{A} = \operatorname{rg} A \).

Достаточность

Пусть \( \operatorname{rg} A = \operatorname{rg} \widetilde{A} = r \). Это означает, что в матрице \( A \) существует \( r \) линейно независимых столбцов, и все остальные столбцы (включая столбец свободных членов) являются их линейными комбинациями. Выберем \( r \) базисных столбцов основной матрицы. Тогда столбец \( b \) может быть представлен как линейная комбинация этих базисных столбцов. Так как базисные столбцы соответствуют некоторым неизвестным, то, приравняв остальные неизвестные к нулю, можно получить решение системы. Следовательно, система совместна.

Примеры

Пример 1: Совместная определённая система

Рассмотрим систему: \[ \begin{cases} x + y = 3, \\ 2x - y = 0. \end{cases} \]

Основная матрица: \( A = \begin{pmatrix} 1 & 1 \\ 2 & -1 \end{pmatrix} \), расширенная: \( \widetilde{A} = \begin{pmatrix} 1 & 1 & 3 \\ 2 & -1 & 0 \end{pmatrix} \).

Ранг основной матрицы: \( \operatorname{rg} A = 2 \) (строки линейно независимы). Ранг расширенной матрицы: \( \operatorname{rg} \widetilde{A} = 2 \). Условие выполнено, система совместна. Ранг равен числу неизвестных (2), поэтому решение единственное: \( x = 1, y = 2 \).

Пример 2: Совместная неопределённая система

Рассмотрим систему: \[ \begin{cases} x + y + z = 1, \\ 2x + 2y + 2z = 2. \end{cases} \]

Основная матрица: \( A = \begin{pmatrix} 1 & 1 & 1 \\ 2 & 2 & 2 \end{pmatrix} \), расширенная: \( \widetilde{A} = \begin{pmatrix} 1 & 1 & 1 & 1 \\ 2 & 2 & 2 & 2 \end{pmatrix} \).

Ранг основной матрицы: \( \operatorname{rg} A = 1 \) (вторая строка пропорциональна первой). Ранг расширенной матрицы: \( \operatorname{rg} \widetilde{A} = 1 \). Условие выполнено, система совместна. Ранг меньше числа неизвестных (1 < 3), поэтому система имеет бесконечно много решений. Например, \( z = t \), \( y = s \), \( x = 1 - s - t \), где \( s, t \in \mathbb{R} \).

Пример 3: Несовместная система

Рассмотрим систему: \[ \begin{cases} x + y = 1, \\ x + y = 2. \end{cases} \]

Основная матрица: \( A = \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} \), расширенная: \( \widetilde{A} = \begin{pmatrix} 1 & 1 & 1 \\ 1 & 1 & 2 \end{pmatrix} \).

Ранг основной матрицы: \( \operatorname{rg} A = 1 \). Ранг расширенной матрицы: \( \operatorname{rg} \widetilde{A} = 2 \) (строки линейно независимы). Условие не выполнено, система несовместна.

Применение

Критерий Кронекера-Капелли является фундаментальным инструментом в линейной алгебре и её приложениях. Он используется:

• При решении систем линейных уравнений — для предварительной проверки совместности системы перед применением методов решения (например, метода Гаусса).
• В теории матриц — для анализа линейной зависимости строк и столбцов.
• В вычислительной математике — при численном решении СЛАУ, особенно в задачах, где матрицы могут быть вырожденными или плохо обусловленными.
• В экономике и инженерии — при моделировании систем, описываемых линейными уравнениями, например, в задачах баланса, электрических цепей, статистического анализа.

Связь с другими теоремами

Критерий Кронекера-Капелли тесно связан с теоремой о размерности линейного пространства решений однородной системы и с теоремой о структуре общего решения неоднородной системы. В частности, если система совместна, то её общее решение представляется как сумма частного решения неоднородной системы и общего решения соответствующей однородной системы. Размерность пространства решений однородной системы равна \( n - \operatorname{rg} A \).

Интересные факты

• В некоторых источниках критерий называют теоремой Руше — Капелли, в честь французского математика Эжена Руше, который также независимо пришёл к этому результату.
• Критерий может быть обобщён на системы линейных уравнений над произвольными полями, а также на системы, заданные над кольцами (хотя в последнем случае условия становятся более сложными).
• В современной вычислительной практике для проверки совместности системы часто используют метод Гаусса с выбором главного элемента, который одновременно позволяет вычислить ранг матрицы.

Источники

• Ильин В. А., Позняк Э. Г. «Линейная алгебра». — М.: Физматлит, 2004.
• Беклемишев Д. В. «Курс аналитической геометрии и линейной алгебры». — М.: Наука, 1984.
• Хорн Р., Джонсон Ч. «Матричный анализ». — М.: Мир, 1989.
• Кронекер Л. «Лекции по теории определителей» (1884).
• Капелли А. «Лекции по алгебре» (1889).