Общее решение неоднородной системы. Однородные системы линейных уравнений Решение однородных системах 0

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

Очевидно, что всякая однородная система совместна и имеет нулевое (тривиальное) решение. Поэтому применительно к однородным системам линейных уравнений часто приходится искать ответ на вопрос о существовании ненулевых решений. Ответ на этот вопрос можно сформулировать в виде следующей теоремы.

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

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

Следствие 1 : Однородная система уравнений, в которой число уравнений меньше числа неизвестных, всегда имеет ненулевое решение.

Доказательство : Если у системы уравнений , то ранг системы не превышает числа уравнений , т.е. . Таким образом, выполняется условие и, значит, система имеет ненулевое решение.

Следствие 2 : Однородная система уравнений с неизвестными имеет ненулевое решение тогда и только тогда, когда ее определитель равен нулю.

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

Теорема Кронекера-Капелли: СЛУ совместна тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы этой системы. Система ур-ий называется совместной, если она имеет хотя бы одно решение.

Однородная система линейных алгебраических уравнений .

Система m линейных ур-ий с n переменными называется системой линейных однородных уравнений, если все свободные члены равны 0. Система линейных однородных ур-ий всегда совместна, т.к. она всегда имеет, по крайней мере, нулевое решение. Система линейных однородных ур-ий имеет ненулевое решение тогда и только тогда, когда ранг её матрицы коэффициентов при переменных меньше числа переменных, т.е. при rang A (n. Всякая лин. комбинация

решений системы лин. однородн. ур-ий также является решением этой системы.

Система лин.независимых решений е1, е2,…,еk называется фундаментальной, если каждое решение системы является линейной комбинацией решений. Теорема: если ранг r матрицы коэффициентов при переменных системы линейных однородных уравнений меньше числа переменных n, то всякая фундаментальная система решений системы состоит из n-r решений. Поэтому общее решение системы лин. однордн. ур-ий имеет вид: с1е1+с2е2+…+сkеk, где е1, е2,…, еk – любая фундаментальная система решений, с1, с2,…,сk – произвольные числа и k=n-r. Общее решение системы m линейных ур-ий с n переменными равно сумме

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

7.Линейные пространства. Подпространства. Базис, размерность. Линейная оболочка. Линейное пространство называется n-мерным , если в нем существует система из линейно независимых векторов, а любая система из большего количества векторов линейно зависима. Число называется размерностью (числом измерений) линейного пространства и обозначается . Другими словами, размерность пространства - это максимальное число линейно независимых векторов этого пространства. Если такое число существует, то пространство называется конечномерным. Если же для любого натурального числа п в пространстве найдется система, состоящая из линейно независимых векторов, то такое пространство называют бесконечномерным (записывают: ). Далее, если не оговорено противное, будут рассматриваться конечномерные пространства.

Базисом n-мерного линейного пространства называется упорядоченная совокупность линейно независимых векторов (базисных векторов ).

Теорема 8.1 о разложении вектора по базису. Если - базис n-мерного линейного пространства , то любой вектор может быть представлен в виде линейной комбинации базисных векторов:

V=v1*e1+v2*e2+…+vn+en
и притом единственным образом, т.е. коэффициенты определяются однозначно. Другими словами, любой вектор пространства может быть разложен по базису и притом единственным образом.

Действительно, размерность пространства равна . Система векторов линейно независима (это базис). После присоединения к базису любого вектора , получаем линейно зависимую систему (так как это система состоит из векторов n-мерного пространства). По свойству 7 линейно зависимых и линейно независимых векторов получаем заключение теоремы.

Калужский филиал федерального государственного бюджетного образовательного учреждения высшего профессионального образования

«Московский государственный технический университет имени Н.Э. Баумана»

(КФ МГТУ им. Н.Э. Баумана)

Влайков Н.Д.

Решение однородных СЛАУ

Методические указания для проведения упражнений

по курсу аналитической геометрии

Калуга 2011г.

Цели занятия стр.4

План занятия стр.4

Необходимые теоретические сведения стр.5

Практическая часть стр.10

Контроль освоения пройденного материала стр.13

Домашнее задание стр.14

Количество часов: 2

Цели занятия:

    Систематизировать полученные теоретические знания о видах СЛАУ и способах их решения.

    Получить навыки решения однородных СЛАУ.

План занятия:

    Кратко изложить теоретический материал.

    Решить однородную СЛАУ.

    Найти фундаментальную систему решений однородной СЛАУ.

    Найти частное решение однородной СЛАУ.

    Сформулировать алгоритм решения однородной СЛАУ.

    Проверить выполнение текущего домашнего задания.

    Провести проверочную работу.

    Представить тему следующего семинара.

    Выдать текущее домашнее задание.

Необходимые теоретические сведения.

Ранг матрицы.

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

Если квадратная матрица невырождена, то ранг равен ее порядку. Если квадратная матрица вырождена, то ее ранг меньше ее порядка.

Ранг диагональной матрицы равен количеству ее ненулевых диагональных элементов.

Теор. При транспонировании матрицы ее ранг не меняется, т.е.
.

Теор. Ранг матрицы не меняется при элементарных преобразования ее строк и столбцов.

Теорема о базисном миноре.

Опр. Минор
матрицы называют базисным, если выполнены два условия:

а) он не равен нулю;

