Maticový polynom - Matrix polynomial
V matematice, a maticový polynom je polynom s čtvercové matice jako proměnné. Vzhledem k obyčejnému polynomu se skalární hodnotou
tento polynom byl vyhodnocen na matici A je
kde Já je matice identity.[1]
A maticová polynomická rovnice je rovnost mezi dvěma maticovými polynomy, která platí pro konkrétní dotyčné matice. A maticová polynomiální identita je polynomiální rovnice matice, která platí pro všechny matice A ve specifikovaném maticový prsten Mn(R).
Charakteristický a minimální polynom
The charakteristický polynom matice A je polynom se skalární hodnotou, definovaný symbolem . The Cayley-Hamiltonova věta uvádí, že pokud je tento polynom zobrazen jako maticový polynom a vyhodnocen na matici A výsledkem je nulová matice: . Charakteristický polynom je tedy polynom, který ničí A.
Existuje jedinečný monický polynom minimálního stupně, který ničí A; tento polynom je minimální polynom. Libovolný polynom, který ničí A (například charakteristický polynom) je násobkem minimálního polynomu.[2]
Z toho vyplývá, že vzhledem ke dvěma polynomům P a Q, my máme kdyby a jen kdyby
kde označuje jth derivát P a jsou vlastní čísla z A s odpovídajícími indexy (index vlastního čísla je velikost jeho největšího Jordan blok ).[3]
Maticová geometrická řada
Maticové polynomy lze použít k součtu maticových geometrických řad jako obyčejné geometrické řady,
Li Já − A je nonsingular lze vyhodnotit výraz pro součetS.
Viz také
Poznámky
- ^ Horn & Johnson 1990, str. 36.
- ^ Horn & Johnson 1990, Thm 3.3.1.
- ^ Higham 2000, Thm 1.3.
Reference
- Gohberg, Izrael; Lancaster, Peter; Rodman, Leiba (2009) [1982]. Maticové polynomy. Classics in Applied Mathematics. 58. Lancaster, PA: Společnost pro průmyslovou a aplikovanou matematiku. ISBN 0-898716-81-0. Zbl 1170.15300.
- Higham, Nicholas J. (2000). Funkce matic: Teorie a výpočet. SIAM. ISBN 089-871-777-9.CS1 maint: ref = harv (odkaz).
- Horn, Roger A .; Johnson, Charles R. (1990). Maticová analýza. Cambridge University Press. ISBN 978-0-521-38632-6.CS1 maint: ref = harv (odkaz).