Přeskočit na obsah

Cayleyho–Hamiltonova věta

Z Wikipedie, otevřené encyklopedie
Arthur Cayley, FRS (1821–1895) přední britský matematik 19. století. Cayley uvedl větu pro matice řádu nejvýše tři a publikoval důkaz pro řád dva.
William Rowan Hamilton (1805–1865), irský fyzik, astronom a matematik, první zahraniční člen Americké národní akademie věd.

Cayleyho-Hamiltonova věta je matematické tvrzení z oboru lineární algebry pojmenované po Arthuru Cayleyovi a Williamu R. Hamiltonovi, které říká, že každá čtvercová matice nad komutativním okruhem (tedy speciálně například nad tělesem reálných čísel nebo tělesem komplexním čísel) je kořenem svého charakteristického polynomu.

Charakteristický polynom čtvercové matice řádu je , kde značí determinant, je skalární proměnná z příslušného okruhu a je jednotková matice řádu . Každý prvek matice je buď konstantní nebo lineární v , a proto je determinant monický polynom stupně v proměnné a lze jej zapsat výrazem . Záměna skalární proměnné za matici dává analogický maticový mnohočlen . (Zde je daná matice a nikoli proměnná, na rozdíl od , a tudíž je spíše maticová konstanta než funkce.) Cayleyho−Hamiltonova věta uvádí, že tento polynomický výraz je roven nulové matici, což lze formálně zapsat jako: .

Cayleyho−Hamiltonova věta mimo jiné umožňuje vyjádřit jako lineární kombinaci nižších mocnin matice , konkrétně . V případě těles Cayleyho−Hamiltonova znamená, že charakteristický polynom matice je dělitelný jejím minimálním polynomem.

Za zobecnění Cayleyho−Hamiltonovy věty lze pokládat Nakajamovo lemma.

Matice řádu 1

[editovat | editovat zdroj]

Charakteristický polynom matice je , a proto .

Matice řádu 2

[editovat | editovat zdroj]

Konkrétní matice má charakteristický polynom:

Cayleyho–Hamiltonova věta uvádí, že pro maticový polynom definovaný platí: , což lze potvrdit následujícím výpočtem:

.

Obecná matice , má charakteristický polynom . Platnost Cayleyho−Hamiltonovy věty lze v tomto případě ověřit přímo:

Mocniny matice

[editovat | editovat zdroj]

Cayleyho−Hamiltonova věta poskytuje vztah mezi mocninami (ačkoli ne vždy ten nejjednodušší), což umožňuje zjednodušit výrazy obsahující vyšší mocniny a vyhodnotit je, aniž by bylo nutné počítat nebo jakoukoli vyšší mocninu .

Například pro platí podle věty . Pro výpočet lze v důsledku věty využít vztahy:

Podobně lze počítat i inverzní matici a její mocniny:

Ve všech uvedených případech bylo možné zapsat mocninu matice jako součet dvou členů. Ve skutečnosti lze libovolnou mocninu čtvercové matice řádu zapsat jako maticový polynom stupně nejvýše . Jinými slovy, dimenze prostoru generovaného mocninami čtvercové matice je shora omezena jejím řádem.

Maticové funkce

[editovat | editovat zdroj]

Je-li dána analytická funkce a matice řádu s charakteristickým polynomem , a pokud lze funkci vyjádřit pomocí dlouhého dělení jako , kde je podílový polynom a je zbytkový polynom takový stupně nejvýše , potom podle Cayleyho−Hamiltonovy věty, nahrazení maticí dává , takže v důsledku platí: . Maticovou analytickou funkci lze za uvedených předpokladů tudíž vyjádřit jako maticový polynom stupně nejvýše .

Algebraická teorie čísel

[editovat | editovat zdroj]

Cayleyho−Hamiltonova věta je efektivním nástrojem pro výpočet minimálního polynomu algebraických čísel. Například pro konečné rozšíření tělesa a algebraické číslo , což je nenulová lineární kombinace , lze spočítat minimální polynom pomocí matice reprezentující lineární zobrazení na dané předpisem:

Minimální polynom lze odvodit použitím Cayleyho−Hamiltonovy věty pro matici .

Ferdinand Georg Frobenius (1849-1917), německý matematik. Jeho hlavní zájmy byly eliptické funkce, diferenciální rovnice a později teorie grup.

Vlastní ověření platnosti Cayleyho−Hamiltonovy věty pro konkrétní matici řádu vyžaduje dva kroky: Nejprve je třeba určit koeficienty charakteristického polynomu v proměnné coby rozvoj determinantu:

Poté se tyto koeficienty použijí v lineární kombinaci mocnin matice a ukáže se, že tato lineární kombinace je rovna nulové matici:

.

Levou stranu této rovnosti lze vyjádřit jako matici řádu , jejíž prvky jsou složité mnohočleny z prvků dané matice . Cayleyho−Hamiltonova věta tvrdí, že každý z těchto výrazů je roven . Pro každou pevnou hodnotu lze tyto identity získat zdlouhavými, ale přímočarými algebraickými úpravami, jak bylo například předvedeno výše pro matice řádu 2. Tyto výpočty však nemohou ukázat, proč by Cayleyho−Hamiltonova věta měla platit pro matice libovolných řádů , a proto je zapotřebí odvodit jednotný obecný důkaz pro všechna možná .

Adjungovaná matice