б) его порядок равен рангу матрицы .

Матрица может иметь несколько базисных миноров.

Строки и столбцы матрицы , в которых расположен выбранный базисный минор, называют базисными.

Теор. Теорема о базисном миноре. Базисные строки (столбцы) матрицы , соответствующие любому ее базисному минору
, линейно независимы. Любые строки (столбцы) матрицы , не входящие в
, являются линейными комбинациями базисных строк (столбцов).

Теор. Для любой матрицы ее ранг равен максимальному количеству ее линейно независимых строк (столбцов).

Вычисление ранга матрицы. Метод элементарных преобразований.

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

СЛАУ. Основные определения.

Опр. Система

(15.1)

Числа называют коэффициентами СЛАУ. Числа
называют свободными членами уравнений.

Запись СЛАУ в виде (15.1) называют координатной.

Опр. СЛАУ называют однородной, если
. Иначе ее называют неоднородной.

Опр. решением СЛАУ называют такой набор значений неизвестных, при подстановке которых каждое уравнение системы превращается в тождество. Любое конкретное решение СЛАУ так же называют ее частным решением.

Решить СЛАУ – значит решить две задачи:

Выяснить, имеет ли СЛАУ решения;

Найти все решения, если они существуют.

Опр. СЛАУ называют совместной, если она имеет хотя бы одно решение. В противном случае ее называют несовместной.

Опр. Если СЛАУ (15.1) имеет решение, и притом единственное, то ее называют определенной, а если решение не единственное – то неопределенной.

Опр. Если в уравнении (15.1)
,СЛАУ называют квадратной.

Формы записи СЛАУ.

Кроме координатной формы (15.1) записи СЛАУ часто используют и друге ее представления.

(15.2)

Соотношение называют векторной формой записи СЛАУ.

Если же взять за основу произведение матриц, то СЛАУ (15.1) можно записать так:

(15.3)

или
.

Запись СЛАУ (15.1) в виде (15.3) называют матричной.

Однородные СЛАУ.

Однородная система
линейных алгебраических уравнений с неизвестными представляет собой систему вида

Однородные СЛАУ всегда совместны, поскольку всегда имеется нулевое решение.

Критерий существования ненулевого решения. Для существования ненулевого решения у однородной квадратной СЛАУ необходимо и достаточно, чтобы ее матрица была вырождена.

Теор. Если столбцы
,
, …,
- решения однородной СЛАУ, то и любая их линейная комбинация также является решением этой системы.

Следствие . Если однородная СЛАУ имеет ненулевое решение, то она имеет бесконечное множество решений.

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

Опр. Любой набор из
линейно независимых столбцов
,
, …,
, являющихся решениями однородной СЛАУ
, где - число неизвестных, а - ранг ее матрицы , называют фундаментальной системой решений этой однородной СЛАУ.

