Jordan-normaalvorm

In de lineaire algebra is de Jordan-normaalvorm van een vierkante matrix een matrix die een standaardvorm heeft en die de eenvoudigste vorm is waarnaar men de oorspronkelijke matrix kan transformeren door een transformatie van de basis. De Jordan-normaalvorm vindt zijn oorsprong in de poging een matrix te herleiden tot een diagonaalmatrix en zo de eigenwaarden te vinden. Niet elke matrix is echter diagonaliseerbaar, maar wel is een grote klasse matrices te herleiden tot de Jordan-normaalvorm, die "bijna" diagonaal is. De Jordan-normaalvorm is behalve op de hoofddiagonaal en de nevendiagonaal boven de hoofddiagonaal geheel gevuld met nullen, en de elementen op de nevendiagonaal die niet 0 zijn, hebben de waarde 1.

De Jordan-normaalvorm is genoemd naar Camille Jordan, die in 1871 deze vorm afleidde in samenhang met de oplossing van complexe differentiaalvergelijkingen voor complexe matrices.

De Jordan-normaalvorm van is gelijksoortig met .

Diagonaliseerbaarheid

Een n×n-matrix is diagonaliseerbaar dan en slechts dan als de som van de dimensies van de eigenruimtes gelijk is aan n. Of, equivalent hiermee: dan en slechts dan als de matrix precies n lineair onafhankelijke eigenvectoren heeft.

Niet elke matrix is echter diagonaliseerbaar, zoals te zien is aan het volgende voorbeeld.

De eigenwaarden van zijn 1, 2, 4 en 4 (rekening houdend met de multipliciteit). Bij de eigenwaarde 1 hoort de eigenvector (1,−1,0,0), bij de eigenwaarde 2 de eigenvector (1,−1,0,1). Er is echter maar 1 eigenvector, namelijk (1,0,−1,1) bij de eigenwaarde 4, zodat de dimensie van de eigenruimte bij de eigenwaarde 4 gelijk is aan 1. De matrix is dus niet diagonaliseerbaar. Wel is gelijksoortig met de matrix

,

want

.

De matrix is bijna een diagonaalmatrix. Men noemt de Jordan-normaalvorm.

Definitie

De Jordan-normaalvorm van de vierkante matrix van orde n over de complexe getallen, is een vierkante matrix , ook van de orde n, met de volgende vorm, die gelijksoortig is met :

.

Daarin is

een vierkante bovendiagonaalmatrix met de k-de eigenwaarde van op de hoofddiagonaal en alle elementen op de nevendiagonaal gelijk aan 1. De orde is gelijk aan de algebraïsche multipliciteit van . De matrices worden Jordan-blokken genoemd.

Een alternatieve vorm van de Jordan-normaalvorm heeft als Jordan-blokken de getransponeerden van de bovengenoemde blokken.

Voor een diagonaliseerbare matrix is de Jordan-normaalvorm een diagonaalmatrix.

Transformatiematrix

De Jordan-normaalvorm is gelijksoortig met en de matrix waarvan de kolommen (in de juiste volgorde) basisvectoren zijn van de eigenruimten bij de verschillende eigenwaarden, transformeert in de Jordan-normaalvorm.

.

Complexe matrices

In het algemeen is een complexe matrix A gelijkvormig met een blok-diagonaal matrix

waar elke Ji een vierkante matrix van de volgende vorm is:

Het gelijkvormig zijn houdt in dat er een inverteerbare matrix P bestaat zodat P−1AP = J. Deze J is zodanig dat de enige elementen ongelijk nul op de hoofddiagonaal en de bovendiagonaal staan (in sommige naslagwerken staan deze op de onderdiagonaal in de plaats van de bovendiagonaal, dit is in feite hetzelfde). Men noemt J dan de Jordan-normaalvorm van A. Elke Ji wordt een Jordanblok van A genoemd. Een dergelijke J bestaat voor elke matrix. Bovendien is deze uniek (op volgorde van de blokken na). Indien twee matrices P en Q dezelfde Jordan-normaalvorm hebben (wederom op volgorde van de blokken na) noemt men ze gelijkvormig.