Ein kanonischer Vertreter der Ähnlichkeitsklasse eines linearen Operators über einem Feld, konstruiert aus den invarianten Faktoren (normierten Teiler des charakteristischen Polynoms) als direkte Summe von Companion-Blöcken; sie klassifiziert Matrizen bis auf Ähnlichkeit ohne Polynomzerfall vorauszusetzen.

Prinzip

Den Vektorraum in zyklische Moduln für den Operator zerlegen, die den invarianten Faktoren entsprechen; jeder invariante Faktor bestimmt einen Companion-Block, und ihre Blockdiagonalsumme ist bis auf Reihenfolge eindeutig und liefert eine kanonische Form unter Ähnlichkeit über dem Grundfeld.

Demonstration

Hat ein linearer Operator invariante Faktoren f1 | f2 | ... | fk, so setzt man die zugehörigen Companion-Matrizen auf die Diagonale. Diese Blockdiagonalmatrix hat das charakteristische Polynom als Produkt der fi und ist über demselben Feld dem ursprünglichen Operator ähnlich.

Fehlanwendung

Die rationale kanonische Form zu verwenden, um explizite Eigenvektoren abzuleiten oder Diagonalisierbarkeit zu behaupten: Companion-Blöcke sind nicht notwendigerweise diagonal und die Form drückt die Ähnlichkeitsklasse aus, nicht eine Eigenbasis; Companion- und Jordan-Blöcke dürfen nicht verwechselt werden.

Konsequenz

Sie liefert eine feldunabhängige Klassifikation von Ähnlichkeitsklassen und ist die geeignete Normalform, wenn Eigenwerte nicht im Grundfeld liegen; ermöglicht algorithmische Bestimmung von Invarianten wie Minimalpolynom und elementaren Teilern.

Umkehrung

Die Jordan-Normalform verfeinert die rationale Form, wenn das charakteristische Polynom zerfällt: Companion-Blöcke zerlegen sich dann in Jordan-Blöcke, die geometrische Vielfachheiten und nilpotente Größen widerspiegeln.

Abgrenzung

Anwendbar über jedem Feld und verlangt keine algebraische Abschlussbildung; sie liefert jedoch keine orthogonalen oder unitären Reduktionen und ist weniger direkt mit spektralen Projektionen verbunden als diagonale oder Schur-Zerlegungen.

Semantische Spannung

Spannung mit der Jordan-Form: Beide geben kanonische Vertreter der Ähnlichkeit, aber die Jordan-Form erfordert Zerfall und liefert eine feinere nilpotente Blockstruktur, während die rationale Form die invarianten Faktoren betont und im Ausgangsfeld funktioniert.

Synthese

Die rationale kanonische Form kodiert die modulare Struktur eines linearen Operators durch invariante Faktoren und Companion-Blöcke, bietet einen kanonischen Ähnlichkeitsvertreter über dem Grundfeld und dient als robuste Klassifikation, wenn das Zerfallen der Eigenwerte nicht gegeben ist.