Невироджена матриця
Неви́роджена ма́триця (неособли́ва, несингуля́рна, інверто́вана) — квадратна матриця, визначник якої не дорівнює нулю:
- Рядки і стовпці невиродженої матриці лінійно незалежні.
- Ранг матриці дорівнює розмірності матриці.
- У невиродженої матриці є обернена матриця. Це еквівалентно тому, що лінійний оператор, який задається матрицею А є бієкцією векторного простору.
- Якщо матриця — невироджена, то система рівнянь має тільки нульовий розв'язок.
- Матриця є невиродженою тоді і тільки тоді якщо всі її власні значення є ненульовими.
- Одинична матриця є невиродженою.
- Матриця повороту є невиродженою.
Також матриці можна обернути блоками через використання такої формули:
|
де A, B, C і D це блоки матриці довільного розміру. (A і D повинні бути квадратними, щоб їх можна було обернути. Більше того, A і D−CA−1B повинна бути невиродженою.[1]) Цей підхід особливо вигідний якщо A є діагональною і D−CA−1B (доповнення Щура щодо A) це маленька матриця, оскільки лише ці дві матриці потребують обернення.
Теорема виродженості говорить про те, що виродженість A дорівнює виродженості підблока в нижньому правому куті оберненої матриці, і що виродженість B дорівнює виродженості підблока в горішньому правому куті оберненої матриці.
Процедура обернення, що призвела до рівняння (1) виконувала блокові матричні операції, які спочатку працювали на C і D . Натомість, якщо почати з A і B, і за умови несингулярності D і A−BD−1C ,[2] результатом є
|
Прирівнявши (1) і (2) отримуємо
|
де рівняння (3) є лемою обернення матриці.
Оскільки поблокове обернення матриці потребує обернення двох матриць половинного розміру і 6 множень між матрицями половинного розміру, можна показати, що алгоритм розділяй та володарюй, який використовує поблокове обернення для обернення матриці виконується з такою ж часовою складністю, що й алгоритм множення матриць.[3]
...
- ↑ Bernstein, Dennis (2005). Matrix Mathematics. Princeton University Press. с. 44. ISBN 0-691-11802-7.
- ↑ Bernstein, Dennis (2005). Matrix Mathematics. Princeton University Press. с. 45. ISBN 0-691-11802-7.
- ↑ Т. Кормен; Ч. Лейзерсон; Р. Рівест; К. Стайн (2009) [1990]. 28.2 Обернення матриць. Вступ до алгоритмів (вид. 3rd). MIT Press і McGraw-Hill. ISBN 0-262-03384-4.
- Гантмахер Ф. Р. Теорія матриць. — 2024. — 400+ с.(укр.)