Wiskunde bovenbouw · Grades 10–12
30Matrices en grafen
Een matrix is een rechthoekige tabel van getallen, die opgeteld en vermenigvuldigd worden volgens regels die zo ontworpen zijn dat de algebra van de matrices het samenstellen van lineaire transformaties weergeeft. Matrices lossen lineaire stelsels op, sturen gekoppelde recursieve rijen aan en tellen wandelingen in netwerken — de wiskunde achter zoekmachines en algoritmen voor kortste paden.
30.1 Algebra van de matrices
Definitie 30.1 (Matrix)
Een -matrix is een tabel van reële getallen met rijen en kolommen: , waarbij de ingang in rij , kolom is. Twee matrices van hetzelfde formaat worden ingang per ingang opgeteld, en .
Definitie 30.2 (Product van matrices)
Zij een -matrix en een -matrix. Het product is de -matrix met als ingang
(de regel “rij van maal kolom van ”).
Voorbeeld 30.3
, terwijl : het vermenigvuldigen van matrices is niet commutatief.
Propositie 30.4 (Rekenregels voor matrices)
Telkens wanneer de formaten de producten zinvol maken, geldt
en de eenheidsmatrix (enen op de diagonaal, nullen elders) voldoet aan voor van formaat .
Bewijs. Alles zijn verificaties ingang per ingang vanuit Definitie 30.2; de associativiteit, als enige niet triviaal, komt neer op het verwisselen van twee eindige sommen: . ∎
Definitie 30.5 (Inverse)
Een vierkante matrix van formaat heet inverteerbaar als er een matrix bestaat met ; is dan uniek en wordt genoteerd.
Propositie 30.6 (Inverse van een -matrix)
Zij en (de determinant). Dan is inverteerbaar als en slechts als , en in dat geval geldt
Bewijs. Een berekening geeft ; is , deel dan. Omgekeerd: is , dan zijn de kolommen van evenredig, en dus ook die van voor elke ; maar de kolommen van zijn niet evenredig, dus geen enkele kan aan voldoen. ∎
Methode 30.7 (Lineaire stelsels)
Het stelsel is de matrixvergelijking met en . Is , dan is de unieke oplossing . Hetzelfde formalisme behandelt vergelijkingen in onbekenden.
30.2 Machten van matrices en recursieve rijen
Definitie 30.8
Voor een vierkante matrix en is ( factoren), met .
Methode 30.9 (Diagonaal plus nilpotent, en het diagonaliseerbare geval)
Twee standaardmanieren om te berekenen:
- Is met , dan krimpt het binomium van Newton (hier geldig, want en commuteren) tot twee termen: .
- Vind je een inverteerbare met en diagonaal, dan is , en bereken je ingang per ingang. (Zo’n systematisch vinden is de theorie van het diagonaliseren, uitgewerkt aan de universiteit; op dit niveau wordt gegeven.)
Voorbeeld 30.10 (Gekoppelde rijen)
Zij en . Met en krijgen we , dus . De hulprijen en voldoen aan en , dus is en , en
(Achter de schermen: en zijn de richtingen van de eigenvectoren van .)
30.3 Grafen en wandelingen
Definitie 30.11 (Graaf, verbindingsmatrix)
Een graaf bestaat uit toppen en bogen die bepaalde paren toppen verbinden (geordende paren voor een gerichte graaf). Zijn verbindingsmatrix is de -matrix met als er een boog van naar loopt, en anders. Een wandeling van lengte van naar is een opeenvolging van bogen die van naar leidt.
Stelling 30.12 (Wandelingen tellen)
Het aantal wandelingen van lengte van top naar top is de ingang van .
Bewijs. Inductie op . Voor is dit de definitie van . Onderstel de bewering voor . Een wandeling van lengte van naar is een wandeling van lengte van naar een zekere top , gevolgd door een boog van naar ; volgens het som- en het productprincipe is hun aantal
∎
Voorbeeld 30.13
Voor de driehoeksgraaf ( toppen, alle paren verbonden) is en : vanuit elke top zijn er wandelingen van lengte terug naar zichzelf (via een van beide buren) en naar elke andere top.
30.4 Oefeningen
Oefening 30.1 ★
Zij en . Bereken , , en .
Oplossing
Oplossing van Oefening 30.1.
Merk op dat .
Oefening 30.2 ★
Ga na of de volgende matrices inverteerbaar zijn, en bereken de inversen waar ze bestaan:
Oefening 30.3 ★
Los het stelsel op door een matrix te inverteren.
Oefening 30.4 ★★
Zij met .
- Ga na dat en dat en commuteren.
- Leid af voor alle en controleer de formule voor met een rechtstreekse berekening.
Oplossing
Oplossing van Oefening 30.4.
1. , en commuteert met elke matrix.
2. Omdat de twee termen commuteren, is het binomium van Newton toepasbaar, en verdwijnen alle termen met :
Controle voor : , en de formule geeft en . ✓
Oefening 30.5 ★★
Zij en de rij van Fibonacci (, , ). Toon met inductie aan dat voor geldt
en leid de identiteit af. (Tip: determinanten vermenigvuldigen zich: , wat je voor -matrices mag nagaan.)
Oplossing
Oplossing van Oefening 30.5.
Inductie. Voor : . Onderstel de formule voor ; dan is
Identiteit. Voor -matrices toont uitwerken dat ; dus is , terwijl . (Dat is de identiteit van Cassini.)
Oefening 30.6 ★★
Een gerichte graaf op de toppen heeft de bogen , , en .
- Schrijf de verbindingsmatrix op en bereken en .
- Hoeveel wandelingen van lengte gaan van naar ? Som ze op.
Oplossing
Oplossing van Oefening 30.6.
1. Met de toppen in de volgorde :
2. : er is precies één gesloten wandeling van lengte in top , namelijk . (De wandeling heeft slechts lengte , en , dan , dan eindigt in .)
Oefening 30.7 ★★
Een autodeelbedrijf verplaatst voertuigen tussen twee steden en . Elke week blijft van de auto’s in in en verhuist naar ; van de auto’s in verhuist naar en blijft ter plaatse. Zij en de aandelen van het wagenpark in elke stad.
- Schrijf met en bepaal .
- Zoek de evenwichtsaandelen (los op met ).
- Toon aan dat voldoet aan , en besluit dat de verdeling van het wagenpark naar het evenwicht convergeert.
Oplossing
Oplossing van Oefening 30.7.
1. en : .
2. geeft , dat wil zeggen , dus ; met : en .
3. Met : , dus
Bijgevolg is : en , wat de beginverdeling ook is.
Oefening 30.8 ★★★
Zij en .
- Bereken , daarna , en ga na dat diagonaal is.
- Leid een gesloten formule voor af en vergelijk met Voorbeeld 30.10.
Oplossing
Oplossing van Oefening 30.8.
1. , dus . Vervolgens
2. Uit geeft een onmiddellijke inductie met , dus
toepassen op levert precies de formules van Voorbeeld 30.10 op.
30.5 Opgave: de matrix die Fibonacci kent (en het weer)
Probleem 30.1
Weekendopgave — één -matrix draagt heel Fibonacci, een matrix van Markov voorspelt het weer op lange termijn, en een eigenvector is een miljard dollar waard
Een matrix is een machine die een toestand opeet en de volgende teruggeeft — en haar machten bevatten dus hele toekomsten. Deze opgave opent met de verbluffende matrix waarvan de machten de getallen van Fibonacci opsommen (en hun identiteiten elk in één regel bewijzen), laat daarna het weer als een keten van Markov naar zijn stationaire toestand lopen, en sluit af met de eigenvector waarop een zoekmachine gebouwd werd (Stelling 30.12, Methode 30.9).
Deel I — Vlotheid.
- Bereken met en de producten en . Oordeel over de commutativiteit?
- Inverteer (Propositie 30.6) en los met die inverse , op.
- Zij : bereken en leid af voor elke .
- De driehoeksgraaf (drie toppen, alle paren verbonden): schrijf zijn verbindingsmatrix op, bereken , en duid de ingangen op de diagonaal (Stelling 30.12).
- Geef voor de matrix en haar gedrag wanneer .
Deel II — De matrix van Fibonacci. Zij en zij de getallen van Fibonacci uit Probleem 13.1.
- Bereken , en en vermoed de algemene vorm van in termen van de getallen van Fibonacci.
- Bewijs het vermoeden met inductie.
- Neem in beide leden de determinant (de determinant van een product is het product van de determinanten — ga het na op -matrices als je het nooit gezien hebt): leid de identiteit van Cassini af — de motor van het verdwijnende vierkantje, in één regel bewezen.
Lees in de ingangen rechtsboven af en leid de somformule
af. Ga ze na voor .
- Leid uit de somformule af (inductie op ) dat het getal deelt, en ga dat na voor en .
- Om te berekenen hoef je geen matrices te vermenigvuldigen: kwadrateer herhaaldelijk () en combineer. Hoeveel matrixvermenigvuldigingen volstaan er, en welke aloude vermenigvuldigingstruc uit het onderbouwvolume is dit, bevorderd tot matrices?
Deel III — De weermachine. In een zekere stad geldt: na een zonnige dag is de volgende zonnig met kans ; na een regendag is ze zonnig met kans . Codeer de verdeling van de dag als een kolom en de evolutie door
- Ga na dat elke kolom van als som heeft, en zeg waarom elke weermachine die eigenschap moet hebben.
- Vandaag is het zonnig. Bereken de voorspelling voor morgen en voor overmorgen.
- Zoek de stationaire toestand: de verdeling met (en met som ). Welk aandeel van de dagen is op lange termijn zonnig?
- Vertrek van een regendag, , en pas vier keer toe, waarbij je bij elke stap de afstand tot de stationaire toestand bijhoudt. Met welke factor krimpt de kloof per stap — en om welk soort convergentie gaat het?
- PageRank in het klein: drie pagina’s, met de verwijzingen , , en . Een willekeurige surfer volgt uniform willekeurig een uitgaande verwijzing. Schrijf de overgangsmatrix op, zoek de stationaire toestand, en rangschik de pagina’s.
- Duid de rangschikking: waarom scoort even hoog als hoewel het van minder pagina’s een verwijzing krijgt — wat meet de stationaire toestand eigenlijk? (De echte PageRank voegt een dempingsfactor toe voor doodlopende paden en sprongen; het idee van de eigenvector is precies dit.)
Deel IV — Het rendement van de diagonaal.
- Twee gekoppelde grootheden voldoen aan en , dat wil zeggen aan de matrix van Oefening 30.8. Geef met de diagonalisatie uit die oefening () de gesloten formule voor als en , en toets ze aan de rechtstreekse berekening voor .
- In een of twee zinnen: wat doet het diagonaliseren met een gekoppeld stelsel — en in welke zin is de stationaire toestand van Markov uit vraag 14 ook een verhaal over eigenvectoren?
- Slotstuk — de drie gezichten van de matrix dit weekend: boekhouding (stelsels en inversen), combinatoriek (wandelingen en verwijzingen geteld door machten) en evolutie (Fibonacci, het weer, het web — toekomsten afgelezen op de eigenrichtingen). Telkens één zin, plus de blik vooruit: de lineaire algebra van de universitaire volumes maakt van elk van die gezichten een theorie.
Oplossing
Oplossing van Probleem 30.1.
1. en : het vermenigvuldigen van matrices is niet commutatief — verwisselt rechts de kolommen en links de rijen.
2. Determinant : de inverse is . Toegepast op : en .
3. . Dan geeft inductie : .
4. , en heeft als ingangen op de diagonaal: vanuit elke top precies twee gesloten wandelingen van lengte (de driehoek met of tegen de wijzers van de klok doorlopen) — de telstelling aan het werk.
5. : de ene richting ontploft, de andere sterft uit — op de diagonaal zijn de lotgevallen onafhankelijke meetkundige rijen.
6. , , : overal Fibonacci; het vermoeden luidt zoals aangegeven.
7. Geldt , dan is
overerving; het basisgeval is zelf, met de afspraak (die de recursie achterwaarts voortzet).
8. , dus ; en rechtstreeks is : Cassini, in één regel. (De productregel voor -determinanten is een aangename uitwerking van vijf minuten.)
9. Rechtsboven in : ; rechtsboven in : . Voor : .
10. Voor : triviaal. Geldt , dan geeft de somformule met : , en beide termen zijn veelvouden van . Dus voor alle : controleer dat zowel als deelt.
11. : zeven kwadrateringen () plus twee combinaties — negen vermenigvuldigingen in plaats van negenennegentig. Het is de verdubbelingstruc van de Egyptische schrijvers, van getallen naar matrices getild: schrijf in het tweetallig stelsel en vermenigvuldig de verdubbelingen die je nodig hebt.
12. en : morgen moet er een of ander weer zijn — elke kolom is een volledige kansverdeling, zodat de kansen behouden blijven.
13. Morgen: . Overmorgen: .
14. met en : geeft , dus : . Op lange termijn zijn twee dagen op drie zonnig — hoe vandaag er ook uitziet.
15. Vanuit : als zonnecomponenten , , en ; de kloven tot zijn , , en — elke stap vermenigvuldigt de kloof met precies (de tweede eigenwaarde van de machine): meetkundige convergentie naar de stationaire toestand.
16. Kolommen (vanuit , , ): . Stationaire toestand: , en ; met som : . Rangschikking: en delen de eerste plaats, is laatste.
17. krijgt al het verkeer van en de helft van dat van , en sluist alles terug naar : de stationaire toestand meet waar de surfer zijn tijd doorbrengt, niet hoeveel verwijzingen er binnenkomen — één verwijzing van een populaire pagina weegt zwaarder dan verscheidene van verlaten pagina’s. Die recursieve weging is precies het stichtingsidee van Google; de demping vangt de spinnenvallen en de doodlopende paden op.
18. geeft (en ). Controle: , , ; en rechtstreeks: : het klopt.
19. Diagonaliseren stapt over op coördinaten waarin het gekoppelde stelsel uiteenvalt in onafhankelijke meetkundige rijen — elke eigenwaarde loopt haar eigen koers. De stationaire toestand van Markov is de eigenvector bij de eigenwaarde , en de convergentiesnelheid uit vraag 15 is de volgende eigenwaarde: de weermachine was van meet af aan een verhaal over eigenvectoren.
20. Boekhouding: een stelsel is één matrixvergelijking, opgelost door één inverse. Combinatoriek: de machten van de verbindingsmatrix tellen wandelingen, verwijzingen en verbindingen. Evolutie: de machten van de machine dragen toestanden naar hun bestemming, en de eigenrichtingen (de gulden richting van Fibonacci, de stationaire toestand van het weer, de rangschikkingsvector van het web) zijn die bestemmingen. De lineaire algebra, in de universitaire volumes, is precies de wetenschap hiervan.