Все формулы РФ

Математика / Матрицы, определители

Условие бесконечного числа решений линейной системы

Совместная линейная система имеет бесконечно много решений, если общий ранг меньше числа неизвестных. Тогда остаются свободные переменные, и все решения описываются параметрами.

Опубликовано: Обновлено:

Линейная алгебраСистемы линейных уравненийРанг матрицыСвободные переменныеМножество решений

Формула

$$\operatorname{rank}A=\operatorname{rank}[A\mid b]<n$$
параметрическое семейство Свободные переменные задают направление семейства решений

После выбора параметров ведущие переменные восстанавливаются из ступенчатой системы.

Совместность дает существование, а неравенство rank < n дает свободу.

Обозначения

$A$
матрица коэффициентов, m x n
$[A\mid b]$
расширенная матрица, m x (n+1)
$n$
число неизвестных, штук
$n-\operatorname{rank}A$
число свободных параметров для совместной системы, штук

Условия применения

  • Система должна быть совместной: rank A = rank[A|b].
  • Общий ранг должен быть меньше числа неизвестных n.
  • Для описания всех решений свободным переменным задают параметры и выражают ведущие переменные через них.

Ограничения

  • Критерий не применяют к несовместной системе: если ранги различаются, свободные переменные не спасают ситуацию.
  • Бесконечность решений относится к системам над бесконечным полем, например над действительными или рациональными числами.
  • Количество параметров показывает размерность семейства решений, но не заменяет явную параметрическую запись.

Подробное объяснение

Когда система совместна, все ограничения не противоречат друг другу. Но если независимых ограничений меньше, чем неизвестных, они не могут зафиксировать каждую переменную. В ступенчатом виде это видно по столбцам без ведущих элементов. Переменные в таких столбцах называются свободными: им можно присваивать произвольные значения, а ведущие переменные затем выражаются через них.

Формула rank A = rank[A|b] < n объединяет два шага. Равенство рангов подтверждает, что хотя бы одно решение существует. Неравенство общего ранга и числа неизвестных подтверждает, что решений больше одного. Над действительными числами один свободный параметр дает прямую решений, два параметра - плоскость решений, больше параметров - более высокоразмерное аффинное множество.

Важно понимать, что бесконечное число решений не означает хаос. Напротив, все решения имеют строгую структуру. Их можно записать как частное решение плюс все решения соответствующей однородной системы. Такая запись становится особенно полезной в линейных отображениях, дифференциальных уравнениях, оптимизации и численных методах.

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

Как пользоваться формулой

  1. Найдите rank A и rank[A|b].
  2. Убедитесь, что ранги равны, то есть система совместна.
  3. Сравните общий ранг с числом неизвестных n.
  4. Если общий ранг меньше n, выберите n - rank A свободных переменных.
  5. Выразите ведущие переменные через параметры и запишите общее решение.

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

Идея свободных параметров появилась естественно в методах исключения: если после приведения системы к ступенчатому виду часть столбцов не содержит ведущего элемента, соответствующие неизвестные не определяются однозначно. Ранговая формулировка сделала этот вывод независимым от конкретной записи уравнений. В курсе линейной алгебры она обычно появляется рядом с теоремой Кронекера-Капелли, потому что бесконечное множество решений - это один из трех главных исходов исследования системы: нет решений, одно решение, бесконечно много решений. Позднее эта же идея стала языком аффинных подпространств и ядра матрицы, где количество параметров читается как размерность.

Историческая линия формулы

Критерий бесконечного числа решений является стандартным следствием ранговой теории систем. Его связь с Кронекером и Капелли проходит через общий критерий совместности, а вычислительная сторона связана с методом исключения и ступенчатым видом.

Пример

Пусть дана система x + y + z = 4, 2x + 2y + 2z = 8. Второе уравнение зависит от первого, поэтому независимое условие одно. Матрица коэффициентов имеет ранг 1, расширенная матрица тоже имеет ранг 1, потому что правая часть согласована: 8 = 2·4. Число неизвестных n = 3. Получаем rank A = rank[A|b] = 1 < 3. Значит решений бесконечно много. Можно выбрать y = s и z = t, тогда x = 4 - s - t. Два параметра соответствуют числу свободных переменных 3 - 1 = 2. Проверка подстановкой дает (4 - s - t) + s + t = 4 при любых s и t.

Частая ошибка

Распространенная ошибка - видеть меньше уравнений, чем неизвестных, и автоматически говорить о бесконечном числе решений. Нужно сначала проверить совместность: даже одна строка 0 = 1 делает систему пустой. Вторая ошибка - считать количество параметров как число уравнений минус ранг; правильно использовать число неизвестных n минус ранг. Третья ошибка - забывать, что зависимое уравнение с несогласованной правой частью превращает систему в несовместную, а не в систему с множеством решений.

Практика

Задачи с решением

Определить число решений

Условие. В системе пять неизвестных. Найдено rank A = rank[A|b] = 3. Сколько решений?

Решение. Система совместна, потому что ранги равны. Общий ранг 3 меньше числа неизвестных 5, значит есть 5 - 3 = 2 свободных параметра.

Ответ. Бесконечно много решений, два параметра

Проверить зависимое уравнение

Условие. Система x + y = 2, 2x + 2y = 4 имеет две неизвестные. Определите тип решений.

Решение. Второе уравнение является удвоенным первым и правая часть тоже удвоена. Ранги равны 1, число неизвестных n = 2. Значит общий ранг меньше n.

Ответ. Бесконечно много решений, один параметр

Дополнительные источники

  • 18.06SC Linear Algebra notes, Kernel of a matrix
  • Jim Hefferon, Linear Algebra, Chapter One: Parametrization
  • Encyclopedia of Mathematics, Kronecker-Capelli theorem

Связанные формулы

Математика

Число свободных переменных в линейной системе

$k=n-\operatorname{rank}A$

В совместной линейной системе число свободных переменных равно числу неизвестных минус ранг матрицы коэффициентов. Эти переменные становятся параметрами общего решения.

Математика

Общее решение линейной системы через параметры

$x=x_p+t_1v_1+\cdots+t_kv_k$

Общее решение совместной линейной системы записывают как одно частное решение плюс линейную комбинацию направлений однородной системы. Параметров столько, сколько свободных переменных.