Однородные системы линейных уравнений

⇐ Назад

4.1. Основные понятия

Системой линейных алгебраических уравнений, содержащей m уравнений и n неизвестных, называется система вида

где числа aij называются коэффициентами системы, числа bi— свободными членами. Подлежат нахождению числа xn.

Такую систему удобно записывать в компактной матричной форме

AX=B

Здесь А — матрица коэффициентов системы, называемая основной матрицей;

— вектор-столбец из неизвестных xj.

— вектор-столбец из свободных членов bi.

Произведение матриц А*Х определено, так как в матрице А столбцов столько же, сколько строк в матрице Х (n штук).

Расширенной матрицей системы называется матрица A системы, дополненная столбцом свободных членов

Решением системы называется n значений неизвестных х1=c1, x2=c2, ..., xn=cn, при подстановке которых все уравнения системы обращаются в верные равенства. Всякое решение системы можно записать в виде матрицы-столбца

Система уравнений называется совместной, если она имеет хотя бы одно решение, и несовместной, если она не имеет ни одного решения.

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

Решить систему — это значит выяснить, совместна она или несовместна. Если система совместна, найти ее общее решение.

Две системы называются эквивалентными (равносильными), если они имеют одно и то же общее решение. Другими словами, системы эквивалентны, если каждое решение одной из них является решением другой, и наоборот.

Эквивалентные системы получаются, в частности, при элементарных преобразованиях системы при условии, что преобразования выполняются лишь над строками матрицы.

Система линейных уравнений называется однородной, если все свободные члены равны нулю:

Однородная система всегда совместна, так как x1=x2=x3=...=xn=0 является решением системы. Это решение называется нулевым или тривиальным.

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

Теорема Кронекера-Капелли

Пусть дана произвольная система n линейных уравнений с n неизвестными

Исчерпывающий ответ на вопрос о совместности этой системы дает теорема Кронекера-Капелли.

Теорема 4.1. Система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг расширенной матрицы системы равен рангу основной матрицы.

Примем ее без доказательства.

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

Теорема 4.2. Если ранг совместной системы равен числу неизвестных, то система имеет единственное решение.

Теорема 4.3. Если ранг совместной системы меньше числа неизвестных, то система имеет бесчисленное множество решений.

Правило решения произвольной системы линейных уравнений

1. Найти ранги основной и расширенной матриц системы. Если r(A)≠r(A), то система несовместна.

2. Если r(A)=r(A)=r, система совместна. Найти какой-либо базисный минор порядка r (напоминание: минор, порядок которого определяет ранг матрицы, называется базисным). Взять r уравнений, из коэффициентов которых составлен базисный минор (остальные уравнения отбросить). Неизвестные, коэффициенты которых входят в базисный минор, называют главными и оставляют слева, а остальные n-r неизвестных называют свободными и переносят в правые части уравнений.

3. Найти выражения главных неизвестных через свободные. Получено общее решение системы.

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

Теорема. Для того чтобы система однородных уравнений имела ненулевые решения, необходимо и достаточно, чтобы ранг ее основной матрицы был меньше числа неизвестных, т.е.

63. Определитель четвертого порядка есть число, которое находится следующим образом:

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

Определители третьего порядка в правой части равенства являются минорами элементов a11, a12, а13, а14.
Алгебраическое дополнение элемента вычисляется по формуле = (-1)1+k • Mik, тогда равенство можно переписать в виде:

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

⇐ Назад