Фундаментальная система решений
англ. Fundamental system of solutions
Базис пространства решений однородной СЛАУ: n − r линейно независимых решений; их линейные комбинации дают все решения однородной системы.
Три цвета красок, из которых смешивается вся палитра: фундаментальная система решений (ФСР) — базис пространства решений однородной СЛАУ . Его размерность равна , где — число неизвестных, — ранг матрицы: каждая свободная переменная добавляет измерение, каждое уравнение (независимое) одно измерение отбирает. Общее решение однородной системы — линейная комбинация векторов ФСР с произвольными коэффициентами. Для неоднородной системы та же ФСР даёт структуру: частное решение плюс вся однородная добавка.
Как строится на практике: систему приводят методом Гаусса к ступенчатому виду, базисные переменные выражают через свободные. Пример: , уравнение , неизвестных три — размерность решений . Полагаем : , вектор ; полагаем : , вектор . Проверка: , — обе удовлетворяют. Общее решение: — плоскость через начало координат. Стандартная дисциплина: свободным переменным поочерёдно дают единичные наборы — так линейная независимость почти бесплатна. Полная практика — в уроке однородные СЛАУ, смежное понятие базиса — в термине базис.
Частые вопросы
Чем ФСР отличается от просто набора решений?
Тем же, чем базис отличается от любого набора векторов: независимостью и полнотой. Векторы ФСР линейно независимы (иначе один из них лишний) и порождают все решения (иначе чего-то не хватает). Любая линейная комбинация решений однородной системы — снова решение, поэтому всё пространство решений склеивается из базисных векторов. Набор из независимых решений автоматически полон: больше независимых решений в пространстве размерности не бывает.
Как ФСР помогает решать неоднородную систему?
По теореме о структуре решения: , где — одно частное решение неоднородной, а пробегает всё однородное семейство, то есть комбинации ФСР. Практический рецепт: найти частное решение (любое, хоть подбором свободных переменных нулями), затем построить ФСР однородной части и сложить. Ответ записывается компактно: точка плюс векторы-направления — геометрически прямая или плоскость, смещённая в точку . Кронекера–Капелли теорема гарантирует, что при такая конструкция покрывает ровно все решения.