Eine kanonische Matrixform über einem Körper, die einen linearen Operator als blockdiagonale Matrix aus Begleitmatrizen darstellt, bestimmt durch seine invarianten Faktoren; sie klassifiziert Ähnlichkeitsklassen über dem Grundkörper ohne Notwendigkeit einer algebraischen Abschlussbildung.

Prinzip

Übertrage den Struktursatz für endlich erzeugte Module über einem Hauptidealring in die lineare Algebra: der Vektorraum als Modul über dem Polynomring zerfällt in direkte Summen zyklischer Module, deren Begleitmatrizen die rational-kanonischen Blöcke bilden.

Demonstration

Für einen Endomorphismus mit invariant-Faktor-Zerlegung m1(x) | m2(x) | … konstruiere man für jeden invariant Faktor die Begleitmatrix und setze diese blockdiagonal zusammen, um die rationale kanonische Form zu erhalten, die bis auf die Reihenfolge der Blöcke eindeutig ist.

Fehlanwendung

Die rationale kanonische Form so zu verwenden, als liefere sie automatisch Eigenwerte oder Eigenvektoren über einer Erweiterung des Körpers; zwar bestimmt sie die Ähnlichkeit über dem Grundkörper, ersetzt aber nicht die Jordan-Form, wenn man explizite Eigenbasen über einem algebraischen Abschluss benötigt.

Konsequenz

Sie liefert ein feldunabhängiges vollständiges Invariante für Ähnlichkeit von Matrizen, ermöglicht die Klassifikation linearer Operatoren über beliebigen Körpern und liefert algorithmische Verfahren zur Berechnung kanonischer Blöcke und Minimalpolynome.

Umkehrung

Im Gegensatz dazu steht die Jordansche Normalform, die nach Passage zum algebraischen Abschluss in Jordanblöcken zerlegt und verallgemeinerte Eigenvektoren betont; die Jordan-Form ist über einem algebraisch abgeschlossenen Körper feiner, aber nicht überall ohne Erweiterung definiert.

Abgrenzung

Gilt für lineare Endomorphismen endlichdimensionaler Vektorräume über einem Körper; sie setzt die Modulstruktur über dem Polynomring voraus und behandelt nicht unmittelbar unendlichdimensionale Operatoren oder Objekte außerhalb des linearen-algebraischen Kontextes über einem Körper.

Semantische Spannung

Spannung besteht zwischen rational-kanonischer Form und Jordanscher Form: RCF ist kanonisch über dem Grundkörper und nutzt Begleitblöcke aus invarianten Faktoren, während die Jordan-Form explizite nilpotente Strukturen und Eigenbasen über algebraischen Abschlüssen liefert.

Synthese

Die rationale kanonische Form fasst die Zerlegung nach invarianten Faktoren eines linearen Operators zu einer blockdiagonalen Matrix aus Begleitblöcken zusammen und liefert so einen feldunabhängigen kanonischen Repräsentanten der Ähnlichkeitsklasse, der Minimal- und Charakteristikum-Informationen kodiert.