Jordansche Normalform

Die jordansche Normalform ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Benannt wurde sie nach Marie Ennemond Camille Jordan, der sie 1870 für endliche Körper und 1871 im Zusammenhang mit der Lösung komplexer Differentialgleichungssysteme für komplexe Matrizen herleitete, die aber auch schon 1868 Karl Weierstraß in seiner Behandlung bilinearer Formen im Komplexen bekannt war^[1]. Die jordansche Normalform ist ein einfacher Vertreter der Äquivalenzklasse der zu einer trigonalisierbaren Matrix ähnlichen Matrizen. Die Trigonalisierbarkeit ist gleichbedeutend damit, dass das charakteristische Polynom der Matrix vollständig in Linearfaktoren zerfällt. Matrizen über einem algebraisch abgeschlossenen Körper sind immer trigonalisierbar und daher immer ähnlich einer jordanschen Normalform.

Für jede lineare Abbildung eines endlichdimensionalen Vektorraums, deren charakteristisches Polynom vollständig in Linearfaktoren zerfällt, kann eine Vektorraumbasis gewählt werden, so dass die Abbildungsmatrix, die die Abbildung bezüglich dieser Basis beschreibt, die jordansche Normalform hat. Dies gilt insbesondere für jede nilpotente Matrix.

Für jede beliebige, auch nicht trigonalisierbare Matrix liefert die rationale Normalform oder Frobenius-Normalform einen standardisierten Repräsentanten der Ähnlichkeitsklasse dieser Matrix.

1. ↑ Wilhelm von Alten u. a., 4000 Jahre Algebra, Springer 2008, S. 409