## [Rationale Kanonische Form](/de/node/63364) Definition 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 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 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 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 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 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 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 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 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.