Пространство нуль-пространства и фундаментальная система решений (ФСР)

Геометрия ядра и Теорема о ранге и дефекте

Ядро матрицы — это не просто хаотичный набор векторов, а полноценное линейное векторное подпространство. Если взять два любых решения однородной системы и сложить их, мы получим новое верное решение. Умножение решения на любую константу также дает верное решение. Центральной теоремой линейной алгебры, связывающей размеры этих пространств, является Теорема о ранге и дефекте. Она гласит: для любой прямоугольной матрицы A размера m на n (имеющей n столбцов), сумма ранга матрицы (количества линейно независимых строк) и дефекта матрицы (размерности ее нуль-пространства) всегда в точности равна n. Эта теорема — закон сохранения информации: переменные, которые не были жестко связаны уравнениями, образуют свободные степени (ядро).

Фундаментальная система решений (ФСР)

Поскольку нуль-пространство является линейным пространством, для его полного и исчерпывающего описания достаточно найти лишь его базис. Любой базис пространства решений однородной СЛАУ называется Фундаментальной Системой Решений (ФСР). Количество векторов в ФСР строго равно дефекту матрицы (n - rank(A)). Если мы найдем этот набор базовых векторов, то абсолютно любое, даже самое сложное решение системы можно будет записать в виде их простой линейной комбинации с произвольными коэффициентами. Таким образом, бесконечное множество решений упаковывается в изящную и компактную математическую формулу, удобную для анализа и программирования.

Поиск ФСР с помощью метода Гаусса

Алгоритм нахождения ФСР прозрачен и логичен. Сначала матрица системы приводится к ступенчатому виду с помощью прямого хода метода Гаусса. Затем все переменные (столбцы) жестко делятся на две группы: базисные (те, где находятся ведущие элементы ступенек) и свободные. Количество свободных переменных как раз и равно размерности ФСР. Далее применяется метод единичной матрицы: мы поочередно приравниваем каждую свободную переменную к единице, а все остальные свободные переменные — к нулю. Для каждого такого набора мы обратным ходом Гаусса вычисляем значения базисных переменных. Полученные столбцы цифр и будут составлять искомые векторы Фундаментальной Системы Решений.

Применение в химии и теории графов

Мощь нуль-пространств ярко раскрывается в стехиометрии. Любую химическую реакцию можно записать в виде матрицы, где строки — это химические элементы (углерод, кислород, водород), столбцы — молекулы (вещества в реакции), а числа — количество атомов. Уравнение балансировки масс (закон сохранения вещества) сводится к однородной системе AX = 0. Поиск ФСР этой матрицы дает все возможные независимые пути протекания реакций. Аналогично в теории графов (особенно при расчете электрических цепей). Матрица инцидентности графа показывает связи узлов и ветвей. Нуль-пространство этой матрицы содержит информацию о всех независимых замкнутых контурах в цепи, что используется для составления уравнений по второму закону Кирхгофа (правило напряжений).