При исследовании и решении однородных систем линейных уравнений в матрице системы будем фиксировать базисный минор. Базисному минору будут соответствовать базисные столбцы и, следовательно, базисные неизвестные. Остальные неизвестные будем называть свободными.

Теор. О структуре общего решения однородной СЛАУ. Если
,
, …,
- произвольная фундаментальная система решений однородной СЛАУ
, то любое ее решение можно представить в виде

Где , …,- некоторые постоянные.

Т.о. общее решение однородной СЛАУ имеет вид

Практическая часть.

    Рассмотреть возможные множества решений следующих видов СЛАУ и их графическую интерпретацию.

;
;
.

    Рассмотреть возможность решения данных систем по формулам Крамера и матричным методом.

    Изложить суть метода Гаусса.

    Решить следующие задачи.

Пример 1. Решить однородную СЛАУ. Найти ФСР.

.

Запишем матрицу системы и приведем ее к ступенчатому виду.

.

система будет иметь бесконечно много решений. ФСР будет состоять из
столбцов.

Отбросим нулевые строки и снова запишем систему:

.

Будем считать базисным минор стоящий в левом верхнем углу. Т.о.
- базисные неизвестные, а
- свободные. Выразим
через свободные
:

;

Положим
.

Окончательно имеем:

- координатная форма ответа, или

- матричная форма ответа, или

- векторная форма ответа (вектор - столбцы являются столбцами ФСР).

Алгоритм решения однородной СЛАУ.

Найти ФСР и общее решение следующих систем:

2.225(4.39)

. Отв.:

2.223(2.37)

. Отв.:

2.227(2.41)

. Отв.:

Решить однородную СЛАУ:

. Отв.:

Решить однородную СЛАУ:

. Отв.:

Представление темы следующего семинара.

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

Контроль освоения пройденного материала.

Проверочная работа 3 - 5 минут. Участвует 4 студента с нечетными номерами по журналу, начиная с №10

Выполнить действия:

;
;

Выполнить действия:

Вычислить определитель:

Выполнить действия:

не определено

Выполнить действия:

Найти матрицу обратную данной:

Вычислить определитель:

Домашнее задание:

1. Решить задачи:

№ 2.224, 2.226, 2.228, 2.230, 2.231, 2.232.

2.Проработать лекции на темы:

Системы линейных алгебраических уравнений (СЛАУ). Координатная, матричная и векторная формы записи. Критерий Кронекера - Капелли совместности СЛАУ. Неоднородные СЛАУ. Критерий существования ненулевого решения однородной СЛАУ. Свойства решений однородной СЛАУ. Фундаментальная система решений однородной СЛАУ, теорема о ее существовании. Нормальная фундаментальная система решений. Теорема о структуре общего решения однородной СЛАУ. Теорема о структуре общего решения неоднородной СЛАУ.

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

Любая однородная система всегда совместна, поскольку всегда обладает нулевым (тривиальным ) решением. Возникает вопрос, при каких условиях однородная система будет иметь нетривиальное решение.

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

Следствие . Квадратная однородная система имеет нетривиальное решение тогда и только тогда, когда определитель основной матрицы системы не равен нулю.

Пример 5.6. Определить значения параметра l, при которых система имеет нетривиальные решения, и найти эти решения:

Решение . Эта система будет иметь нетривиальное решение тогда, когда определитель основной матрицы равен нулю:

Таким образом, система нетривиальна, когда l=3 или l=2. При l=3 ранг основной матрицы системы равен 1. Тогда оставляя только одно уравнение и полагая, что y =a и z =b , получим x=b-a , т.е.

При l=2 ранг основной матрицы системы равен 2. Тогда, выбирая в качестве базисного минор:

получим упрощенную систему

Отсюда находим, что x=z /4, y=z /2. Полагая z =4a , получим

