Peatüki algus: Maatriksid
Eelmine: Maatriksi normid ja konditsiooniarvud
Järgmine: Maatriksargumendiga funktsioonid


Cayley-Hamiltoni teoreem

Lause 2.8.1 (Cayley-Hamiltoni teoreem). Kui tex2html_wrap_inline2078 ja
displaymath2000
siis p(A)=0, st maatriks A rahuldab oma karakteristlikku võrrandit.

Tõestus. Lause 2.6.7 põhjal leidub selline regulaarne tex2html_wrap_inline2084 et
displaymath2001
kusjuures
displaymath2002
on ülemine bidiagonaalne tex2html_wrap_inline2086-maatriks (Jordani blokk), mille peadiagonaalil on maatriksi A omaväärtus tex2html_wrap_inline2090 ( vähemalt mi-kordne maatriksi A omaväärtus, sest sellele omaväärtusele võib vastata veel teisi Jordani blokke) ja tex2html_wrap_inline2096 Kuna tex2html_wrap_inline2098 tex2html_wrap_inline2100 siis tex2html_wrap_inline2102 ja tex2html_wrap_inline2104 )mi=0. Kui tex2html_wrap_inline2108 on maatriksi A karakteristlik polünoom ja tex2html_wrap_inline2112 selle polünoomi nullkohad, siis
displaymath2003
ja
displaymath2004
Näitame, et p(J)=0. Olgu maatriks J blokk-kujul
displaymath2005
Saame, et
displaymath2006

displaymath2007

displaymath2008

displaymath2009

displaymath2010

displaymath2011

displaymath2012

displaymath2013
Seosest X-1AX=J äreldub, et A=XJX-1. Tõestuse viime lõpule ahelaga

displaymath2014

displaymath2015

displaymath2016

displaymath2017

displaymath2018

Näide 2.8.1. Veenduda Cayley-Hamiltoni teoreemi väites maatriksi
displaymath2019
korral. Koostame karakteristliku polünoomi
displaymath2020
ja leiame

displaymath2021

displaymath2022

Ülesanne 2.8.1.* Olgu
displaymath56
Arvutage A2 ja kasutades Cayley-Hamiltoni teoreemi leidke maatriks

displaymath57

Definitsioon 2.8.1. Polünoomi tex2html_wrap_inline2122 nimetatakse maatriksit tex2html_wrap_inline2078 annulleerivaks polünoomiks, kui q(A)=0.

Maatriksi tex2html_wrap_inline2078 karakteristlik polünoom on (Cayley-Hamiltoni teoreemi põhjal) seda maatriksit annulleeriv polünoom.

Definitsioon 2.8.2. Maatriksi tex2html_wrap_inline2078 madalaimat järku annulleerivat polünoomi nimetatakse maatriksi A minimaalpolünoomiks.

Ülesanne 2.8.1. Veenduge, et maatriksi tex2html_wrap_inline2078 karakteristlik polünoom jagub jäägita maatriksi A minimaalpolünoomiga.

Lause 2.8.2. Olgu tex2html_wrap_inline2108 ja tex2html_wrap_inline2140 vastavalt maatriksi A karakteristlik polünoom ja minimaalpolünoom. Polünoomidest koosneva maatriksi tex2html_wrap_inline2144 tex2html_wrap_inline2146 mis on maatriksi tex2html_wrap_inline2144 -A) elementide algebraliste täiendite maatriks, elementide suurim ühistegur olgu tex2html_wrap_inline2152. Siis
displaymath2023

Tõestus. Vaadake Lankaster (1982, lk 123-124).

Näide 2.8.2. Leida maatriksi D=diag(a,a,b,b) karakteristlik polünoom ja minimaalpolünoom. Esmalt leiame, et
displaymath2024

displaymath2025

displaymath2026
ja maatriksi tex2html_wrap_inline2144 tex2html_wrap_inline2158 elementide suurim ühistegur tex2html_wrap_inline2160 Lause 2.8.2 väitel tex2html_wrap_inline2162 Teostame kontrolli,
displaymath2027

displaymath2028
Tõesti, tex2html_wrap_inline2140 on maatriksit annulleeriv polünoom. On lihtne veenduda, et ükski esimest järku polünoom ei saa annulleerida maatriksit A. Seega tex2html_wrap_inline2140 on maatriksi A minimaalpolünoom.

Näide 2.8.3. Leida maatriksite
displaymath2029
karakteristlikud ja minimaalpolünoomid. Leiame esmalt karakteristlikud polünoomid:
displaymath2030
ja
displaymath2031
Seejärel leiame minimaalpolünoomid:

displaymath2032


displaymath2033


displaymath2034

displaymath2035
ja
displaymath2036

displaymath2037

displaymath2038

Ülesanne 2.8.2.* Leidke maatriksi A minimaalpolünoom, kui
displaymath58

Peatüki algus: Maatriksid
Eelmine: Maatriksi normid ja konditsiooniarvud
Järgmine: Maatr iksargumendiga funktsioonid