[editovat | editovat zdroj]
Podrobnější informace naleznete v článku Adjungovaná matice.

Obecné důkazy často využívají matici adjungovanou k matici a její vlastnost:

Uvedené vztahy vyplývají z úprav algebraických výrazů a platí pro matice s prvky i z libovolného komutativního okruhu. Jmenovitě platí nejen pro číselné matice, ale i pro matice, jejíž prvky tvoří polynomy, a právě tato vlastnost bude v důkazu využita.

Maticové polynomy

[editovat | editovat zdroj]

Determinant matice je charakteristický polynom matice . Matice daná výrazem:

má za prvky polynomy v proměnné . Protože polynomy tvoří komutativní okruh, lze dosazením za do výše uvedeného vztahu pro adjungovanou matici odvodit rovnost:

Polynomy, které se vyskytují jako prvky matice lze rozložit na monomy a jejich koeficienty roztřídit do již číselných matic tak, že matice obsahuje koeficienty u . Takto zvolené matice splňují:

Levou strana rovnosti lze algebraicky upravit na následující maticový mnohočlen v proměnné :

Podobně pravá strana dává maticový polynom:

Rovnost obou stran platí, právě když se shodují všechny dvojice polynomů na stejných pozicích v maticích na obou stranách. Tudíž se na obou stranách musejí shodovat i matice u libovolné mocniny . Jednotlivým mocninám od do 0, odpovídají rovnosti:

Vynásobení těchto rovností zleva příslušnou mocninou matice (čili první je vynásobena zleva a podobně ostatní rovnosti odpovídající jsou zleva vynásobeny ) a sečtení všech těchto rovnic do jedné dává:

Po rozepsání součtu se po sobě jdoucí dvojice členů na levé straně se navzájem odečtou, zatímco pravá strana odpovídá dosazení matice do svého charakteristického mnohočlenu . Z uvedeného vyplývá vztah: čímž je důkaz Cayleyho-Hamiltonovy věty dokončen.

Matice má charakteristický mnohočlen , a proto platí i maticová rovnost:

Adjungovaná matice k matici je následující polynomiální matice . Ta je dále rozložena na tři matice koeficientů:

Z vlastností adjungované matice vyplývá, že tyto tři matice koeficientů splňují:

Protože , musí platit také:

Vynásobení těchto rovností příslušnými mocninami matice zleva a celkové sečtení dává kýžený vztah:


Hamilton dokázal speciální případ věty v roce 1853[1] v termínech inverzí lineárních funkcí kvaternionů,[2] [3] [4] což odpovídá speciálnímu případu reálných matic řádu, resp. komplexních matic řádu 2. Cayley v roce 1858 uvedl výsledek pro matice řádu nejvýše 3, ale důkaz publikoval pouze pro řád 2.[5] Pokud jde o matice řádu Cayley uvedl: "..., nepovažoval jsem za nutné pustit se do práce s formálním důkazem věty v obecném případě matice libovolného stupně".[pozn. 1] Obecný případ poprvé dokázal Ferdinand Frobenius v roce 1878.[6]

  1. Cit.: “..., I have not thought it necessary to undertake the labor of a formal proof of the theorem in the general case of a matrix of any degree”

V tomto článku byly použity překlady textů z článků Cayley–Hamilton theorem na anglické Wikipedii a Satz von Cayley-Hamilton na německé Wikipedii.

  1. HAMILTON, William Rowan. Lectures on Quaternions. Dublin: Hodges and Smith, 1853. 884 s. Dostupné online. S. 562. 
  2. HAMILTON, William Rowan. On the Existence of a Symbolic and Biquadratic Equation which is satisfied by the Symbol of Linear or Distributive Operation on a Quaternion. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science. 1862, s. 127-128. Dostupné online. ISSN 1478-6435. 
  3. HAMILTON, William Rowan. On a New and General Method of Inverting a Linear and Quaternion Function of a Quaternion. Proceedings of the Royal Irish Academy. 1864, s. 182-183.  (communicated on June 9, 1862)
  4. HAMILTON, William Rowan. On the Existence of a Symbolic and Biquadratic Equation, which is satisfied by the Symbol of Linear Operation in Quaternions. Proceedings of the Royal Irish Academy. 1864, s. 190-101.  (communicated on June 23, 1862)
  5. CAYLEY, Arthur; FORSYTH, Andrew Russell. The collected mathematical papers of Arthur Cayley. Svazek 2. Cambridge: University Press, 1889. 634 s. Dostupné online. 
  6. FROBENIUS, G. Ueber lineare Substitutionen und bilineare Formen.. Journal für die reine und angewandte Mathematik. 1877, roč. 84, s. 1–63. Dostupné online [cit. 2024-04-23]. ISSN 0075-4102. 

Literatura

[editovat | editovat zdroj]
  • BEČVÁŘ, Jindřich. Lineární algebra. 1. vyd. Praha: Matfyzpress, 2019. 436 s. ISBN 978-80-7378-392-1. 
  • HLADÍK, Milan. Lineární algebra (nejen) pro informatiky. 1. vyd. Praha: Matfyzpress, 2019. 328 s. ISBN 978-80-7378-378-5. S. 39. 
  • OLŠÁK, Petr. Lineární algebra [online]. Praha: 2007 [cit. 2023-02-20]. Dostupné online. 

Související články

[editovat | editovat zdroj]