Множество всех решений однородной системы обладает весьма важным линейным свойством : если столбцы X 1 и X 2 - решения однородной системы AX = 0 , то всякая их линейная комбинация aX 1 + bX 2 также будет решением этой системы . Действительно, поскольку AX 1 = 0 и AX 2 = 0 , то A (aX 1 + bX 2) = aAX 1 + bAX 2 = a · 0 + b · 0 = 0. Именно вследствие этого свойства, если линейная система имеет более одного решения, то этих решений будет бесконечно много.

Линейно независимые столбцы E 1 , E 2 , E k , являющиеся решениями однородной системы, называется фундаментальной системой решений однородной системы линейных уравнений, если общее решение этой системы можно записать в виде линейной комбинации этих столбцов:

Если однородная система имеет n переменных, а ранг основной матрицы системы равен r , то k = n-r .

Пример 5.7. Найти фундаментальную систему решений следующей системы линейных уравнений:

Решение . Найдем ранг основной матрицы системы:

Таким образом, множество решений данной системы уравнений образует линейное подпространство размерности n - r = 5 - 2 = 3. Выберем в качестве базисного минор

Тогда оставляя только базисные уравнения (остальные будут линейной комбинацией этих уравнений) и базисные переменные (осталь-ные, так называемые свободные, переменные переносим вправо), по-лучим упрощенную систему уравнений:

Полагая, x 3 = a , x 4 = b , x 5 = c , находим


Полагая a = 1, b = c = 0, получим первое базисное решение; полагая b = 1, a = c = 0, получим второе базисное решение; полагая c = 1, a = b = 0, получим третье базисное решение. В результате, нормальная фундаментальная система решений примет вид

С использованием фундаментальной системы общее решение однородной системы можно записать в виде

X = aE 1 + bE 2 + cE 3 . à

Отметим некоторые свойства решений неоднородной системы линейных уравнений AX=B и их взаимосвязь соответствующей однородной системой уравнений AX = 0.

Общее решение неоднородной системы равно сумме общего решения соответствующей однородной системы AX = 0 и произвольного частного решения неоднородной системы . Действительно, пусть Y 0 произвольное частное решение неоднородной системы, т.е. AY 0 = B , и Y - общее решение неоднородной системы, т.е. AY = B . Вычитая одно равенство из другого, получим
A (Y-Y 0) = 0, т.е. Y - Y 0 есть общее решение соответствующей однородной системы AX =0. Следовательно, Y - Y 0 = X , или Y = Y 0 + X . Что и требовалось доказать.

Пусть неоднородная система имеет вид AX = B 1 + B 2 . Тогда общее решение такой системы можно записать в виде X = X 1 + X 2 , где AX 1 = B 1 и AX 2 = B 2 . Это свойство выражает универсальное свойство вообще любых линейных систем (алгебраических, дифференциальных, функциональных и т.д.). В физике это свойство называется принципом суперпозиции , в электро- и радиотехнике - принципом наложения . Например, в теории линейных электрических цепей ток в любом контуре может быть получен как алгебраическая сумма токов, вызываемых каждым источником энергии в отдельности.

Однородная система линейных уравнений AX = 0 всегда совместна. Она имеет нетривиальные (ненулевые) решения, если r = rank A < n .

Для однородных систем базисные переменные (коэффициенты при которых образуют базисный минор) выражаются через свободные переменные соотношениями вида:

Тогда n - r линейно независимыми вектор-решениями будут:

а любое другое решение является их линейной комбинацией. Вектор-решения образуют нормированную фундаментальную систему.

В линейном пространстве множество решений однородной системы линейных уравнений образует подпространство размерности n - r ; - базис этого подпространства.

Система m линейных уравнений с n неизвестными (или, линейная система

Здесь x 1 , x 2 , …, x n a 11 , a 12 , …, a mn - коэффициенты системы - иb 1 , b 2 , … b m a ij i ) и неизвестного (j

Система (1) называется однородной b 1 = b 2 = … = b m = 0), иначе -неоднородной .

Система (1) называется квадратной , если число m уравнений равно числу n неизвестных.

Решение системы (1) - совокупность n чисел c 1 , c 2 , …, c n , таких что подстановка каждого c i вместо x i в систему (1) обращает все её уравнения в тождества.

