Universitaire wiskunde — Bachelor jaar 2 · Bachelor Year 2
3Reductie van endomorfismen
Om een endomorfisme te begrijpen, vind de richtingen die het slechts rekt. Dit hoofdstuk bouwt de machinerie — eigenwaarden, karakteristieke en minimale veeltermen, het kernontbindingslemma — en haar beloningen: diagonaliseerbaarheids- en trigonaliseerbaarheidscriteria, Cayley–Hamilton, de Dunford-ontbinding, en de berekening van machten en exponentialen die Hoofdstuk 16 zal voeden. Overal is een eindigdimensionale -vectorruimte ( of ) en , .
3.1 Eigenwaarden en eigenvectoren
Definitie 3.1
is een eigenwaarde van wanneer voor zekere (een eigenvector); de eigenruimte is . De verzameling van eigenwaarden is het spectrum . Een deelruimte is stabiel wanneer ; eigenruimten zijn stabiel, en stabiele deelruimten laten geïnduceerde endomorfismen toe.
Stelling 3.2 (Onafhankelijkheid van eigenruimten)
Eigenvectoren behorend bij paarsgewijs verschillende eigenwaarden vormen een vrije familie; equivalent, is de som van de eigenruimten (verschillende ) direct. In het bijzonder heeft hoogstens eigenwaarden.
Bewijs. Door inductie op . Stel met , de uitspraak bekend voor . Pas toe en trek maal de relatie af:
dus door inductie elke , d.w.z. voor , dan . Directe sommen van niet-nulle ruimten in een ruimte van dimensie hebben hoogstens sommanden. ∎
Definitie 3.3 (Karakteristieke veelterm)
— berekend in elke basis als , een monische veelterm van graad , invariant onder gelijkvormigheid (Stelling 2.17). Haar wortels in zijn precies de eigenwaarden ( eigenwaarde niet injectief ), en
De algebraïsche multipliciteit van een eigenwaarde is haar multipliciteit als wortel van ; de meetkundige multipliciteit is , en .
Bewijs van de gestelde feiten. De coëfficiëntclaims: ontwikkel door de permutatieformule; de identiteitspermutatie draagt bij, en elke andere permutatie fixeert hoogstens diagonaalposities, bijdragend graad : de top twee coëfficiënten zijn zoals gesteld; geeft de constante term .
Meetkundig algebraïsch: zij en vul een basis van aan tot een basis van ; de matrix van is blokbovendriehoekig met linksboven blok , dus : de multipliciteit van is minstens . ∎
Voorbeeld 3.4 (Zelfde , verschillende meetkunde)
De matrices
delen de karakteristieke veelterm , het spoor, de determinant, het spectrum — maar zijn niet gelijkvormig: de eerste heeft van dimensie (meetkundige multipliciteit ), de tweede van dimensie . De karakteristieke veelterm ziet alleen algebraïsche multipliciteiten; de eigenruimtedimensies zijn de fijnere invariant, en de minimale veelterm beslecht ( versus ). Moraal voor alle diagonaliseerbaarheidsdiscussies: shortlist de kandidaten, maar kernen brengen de stemmen uit.
Definitie 3.5 (Diagonaliseerbaar, trigonaliseerbaar)
is diagonaliseerbaar wanneer een basis van eigenvectoren heeft (matrix: gelijkvormig met een diagonaalmatrix); trigonaliseerbaar wanneer haar matrix in zekere basis bovendriehoekig is.
Stelling 3.6 (Diagonaliseerbaarheidscriteria)
De volgende zijn equivalent:
- is diagonaliseerbaar;
- ;
- splitst over en voor elke eigenwaarde;
- (voldoende, niet noodzakelijk) heeft verschillende wortels in .
Bewijs. (1 2): een basis van eigenvectoren sorteert in bases van de ’s, en omgekeerd geeft concatenatie van bases van de directe sommanden een basis van (Stelling 3.2 maakt de som direct; dimensiegelijkheid maakt haar alles).
(2 3): in de diagonale basis splitst met matchende multipliciteiten. Omgekeerd, stel splitst met overal; dan heeft de directe som van de eigenruimten (direct door Stelling 3.2) dimensie
de middelste gelijkheid omdat de graad van een gesplitste veelterm de som van haar wortelmultipliciteiten is: de som is heel . Merk waar elke hypothese werkte: splijting vulde de graad, multipliciteitsgelijkheid vulde de dimensies.
(4 1): verschillende eigenwaarden geven onafhankelijke eigenvectoren (Stelling 3.2): een basis. ∎
Methode 3.7 (Diagonaliseerbaarheid beslissen)
In de praktijk, test in deze volgorde — elke stap kan de klus klaren. (1) Presenteert zich een annulerende veelterm met eenvoudige gesplitste wortels (, , )? Zo ja: diagonaliseerbaar, geen berekening (Gevolg 3.17 hieronder). (2) Bereken ; als ze verschillende wortels in heeft: diagonaliseerbaar (Stelling 3.6 (4)). (3) Anders, voor elke meervoudige wortel alleen, vergelijk met de multipliciteit : elk tekort doodt diagonaliseerbaarheid; gelijkheid overal bewijst ze. Bereken nooit eigenruimten van enkelvoudige wortels (hun dimensie is gedwongen ), en trigonaliseer nooit alleen om te beslissen.
Voorbeeld 3.8 (Diagonaliseren aan het werk)
, met de all-eens-matrix: uit (Voorbeeld 2.19), , met eigenruimten en het vlak : dimensies , diagonaliseerbaar (Stelling 3.6 (2)). Machten zonder enige basisveranderingsmatrix: met de projector op ,
(Controle : .) Het sluitende inzicht: wanneer de eigenruimten zichtbaar zijn, berekenen spectrale projectoren machten sneller dan ooit zal — en de formule toont de dynamica: groeit als langs en blijft staan op het orthogonale vlak.
Stelling 3.9 (Trigonalisatie)
is trigonaliseerbaar over desda over splitst. In het bijzonder is elk endomorfisme van een -vectorruimte trigonaliseerbaar.
Bewijs. () De karakteristieke veelterm van een driehoekige matrix is : gesplitst.
() Inductie op . Omdat splitst, heeft ze een wortel : kies een eigenvector . In een basis beginnend met is de matrix , en : splitst ook. Door de inductiehypothese toegepast op de -matrix is er een inverteerbare met bovendriehoekig; conjugatie van de hele matrix door driehoekigt haar. ∎
Voorbeeld 3.10 (Met de hand trigonaliseren)
: , en is de lijn opgespannen door : één eigenwaarde, een eendimensionale eigenruimte — niet diagonaliseerbaar, maar trigonaliseerbaar (Stelling 3.9). Vul de basis aan met en bereken:
dus in de basis is de matrix . Het sluitende inzicht: de diagonaal van was gedwongen (beide entries moeten de dubbele eigenwaarde zijn); alleen de hoekentry hing af van de keuze van , en herschalen van kan er elke niet-nulle waarde van maken — de weerstandige “” is de schaduw van het nilpotente deel dat Dunford zal isoleren.
3.2 Veeltermen van een endomorfisme
Definitie 3.11
Voor , stel . De afbeelding is een morfisme van algebras (Definitie 1.33); haar kern is een ideaal van , niet-nul (de familie is afhankelijk in de -dimensionale ), dus voortgebracht door een unieke monische veelterm : de minimale veelterm (Stelling 1.26).
Propositie 3.12
- ; eigenwaarden van zijn wortels van elke annulerende veelterm, en de wortels van zijn precies de eigenwaarden.
- Als stabiel is, .
Bewijs. (1) De deelbaarheid is de definitie van een voortbrenger. Als , , dan , dus : eigenwaarden zijn wortels van annihilatoren, in het bijzonder van . Omgekeerd, als een wortel is, met (graad van minimaal): kies met ; dan vertoont de eigenvector .
(2) , en pas (1) toe op . ∎
Voorbeeld 3.13 (Minimale veeltermen met de hand gevonden)
De minimale veelterm wordt berekend door opeenvolgende graden te testen. Voor de all-eens-matrix : (graad is uit), en , dus
graad , gesplitst, enkelvoudige wortels — is diagonaliseerbaar met spectrum (Gevolg 3.17 hieronder), bevestigend Voorbeeld 2.19 zonder één enkele determinant. Voor de swapmatrix van Voorbeeld 3.15: en geven . In beide gevallen is het patroon hetzelfde: raad een lage-graad-identiteit uit de structuur (rang één dwingt ; een involutie dwingt ), controleer dan dat geen echte deler annuleert. Minimale veeltermen worden meestal gevonden, niet berekend uit .
Stelling 3.14 (Kernontbindingslemma)
Als met de paarsgewijs relatief priem, dan
en de projecties op de sommanden zijn veeltermen in .
Bewijs. Het volstaat te behandelen en te induceren. Bézout in (Stelling 1.26): , dus voor elke ,
Als : (veeltermen in commuten), dus , en symmetrisch : de som vult ; beide sommanden zitten in (). Directheid: geeft . De formules voor vertonen de projecties als en . ∎
Voorbeeld 3.15 (Het kernlemma met expliciete projectoren)
Zij (verwissel de eerste twee coördinaten). Dan : de veelterm annuleert , haar factoren zijn relatief priem, en Bézout is expliciet:
Het bewijs van Stelling 3.14 volgend, zijn de projecties op en de veeltermen in
Controle: , , , en de beelden zijn het vlak (symmetrische vectoren, eigenwaarde ) en de lijn (antisymmetrisch, eigenwaarde ). Het kernlemma is geen bestaanuitspraak: Bézout-coëfficiënten zijn de projectorformules.
Voorbeeld 3.16 (Projectoren berekenen ook de exponentiaal)
Dezelfde swapmatrix, één dividend verder. Omdat met algebraïsch-orthogonale projectoren (), gehoorzaamt elke macht , en de exponentiaalreeks hergroepeert per projector:
(Controle : de identiteit; afgeleide in : .) De eigenontbinding zet een matrixreeks om in twee scalaire reeksen — precies het mechanisme dat Hoofdstuk 16 op elk diagonaliseerbaar stelsel zal draaien, en de reden dat hyperbolische functies symmetrische koppelingen regeren.
Gevolg 3.17 (Diagonaliseerbaarheid via de minimale veelterm)
is diagonaliseerbaar splitst over met enkelvoudige wortels zekere annulerende veelterm van splitst met enkelvoudige wortels.
Bewijs. Als met (verschillende ), geeft het lemma : een directe som van eigenruimten, dus is diagonaliseerbaar (Stelling 3.6). Omgekeerd wordt een diagonaliseerbare gedood door (ze doodt elke eigenruimte), die splitst met enkelvoudige wortels; en deelt haar terwijl ze dezelfde wortels heeft (Propositie 3.12): is precies dat product. ∎
Voorbeeld 3.18
Projecties voldoen aan : geannuleerd door , gesplitst enkelvoudige wortels — diagonaliseerbaar met spectrum , en : de meetkundige analyse van Jaar 1, opnieuw bewezen in één regel. Symmetrieën (, annihilator ): diagonaliseerbaar wanneer , spectrum . Een endomorfisme met en : geannuleerd door , niet noodzakelijk diagonaliseerbaar — het criterium detecteert het (dubbele wortel moet worden getest: diagonaliseerbaar desda bovendien ).
Voorbeeld 3.19 (Het lichaam beslist: een rotatie in )
Zij de kwartslag om de -as:
Over : de enige eigenwaarde is , met eigenruimte de as — één lijn vaste vectoren, en geen verdere reductie: is noch diagonaliseerbaar noch trigonaliseerbaar in ( splitst niet). Over : drie verschillende eigenwaarden , dus is diagonaliseerbaar, met eigenvectoren en . De meetkunde was hoorbaar in de algebra: rotaties in het vlak hebben geen reële invariante richtingen, en de complexe eigenwaarden van modulus bewaren de hoek () die de reële matrix alleen kan uitdrukken door coördinaten te mengen.
Voorbeeld 3.20 (Minimaal versus karakteristiek)
Voor : maar , omdat (controleer op de canonieke basis) terwijl geen van beide factoren alleen doodt. Voor het shiftblok , d.w.z. : en — de dubbele wortel is echt nodig omdat niet diagonaliseerbaar is aan de kern-kant (). Vuistregel: en delen hun wortels (Propositie 3.12); de multipliciteit in meet de grootte van het grootste nilpotente blok, die in de totale dimensie van de karakteristieke deelruimte.
Stelling 3.21 (Cayley–Hamilton)
; bijgevolg , en .
Bewijs. Fixeer en zij maximaal met vrij; schrijf
en stel , dus . Vul de vrije familie aan tot een basis van : daarop heeft blokvorm waarbij de begeleidende matrix van is, waarvan de karakteristieke veelterm is (ontwikkel langs de eerste kolom, door inductie op ). Dus , en
Het argument geldt voor elke : . ∎
Voorbeeld 3.22 (Cayley–Hamilton aan het werk)
: , dus . Elke macht van stort in tot een combinatie van en :
en de inverse komt gratis: geeft
Het sluitende inzicht: Cayley–Hamilton comprimeert heel de algebra tot — , hoe groot de machten die u nodig heeft ook zijn.
Opmerking 3.23 (Veelvoorkomende valkuilen)
(i) Eigenwaarden tellen niet op: is niet , en een som van diagonaliseerbare matrices hoeft niet diagonaliseerbaar te zijn — is een som van twee diagonaliseerbare matrices (elk heeft verschillende eigenwaarden) en is niet diagonaliseerbaar; alleen commuterende families gedragen zich (Oefening 3.9). (ii) “ splitst” is een hypothese over het lichaam: een vlakrotatie heeft , gesplitst over , niet over — diagonaliseerbaar in , niet trigonaliseerbaar in . (iii) De ongelijkheid loopt meetkundig algebraïsch, nooit omgekeerd; alleen testen bewijst niets over diagonaliseerbaarheid. (iv) is niet : gelijkheid geldt precies wanneer elke eigenwaarde een enkele blokketen heeft (bijv. begeleidende matrices, het weekendprobleem van dit hoofdstuk); gebruiken waar nodig is blaast elke machtsberekening op. (v) Dunfords en zijn veeltermen in — een ontbinding met de juiste eigenschappen maar is niet Dunford en is nooit uniek.
Opmerking 3.24 (Waar dit hoofdstuk wordt gebruikt)
Reductie is het werkpaard van de rest van het boek: machten en exponentialen van matrices drijven de lineaire differentiaalstelsels van Hoofdstuk 16; de spectraalstelling van Hoofdstuk 12 is diagonaliseren orthogonaal gemaakt; genererende functies (Hoofdstuk 23) herleiden de recurrentie-asymptotiek van het weekendprobleem van dit hoofdstuk analytisch. In het Bachelor jaar 3-volume loopt hetzelfde programma in oneindige dimensie: de spectraaltheorie van compacte zelfgeadjungeerde operatoren, waar eigenwaardenvolgordes eindige spectra vervangen, en de Perron–Frobenius-theorie van positieve matrices, die verklaart waarom dominante eigenwaarden van telproblemen positief en enkelvoudig zijn.
3.3 Nilpotenten en de Dunford-ontbinding
Propositie 3.25 (Nilpotente endomorfismen)
Voor met gesplitst zijn de volgende equivalent: ; voor zekere ; ; ; is trigonaliseerbaar met nulle diagonaal. Een nilpotent endomorfisme heeft , en index .
Bewijs. maakt elke eigenwaarde een wortel van : spectrum (niet-leeg wanneer splitst — over altijd). Dan (alle wortels nul) en Cayley–Hamilton geeft ; trigonalisatie (Stelling 3.9) zet nullen op de diagonaal (de diagonaal draagt de eigenwaarden). Omgekeerd, zij strikt bovendriehoekig: voor . We tonen door inductie dat
d.w.z. elke macht duwt de nulle regio één diagonaal hoger. Voor is dit de hypothese. Voor de stap,
en elke term verdwijnt: ofwel (de eerste factor is door inductie) of , in welk geval de tweede factor doodt. Bij geldt de voorwaarde voor alle : . De minimale veelterm deelt en annihilatie definieert de index. ∎
Stelling 3.26 (Dunford-ontbinding)
Stel splitst over (automatisch voor ). Dan bestaat er een uniek paar met
en bovendien zijn en veeltermen in .
Bewijs. Bestaan. Schrijf (verschillende ) en stel , de karakteristieke deelruimten. Door Cayley–Hamilton en het kernlemma (Stelling 3.14),
met projecties veelterm in ; elke is stabiel (veeltermen in commuten met ). Definieer : een veelterm in , diagonaliseerbaar (ze werkt als op , dus ontbindt in haar eigenruimten). Dan is een veelterm in (dus commuteert met ), en op elke werkt ze als , met daar: op elke sommand, dus is nilpotent.
Uniciteit. Zij een ander zulk paar. Omdat en met elkaar commuten, commuten ze met , dus met elke veelterm in — in het bijzonder met en . Dan is diagonaliseerbaar (twee commuterende diagonaliseerbare afbeeldingen zijn gelijktijdig diagonaliseerbaar: Oefening 3.9) en gelijk aan , die nilpotent is: als en , laat commutatie de binomiaalontwikkeling toe
waarin elke term sterft: ofwel (eerste factor nul) of (tweede factor nul), en één van de twee geldt altijd. Een diagonaliseerbare nilpotente is nul (haar spectrum is en ze is diagonaal in zekere basis): , . ∎
Voorbeeld 3.27 (Machten en exponentialen)
: , enkele eigenwaarde , eigenruimte van dimensie : niet diagonaliseerbaar. Dunford: , , . Dan
door de commuterende binomiaalstelling, resp. de exponentiaalreeks (Hoofdstuk 16) gesplitst op commuterende sommanden. Reductie zet matrixdynamica om in scalaire dynamica.
Opmerking 3.28 (Perspectieven binnen dit volume)
Reductie is een knooppunt; hier zijn de vier spaken om te volgen. In Hoofdstuk 5 zetten aangepaste normen “alle eigenwaarden van modulus ” om in “zekere operatornorm ”, waardoor spectra convergentie van machten en reeksen regeren. In Hoofdstuk 16 wordt het recept van Voorbeeld 3.27 de algemene oplossing van : Dunford splijt in veelterm-maal-exponentiaal-blokken, en stabiliteit leest de reële delen van eigenwaarden af. In Hoofdstuk 12 dwingt een scalair product wat loutere lineaire algebra niet kan: symmetrische matrices worden orthogonaal diagonaliseerbaar, zonder nilpotent deel. En in Hoofdstuk 23 keren de dominante-eigenwaarde-asymptotiek van het weekendprobleem van dit hoofdstuk analytisch terug, als de kleinste singulariteit van een genererende functie — twee talen voor één groeisnelheid.
3.4 Oefeningen
Oefening 3.1 ★
Diagonaliseer (eigenwaarden, bases van eigenruimten, inverteerbare ):
Oplossing
Oplossing van Oefening 3.1.
: . Eigenvectoren: voor : ; voor : . Dus geeft .
waarbij de all-eens-matrix is. heeft rang met voor en op het vlak : spectrum van is met eigenruimten (dimensie ) en (dimensie , basis ). met deze drie kolommen geeft .
Oefening 3.2 ★
Toon dat niet diagonaliseerbaar is, tweemaal: via eigenruimten, en via de minimale veelterm.
Oplossing
Oplossing van Oefening 3.2.
Eigenruimten: , enkele eigenwaarde ; is de lijn : dimensie , dus niet diagonaliseerbaar (Stelling 3.6).
Minimale veelterm: deelt en , dus : een dubbele wortel, dus niet diagonaliseerbaar (Gevolg 3.17).
Oefening 3.3 ★
Zij voldoen aan . Bewijs dat diagonaliseerbaar is, bepaal de mogelijke spectra, en bereken als combinatie van en .
Oplossing
Oplossing van Oefening 3.3.
: gesplitst met enkelvoudige wortels, dus is diagonaliseerbaar (Gevolg 3.17), met . Mogelijke spectra: (), (), of .
Machten: zoek . Op de eigenruimten luidt dit en : oplossend, , :
(Geldig voor alle drie de spectra: de identiteiten gelden eigenwaarde-gewijs.)
Oefening 3.4 ★★
Zij diagonaliseerbaar en een stabiele deelruimte. Bewijs dat diagonaliseerbaar is (beperk een annulerende veelterm met enkelvoudige gesplitste wortels).
Oplossing
Oplossing van Oefening 3.4.
diagonaliseerbaar: over het spectrum annuleert , splitst, enkelvoudige wortels. Dan : de restrictie wordt geannuleerd door een gesplitste veelterm met enkelvoudige wortels, dus diagonaliseerbaar (Gevolg 3.17).
Oefening 3.5 ★★
(Fibonacci) Zij . Diagonaliseer over , en leid de formule van Binet af voor de Fibonacci-rij (, , ):
Oplossing
Oplossing van Oefening 3.5.
, wortels en (verschillend): diagonaliseerbaar, met eigenvectoren en . De recurrentie geeft . Ontbind op de eigenvectoren: met . toepassen vermenigvuldigt elke eigencomponent met de -de macht van haar eigenwaarde; de tweede coördinaat lezend:
(Controle: geeft .)
Oefening 3.6 ★★
Zij met diagonaliseerbaar en inverteerbaar (). Bewijs dat diagonaliseerbaar is. Geef een tegenvoorbeeld wanneer niet inverteerbaar is.
Oplossing
Oplossing van Oefening 3.6.
Zij annuleert, gesplitst met enkelvoudige wortels (het spectrum van ). Omdat inverteerbaar is, is geen eigenwaarde van (), dus alle . Dan
annuleert : . Haar wortels (complexe vierkantswortels) zijn paarsgewijs verschillend omdat de verschillend en niet-nul zijn ( zou geven). Gesplitst + enkelvoudige wortels: is diagonaliseerbaar.
Tegenvoorbeeld zonder inverteerbaarheid: : is diagonaliseerbaar, is het niet.
Oefening 3.7 ★★
Bereken de Dunford-ontbinding, , en voor
Oplossing
Oplossing van Oefening 3.7.
met de shift (, ), , : dit is de Dunford-ontbinding ( diagonaal, nilpotent, ze commuten; uniciteit maakt haar de unieke). Binomiaal met commuterende termen:
Oefening 3.8 ★★
Zij met voor zekere . Bewijs dat diagonaliseerbaar is en haar eigenwaarden -de eenheidswortels zijn. Leid af dat een eindige-orde inverteerbare complexe matrix gelijkvormig met een driehoekige matrix met eenheidsdiagonaal de identiteit is.
Oplossing
Oplossing van Oefening 3.8.
annuleert en splitst over met de verschillende wortels : is diagonaliseerbaar (Gevolg 3.17) en haar eigenwaarden, wortels van , zijn -de eenheidswortels.
Als bovendien gelijkvormig is met een driehoekige matrix met eenheidsdiagonaal: alle eigenwaarden gelijk , en , diagonaliseerbaar met enige eigenwaarde , is .
Oefening 3.9 ★★★
(Gelijktijdige diagonaliseerbaarheid) Zij diagonaliseerbaar en commuterend. Bewijs dat ze gelijktijdig diagonaliseerbaar zijn: zekere basis diagonaliseert beide. (Elke eigenruimte van is -stabiel; diagonaliseer de restricties van daar, met Oefening 3.4.)
Oplossing
Oplossing van Oefening 3.9.
Schrijf (Stelling 3.6). Elke is -stabiel: voor , . De restrictie van tot is diagonaliseerbaar (Oefening 3.4): kies een basis van bestaande uit -eigenvectoren. Concatenatie van deze bases over alle geeft een basis van waarvan de vectoren eigenvectoren zijn van beide (door lidmaatschap van ) en (per constructie).
Oefening 3.10 ★★★
Zij . Bewijs dat diagonaliseerbaar is desda elke -stabiele deelruimte een -stabiele complementaire deelruimte heeft. (Voor : pas de eigenschap toe op , de som van alle eigenruimten; als een stabiel complement niet-nul was, zou trigonaliseren van een eigenvector van in produceren — in strijd met .)
Oplossing
Oplossing van Oefening 3.10.
() Zij diagonaliseerbaar en stabiel. Dan is diagonaliseerbaar (Oefening 3.4): heeft een basis van eigenvectoren, die zich, binnen elke globale eigenruimte , uitbreidt tot een basis van (onvolledige-basisstelling binnen , startend vanuit het deel van de basis van dat daar ligt — merk op omdat diagonaliseerbaar is). De toegevoegde vectoren spannen een stabiel complement op (elk ligt in zekere , dus is hun opspansel -stabiel).
() Zij (een stabiele deelruimte) en een stabiel complement. Als : splitst over , dus heeft een eigenvector (Stelling 3.9 of direct bestaan van een wortel); maar elke eigenvector van ligt in , dus : contradictie. Dus en : de eigenruimten vullen , d.w.z. is diagonaliseerbaar.
Oefening 3.11 ★★★
(Spectrale straal à la Gelfand-lite, -smaak van de analyse die komt) Zij met beide eigenwaarden van modulus . Bewijs dat entrygewijs als . (Trigonaliseer: met bovendriehoekig; bereken expliciet — onderscheid gelijke en verschillende eigenwaarden — en begrens.)
Oplossing
Oplossing van Oefening 3.11.
Trigonaliseer: , , . Dan , en het volstaat dat .
Verschillende eigenwaarden: inductie geeft
en elke entry neigt naar ().
Gelijke eigenwaarden (): en ; de entry omdat (geometrisch verslaat polynomiaal). In beide gevallen entrygewijs, dus (matrixvermenigvuldiging met vaste is continu in de entries — elke entry van het product is een vaste lineaire combinatie).
Oefening 3.12 ★★
Zij met (). Toon dat , en dat diagonaliseerbaar is desda . (Herinner uit Oefening 2.5 dat .)
Oplossing
Oplossing van Oefening 3.12.
heeft dimensie (rang–nulheid), dus is een eigenwaarde van meetkundige multipliciteit , en is deelbaar door (Definitie 3.3: meetkundig algebraïsch). Schrijf ; de coëfficiënt van is , dus : .
Als : de eigenwaarde is een wortel van , dus draagt ze een eigenvector; de eigenruimten voor en hebben dimensies en , sommerend tot : ze vullen , en is diagonaliseerbaar (Stelling 3.6). Als : door Oefening 2.5, met : is een niet-nulle nilpotente, en een diagonaliseerbare nilpotente is nul (Propositie 3.25): niet diagonaliseerbaar.
3.5 Probleem: Lineaire recurrenties en begeleidende matrices
Een lineaire recurrentie is een matrixmacht in vermomming, en reductie zet ze om in gesloten formules, groeisnelheden, en foutschattingen. Dit weekendprobleem ontwikkelt het woordenboek — begeleidende matrices aan de ene kant, de shiftoperator op de rijruimte aan de andere — bewijst de fundamentele stelling van lineaire recurrenties (de algemene oplossing is over de wortels van de karakteristieke veelterm), en besteedt de dividenden aan Diophantische benadering van , aan het tellen van wandelingen en woorden, en aan een ring van gekoppelde rijen die alleen gelijktijdige diagonaliseerbaarheid kan ontwarren.
Probleem 3.1
Weekendprobleem — de fundamentele stelling van lineaire recurrenties
Fixeer , scalaren met , de monische veelterm , en de recurrentie
De begeleidende matrix van is
Deel I — Het begeleidende woordenboek.
- Toon dat een rij aan voldoet desda de vectoren voldoen aan , dus .
- Bewijs dat (ontwikkel langs de eerste kolom en induceer op ), dan dat eveneens (ga over op , waarvoor cyclisch is, en merk op dat een matrix en haar getransponeerde dezelfde minimale veelterm hebben).
- Toon dat voor elke wortel van de vector de eigenruimte van voor opspant; leid af dat elke eigenruimte van dimensie heeft, en dat diagonaliseerbaar is desda verschillende wortels heeft.
- Stel heeft verschillende wortels . Toon dat de meetkundige rijen een basis vormen van de oplossingsruimte van , dus is elke oplossing voor unieke constanten .
- Los volledig op: , , .
Deel II — De shiftoperator en de fundamentele stelling. Zij de -vectorruimte van alle complexe rijen en de shift, .
- Toon dat de oplossingsverzameling van is, en dat ze precies dimensie heeft (beeld een oplossing af op haar beginwaarden).
- Leg uit waarom het kernontbindingslemma (Stelling 3.14) van toepassing is op op de oneindigdimensionale zonder enige verandering, en schrijf de resulterende ontbinding van voor (verschillende , alle niet-nul omdat ).
Voor en , toon
van dimensie . (Bereken met , en gebruik dat de graad verlaagt; voor de dimensie, begrens ze met via beginwaarden.)
(De fundamentele stelling van lineaire recurrenties) Concludeer: als met de verschillend en niet-nul, zijn de oplossingen van precies de rijen
met uniek bepaalde veeltermen .
- Los volledig op: , , , en controleer het antwoord op .
Deel III — Dominante wortels en Diophantische dividenden.
- Stel de wortels zijn enkelvoudig met voor , en met . Toon en .
- (Pell) Definieer , , . Toon dat voldoet aan , dus ; relateer dit aan de determinant van .
Leid de foutschatting af
en toon dat ze geometrisch vervalt met ratio (vind de eigenwaarden van en de groei van ).
- (Algemene groei) Uit vraag 9, bewijs: (a) als elke wortel voldoet, dan met ; (b) als er een unieke wortel van maximale modulus is en , dan — controleer op de oplossing van vraag 10.
Deel IV — Wandelen en woorden tellen. Voor een eindige graaf met knopenverzameling heeft de adjacentiematrix als een rand is, anders .
- Bewijs dat het aantal wandelingen van lengte van naar is (rijen van randen, elke stap langs een rand).
(De driehoek) Voor de complete graaf op knopen, : met het spectrum van (Voorbeeld 2.19), toon
en controleer beide bij door wandelingen op te sommen.
- (Woorden zonder ) Zij het aantal binaire woorden van lengte zonder twee opeenvolgende ’en. Codeer woorden door hun laatste letter om een transfermatrix te krijgen, toon , leid af (Fibonacci, Oefening 3.5), en geef de groeisnelheid .
- (Het pad) Voor de padgraaf , toon dat de eigenwaarden van zijn met eigenvectoren en , en leid af dat het aantal wandelingen van lengte van eind tot eind is: nul voor oneven , en voor even . Controleer bij .
- (Spoorformule) Toon dat het totale aantal gesloten wandelingen van lengte (alle startpunten) is, en verifieer op de driehoek.
Deel V — Een ring van rijen: gelijktijdige diagonaliseerbaarheid. Fixeer , zij , en zij de cyclische shift: (indices mod , kolommen geïndexeerd ).
- Toon dat de begeleidende matrix van is, leid af , en dat diagonaliseerbaar is met de enkelvoudige eigenwaarden en eigenvectoren .
- Een circulante matrix is . Toon dat alle circulanten commuten, dat de basis alle ervan gelijktijdig diagonaliseert, en dat de eigenwaarden van zijn, .
- Leid af , en controleer dat de factorisatie van Oefening 2.8 herwint.
- (Het kettinggemiddelde) Zij met : elk van getallen in een ring gerangschikt wordt vervangen door het gemiddelde van zijn twee buren. Toon dat de eigenwaarden van zijn, en dat de coëfficiënt van op het gemiddelde is (sommeer de coördinaten van de ).
- Concludeer: voor oneven convergeert naar de constante vector waarvan de waarde het gemiddelde van de beginwaarden is; voor , vertoon de eigenwaarde verantwoordelijk voor niet-convergentie en de exacte obstructie (een alternerend-gemiddelde- coëfficiënt die moet verdwijnen).
- (Synthese) In één zin elk: hoe de begeleidende matrix analyse van omzet in reductie; waar het kernontbindingslemma geen eindige dimensie nodig had; waarom dominante eigenwaarden groeisnelheden en Diophantische fout regeren; waarom machten van de adjacentiematrix wandelingen tellen; en wat commuterende matrices kopen. Noem de twee toppen: de fundamentele stelling van lineaire recurrenties, en — voor de positieve matrices van Deel IV, in het Bachelor jaar 3-volume — de stelling van Perron–Frobenius.
Oplossing
Oplossing van Probleem 3.1.
1. De eerste coördinaten van zijn (de superdiagonaalverschuivingen), en de laatste is . Dus geldt voor alle desda de laatste coördinaten voor alle matchen, d.w.z. desda geldt. Itererend, .
2. Ontwikkel langs de eerste kolom: de twee niet-nulle entries zijn (positie ) en (positie ). De eerste minor is -vormig voor de coëfficiënten ; de tweede minor is bovendriehoekig met diagonaal : determinant , met teken van de positie. Inductie op (basis : ) geeft
Voor : omdat voor elke veelterm, hebben en dezelfde annihilatoren, dus dezelfde minimale veelterm. Voor : de kolommen lezen , …, , dus is de canonieke basis: vrij. Een veelterm van graad heeft dan (ze is een niet-triviale combinatie van basisvectoren): . Omdat met : .
3. Voor : rijen tot van geven , d.w.z. maal de eerste entries van ; de laatste rij geeft . Dus . Omgekeerd luiden de vergelijkingen voor : elke eigenvector is proportioneel met — elke eigenruimte heeft precies dimensie . Diagonaliseerbaar desda de eigenruimtedimensies tot sommeren (Stelling 3.6) desda er verschillende eigenwaarden zijn desda verschillende wortels heeft (de eigenwaarden zijn de wortels van ).
4. Elke lost op: . Vrijheid: een verdwijnende combinatie voor is een Vandermondestelsel (Oefening 2.11) in de : alle . De oplossingsruimte heeft dimensie (vraag 6, waarvan het bewijs elementair en onafhankelijk is): vrije oplossingen vormen een basis, en coördinaten zijn uniek.
5. : algemene oplossing . Beginvoorwaarden: , : , :
(Controle: en .)
6. is de rij : ze verdwijnt desda geldt, dus is de oplossingsverzameling , een deelruimte. De afbeelding , , is lineair, injectief (de recurrentie bepaalt uit de eerste waarden, door inductie) en surjectief (definieer recursief uit willekeurige beginwaarden): dimensie .
7. Het bewijs van Stelling 3.14 gebruikt alleen: de Bézout-identiteit in , en het feit dat veeltermen in een vast endomorfisme commuten. Geen van beide noemt de dimensie van de omgevingsruimte: het lemma geldt letterlijk voor . Dus
8. Voor : heeft -de term , met van graad (de leidende termen cancelleren). Itererend, , en wanneer : de rechterverzameling is bevat in de kern. Ze is een deelruimte van dimensie : de rijen , , zijn vrij, omdat voor alle (delen door ) de veelterm dwingt te verdwijnen in elke , dus nul te zijn. Omgekeerd : ontwikkelend , is de vergelijking een lineaire recurrentie van orde (leidende coëfficiënt ), dus is bepaald door zoals in vraag 6. Dimensiegelijkheid besluit.
9. Combineer vragen 7 en 8: elke oplossing ontbindt uniek als som van elementen van de , d.w.z. met ; de zijn uniek omdat de ontbinding direct is en, binnen elke sommand, de coëfficiënten van coördinaten zijn in de basis (vraag 8). Saniteitscontrole op dimensies: .
10. : oplossingen . Beginwaarden: , , dus :
Controle: , en .
11. Schrijf ; elke ratio heeft modulus , dus neigt de haak naar : . In het bijzonder voor grote , en
12. Bereken:
Met : . Structureel: en de lineaire afbeelding vermenigvuldigt de factor met en de factor met (bereken: ); het product wordt vermenigvuldigd met bij elke stap.
13. Omdat ,
gebruikend (inductie: beide stijgen) dus . Eigenwaarden van : , wortels ; omdat een niet-nulle component op de dominante eigenvector heeft (alle entries positief), met (vraag 11). Dus is de fout : geometrisch verval met ratio .
14. (a) Uit vraag 9: , en elke voor : sommeer de constanten. (b) Zij en , leidende coëfficiënt . Dan met , en
(geometrisch verslaat polynomiaal). Dus
Controle op vraag 10: voor is de ratio
15. Inductie op . Voor telt wandelingen van lengte . Stap: een wandeling van lengte van naar is een wandeling van lengte van naar zekere knoop gevolgd door een rand :
16. waarbij de projectie is op langs het vlak ( omdat ). Dan , en omdat en complementaire projecties zijn,
wat de twee weergegeven formules geeft. Bij : diagonaal (wandelingen voor de twee buren ); buitendiagonaal (de enkele wandeling door de derde knoop).
17. Zij toegelaten woorden van lengte eindigend op , resp. tellen. Een letter toevoegen: een mag op alles volgen, een alleen op een :
Sommerend, (of: conditioneer op de eerste letter). Met , : door inductie (, , zelfde recurrentie). Groei: de wortels van zijn (Oefening 3.5), en de -component is niet-nul (de zijn positief en ), dus geeft vraag 11 .
18. . Controle:
eigenwaarden (). Ontbind op de eigenbasis en lees de derde coördinaat, of gebruik symmetrie: met , , controleert men , dus voor
nul voor oneven (bipartiete graaf: einden liggen op even afstand), en voor even . Bij : , matchend de twee wandelingen en .
19. Gesloten wandelingen van lengte vanuit zijn ; sommeren over geeft . Trigonaliserend (over ), is driehoekig met diagonaal : . Driehoek: : het spectrum , consistent met vraag 16.
20. De kolommen van : voor en ; herlabelen in de volgorde is dit precies de begeleidende matrix van (, andere ). Vraag 2: . De wortels () zijn de verschillende -de eenheidswortels: is diagonaliseerbaar (vraag 3, of Oefening 3.8: ). Eigenvectoren: .
21. Circulanten zijn veeltermen in , en veeltermen in een vaste matrix commuten met elkaar. Elke is een eigenvector van elke macht: , dus
de basis (vrij: Vandermonde in de verschillende , Oefening 2.11) diagonaliseert elke circulant tegelijk, met de gestelde eigenwaarden.
22. De determinant is het product van de eigenwaarden (diagonaliseer): . Voor , , , en :
en : precies de factorisatie van Oefening 2.8.
23. is een circulant (), met eigenwaarden op dezelfde basis . Coördinaten: schrijf . De coördinaten van sommeren tot , wat is voor en anders (geometrische som met ratio ). Sommerend de coördinaten van : , dus , het gemiddelde.
24. . Voor oneven , voor elke (de hoek is nooit of ), dus neigen alle termen behalve naar : , de constante vector gelijk aan het gemiddelde — middelen op een oneven ring egaliseert. Voor zijn de eigenwaarden : de -term met oscilleert eeuwig. De obstructie is het alternerende gemiddelde: de coördinaten van met vermenigvuldigen en sommeren, dezelfde geometrische-som-berekening geeft : het proces convergeert desda , en convergeert dan naar het gemiddelde.
25. De begeleidende matrix zet een scalaire recurrentie van orde om in een eerste-orde vectorrecurrentie, zodat gesloten formules uitspraken over worden — het thuisveld van reductie (vragen 1–5). Het kernontbindingslemma is pure veeltermalgebra (Bézout plus commutatie), dus splijt ze hoewel oneindigdimensionaal is (vragen 7–9). Dominante eigenwaarden regeren groei omdat elke andere bijdrage na normalisatie geometrisch verwaarloosbaar is — wat ook is waarom de Pell-fout vervalt met het kwadraat van de dominante wortel (vragen 11–14). Machten van de adjacentiematrix tellen wandelingen omdat matrixvermenigvuldiging over tussenliggende knopen sommeert, zodat spectra gesloten wandelingen tellen (vragen 15–19). Commuterende matrices delen een eigenbasis, en één Fourierbasis diagonaliseert dan heel de circulante algebra in één slag (vragen 20–24). Toppen: de fundamentele stelling van lineaire recurrenties (vraag 9); en voor niet-negatieve matrices is de reden dat dominante wortels zoals of automatisch reëel, positief en enkelvoudig zijn de stelling van Perron–Frobenius, bewezen in het Bachelor jaar 3-volume.