Однородные системы линейных алгебраических уравнений
Однородная система линейных алгебраических уравнений (СЛАУ) — это система, у которой все свободные члены равны нулю. Такие системы имеют ключевое теоретическое и практическое значение.
- Любая однородная система всегда совместна, так как имеет по крайней мере одно решение — тривиальное, где все неизвестные равны нулю.
- Если система квадратная (число уравнений равно числу неизвестных), то случай, когда кроме тривиального существуют нетривиальные решения, является наиболее содержательным.
Критерий существования нетривиальных решений
Для квадратной однородной системы нетривиальные решения существуют тогда и только тогда, когда определитель матрицы системы равен нулю.
Для того чтобы однородная система имела нетривиальное решение, необходимо и достаточно, чтобы ее определитель равнялся нулю.
Это означает, что система является вырожденной (неопределённой).
Метод решения и структура общего решения
Решение однородной системы удобно проводить методом Гаусса, преобразуя матрицу коэффициентов (столбец свободных членов нулевой и не меняется).
- В процессе преобразований к треугольному виду появление нулевых строк указывает на то, что определитель равен нулю и система имеет множество решений.
- Нулевые строки можно вычеркнуть. Оставшаяся система будет содержать меньше уравнений, чем неизвестных, и является неопределённой.
- Часть неизвестных выбираются в качестве свободных параметров (например, t, s), через которые выражаются остальные («базисные») переменные.
Количество свободных параметров в общем решении равно разности между количеством неизвестных и рангом матрицы системы (или числом уравнений в окончательной, приведённой системе).
Примеры решения
Пример с тремя неизвестными
После преобразований матрицы методом Гаусса система свелась к двум уравнениям с тремя неизвестными. Приняв x3 = t, нашли:
x2 = -2tx1 = 3t
Общее решение: (x1, x2, x3) = (3t, -2t, t), где t ∈ R.
Пример с четырьмя неизвестными
После преобразований осталось два уравнения с четырьмя неизвестными. Приняв x3 = t, x4 = s, выразили:
x2 = 5t - 4sx1 = -11t + 7s
Общее решение зависит от двух параметров t и s, которые могут быть любыми действительными числами.
Итог: геометрическая интерпретация
Общее решение однородной системы можно представить в виде линейной комбинации базисных векторов. Коэффициентами в этой линейной комбинации выступают свободные параметры. Количество этих базисных векторов равно количеству свободных параметров, то есть размерности пространства решений.