Система (1) называется совместной несовместной

Решения c 1 (1) , c 2 (1) , …, c n (1) и c 1 (2) , c 2 (2) , …, c n различными

c 1 (1) = c 1 (2) , c 2 (1) = c 2 (2) , …, c n (1) = c n (2) .

определённой неопределённой . Если уравнений больше, чем неизвестных, она называется переопределённой .

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

Решение матричных уравнений ~ Метод Гаусса

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

1. точные методы , представляющие собой конечные алгоритмы для вычисления корней системы (решение систем с помощью обратной матрицы, правило Крамера, метод Гаусса и др.),

2. итерационные методы , позволяющие получить решение системы с заданной точностью путем сходящихся итерационных процессов (метод итерации, метод Зейделя и др.).

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

Эффективное применение итерационных методов существенно зависит от удачного выбора начального приближения и быстроты сходимости процесса.

Решение матричных уравнений

Рассмотрим систему n линейных алгебраических уравнений относительно n неизвестных х 1 , х 2 , …, х n :

. (15)

Матрица А , столбцами которой являются коэффициенты при соответствующих неизвестных, а строками - коэффициенты при неизвестных в соответствующем уравнении, называется матрицей системы ; матрица-столбец b , элементами которой являются правые части уравнений системы, называется матрицей правой части или просто правой частью системы . Матрица-столбец х , элементы которой - искомые неизвестные, называется решением системы .

Если матрица А - неособенная, то есть det A н е равен 0 то система (13), или эквивалентное ей матричное уравнение (14), имеет единственное решение.

В самом деле, при условии det A не равно 0 существует обратная матрица А -1 . Умножая обе части уравнения (14) на матрицу А -1 получим:

(16)

Формула (16) дает решение уравнения (14) и оно единственно.

Системы линейных уравнений удобно решать с помощью функции lsolve .

lsolve(А, b )

Возвращается вектор решения x такой, что Ах = b.

Аргументы:

А - квадратная, не сингулярная матрица.

b - вектор, имеющий столько же рядов, сколько рядов в матрице А .

На Рисунке 8 показано решение системы трех линейных уравнений относительно трех неизвестных.

Метод Гаусса

Метод Гаусса, его еще называют методом Гауссовых исключений, состоит в том, что систему (13) приводят последовательным исключением неизвестных к эквивалентной системе с треугольной матрицей:

В матричной записи это означает, что сначала (прямой ход метода Гаусса) элементарными операциями над строками приводят расширенную матрицу системы к ступенчатому виду:

а затем (обратный ход метода Гаусса) эту ступенчатую матрицу преобразуют так, чтобы в первых n столбцах получилась единичная матрица:

.

Последний, (n + 1) столбец этой матрицы содержит решение системы (13).

В Mathcad прямой и обратный ходы метода Гаусса выполняет функция rref (A ).

На Рисунке 9 показано решение системы линейных уравнений методом Гаусса, в котором используются следующие функции:

rref(A )

Возвращается ступенчатая форма матрицы А .

augment(A , В )

Возвращается массив, сформированный расположением A иВ бок о бок. Массивы A иВ должны иметь одинаковое число строк.

submatrix(A, ir, jr, ic, jc )

Возвращается субматрица, состоящая из всех элементов с ir по jr и столбцах с ic по jc. Удостоверьтесь, что ir jr и

ic jc, иначе порядок строк и (или) столбцов будет обращен.

Рисунок 9.

Описание метода

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

с определителем матрицы системы Δ, отличным от нуля, решение записывается в виде

(i-ый столбец матрицы системы заменяется столбцом свободных членов).
В другой форме правило Крамера формулируется так: для любых коэффициентов c1, c2, …, cn справедливо равенство:

В этой форме формула Крамера справедлива без предположения, что Δ отлично от нуля, не нужно даже, чтобы коэффициенты системы были бы элементами целостного кольца(определитель системы может быть даже делителем нуля в кольце коэффициентов). Можно также считать, что либо наборы b1,b2,...,bn и x1,x2,...,xn, либо набор c1,c2,...,cn состоят не из элементов кольца коэффициентов системы, а какого-нибудь модуля над этим кольцом. В этом виде формула Крамера используется, например, при доказательстве формулы дляопределителя Грама и Леммы Накаямы.

