Universitaire wiskunde — Bachelor jaar 1 · Bachelor jaar 1
21Matrices
Een matrix is een lineaire afbeelding, opgeschreven in coördinaten. Dit hoofdstuk zet het woordenboek op — samenstelling wordt matrixproduct, bijectiviteit wordt inverteerbaarheid, basisverandering wordt conjugatie — en de algoritmische kant: rij-operaties, berekening van rangen en inversen. Matrices, voor het eerst ontmoet in het bovenbouwvolume, worden nu gefundeerd in de theorie van Hoofdstukken 18, 19 en 20.
21.1 Matrices en lineaire afbeeldingen
Definitie 21.1
is de vectorruimte van de tabellen scalairen (: rij, : kolom), van dimensie (basis: de matrices met één enkele ). Gegeven bases van en van (), is de matrix van de tabel waarvan de -de kolom de coördinaten van in opsomt:
De afbeelding is een isomorfisme van op (Propositie 20.2: een lineaire afbeelding is precies een keuze van beelden van de ).
Voorbeeld 21.2 (De afgeleide, als matrix)
Zij op . In de monomiale basis : , , , , dus
In de gedeelde basis wordt elke basisvector op de vorige afgebeeld (), en wordt de matrix de zuivere verschuiving: enen op de superdiagonaal, nullen elders. Twee moralen: de matrix hoort bij het paar (afbeelding, basis), niet bij de afbeelding alleen; en een goede basis maakt structuur in één oogopslag zichtbaar — de verschuivingsvorm toont ogenblikkelijk dat op , waarbij elke macht van de matrix haar diagonaal enen één stap verder naar buiten duwt.
Definitie 21.3 (Product)
Voor en :
Dit is precies de matrix van de samenstelling: (met in het midden overeenstemmende bases). Evenzo is, als de kolom coördinaten van is, de kolom van gelijk aan .
Bewijs van de formule voor de samenstelling.
∎
Propositie 21.4 (De algebra )
De vierkante matrices vormen een (voor niet-commutatieve) ring, met eenheidselement ; haar groep van eenheden is de algemene lineaire groep , die overeenkomt met de bijectieve endomorfismen. Voor geldt
(eenzijdige inversen zijn tweezijdig, volgens Gevolg 20.9).
Bewijs. De ringaxioma’s reizen mee vanuit langs het isomorfisme van Definitie 21.1: dat zet samenstelling om in product en som in som, zodat de associativiteit, de distributiviteit en de rol van worden geërfd van de overeenkomstige feiten over afbeeldingen, zonder enige verificatie per ingang. Niet-commutativiteit: . Is , dan voldoet het endomorfisme van aan , zodat surjectief is ( toont een origineel van elke ), en dus bijectief in eindige dimensie (Gevolg 20.9); links met samenstellen van geeft , en dan ook : de eenzijdige inverse was al die tijd tweezijdig — een strikt eindigdimensionale gunst. ∎
Definitie 21.5 (Getransponeerde; spoor)
De getransponeerde van is ; zij voldoet aan en . Het spoor van een vierkante matrix is ; het is lineair, en
Bewijs van de identiteit voor het spoor. en : dezelfde dubbele som. ∎
Voorbeeld 21.6 (Het spoor aan het werk)
De projectie uit Hoofdstuk 20 op langs , , heeft in de canonieke basis de matrix : inderdaad is , en
wat Oefening 21.8 illustreert: voor idempotenten telt het spoor de dimensie van het beeld, in welke scheve basis de matrix ook is geschreven. Het mechanisme van de invariantie is de identiteit :
zodat alle matrices die gelijkvormig zijn met haar spoor delen — de eerste numerieke invariant van een endomorfisme, waar in Hoofdstuk 22 de determinant zich bij zal voegen (het paar van de weekendopgave hieronder).
Voorbeeld 21.7 (Symmetrisch plus antisymmetrisch)
Noem symmetrisch wanneer , en antisymmetrisch wanneer . Elke vierkante matrix splitst zich eenduidig als de ene plus de andere:
en een matrix die beide is, is nul (): de twee verzamelingen zijn complementaire deelruimten van — het exacte analogon van de splitsing in even en oneven functies (Voorbeeld 18.11), waarbij het transponeren de rol van speelt. Dimensies: een symmetrische matrix is vrij op en boven de diagonaal, een antisymmetrische strikt erboven (met nuldiagonaal):
en dat de telling klopt, is de bevestiging van de directheid door Grassmann. Voor : . Symmetrische matrices keren terug als de gegevens van de tweede afgeleide in Hoofdstuk 25 (het drietal van Monge), en de symmetrisch-orthogonale worden in Oefening 23.12 geclassificeerd.
21.2 Basisverandering
Definitie 21.8
Zij bases van . De matrix van basisverandering heeft als kolommen de coördinaten van de nieuwe basisvectoren in de oude basis. Zij is inverteerbaar, , en de coördinaten transformeren volgens (oud nieuw).
Voorbeeld 21.9 (De matrix van basisverandering lezen)
In , van de canonieke naar :
(de nieuwe vectoren geschreven in oude coördinaten, kolom voor kolom). De vector met oude coördinaten heeft nieuwe coördinaten : inderdaad is . Let op de richting — de matrix wordt uit de nieuwe basis gebouwd maar zet nieuw om in oud (); van oud naar nieuw gaan kost de inverse. De controle opschrijven na elke omzetting vangt de fout met de omgekeerde op, die de meest voorkomende fout van het hoofdstuk is.
Stelling 21.10 (Basisverandering voor een afbeelding)
Zij met matrix in en in , en . Dan is
Twee matrices die zo verwant zijn, heten gelijkvormig. (Voor met twee paren bases luidt de formule — equivalente matrices.)
Bewijs. Voor elke geldt en voldoet het beeld aan , . Dus , dat wil zeggen voor alle : de matrix van in de nieuwe basis is (neem voor de canonieke kolommen). ∎
Voorbeeld 21.11 (Een goede basis maakt een afbeelding doorzichtig)
Zij (verwisseling), met matrix in de canonieke basis. In de basis :
Er was eigenlijk geen matrixproduct nodig: houdt vast en keert om, dus moet haar matrix in gelijk zijn aan — de verwisseling is de spiegeling in de rechte . Voor een gegeven endomorfisme een basis vinden waarin zijn matrix diagonaal wordt, is het centrale probleem van het volume van bachelorjaar 2 (reductietheorie); de weekendopgave hieronder toont hoe ver veeltermidentiteiten alleen al reiken.
Voorbeeld 21.12 (Basisverandering, achterstevoren gelopen)
De projectie op langs heeft, in de aangepaste basis , de doorzichtige matrix . Om haar matrix in de canonieke basis te krijgen, laat men Stelling 21.10 achterstevoren lopen, :
Controle: (idempotent), , en , , zoals voorgeschreven. Deze omgekeerde richting — ontwerp de matrix in de goede basis en conjugeer terug — is hoe matrices van rotaties, spiegelingen en projecties in de praktijk werkelijk worden gemaakt.
Stelling 21.13 (Normaalvorm van de rang)
De rang van een matrix (de rang van haar kolommen, equivalent die van de bijbehorende lineaire afbeelding) is de enige invariant van de equivalentie: elke van rang is equivalent met
en : de rijrang is gelijk aan de kolomrang.
Bewijs. Zij van rang . Kies een complementaire van (, Stelling 20.7) met basis , aangevuld met een basis van tot een basis van ; de beelden , , vormen een basis van (de beperking is een isomorfisme), aangevuld tot een basis van . In die bases is de matrix van precies . Dus met inverteerbare .
Transponeren: met van dezelfde gedaante (rang ) en met inverteerbare buitenste factoren (de getransponeerde van een inverteerbare is inverteerbaar, uit toegepast op ): . ∎
21.3 Rij-operaties
Methode 21.14 (Gauss-eliminatie op matrices)
De drie elementaire rij-operaties — twee rijen verwisselen, een rij met vermenigvuldigen, een veelvoud van een rij bij een andere optellen — veranderen de rang niet (elk is een linkse vermenigvuldiging met een inverteerbare matrix). Algoritme: maak een spil (de meest linkse ingang ongelijk aan nul), veeg haar kolom eronder schoon, en ga naar de volgende rij en kolom; het aantal spillen van de resulterende trapvorm is de rang.
Berekening van de inverse: laat het algoritme lopen op het blok tot het linkerblok wordt (mogelijk dan en slechts dan als inverteerbaar is); het rechterblok is dan — immers, het product van de gebruikte elementaire matrices is gelijk aan .
Voorbeeld 21.15
: reduceer :
(bewerkingen: ; daarna , ). Dus . Controle: .
Voorbeeld 21.16 (Rang met een parameter, alleen met rijen)
Voor de rang van . Reduceer: en geven de rijen
Geval : de laatste twee rijen worden nul — één spil, (alle drie de oorspronkelijke rijen waren gelijk). Geval : schaal met en met om en te krijgen, en daarna . Is : twee spillen, rang ; anders drie spillen, rang . Samengevat:
Dezelfde drempels zullen uit één determinantberekening in Hoofdstuk 22 rollen (de veelterm van Oefening 22.7) — maar merk op wat de eliminatie geeft en de determinant niet: de waarde van de rang in de ontaarde gevallen, en niet alleen het feit dat zij daalde.
Voorbeeld 21.17 (Machten berekenen)
met en . Omdat en commuteren, breekt het binomium (Propositie 7.20) af:
Methode 21.18 ( berekenen: de drie wegen)
- Binomiale weg: is met nilpotent, dan breekt het binomium af (Voorbeeld 21.17, Oefening 21.5); het is toepasbaar omdat met alles commuteert.
- Veeltermweg: zoek een veeltermidentiteit waaraan voldoet (in dimensie altijd ) en reduceer modulo die identiteit; de weekendopgave hieronder bouwt deze weg volledig op.
- Gelijkvormigheidsweg: zoek een inverteerbare met eenvoudig (diagonaal, of een verschuiving), bereken , en draai terug: (Stelling 21.10, Voorbeeld 21.11); het systematisch zoeken naar zo’n is de reductietheorie van bachelorjaar 2.
Welke weg men ook neemt, controleer het resultaat bij : drie goedkope tests die vrijwel elke misstap opvangen.
Opmerking 21.19 (Veelgemaakte fouten: de prijs van de niet-commutativiteit)
Elke identiteit uit de scalaire algebra waarvan het bewijs factoren herordent, sterft in met . Kwadraten: , en het midden stort alleen in tot als (Oefening 21.1). Machten van producten: is , niet . Nuldelers: met ; bijgevolg geen wegstrepen: impliceert alleen wanneer inverteerbaar is (vermenigvuldig met — aan de juiste kant). Sporen: geldt altijd, maar in het algemeen (neem : ), en (cyclisch) terwijl kan verschillen. Getransponeerden keren om: — de omkering vergeten is de meest voorkomende fout in berekeningen met orthogonaliteit (Hoofdstuk 23). Bij twijfel: toets elke beweerde identiteit op en ; het kleinste niet-commuterende paar weerlegt de meeste valse formules in één regel.
Opmerking 21.20 (Waar het woordenboek heen gaat)
Het matrixwoordenboek wordt op elke resterende bladzijde van dit volume gebruikt: Hoofdstuk 22 hangt aan elke vierkante matrix één getal dat over de inverteerbaarheid beslist, en lost systematisch op; Hoofdstuk 23 zondert de matrices af die lengten bewaren (orthogonale matrices); en in Hoofdstuk 25 is het gedrag van tweede orde van een functie van twee veranderlijken een symmetrische matrix. Het spoor, hierboven bijna terloops ingevoerd, wordt een krachtige invariant: Oefeningen 21.6 en 21.8 geven een eerste voorproef, en het volume van bachelorjaar 2 bouwt er de theorie van de eigenwaarden op. De weekendopgave ontwikkelt het andere werkpaard: veeltermidentiteiten waaraan een matrix voldoet, die de berekening van omzetten in een lineaire recurrentie met twee termen.
Opmerking 21.21 (Vooruitzichten binnen boek 3)
Drie families matrices die hier zijn ingevoerd, hebben verderop in dit volume een afspraak. Symmetrische matrices (Voorbeeld 21.7) dragen de gegevens van de tweede orde van functies van twee veranderlijken: de toets van Monge uit Hoofdstuk 25 is een uitspraak over het tekengedrag van een symmetrische matrix, en haar determinant wordt met de machinerie van Hoofdstuk 22 berekend. Orthogonale matrices () zijn de isometrieën van Hoofdstuk 23, waar de getransponeerde eindelijk haar meetkundige betekenis krijgt: zij is de algebraïsche schaduw van het inproduct. Inverteerbare matrices ontmoeten hun praktische toets in Hoofdstuk 22 — één getal, — waarmee de zoektocht wordt gesloten die dit hoofdstuk met rijreductie begon. Spoor en determinant reizen daarna verder als het invariante paar van de weekendopgave, helemaal tot in de theorie van de eigenwaarden van bachelorjaar 2.
21.4 Oefeningen
Oefening 21.1 ★
Zij en . Bereken , , en ; leg uit waarom de laatste twee verschillen.
Oplossing
Oplossing van Oefening 21.1.
Zij verschillen met : de identiteit vereist commutativiteit, en die faalt hier.
Oefening 21.2 ★
Bereken de rang van
Oplossing
Oplossing van Oefening 21.2.
: doodt de tweede rij; geeft . Twee spillen: .
: geeft ; daarna . Twee spillen: .
Oefening 21.3 ★
Inverteer met rijreductie , en controleer met één product.
Oplossing
Oplossing van Oefening 21.3.
Reductie van : , :
daarna , :
Controle: de eerste rij van maal de eerste kolom van : ; maal de tweede kolom: ; maal de derde: .
Oefening 21.4 ★
Schrijf de matrix, in de canonieke basis van , van het endomorfisme . Leg zonder berekening uit waarom zij inverteerbaar is, en geef de matrix van .
Oplossing
Oplossing van Oefening 21.4.
, , : de kolommen coördinaten in geven
is inverteerbaar omdat zij de voor de hand liggende inverse heeft (samenstelling van substituties). Haar matrix wordt op dezelfde wijze verkregen uit :
Oefening 21.5 ★★
Zij . Schrijf , bereken , en leid met het binomium af voor alle .
Oplossing
Oplossing van Oefening 21.5.
, . Omdat en commuteren, breekt de binomiale ontwikkeling na twee termen af:
(Controle bij : , juist volgens het rechtstreekse product.)
Oefening 21.6 ★★
Bewijs dat er geen matrices (met of ) bestaan met . (Neem sporen.)
Oplossing
Oplossing van Oefening 21.6.
Sporen: (Definitie 21.5), terwijl in of . Geen oplossing. (Op oneindigdimensionale ruimten is de identiteit wel realiseerbaar — afleiden en vermenigvuldigen met voldoen eraan — precies omdat er daar geen spoor bestaat.)
Oefening 21.7 ★★
Een matrix heet nilpotent wanneer voor zekere . Bewijs dat dan inverteerbaar is, met
Toepassing: inverteer .
Oplossing
Oplossing van Oefening 21.7.
Telescoperend product, waarbij alle machten van commuteren:
en Propositie 21.4 tilt de eenzijdige inverse op. Voor de toepassing: de gegeven matrix is met
dus, met in plaats van in de formule:
Oefening 21.8 ★★
Zij met (idempotent). Bewijs dat . (Vat op als een projectie en kies een aangepaste basis; Stelling 21.10 zegt dat het spoor niet van de basis afhangt, want .)
Oplossing
Oplossing van Oefening 21.8.
: het endomorfisme is een projectie (Stelling 20.15), met . In een basis die aan deze ontbinding is aangepast ( vectoren van het beeld, daarna een basis van de kern) is de matrix van gelijk aan , met spoor . Het spoor is invariant onder basisverandering: volgens de cyclische identiteit. Bijgevolg is .
Oefening 21.9 ★★★
Zij de matrix met overal enen. Bereken , en leid daaruit voor de voorwaarde voor de inverteerbaarheid van af, samen met (zoek een inverse van dezelfde vorm ).
Oplossing
Oplossing van Oefening 21.9.
(elke ingang van telt enen op). Zoek :
Dit is gelijk aan dan en slechts dan als en , dat wil zeggen en . Is en , dan
Omgekeerd: is , dan heeft rang (voor ): niet inverteerbaar ( is het scalaire geval). Is , dan voldoet de vector aan met : niet inverteerbaar. Dus en .
Oefening 21.10 ★★★
(Ongelijkheden voor de rang) Bewijs voor :
(Pas voor de tweede — de ongelijkheid van Sylvester — de dimensiestelling toe op de beperking van de afbeelding van tot .)
Oplossing
Oplossing van Oefening 21.10.
Som: (elke ), en Grassmann begrenst de dimensie van een som door de som van de dimensies.
Sylvester: zij de afbeelding van , beperkt tot (van dimensie ). Haar beeld is (want ), en de dimensiestelling in geeft
Nu is , van dimensie : dus
Oefening 21.11 ★★
Zij met de paarsgewijs verschillend.
- Bewijs dat een matrix met commuteert dan en slechts dan als diagonaal is. (Vergelijk de ingangen van en .)
- Leid het centrum van af: de matrices die met elke matrix commuteren, zijn precies de scalaire matrices . (Toets tegen , en daarna tegen de matrices .)
Oplossing
Oplossing van Oefening 21.11.
- Per ingang is en . Dus dan en slechts dan als voor alle ; voor is de factor niet nul, wat afdwingt: is diagonaal. Omgekeerd commuteren diagonale matrices met elkaar.
- Commuteert met elke matrix, dan commuteert zij met , dus is volgens (1). Dan is (alleen rij van overleeft) terwijl : commuteren met dwingt af. Bijgevolg ; en scalaire matrices commuteren inderdaad met alles. Het centrum van is .
Oefening 21.12 ★★★
(Matrices van rang één) Zij , .
- Bewijs dat dan en slechts dan als voor een kolom ongelijk aan nul en een rij ongelijk aan nul.
- Bewijs voor zo’n dat ; leid af dat een matrix van rang één nilpotent is dan en slechts dan als haar spoor nul is.
Bewijs dat als , de matrix inverteerbaar is met
en dat niet inverteerbaar is wanneer . (Zoek een vector die door wordt gedood.)
Oplossing
Oplossing van Oefening 21.12.
- Is , dan is het beeld van een rechte met , dus is de -de kolom van gelijk aan voor scalairen (niet alle nul), dat wil zeggen met . Omgekeerd, is , dan zijn alle kolommen veelvouden van : rang .
- , en is de scalair . Dus , en met inductie . Is , dan wordt geen enkele macht nul; is , dan is : een matrix van rang één is nilpotent dan en slechts dan als haar spoor nul is.
Met :
met . Is , dan is met , zodat elke kolom van ongelijk aan nul doodt: niet injectief, niet inverteerbaar.
21.5 Opgave: machten van een matrix via veeltermdeling
Probleem 21.1
ingang voor ingang berekenen is hopeloos; het berekenen via een veeltermidentiteit waaraan voldoet, kost drie regels. Deze opgave bouwt de methode vanaf nul op: de euclidische deling van , de identiteit waaraan elke matrix voldoet (de stelling van Cayley–Hamilton in dimensie ), en het woordenboek tussen machten van matrices en lineaire recurrenties — met de fibonaccigetallen als doorlopend voorbeeld.
Deel I — Het rekenen met resten. Leg vast en stel .
Verantwoord dat er voor elke eenduidige en bestaan met
en bereken en .
Stel, door met te vermenigvuldigen en opnieuw te delen, de recursies
vast, en leid af dat : de rij coëfficiënten gehoorzaamt aan de lineaire recurrentie die bij hoort.
Stel dat twee verschillende wortels heeft. Bewijs door de delingsidentiteit te evalueren dat
- Stel dat . Bewijs met de afgeleide van de delingsidentiteit dat en .
Toon aan dat het invullen van een vaste matrix in veeltermen sommen en producten respecteert: . Leid af dat als , dan
Deel II — Dimensie 2: spoor, determinantgetal, Cayley–Hamilton. Stel voor dat en (het getal dat Hoofdstuk 22 de determinant zal noemen).
Ga door rechtstreekse berekening de identiteit van Cayley–Hamilton in dimensie na:
Bewijs door rechtstreeks uit te werken dat multiplicatief is: met de voor de hand liggende notatie, . Toon daarna aan dat inverteerbaar is dan en slechts dan als , en dat dan
- Zij . Bereken , en de wortels van , en leid een gesloten formule voor af; toets haar aan een rechtstreekse berekening van .
- Zij . Toon aan dat een dubbele wortel heeft en bereken ; controleer bij .
Zij en definieer de fibonaccigetallen door , , . Bewijs dat
leid de formule van Binet af, met en , en met vraag 7 de identiteit van Cassini .
Deel III — Lineaire recurrenties, structureel. Leg met vast, en zij de verzameling van de rijen met voor alle .
- Toon aan dat een vectorruimte van dimensie is (pas Oefening 19.10 aan).
Toon aan dat de rij uit deel I het element van is met beginwaarden , en dat elke voldoet aan
met als in deel I: de resten van de deling lossen alle recurrenties tegelijk op.
- Zijn de wortels van , toon dan aan dat een basis van is; is met , toon dan aan dat er een is.
- Los volledig op: , , ; toets het antwoord aan en .
Zij (de begeleidende matrix van ). Toon aan dat
en dat en : de recurrentie en de matrix dragen dezelfde veelterm .
Deel IV — Graad drie. Zij en
- Toon aan dat . (Bereken de beelden van de canonieke basisvectoren onder machten van : de afbeelding van stuurt een combinatie die door de laatste rij wordt afgedwongen.)
- Toon aan dat als drie verschillende wortels heeft, de rest van gedeeld door de interpolant van Lagrange is van de waarden in de knooppunten (Stelling 8.23); leid af dat elke ingang van een vaste lineaire combinatie is van .
- Los op: met , , . (Ontbind .) Controleer bij .
- Bereken de rest van modulo (taylorontwikkeling van in ), en leid een formule af voor wanneer en met alles in zicht commuteert; toets haar aan het binomium.
- Toon aan dat voor met verschillende wortels de algemene oplossing van de recurrentie van orde gelijk is aan : bewijs dat de drie meetkundige rijen een basis van de oplossingsruimte vormen. (Evalueer voor de vrijheid een nulcombinatie bij en herken een interpolatiestelsel in de verschillende knooppunten .)
Deel V — Fibonacci-dividenden, en synthese.
- Bewijs dat .
Leid uit de somformule
af, en daaruit .
- Bewijs dat voor elke het dichtstbijzijnde gehele getal bij is.
- Zij (de lucasgetallen ). Toon aan dat , , , dat , en vind terug.
- Synthese, in vier zinnen: waarom de machten van een matrix in het vlak van leven (welk dimensieargument een kwadratische identiteit garandeert, en welke expliciete identiteit deel II opleverde); hoe de euclidische deling machtsverheffen omzet in een recurrentie met twee termen; welke uitspraak van deze opgave het geval is van een stelling die in alle dimensies geldt (benoem haar, en zeg waar zij in deze reeks wordt bewezen); en wat de constructie met de begeleidende matrix aan het beeld toevoegt.
Oplossing
Oplossing van Probleem 21.1.
1. Euclidische deling van door de monische van graad (Stelling 8.3): quotiënt en rest bestaan en zijn eenduidig, en de rest heeft graad : . Voor : , ; voor : .
2. Vermenigvuldig met en reduceer :
De laatste uitdrukking heeft de gedaante van een rest (graad ), dus geeft de eenduidigheid en . Invullen van in geeft .
3. Evalueer in de wortels: en . Aftrekken en delen door geeft
4. In de dubbele wortel: . Afleiden van de identiteit geeft , en evaluatie in : ; daarna .
5. Voor en is
omdat de machten van de ene matrix met elkaar commuteren (de sommen zijn duidelijk wegens de lineariteit). Is , dan geeft het invullen van in dat .
6. Rechtstreekse producten:
dus heeft nullen buiten de diagonaal en op de diagonaal de waarden : .
7. Met geeft het uitwerken van : de termen en heffen elkaar op, de termen en eveneens, en wat overblijft is
Is , dan geeft Cayley–Hamilton dat , waaruit de inverse volgt (en Propositie 21.4 maakt haar tweezijdig). Is en zou inverteerbaar zijn, dan geeft de multiplicativiteit : onmogelijk. Dus .
8. , , : , , dus en (vraag 3). Bijgevolg
Controle: , zowel volgens de formule als door rechtstreeks te kwadrateren.
9. , : , met dubbele wortel . Vraag 4: , , dus
Bij : , en dat is rechtstreeks berekend.
10. Inductie: , en
Hier is , , met wortels en (, ). De rij heeft , en gehoorzaamt aan dezelfde recurrentie als : , de formule van Binet. Cassini: toepassing van de multiplicativiteit uit vraag 7 op geeft
11. De voorwaarde is lineair en bevat de nulrij: een deelruimte. Met inductie bepalen de rij lineair, en wordt elk paar beginwaarden door precies één oplossing gerealiseerd: zoals in Oefening 19.10 wordt bijectief en lineair geparametriseerd door : .
12. gehoorzaamt aan de recurrentie (vraag 2) met , . Hetzelfde geldt voor : (met twee keer ), met , . De combinatie is dan een oplossing met , ; twee oplossingen met dezelfde beginwaarden vallen samen (inductie), dus is voor alle .
13. is een oplossing dan en slechts dan als voor alle , dat wil zeggen (na deling door ; merk op dat omdat ). Vrijheid van : een betrekking bij geeft en , dus : . Twee vrije vectoren in dimensie : een basis. Dubbele wortel: is een oplossing want, met en ,
de vrijheid bij : , en daarna met .
14. . Algemene oplossing ; de beginvoorwaarden geven en , dus , :
Controle: ; .
15. , en inductie geeft de formule met . Bovendien is en : de begeleidende matrix heeft precies als haar veelterm van Cayley–Hamilton.
16. Voor elke oplossing van voldoen de toestandsvectoren aan (de eerste twee rijen verschuiven, de laatste rij past de recurrentie toe). Bijgevolg is
waarvan de drie componenten zijn (). Omdat de begintoestand heel doorloopt (de beginwaarden zijn vrij), doodt de matrix elke vector: .
17. Schrijf met en evalueer in elke wortel: . Dus is een veelterm van graad die de drie waarden in de drie verschillende knooppunten interpoleert: wegens de eenduidigheid in Stelling 8.23 is met de Lagrange-basis van de knooppunten. Invullen van (de vragen 5 en 16) geeft
met de drie matrices onafhankelijk van : elke ingang van is een vaste combinatie van .
18. . Algemene oplossing . Beginvoorwaarden: , , . Aftrekken van de eerste van de derde: , dus ; daarna en : , . Bijgevolg
(de jacobsthalgetallen). Controle: .
19. Taylorontwikkeling van de veelterm in :
en alle termen met zijn deelbaar door : de rest is
Voor met is , dus geeft vraag 5
en dat is precies de binomiale ontwikkeling van , afgebroken bij — de twee methoden stemmen overeen.
20. De oplossingsruimte heeft dimensie (dezelfde parametrisering door als in vraag 11), en elke is een oplossing. Vrijheid: stel voor . Leg vast en zij de veelterm van Lagrange van de knooppunten met . Dan is
Dus zijn alle : drie vrije oplossingen in dimensie , een basis; de algemene oplossing is .
21. Uit telescopeert de som:
22. Neem de ingang van : het linkerlid is ; het rechterlid is (rij van ) maal (kolom van ), dat wil zeggen . Met :
23. Volgens Binet is , en , dus
is het dichtstbijzijnde gehele getal bij .
24. is een combinatie van verschoven fibonaccirijen en voldoet dus aan dezelfde recurrentie: ; en , : dit zijn de lucasgetallen . De rij is een oplossing met dezelfde eerste twee waarden (, ), dus . Ten slotte is
waarmee vraag 22 wordt teruggevonden.
25. (i) De vijf matrices leven in het -dimensionale , dus doodt een veelterm ongelijk aan nul van graad de matrix ; deel II scherpte dit aan tot de expliciete kwadratische , die alle machten in het vlak opsluit. (ii) De euclidische deling reduceert modulo die kwadratische veelterm, en de twee coëfficiënten van de rest gehoorzamen aan de recurrentie met twee termen : machtsverheffen is iteratie geworden. (iii) Vraag 6 is het geval van de stelling van Cayley–Hamilton, die in elke dimensie geldt en in het volume van bachelorjaar 2 wordt bewezen. (iv) De begeleidende matrix sluit de kring: elke lineaire recurrentie is een macht van een matrix, met dezelfde veelterm die als gegevens van spoor en determinant verschijnt, zodat het rekenen met resten recurrenties oplost en machten berekent in één beweging.