Conjugatie gaat over matrices die een lineaire afbeelding van een vectorruimte naar zichzelf weergeven. Hieronder bespreken we het geval van twee verschillende vectorruimten of, algemener, twee verschillende bases: één voor het domein en één voor het bereik van een lineaire afbeelding . We zullen zien dat het probleem om te bepalen of twee matrices dezelfde lineaire afbeelding weergeven ten opzichte van een basis voor het domein en een basis voor het bereik, veel makkelijker is dan het geval waarin dezelfde basis voor domein als voor bereik gekozen moet worden.
Laat en natuurlijke getallen zijn. Twee -matrices en heten matrix-equivalent als er een inverteerbare -matrix en een inverteerbare -matrix zijn met .
- Twee matrices en van dezelfde afmeting zijn dan en slechts dan equivalent als ze dezelfde rang hebben. In het bijzonder is matrix-equivalentie een equivalentierelatie.
- Laat een basis zijn van een -dimensionale vectorruimte , laat een basis zijn van een -dimensionale vectorruimte , en laat een lineaire afbeelding zijn met matrix ten opzichte van en . Een -matrix is dan en slechts dan de matrix van ten opzichte van een basis voor en een basis voor als en matrix-equivalent zijn.
1. Stel dat voor een inverteerbare -matrix en een inverteerbare -matrix . Dan is gelijk aan onder (we gebruiken dat inverteerbaar is, zodat het beeld van onder gelijk is aan ). Omdat inverteerbaar is, hebben en dezelfde dimensie. Volgens de stelling Rang is dimensie kolommenruimte betekent dit dat de rang van gelijk is aan de rang van .
Stel, voor het bewijs van het omgekeerde, dat de rang van gelijk is aan de rang van . Geef die rang aan met . Dan is de rij- en kolomgereduceerde trapvorm van zowel als gelijk aan de matrix die overal nul heeft staan, behalve op de eerste diagonaalelementen, die gelijk zijn aan . Omdat wordt verkregen door en links en rechts met inverteerbare matrices te vermenigvuldigen, volgt dat en matrix-equivalent zijn.
Het feit dat matrix-equivalentie een equivalentierelatie is, volgt onmiddellijk uit de karakterisatie van de relatie gegeven in uitspraak 1: omdat de rang een functie is op de verzameling -matrices, is het hebben van het zelfde beeld onder de rang een equivalentierelatie.
2. Dit bewijs loopt als het vergelijkbare bewijs in het geval van conjugatie. Voor de matrix als in de aanname van de uitspraak geldt . Als ook een basis van is en ook een basis van , dan is de matrix van ten opzichte van deze bases en geldt dus Omdat de matrices en inverteerbaar zijn, volgt dat en matrix-equivalent zijn.
Andersom, als er inverteerbare matrices en zijn zodat , dan voldoen de basis behorende bij de coördinatisering en de basis behorende bij de coördinatisering aan , want dan geldt
Het bepalen of twee -matrices en matrix-equivalent zijn, komt dus neer op het nagaan of .
Als en gelijke rang hebben, is het mogelijk om inverteerbare matrices en te vinden, zodat . Met rij- en kolomreductie op zowel als vinden we inverteerbare matrices , , , , zodat
waarbij een -matrix van rang in rij- en kolomgereduceerde trapvorm is. Dan geldt , waarbij en inverteerbare matrices zijn.
We kunnen het vinden van en ook benaderen met het oplossen van lineaire vergelijkingen: we beginnen met het oplossen van de matrixvergelijking
en zoeken vervolgens naar inverteerbare matrices onder de oplossingen. Hier is een voorbeeld: Stel
Als en matrix-equivalent zijn, dan zijn er inverteerbare -matrices en met . Na vermenigvuldiging van rechts met geeft dit de lineaire matrixvergelijking Schrijven we dan gaat de matrixvergelijking na uitwerking van de matrixvermenigvuldigingen over in
en dus in het stelsel lineaire vergelijkingen
We concluderen dat . Als we kiezen en , dan zijn en inverteerbaar en vinden we, met ,
Hieruit blijkt dat en matrix-equivalent zijn. In dit geval zijn er dus bases en van , zodat de lineaire afbeeldingen en aan elkaar gelijk zijn.
Bij gegeven matrix-equivalente -matrices en zijn de inverteerbare -matrix en de inverteerbare -matrix zodat niet uniek: voor een willekeurige constante ongelijk aan nul voldoen de scalaire veelvouden en immers ook aan de vorm . Bovendien voldoen soms andere keuzes voor en : neem bijvoorbeeld en . Dan voldoet elke inverteerbare -matrix aan per definitie van de inverse matrix, want .
Omdat matrix-equivalentie een equivalentierelatie is, kan de verzameling van -matrices opgedeeld worden in onderling disjuncte deelverzamelingen die elk bestaan uit matrices die onderling matrix-equivalent zijn: de matrix-equivalentieklassen.
Twee -matrices zijn dan en slechts dan matrix-equivalent als ze dezelfde rang hebben. Met andere woorden: de matrix-equivalentieklassen bestaan uit alle elementen van met een vaste rang.
De uitspraak dat matrix-equivalentie een equivalentierelatie is, volgt onmiddellijk uit de stelling dat twee matrices van gelijke afmetingen dan en slechts dan matrix-equivalent zijn als ze dezelfde rang hebben: de rang is een afbeelding gedefinieerd op en voor elke afbeelding op een verzameling is de relatie "Hetzelfde beeld hebben" een equivalentierelatie.
Hier geven we nog een direct bewijs door de drie kenmerken van equivalentie na te gaan voor matrix-equivalentie:
Reflexiviteit: Neem en . Dan geldt . Dus is matrix-equivalent met zichzelf.
Symmetrie: Stel dat en matrix-equivalent zijn. Dan zijn er een inverteerbare -matrix en een inverteerbare -matrix met . Door van links met en van rechts met te vermenigvuldigen, zien we dat , ofwel Omdat een inverteerbare -matrix is en een inverteerbare -matrix is, concluderen we dat en matrix-equivalent zijn.
Associativiteit: Stel dat en matrix-equivalent zijn, en ook en matrix-equivalent zijn. Dan zijn er inverteerbare -matrices en en inverteerbare -matrices en , zodat en . Bijgevolg voldoen de inverteerbare -matrix en de inverteerbare -matrix aan zodat en matrix-equivalent zijn.
We geven nog enkele andere karakterisaties van lineaire afbeeldingen met gelijke rang. We brengen in herinnering van De matrix van een lineaire afbeelding dat, voor een lineaire afbeelding en bases voor en voor , de matrix van met betrekking tot en aangegeven wordt met , en, ingeval en , ook door .
Laat en vectorruimten zijn van eindige dimensie , respectievelijk , en en lineaire afbeeldingen zijn. De volgende uitspraken zijn equivalent.
- Er zijn isomorfismen en , zodat .
- Er zijn bases en voor en en voor , zodat .
- Er zijn bases voor en voor , zodat en matrix-equivalent zijn.
- Voor elk tweetal bases voor en voor zijn en matrix-equivalent.
- Voor elk tweetal bases voor en voor hebben en gelijke rang.
De equivalentie van 4 en 5 volgt direct uit de stelling Matrix-equivalentie hierboven. Om de equivalentie van de eerste vier uitspraken te bewijzen, gebruiken we het schema
: Stel dat er isomorfismen en zijn, zodat . Laat verder een basis voor en een basis voor zijn. Dan geldt
waarbij en inverteerbare matrices zijn. Dit betekent dat en matrix-equivalent zijn.
: Dit volgt onmiddellijk uit het feit dat elke keuze van en als in 4 voldoet voor 3.
: Stel dat een basis is voor en een basis voor , zodat en matrix-equivalent zijn. Dan zijn er inverteerbare matrices van afmetingen en van afmetingen , zodat Laat de basis voor bestaan uit de beelden van de basis onder en laat de basis voor bestaan uit de beelden van de basis onder . Dan geldt en , zodatKiezen we nu en , dan vinden we
wat te bewijzen was.
: Stel dat er bases en voor en en voor zijn, zodat . Dan geldt na linksvermenigvuldiging met en rechtsvermenigvuldiging met :
De isomorfismen en voldoen dus aan , wat uitspraak 1 bewijst.
Twee matrices bepalen dus dan en slechts dan dezelfde lineaire afbeelding ten opzichte van eventueel verschillende bases als elk van beide tot dezelfde matrix
geveegd kan worden met behulp van rij- en kolombewerkingen, waarbij het aantal enen gelijk is aan de rang van elk van de twee matrices.
Uit de stelling is het volgende eerder besproken resultaat onmiddellijk af te leiden:
Een -matrix heeft dan en slechts dan rang als er een inverteerbare -matrix en een inverteerbare -matrix zijn zodat , waarbij de -matrix is die uit de nulmatrix van dezelfde afmetingen te verkrijgen is door de eerste diagonaalelementen gelijk aan te maken.
Bekijk de matrices
Zijn de matrices en matrix-equivalent?
Nee
Volgens de stelling
Matrix-equivalentie zijn de matrices dan en slechts dan matrix-equivalent als ze gelijke rang hebben. De rang van is en de rang van is . Het antwoord is dus Nee.
De matrix is door middel van rij- en kolombewerkingen te reduceren tot en de matrix tot .
Immers,