35) Теорема Кронекера-Капелли
Для того чтобы система m неоднородных линейных уравнений с n неизвестными была совместной, необходимо и достаточно, чтобы Доказательство необходимости. Пусть система (1.13) совместна, то есть существуют такие числа х 1 =α 1 , х 2 =α 2 , …, х n =α n , что (1.15) Вычтем из последнего столбца расширенной матрицы ее первый столбец, умноженный на α 1 , второй – на α 2 , …, n-ый – умноженный на α n , то есть из последнего столбца матрицы (1.14) следует вычесть левые части равенств (1.15). Тогда получим матрицу ранг которой в результате элементарных преобразований не изменится и . Но очевидно, и, значит, Доказательство достаточности. Пусть и пусть для определенности не равный нулю минор порядка r расположен в левом верхнем углу матрицы: Это означает, что остальные строки матрицы могут быть получены как линейные комбинации первых r строк, то есть m-r строк матрицы можно представить в виде сумм первых r строк, умноженных на некоторые числа. Но тогда первые r уравнений системы (1.13) самостоятельны, а остальные являются их следствиями, то есть решение системы первых r уравнений автоматически является решением остальных уравнений. Возможны два случая. 1. r=n. Тогда система, состоящая из первых r уравнений, имеет одинаковое число уравнений и неизвестных и совместна, причем решение ее единственно. 2. r (1.16) «Свободным» неизвестным x r +1 , x r +2 , …, x n можно придать какие угодно значения. Тогда соответствующие значения получают неизвестные x 1 , x 2 , …, x r . Система (1.13) и в этом случае совместная, но неопределенная. Замечание. Отличный от нуля минор порядка r, где rх 1 , х 2 , …, х r так же называют базисными, остальные – свободными. Систему (1.16) называют укороченной. Если свободные неизвестные обозначить х r +1 =c 1 , х r +2 =c 2 , …, х n =c n - r , то базисные неизвестные будут от них зависеть, то есть решение системы m уравнений с n неизвестными будет иметь вид X = (x 1 (c 1 , …, c n - r ), x 2 (c 1 , …, c n - r ), …, x r (c 1 , …, c n - r ), c 1 , c 2 , …, c n - r ) T , где значок Т означает транспонирование. Такое решение системы называется общим.

36)ус-е определенности, неопределенности
Система m линейных уравнений с n неизвестными (или, линейная система ) в линейной алгебре - это система уравнений вида

Здесь x 1 , x 2 , …, x n - неизвестные, которые надо определить. a 11 , a 12 , …, a mn - коэффициенты системы - и b 1 , b 2 , … b m - свободные члены - предполагаются известными. Индексы коэффициентов (a ij ) системы обозначают номера уравнения (i ) и неизвестного (j ), при котором стоит этот коэффициент, соответственно .

Система (1) называется однородной , если все её свободные члены равны нулю (b 1 = b 2 = … = b m = 0), иначе - неоднородной .

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

Совместная система вида (1) может иметь одно или более решений.

Решения c 1 (1) , c 2 (1) , …, c n (1) и c 1 (2) , c 2 (2) , …, c n (2) совместной системы вида (1) называются различными , если нарушается хотя бы одно из равенств:

c 1 (1) = c 1 (2) , c 2 (1) = c 2 (2) , …, c n (1) = c n (2) .

Совместная система вида (1) называется определённой , если она имеет единственное решение; если же у неё есть хотя бы два различных решения, то она называется неопределённой

37)Решение систем линейных уравнений методом Гаусса

Пусть исходная система выглядит следующим образом

Матрица A называется основной матрицей системы, b - столбцом свободных членов.

Тогда согласно свойству элементарных преобразований над строками основную матрицу этой системы можно привести к ступенчатому виду(эти же преобразования нужно применять к столбцу свободных членов):

Тогда переменные называются главными переменными . Все остальные называются свободными .

