Разрешенные системы линейных уравнений

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

Например, система уравнений:

содержит разрешенные переменные . Переменные и разрешенными не являются.

Если каждое уравнение содержит разрешенную переменную, то такую систему называют разрешенной. Очевидно, что приведенная в качестве примера система уравнений является разрешенной.

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

Переменные системы, которые не входят в данный набор разрешенных неизвестных, называются свободными. Если в системе фиксирован набор разрешенных переменных , то переменные являются свободными; если в набор разрешенных переменных системы входят , то свободными переменными являются .

Допустим, что разрешенная система уравнений содержит переменные ,и что набор является набором разрешенных переменных данной системы. Возможны два случая: и .

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

Очевидно, что такая система уравнений имеет только одно решение .

Во втором случае, когда разрешенная система состоит из уравнений вида:

Переменные являются свободными переменными системы. Если выразить разрешенные переменные системы через ее свободные переменные , то система примет вид:

Теорема (свойство свободных переменных). Если свободным переменным системы придать произвольные значения , тогда: