Teorie matic
Mějme v tělese matice . Z lineární algebry už známe: determinant , stopu a charakteristický polynom
Ovšem nikdy jsme si nedokázali Jordanovu větu, takže to bude jeden z cílů tohoto předmětu.
Definice Nechť . Potom matice
je matice společnice (companion matrix) polynomu .
Věta Pro každý polynom platí .
Důkaz Provedeme rozvoj podle prvního řádku.
Definice Matice jsou podobné nad tělesem , pokud existuje regulární matice taková, že . Značíme .
Věta Nechť . Potom
- ,
- ,
- včetně algebraických a geometrických násobností.
Důkaz Dokážeme jen první tvrzení, protože všechno už známe z lineární algebry.
Jelikož vynásobením regulární maticí se nezmění dimenze, máme .
Definice Těleso je algebraické alias algebraicky uzavřené, pokud každý polynom z stupně alespoň má kořen z .
Věta Relace je ekvivalence.
Věta Nechť . Je-li , potom .
Důkaz Mějme regulární matici takovou, že neboli . Vyjádřeme si . Potom , takže i a . Ovšem ani jedna z matic nemusí být regulární, takže ještě nejsme hotovi. Zkusíme najít lineární kombinaci, která regulární je. Definujme . Existuje-li takové, že , jsme hotovi, protože máme . Zjevně je polynom v . Ten ale nemůže být nulový, protože víme, že když dosadíme , vyjde , což je podle předpokladu nenulové.
Věta Nechť . Potom je Lebesgueova míra množiny
Důkaz Míru počítáme jako
Provedeme substituci . Z věty o substituci máme
Věta slabší verze Jordanovy Je-li algebraicky uzavřené těleso, potom každá matice je podobná horní trojúhelníkové matici.
Poznámka Toto je taky slabší verze Schurovy věty, kterou jsme si dokazovali na NMA1.
Důkaz Indukcí na . Pro triviální. Mějme matici , její vlastní číslo a vlastní vektor . Vezměme matici , která má v prvním sloupci a zbytek je doplněn jakkoli, aby byla regulární. Potom snadno dokážeme, že matice má v prvním sloupci vektor . Ukrojíme první sloupec a řádek a pomocí indukčního předpokladu najdeme matici , která zbytek transformuje na trojúhelníkovou. K této matici přidáme první řádek a sloupec, kde v levém horním rohu bude jednička a všude jinde , a vynásobíme ji zleva . Tím dostaneme kýženou podobnostní matici.
Definice Nechť . Označme a
Potom orientovaný graf je graf matice .
Definice Matice je rozložitelná, pokud existuje permutační matice taková, že , kde jsou čtvercové matice nenulového rozměru.
Poznámka Obecně platí, že pokud řešíme nějakou úlohu, kde matice je rozložitelná, potom ji můžeme snadno převést na dvě úlohy s maticí menšího rozměru.
Cvičení Nechť . Dokažte, že je-li , potom .
Cvičení Mějme matice , které mají stejné spektrum včetně algebraických a geometrických násobností. Zjistěte, jestli nutně .
Cvičení Pro matici definujme .
- Určete pro .
- Nechť pro každé . Dokažte, že je konečná.
- Dokažte, že je grupa na násobení.
Cvičení Nechť . Dokažte, že pokud , potom je podobná nějaké matici s nulovou diagonálou.
Cvičení Nechť . Dokažte, že (tedy není podobná žádné jiné matici), právě když .
Cvičení Nechť je konečná grupa na násobení. Co můžeme říct o prvcích ohledně determinantu, vlastních čísel, Jordanova tvaru a řádu v ?
Tenzorový součin
Definice Tenzorový součin matic je matice ,
Věta Mějme matice . Potom
Důkaz Stačí si to rozepsat.
Důsledek Nechť jsou regulární matice. Potom .
Důkaz
Věta Tenzorový součin dvou horních/dolních trojúhelníkových matic je horní/dolní trojúhelníková matice.
Věta Nechť . Potom .
Důkaz Převedeme obě matice do horního trojúhelníhového tvaru: , kde jsou regulární a jsou horní trojúhelníkové. Potom . Vidíme, že mají na diagonále vlastní čísla a má na diagonále vlastní čísla . Když si rozepíšeme, jak vypadá , dostaneme první tvrzení věty.
Věta Nechť . Potom .
Důkaz Analogický jako u předchozí věty.
Věta Nechť , je vlastní vektor k a je vlastní vektor k . Potom je vlastní vektor k .
Důkaz
Věta Nechť , je vlastní vektor k a je vlastní vektor k . Potom TBD: ??? je vlastní vektor k .
Důkaz Analogický jako u předchozí věty.
Věta Nechť . Potom .
Důkaz Nechť jsou vlastní čísla včetně algebraických násobností. Potom
Důsledek Je-li , potom .
Věta Nechť pro je a dále . Potom rovnice
má stejná řešení jako rovnice
kde značí vektor vzniklý spojením sloupců matice pod sebe.
Důkaz Stačí uvažovat , pro vyšší čísla to plyne z linearity. Máme
Cvičení Nechť , kde mají stejný rozměr. Dokažte, že existují čísla taková, že .
Cvičení Nechť . Dokažte, že
Cvičení Nechť . Dokažte, že
Z toho odvoďte, že a mají stejná nenulová vlastní čísla včetně algebraických násobností. Speciálně pro mají stejná vlastní čísla včetně algebraických násobností.
Cvičení Nechť . Určete Jordanův tvar matice , kde značí Jordanův blok řádu s číslem na diagonále.
Něco o grafech a rozložitelnosti
Věta Matice není rozložitelná, právě když pro každé existuje v grafu orientovaný sled z do .
Důkaz Dokážeme obměněnou ekvivalenci: je rozložitelná pro nějaké neexistuje sled.
- (⇒)
- Díky struktuře matice máme disjunktní rozklad takový, že pro každé .
- (⇐)
- Pro dané definujme . Zřejmě a . TBD
Věta Matice je nerozložitelná, právě když .
Důkaz Plyne z předchozí věty a z poznatku, že umocnění matice sousednosti určuje počet sledů dané délky.
Věta Vlastní číslo matice má algebraickou násobnost , právě k němu když existuje právě jeden lineárně nezávislý vektor pro matici , právě jeden lineárně nezávislý vektor pro matici a platí .
Důkaz Úvahou o podobnosti zjistíme, že to stačí dokázat pro matici v Jordanově tvaru. Pro tu to dokážeme snadno.
Nezáporné matice
Definice Nechť . Potom definujeme její modul
Lemma Nechť . Potom .
Důkaz Předpokládejme pro spor, že pro nějaké je . Označme . Potom pro každé je podle trojúhelníkové nerovnosti . Jelikož , máme , tedy i , což je spor s tím, že .
Důsledek Pro každou matici platí .
Lemma Nechť . Potom .
Důkaz Vezměme takové, že . Označme . Potom . Opakovaným použitím této nerovnosti dostaneme pro každé . Z toho plyne neboli .
Lemma Perronovo Nechť . Potom a existuje k němu kladný vlastní vektor, který je jediný lineárně nezávislý.
Důkaz Vezměme vlastní číslo takové, že , tedy pro nějaké je . Aplikací na obě strany rovnosti a použitím trojúhelníkové nerovnosti dostáváme . Kdyby nerovnost byla ostrá, potom by podle předchozího lemmatu bylo , což je blbost. Musí tedy platit rovnost, což znamená, že všechna čísla sečtená v trojúhleníkové nerovnosti mají stejný směr. Tudíž existuje takové, že . Jelikož , máme . Z toho plyne a také neboli . Zbývá dokázat, že je jediný lineárně nezávislý vlastní vektor k vlastnímu číslu . Vezměme jiný vlastní vektor . Pro nějaké takové, že , definujme . Kdyby byly lineárně nezávislé, potom , takže je to také vlastní vektor k a stejnou logikou můžeme dokázat, že . To je ale spor s tím, že .
Věta Perronova-Frobeniova Nechť je nerozložitelná. Potom s algebraickou násobností a existuje k němu kladný vlastní vektor. Zároveň k žádnému jinému vlastnímu číslu neexistuje nezáporný vlastní vektor.
Důkaz Podle nějaké věty je , tedy i . Z Perronova lemmatu existuje takové, že neboli . Vezměme vlastní číslo splňující a k němu příslušný vlastní vektor . Označme . Potom opět podle trojúhelníkové nerovnosti . Opakovaným použitím nerovnosti dostaneme pro každé . Z toho plyne
Vynásobením zleva dostáváme . Jelikož , máme , takže můžeme vydělit a dostáváme . Podle nějaké věty existuje takové, že . Odmocněním a trojúhelníkovou nerovností dostáváme
Musí tedy ve všech nerovnostech platit rovnost. Z toho plyne a zároveň , tedy . Také v nerovnostech, které jsme sumili, platí rovnost, takže speciálně . Zároveň . Z Perronova lemmatu plyne . Našli jsme tedy kladný vlastní vektor k , pro který analogicky jako u Perronova lemmatu můžeme dokázat, že je jediný lineárně nezávislý. Nechť je jiné vlastní číslo matice a je příslušný vlastní vektor. Podle již dokázaného existuje takové, že neboli . Máme tedy a zároveň . Odečtením rovností dostaneme . Jelikož , musí být , a protože , nemůže být zároveň . Zbývá dokázat, že má jako vlastní číslo algebraickou násobnost . To nějak plyne ze Schurovy věty a z toho, že .
Věta Nechť je nerozložitelná a . Potom následující tvrzení jsou ekvivalentní:
- Existuje právě vlastních čísel takových, že .
- Existuje permutační matice taková, že jde psát blokově
- Největší společný dělitel délek všech cyklů v je .
- Je-li , kde , potom
Lemma Nechť je nerozložitelná.
Je-li vlastní číslo pro , potom existuje diagonální matice taková, že a .
Naopak, pokud nějaké existuje taková matice , potom . Navíc je-li Perronův vlastní vektor k , potom je vlastní vektor k , tedy .
Důkaz Nechť je vlastní vektor k vlastnímu číslu . Potom . Z Perronovy-Frobeniovy věty máme takový, že neboli . Potom , takže v první nerovnosti platí rovnost, tudíž je vlastní vektor. Jistě existuje diagonální matice taková, že . Potom . TBD
Věta Nechť . Potom a existuje k němu nezáporný vlastní vektor.