[править]Условие совместности

Упомянутое выше условие для всех может быть сформулировано в качестве необходимого и достаточного условия совместности:

Напомним, что рангом совместной системы называется ранг её основной матрицы (либо расширенной, так как они равны).

Алгоритм

Описание

Алгоритм решения СЛАУ методом Гаусса подразделяется на два этапа.

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

§ На втором этапе осуществляется так называемый обратный ход, суть которого заключается в том, чтобы выразить все получившиеся базисные переменные через небазисные и построить фундаментальную систему решений, либо, если все переменные являются базисными, то выразить в численном виде единственное решение системы линейных уравнений. Эта процедура начинается с последнего уравнения, из которого выражают соответствующую базисную переменную (а она там всего одна) и подставляют в предыдущие уравнения, и так далее, поднимаясь по «ступенькам» наверх. Каждой строчке соответствует ровно одна базисная переменная, поэтому на каждом шаге, кроме последнего (самого верхнего), ситуация в точности повторяет случай последней строки.

Метод Гаусса требует порядка O (n 3) действий.

Этот метод опирается на:

38)Теорема Кронекера-Капелли.
Система совместна тогда и только тогда, когда ранг её основной матрицы равен рангу её расширенной матрицы.

Системы линейных однородных уравнений - имеет вид ∑a k i x i = 0. где m > n или m Однородная система линейных уравнений всегда совместна, так как rangA = rangB . Она заведомо имеет решение, состоящее из нулей, которое называется тривиальным .

Назначение сервиса . Онлайн-калькулятор предназначен для нахождения нетривиального и фундаментального решения СЛАУ. Полученное решение сохраняется в файле Word (см. пример решения).

Инструкция . Выберите размерность матрицы:

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

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

Теорема . Система в случае m=n имеет нетривиальное решение тогда и только тогда, когда определитель этой системы равен нулю.

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

Теорема. Если ранг r матрицы системы меньше числа n неизвестных, то существует фундаментальная система решений, состоящая из (n-r) решений.

Алгоритм решения систем линейных однородных уравнений

  1. Находим ранг матрицы.
  2. Выделяем базисный минор. Выделяем зависимые (базисные) и свободные неизвестные.
  3. Вычеркиваем те уравнения системы, коэффициенты которых не вошли в состав базисного минора, так как они являются следствиями остальных (по теореме о базисном миноре).
  4. Члены уравнений, содержащие свободные неизвестные, перенесем в правую часть. В результате получим систему из r уравнений с r неизвестными, эквивалентную данной, определитель которой отличен от нуля.
  5. Решаем полученную систему методом исключения неизвестных. Находим соотношения, выражающие зависимые переменные через свободные.
  6. Если ранг матрицы не равен количеству переменных, то находим фундаментальное решение системы.
  7. В случае rang = n имеем тривиальное решение.

Пример . Найти базис системы векторов (а 1 , а 2 ,...,а m), ранг и выразить векторы по базе. Если а 1 =(0,0,1,-1), а 2 =(1,1,2,0), а 3 =(1,1,1,1), а 4 =(3,2,1,4), а 5 =(2,1,0,3).
Выпишем основную матрицу системы:


Умножим 3-ую строку на (-3). Добавим 4-ую строку к 3-ой:
0 0 1 -1
0 0 -1 1
0 -1 -2 1
3 2 1 4
2 1 0 3

Умножим 4-ую строку на (-2). Умножим 5-ую строку на (3). Добавим 5-ую строку к 4-ой:
Добавим 2-ую строку к 1-ой:
Найдем ранг матрицы.
Система с коэффициентами этой матрицы эквивалентна исходной системе и имеет вид:
- x 3 = - x 4
- x 2 - 2x 3 = - x 4
2x 1 + x 2 = - 3x 4
Методом исключения неизвестных находим нетривиальное решение:
Получили соотношения, выражающие зависимые переменные x 1 ,x 2 ,x 3 через свободные x 4 , то есть нашли общее решение:
x 3 = x 4
x 2 = - x 4
x 1 = - x 4