Invariante deelruimten van lineaire afbeeldingen: Diagonaliseerbaarheid
Het begrip diagonaliseerbaarheid
We hebben gezien dat het niet altijd mogelijk is een basis van eigenvectoren te vinden voor een lineaire afbeelding van een eindigdimensionale vectorruimte naar zichzelf. We brengen in herinnering dat een vierkante matrix diagonaalvorm heeft of een diagonaalmatrix is als alle -elementen met gelijk aan nul zijn. We bespreken hoe je na kunt gaan of dit het geval is.
Diagonaliseerbaarheid
Een lineaire afbeelding , waarbij een eindigdimensionale vectorruimte is, heet diagonaliseerbaar als een basis heeft, zodat een diagonaalmatrix is.
De matrix heet diagonaliseerbaar als diagonaliseerbaar is. Als meer precisie vereist is en is reëel (respectievelijk complex), dan zeggen we dat diagonaliseerbaar is over de reële (respectievelijk complexe) getallen.
De volgende uitspraak is gemakkelijk te begrijpen maar van groot belang:
Herkenning van diagonaliseerbaarheid
Laat een vectorruimte van eindige dimensie zijn met basis . De volgende uitspraken voor een lineaire afbeelding zijn equivalent.
- is diagonaliseerbaar.
- is diagonaliseerbaar.
- De som van de dimensies van de eigenruimten van over alle eigenwaarden is gelijk aan .
- Er is een inverteerbare -matrix , zodat een diagonaalmatrix is.
In dit geval vormen de kolommen van de matrix een basis van respectievelijk (als een reële respectievelijk complexe vectorruimte is) bestaande uit eigenvectoren van .
Een direct gevolg van de stelling Herkenning van diagonaliseerbaarheid is dat we voor een diagonaliseerbare lineaire afbeelding een basis kunnen vinden ten opzichte waarvan de matrix van de afbeelding de diagonaalvorm heeft door te beginnen met een willekeurige basis en een conjugerende matrix te berekenen, zodat een diagonaalmatrix is:
Diagonalisatie en conjugatieLaat een eindigdimensionale vectorruimte zijn met basis en een lineaire afbeelding.
Als diagonaliseerbaar is, dan kunnen we een inverteerbare matrix vinden met als kolommen eigenvectoren van , zodanig dat een diagonaalmatrix is. De samenstelling is dan een coördinatisering van met de eigenschap dat een diagonaalmatrix is.
De methode is ook toepasbaar om te onderzoeken of een lineaire afbeelding wel diagonaliseerbaar is.
De matrix is niet gelijk aan een scalair veelvoud van de identiteit. Daarom is dan en slechts dan diagonaliseerbaar (over de complexe getallen) als ze twee verschillende (mogelijk complexe) eigenwaarden heeft.
Dit is dan en slechts dan het geval als de karakteristieke veelterm twee verschillende (mogelijk complexe) wortels heeft.
De karakteristieke veelterm is
De discriminant van deze kwadratische veelterm is . Nu heeft dan en slechts dan precies één wortel (die dan reëel moet zijn) als . Oplossen van deze lineaire vergelijking in geeft .
omptest.org als je een OMPT examen moet maken.