У лінійній алгебрі, квадратна матриця A називається діагоналізовною (англ. diagonalizable) якщо вона подібна діагональній матриці, тобто, якщо існує P і її обернена такі, що P−1AP є діагональною матрицею. Якщо V є скінченновимірний векторний простір, тоді лінійне відображення T : V → V називається діагоналізовним якщо у V існує впорядкований базис, в якому T представлене діагональною матрицею. Діагоналізація — процес пошуку відповідної діагональної матриці для діагоналізовної матриці або лінійного відображення. Квадратна недіагоналізовна матриця називається .
Характеристика
Засадничий факт про діагоналізовні відображення і матриці виражається так:
- n×n матриця A над полем F є діагоналізовною тоді і тільки тоді коли сума вимірностей її власних просторів дорівнює n, що виконується тоді і тільки тоді якщо існує базис Fn, який складається з власних векторів A. Якщо такий базис знайдено, можна утворити матрицю P стовпчики якої і будуть вектори з цього базису, і P−1AP буде діагональною матрицею. Діагональні елементи матриці є власними значеннями A.
- Лінійне відображення T : V → V є діагоналізовним тоді і тільки тоді коли сума вимірностей її власних просторів дорівнює dim(V), що виконується тоді і тільки тоді коли існує базис V. що складається з власних векторів T. Відповідно до такого базису, T буде представлене діагональною матрицею. Діагональними елементами цієї матриці будуть власні значення T.
Іншою характеристикою: Матриця або лінійне відображення є діагоналізовною над полем F тоді і тільки тоді коли її мінімальний многочлен є добутком різних лінійних множників над полем F. (Інакше кажучи, матриця діагоналізовна тоді і тільки тоді коли всі її лінійні.)
Наступні достатні (але не необхідні) умови часто корисні.
- n×n матриця A діагоналізовна над полем F якщо вона має n відмінних власних значень в F, тобто характеристичний многочлен має n різних коренів в F; однак, зворотній твердження може бути хибним.
- Лінійне зображення T : V → V з n = dim(V) діагоналізовне якщо воно має n різних власних значень, тобто якщо його характеристичний многочлен має n різних коренів у F.
Діагоналізація
Якщо матрицю A можна діагоналізувати, тобто,
тоді:
Записуючи P як блочну матрицю її векторів-стовпчиків
рівняння подане вище можна записати як
Отже стовпчики P є правими власними векторами A, і відповідні діагональні елементи є відповідними власними значеннями. Оборотність P також припускає, що власні вектори лінійно незалежні і утворюють базис для Fn. Це необхідна і достатня умова для діагоналізовності. Вектори-рядки P−1 є лівими власними векторами A.
Коли матриця A — ермітова, з власних векторів A можна утворити ортонормований базис для Cn. За таких умов P буде унітарною і P−1 дорівнює ермітово-спряженій від P.
Приклади
Діагоналізовні матриці
- Інволюції діагоналізовні над полем дійсних чисел (і також над будь-яким полем характеристики не 2), з ±1 на діагоналі
- Ендоморфізми скінченного порядку над C (або будь-яким алгебраїчно замкнутим полем, де характеристика поля не є дільником порядку ендоморфізму) з коренями одиниці на діагоналі.
- Проєкції — діагоналізовні, з 0-ми і 1-ми на діагоналі.
- Дійсні симетричні матриці є діагоналізовними ортогональними матрицями.
Недіагоналізовні матриці
Загалом, матриця повороту не є діагоналізовною над полем дійсних чисел, але всі матриці повороту діагоналізовні над полем комплексних чисел (їх власні значення це 1 і два спряжених комплексних числа). Навіть якщо матриця недіагоналізовна, завжди можна зробити якнайкраще і знайти матрицю з такими самими властивостями, яка містить власні значення на головній діагоналі і або 0-і, або 1-і на наддіагоналі — відома як Жорданова нормальна форма.
Деякі матриці недіагоналізовні ні над яким полем, особливо відомі ненульові нільпотентні матриці. Загальніше це відбувається коли не збігаються алгебраїчні і геометричні кратності власних значень. Наприклад, розглянемо
Ця матриця недіагоналізовна: не існує матриці U такої, що U−1CU буде діагональною. Насправді, C має одне власне значення (а саме нуль) і його алгебраїчна кратність 2, а геометрична - 1.
Деякі дійсні матриці недіагоналізовні над полем дійсних чисел. Наприклад,
Матриця B не має дійсних власних значень, отже не існує дійсної матриці Q такої, що Q−1BQ буде діагональною. Але ми можемо діагоналізувати B якщо дозволимо комплексні числа. Дійсно, якщо ми візьмемо
тоді Q−1BQ діагональна.
Зауважте, що наведені приклади показують, що сума діагоналізовних матриць не обов'язково діагоналізовна.
Як діагоналізувати матрицю
Розглянемо матрицю
Ця матриця має такі власні значення
A є 3×3 матрицею з 3 різними власними значеннями; отже, вона діагоналізовна. Зауважте, що якщо існує рівно n різних власних значень у n×n матриці тоді така матриця діагоналізовна.
Ці власні значення є значеннями які будуть присутні в діагоналізованій формі матриці A, отже знайшовши власні значення ми діагоналізували A. Ми можемо зупинитися на цьому, але можна перевірити за допомогою власних векторів для діагоналізації A.
Власні вектори A такі
Можна легко перевірити, що
Тепер, нехай P буде матрицею з цими власними векторами як стовпчиками:
Неважливо в якому порядку власні векторі в P; зміна порядку власних векторів у P лиш змінює порядок власних значень у діагоналізованій формі A.
Тоді P діагоналізує A:
Знов зауважимо, що власні значення виринають у діагональній матриці.
Застосування
Якщо матриця діагоналізовна, діагоналізацію можна використати для ефективного обчислення степені A. Припустимо ми з'ясували, що
діагональна матриця. Тоді, оскільки добуток матриць є асоціативним,
останній вираз легко піддається обчисленню, оскільки містить лише степені діагональної матриці.
Див. також
Джерела
- Гантмахер Ф. Р. Теория матриц. — 5-е. — М: : Физматлит, 2010. — 559 с. — .(рос.)
- Теория матриц. — 2. — Москва : Наука, 1982. — 272 с.(рос.)
- , . Матричный анализ. — М: : Мир, 1989. — 653 с.(рос.)
Примітки
- Horn & Johnson 1985
- Anton, H.; Rorres, C. (22 лютого 2000). Elementary Linear Algebra (Applications Version) (вид. 8th). John Wiley & Sons. ISBN .
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U linijnij algebri kvadratna matricya A nazivayetsya diagonalizovnoyu angl diagonalizable yaksho vona podibna diagonalnij matrici tobto yaksho isnuye P i yiyi obernena taki sho P 1AP ye diagonalnoyu matriceyu Yaksho V ye skinchennovimirnij vektornij prostir todi linijne vidobrazhennya T V V nazivayetsya diagonalizovnim yaksho u V isnuye vporyadkovanij bazis v yakomu T predstavlene diagonalnoyu matriceyu Diagonalizaciya proces poshuku vidpovidnoyi diagonalnoyi matrici dlya diagonalizovnoyi matrici abo linijnogo vidobrazhennya Kvadratna nediagonalizovna matricya nazivayetsya HarakteristikaZasadnichij fakt pro diagonalizovni vidobrazhennya i matrici virazhayetsya tak n n matricya A nad polem F ye diagonalizovnoyu todi i tilki todi koli suma vimirnostej yiyi vlasnih prostoriv dorivnyuye n sho vikonuyetsya todi i tilki todi yaksho isnuye bazis Fn yakij skladayetsya z vlasnih vektoriv A Yaksho takij bazis znajdeno mozhna utvoriti matricyu P stovpchiki yakoyi i budut vektori z cogo bazisu i P 1AP bude diagonalnoyu matriceyu Diagonalni elementi matrici ye vlasnimi znachennyami A Linijne vidobrazhennya T V V ye diagonalizovnim todi i tilki todi koli suma vimirnostej yiyi vlasnih prostoriv dorivnyuye dim V sho vikonuyetsya todi i tilki todi koli isnuye bazis V sho skladayetsya z vlasnih vektoriv T Vidpovidno do takogo bazisu T bude predstavlene diagonalnoyu matriceyu Diagonalnimi elementami ciyeyi matrici budut vlasni znachennya T Inshoyu harakteristikoyu Matricya abo linijne vidobrazhennya ye diagonalizovnoyu nad polem F todi i tilki todi koli yiyi minimalnij mnogochlen ye dobutkom riznih linijnih mnozhnikiv nad polem F Inakshe kazhuchi matricya diagonalizovna todi i tilki todi koli vsi yiyi linijni Nastupni dostatni ale ne neobhidni umovi chasto korisni n n matricya A diagonalizovna nad polem F yaksho vona maye n vidminnih vlasnih znachen v F tobto harakteristichnij mnogochlen maye n riznih koreniv v F odnak zvorotnij tverdzhennya mozhe buti hibnim Linijne zobrazhennya T V V z n dim V diagonalizovne yaksho vono maye n riznih vlasnih znachen tobto yaksho jogo harakteristichnij mnogochlen maye n riznih koreniv u F DiagonalizaciyaYaksho matricyu A mozhna diagonalizuvati tobto P 1AP l1l2 ln displaystyle P 1 AP begin pmatrix lambda 1 amp lambda 2 amp amp ddots amp amp amp lambda n end pmatrix todi AP P l1l2 ln displaystyle AP P begin pmatrix lambda 1 amp lambda 2 amp amp ddots amp amp amp lambda n end pmatrix Zapisuyuchi P yak blochnu matricyu yiyi vektoriv stovpchikiv P a 1a 2 a n displaystyle P begin pmatrix vec alpha 1 amp vec alpha 2 amp cdots amp vec alpha n end pmatrix rivnyannya podane vishe mozhna zapisati yak Aa i lia i i 1 2 n displaystyle A vec alpha i lambda i vec alpha i qquad i 1 2 cdots n Otzhe stovpchiki P ye pravimi vlasnimi vektorami A i vidpovidni diagonalni elementi ye vidpovidnimi vlasnimi znachennyami Oborotnist P takozh pripuskaye sho vlasni vektori linijno nezalezhni i utvoryuyut bazis dlya Fn Ce neobhidna i dostatnya umova dlya diagonalizovnosti Vektori ryadki P 1 ye livimi vlasnimi vektorami A Koli matricya A ermitova z vlasnih vektoriv A mozhna utvoriti ortonormovanij bazis dlya Cn Za takih umov P bude unitarnoyu i P 1 dorivnyuye ermitovo spryazhenij vid P PrikladiDiagonalizovni matrici Involyuciyi diagonalizovni nad polem dijsnih chisel i takozh nad bud yakim polem harakteristiki ne 2 z 1 na diagonali Endomorfizmi skinchennogo poryadku nad C abo bud yakim algebrayichno zamknutim polem de harakteristika polya ne ye dilnikom poryadku endomorfizmu z korenyami odinici na diagonali Proyekciyi diagonalizovni z 0 mi i 1 mi na diagonali Dijsni simetrichni matrici ye diagonalizovnimi ortogonalnimi matricyami Nediagonalizovni matrici Zagalom matricya povorotu ne ye diagonalizovnoyu nad polem dijsnih chisel ale vsi matrici povorotu diagonalizovni nad polem kompleksnih chisel yih vlasni znachennya ce 1 i dva spryazhenih kompleksnih chisla Navit yaksho matricya nediagonalizovna zavzhdi mozhna zrobiti yaknajkrashe i znajti matricyu z takimi samimi vlastivostyami yaka mistit vlasni znachennya na golovnij diagonali i abo 0 i abo 1 i na naddiagonali vidoma yak Zhordanova normalna forma Deyaki matrici nediagonalizovni ni nad yakim polem osoblivo vidomi nenulovi nilpotentni matrici Zagalnishe ce vidbuvayetsya koli ne zbigayutsya algebrayichni i geometrichni kratnosti vlasnih znachen Napriklad rozglyanemo C 0100 displaystyle C begin bmatrix 0 amp 1 0 amp 0 end bmatrix Cya matricya nediagonalizovna ne isnuye matrici U takoyi sho U 1CU bude diagonalnoyu Naspravdi C maye odne vlasne znachennya a same nul i jogo algebrayichna kratnist 2 a geometrichna 1 Deyaki dijsni matrici nediagonalizovni nad polem dijsnih chisel Napriklad B 01 10 displaystyle B begin bmatrix 0 amp 1 1 amp 0 end bmatrix Matricya B ne maye dijsnih vlasnih znachen otzhe ne isnuye dijsnoyi matrici Q takoyi sho Q 1BQ bude diagonalnoyu Ale mi mozhemo diagonalizuvati B yaksho dozvolimo kompleksni chisla Dijsno yaksho mi vizmemo Q 1ii1 displaystyle Q begin bmatrix 1 amp textrm i textrm i amp 1 end bmatrix todi Q 1BQ diagonalna Zauvazhte sho navedeni prikladi pokazuyut sho suma diagonalizovnih matric ne obov yazkovo diagonalizovna Yak diagonalizuvati matricyu Rozglyanemo matricyu A 1200302 42 displaystyle A begin bmatrix 1 amp 2 amp 0 0 amp 3 amp 0 2 amp 4 amp 2 end bmatrix Cya matricya maye taki vlasni znachennya l1 3 l2 2 l3 1 displaystyle lambda 1 3 quad lambda 2 2 quad lambda 3 1 A ye 3 3 matriceyu z 3 riznimi vlasnimi znachennyami otzhe vona diagonalizovna Zauvazhte sho yaksho isnuye rivno n riznih vlasnih znachen u n n matrici todi taka matricya diagonalizovna Ci vlasni znachennya ye znachennyami yaki budut prisutni v diagonalizovanij formi matrici A otzhe znajshovshi vlasni znachennya mi diagonalizuvali A Mi mozhemo zupinitisya na comu ale mozhna pereviriti za dopomogoyu vlasnih vektoriv dlya diagonalizaciyi A Vlasni vektori A taki v1 1 12 v2 001 v3 102 displaystyle v 1 begin bmatrix 1 1 2 end bmatrix quad v 2 begin bmatrix 0 0 1 end bmatrix quad v 3 begin bmatrix 1 0 2 end bmatrix Mozhna legko pereviriti sho Avk lkvk displaystyle Av k lambda k v k Teper nehaj P bude matriceyu z cimi vlasnimi vektorami yak stovpchikami P 10 1 100212 displaystyle P begin bmatrix 1 amp 0 amp 1 1 amp 0 amp 0 2 amp 1 amp 2 end bmatrix Nevazhlivo v yakomu poryadku vlasni vektori v P zmina poryadku vlasnih vektoriv u P lish zminyuye poryadok vlasnih znachen u diagonalizovanij formi A Todi P diagonalizuye A P 1AP 0 10201 110 1200302 42 10 1 100212 300020001 displaystyle P 1 AP begin bmatrix 0 amp 1 amp 0 2 amp 0 amp 1 1 amp 1 amp 0 end bmatrix begin bmatrix 1 amp 2 amp 0 0 amp 3 amp 0 2 amp 4 amp 2 end bmatrix begin bmatrix 1 amp 0 amp 1 1 amp 0 amp 0 2 amp 1 amp 2 end bmatrix begin bmatrix 3 amp 0 amp 0 0 amp 2 amp 0 0 amp 0 amp 1 end bmatrix Znov zauvazhimo sho vlasni znachennya virinayut u diagonalnij matrici ZastosuvannyaYaksho matricya diagonalizovna diagonalizaciyu mozhna vikoristati dlya efektivnogo obchislennya stepeni A Pripustimo mi z yasuvali sho P 1AP D displaystyle P 1 AP D diagonalna matricya Todi oskilki dobutok matric ye asociativnim Ak PDP 1 k PDP 1 PDP 1 PDP 1 PD P 1P D P 1P P 1P DP 1 PDkP 1 displaystyle begin aligned A k amp PDP 1 k PDP 1 cdot PDP 1 cdots PDP 1 amp PD P 1 P D P 1 P cdots P 1 P DP 1 amp PD k P 1 end aligned ostannij viraz legko piddayetsya obchislennyu oskilki mistit lishe stepeni diagonalnoyi matrici Div takozhNapivprostij linijnij operatorDzherelaGantmaher F R Teoriya matric 5 e M Fizmatlit 2010 559 s ISBN 5 9221 0524 8 ros Teoriya matric 2 Moskva Nauka 1982 272 s ros Matrichnyj analiz M Mir 1989 653 s ros PrimitkiHorn amp Johnson 1985 Anton H Rorres C 22 lyutogo 2000 Elementary Linear Algebra Applications Version vid 8th John Wiley amp Sons ISBN 978 0 471 17052 5