Дослідження множини розв'язків СЛР за допомогою рангів

Зв’язок рангу матриці з рангом набору векторів

Розглянемо матрицю

.

Очевидно, стовпчики матриці можна вважати набором m -вимірних векторів, а її рядки – набором n -вимірних.

Теорема. Ранг матриці дорівнює рангу набору векторів-рядків та рангу набору векторів стовпчиків.

Наслідок. Рядки (стовпчики) базисного мінору матриці утворюють максимальну лінійно незалежну підсистему набору векторів-рядків (стовпчиків) цієї матриці.

Розглянемо неоднорідну СЛР, що містить m рівнянь та n невідомих у матричному вигляді. Критерій сумісності такої системи дається наступною теоремою.

Теорема Кронекера-Капелі. СЛР – сумісна тоді й тільки тоді, коли ранг матриці системи дорівнює рангу розширеної матриці, тобто .

Дослідження множини розв’язків СЛР за допомогою рангів матриць дається наступною схемою.

Рис.4.2. Множина розв’язків СЛР.

Наслідки схеми для однорідних СЛР.

1. Однорідна СЛР завжди сумісна.

2. Якщо m < n, то однорідна СЛР невизначена.

3. Якщо однорідна СЛР – квадратна (m = n), то система невизначена тоді й тільки тоді, коли .

Дата добавления: 2014-01-04