Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ekzamen_po_matanu_4.docx
Скачиваний:
21
Добавлен:
01.04.2025
Размер:
2 Мб
Скачать
☆

9 Вопрос

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

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

Для совместной системы (1) необходимо и достаточно чтобы rang = rang (расширенной) (соотношение (4)).

С помощью теоремы Кронекера – Капели можно реализовать другой подход к решению систем линейных уравнений.

Пример. Решить систему уравнений.

Выпишем матричные коэффициенты А

Н айдем ранг матрицы А по формулам окаймляющих миноров.

- корневой определитель.

rang A = 2

Вычислим rang расширенной матрицы А.

rang = 2

Общее решение представлено в виде

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

Свойства:

1)Если вектор является решением системы однородных уравнений , то вектор также является решением системы однородных уравнений.

Доказательство : i – тое уравнение системы (5) можно представить в виде

Пусть вектор с координатами, является решением системы(5) тогда .Подставим координаты в левую часть i – того уравнения получим

Так как вектор является решением системы (5) , получим что выражение было искомое . В силу произвольности выбора i –того уравнения свойство 1 доказано.

2) Если вектора и являются решением системы (5) , то их линейная комбинация также является решением системы (5) .

Доказательство : Пусть вектор и является решением системы (5) .Составим линейную комбинацию векторов и .

Подставим координаты линейной комбинации в i-тое уравнение системы (5).Получим

В силу дистрибутивности следует

Так как вектора является решением системы (5)получим .

В силу произвольности выбора i –того уравнения свойство 2 доказано.

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

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

Определение: Базис пространства решений системы (1) называется фундаментальной системой решения.

Теорема: Если ранг r матрицы коэффициентов r<n, то система обладает фундаментальной системой решений.

Доказательство: Пусть для определенности базисный минор порядка r, расположенного в верхнем левом углу, тогда систему(1) можно переписать в эквивалентном виде:

К орневой определитель системы (2) . Общее решение системы может быть получено по методу Крамера в зависимости от n-r параметров. Найдем n-r частных решений системы (2), таким образом, что бы значения свободных параметров образовывали единичную матрицу порядка n-r.

П остроенная система векторов, линейно независима, т.к. составлена из координат векторов матрицы

Замечаем в этой матрице минор порядка

Для доказательства теоремы остается доказать, что любое решение системы(1) является линейной комбинацией выписанных векторов.

Возьмем произвольный вектор , являющийся решением системы(1), рассмотрим вектор ,

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

Заметим, что в координатной форме можно представить в виде:

Являясь решением системы, , должен удовлетворять соотношением (2), причем свободные параметры равны 0.

Решая систему (2) при нулевых параметрах, получим что

т.е. является нулевым и произвольное решение системы(1) можно представить в виде: , т.е. построена система векторов является фундаментальной системой решений для системы(1).

Линейные неоднородные уравнения

10 Пусть произвольные решения системы (3), тогда являются произвольным решением системы (4).

20 Если некоторое решение системы (3), то общее решение системы (3) имеет вид , где -фундаментальная система решения приведенной системы решений (3) в векторном виде.

Таким образом, общее решение системы (3) представлена в векторном виде.

(5)

В соотношение (5) - частное решение системы (3); - вектора фундаментальной системы решений (3).

Частным случаем представления (5) является векторное, параметрическое уравнение прямой.

Определение: Множество решений системы (3) называются линейным многообразием.

Из выражения (3) следует, что линейное многообразие получается из линейного пространства сдвигом на некоторой вектор частного решения.