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

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

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

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

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

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

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

Отже

Достатність

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

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

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

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

Див. також

Джерела

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.