Теорема Кронекера — Капеллі

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Теорема Кронекера — Капеллі — критерій сумісності системи лінійних алгебраїчних рівнянь:

СЛАР має розв'язки тоді й лише тоді, коли ранг її матриці дорівнює рангу її розширеної матриці

  • Система має єдиний розв'язок, якщо ранг дорівнює кількості невідомих,
  • і нескінченно багато розв'язків, якщо ранг менший кількості невідомих.

Необхідність

[ред. | ред. код]

Нехай СЛАР сумісна, тоді існує розв'язок: такий, що

Тобто, стовпець є лінійною комбінацією стовпців матриці

Отже

Достатність

[ред. | ред. код]

Нехай Візьмемо у матриці будь-який базисний мінор.

Так як , то він буде базисним мінором і для матриці

Тоді згідно з теоремою про базисний мінор, останній стовпець матриці буде лінійною комбінацією базисних стовпчиків, тобто стовпців матриці

Отже, стовпець вільних членів системи є лінійною комбінацією стовпців матриці коефіцієнти такої лінійної комбінації і будуть розв'язком СЛАР.

Див. також

[ред. | ред. код]

Джерела

[ред. | ред. код]