Теорема Кронекера — Капелли¶

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

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

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

$$A\mathbf{x} = \mathbf{b},$$

где $A$ — основная матрица системы размера $m \times n$ (коэффициенты при неизвестных), $\mathbf{x}$ — столбец неизвестных, $\mathbf{b}$ — столбец свободных членов. Расширенной матрицей системы называют матрицу $\tilde{A} = (A \mid \mathbf{b})$, полученную приписыванием к матрице $A$ столбца свободных членов.

Теорема утверждает: система совместна тогда и только тогда, когда

$$\operatorname{rank} A = \operatorname{rank} \tilde{A}.$$

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

¶Смысл и следствия

Теорема связывает алгебраическое понятие ранга матрицы с геометрическим вопросом о существовании решения. Ранг матрицы равен максимальному числу её линейно независимых строк (или столбцов). Условие равенства рангов означает, что столбец свободных членов $\mathbf{b}$ не добавляет новой независимой информации к столбцам матрицы $A$, то есть является их линейной комбинацией. Именно это и есть условие разрешимости: вектор $\mathbf{b}$ должен лежать в линейной оболочке столбцов матрицы $A$.

Из теоремы вытекают важные следствия:

Если $\operatorname{rank} A < \operatorname{rank} \tilde{A}$, система несовместна.
Если ранги равны и совпадают с числом неизвестных $n$, система имеет единственное решение.
Если ранги равны, но меньше $n$, система имеет бесконечно много решений; число свободных параметров равно $n - \operatorname{rank} A$.

¶Связь с методом Гаусса

Практическое применение теоремы тесно связано с методом Гаусса — приведением расширенной матрицы к ступенчатому виду. В процессе элементарных преобразований строк ранг матрицы не меняется, что позволяет одновременно вычислять ранги $A$ и $\tilde{A}$. Если при приведении возникает строка вида $(0\ 0\ \dots\ 0 \mid c)$ с $c \neq 0$, это означает несовместность системы, поскольку соответствующее уравнение $0 = c$ ложно. Появление такой строки равносильно неравенству рангов, о котором говорит теорема.

¶Примеры

Рассмотрим систему:

$$x + y = 3, \quad x + y = 5.$$

Основная матрица $A = \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix}$ имеет ранг 1. Расширенная матрица $\tilde{A} = \begin{pmatrix} 1 & 1 & 3 \\ 1 & 1 & 5 \end{pmatrix}$ имеет ранг 2, так как строки линейно независимы. Ранги не равны — система несовместна, что очевидно и напрямую: одно и то же выражение не может равняться одновременно 3 и 5.

Другой пример:

$$x + y + z = 6, \quad x - y + z = 2.$$

Здесь $m = 2$, $n = 3$. Ранг основной матрицы равен 2 (строки линейно независимы), ранг расширенной также равен 2. Система совместна и имеет бесконечно много решений с одним свободным параметром.

¶Значение в математике

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

В более общей формулировке теорема переносится на системы уравнений над произвольными полями, а также интерпретируется в терминах линейных отображений: система $A\mathbf{x} = \mathbf{b}$ разрешима тогда и только тогда, когда вектор $\mathbf{b}$ принадлежит образу линейного оператора, задаваемого матрицей $A$. Это связывает теорему с понятиями ядра и образа, лежащими в основе линейной алгебры.

¶Историческая справка

Леопольд Кронекер (1823–1891) — немецкий математик, внёсший вклад в теорию чисел, алгебру и теорию определителей. Альфредо Капелли (1855–1910) — итальянский математик, сформулировавший критерий в современном виде в 1870-х годах. Отдельные случаи и близкие утверждения встречались ранее у других авторов, поэтому в разных источниках теорема носит различные имена, однако в русскоязычной литературе закрепилось название «теорема Кронекера — Капелли».

¶Типичные ошибки при применении

Распространённая ошибка — сравнение рангов только по числу уравнений или по внешнему виду матрицы без фактического вычисления. Кроме того, равенство рангов не означает единственности решения: оно гарантирует лишь совместность. Для определения числа решений необходимо дополнительно сравнивать ранг с числом неизвестных. Также важно помнить, что ранг расширенной матрицы не может быть меньше ранга основной, поскольку $A$ является её подматрицей.

Источники: учебники по линейной алгебре (Ильин, Позняк; Курош; Беклемишев), справочные материалы по высшей математике, историко-математические обзоры.