Kanonische Form

Eine kanonische Form ist eine Standardmatrixdarstellung eines linearen Operators unter Ähnlichkeit, die eine vollständige und berechenbare Invariante liefert, welche Operatoren bis auf Basiswechsel klassifiziert.

Definition

Eine kanonische Form ist eine ausgezeichnete Matrix, zu der jeder Operator in einer Ähnlichkeitsklasse ähnlich ist, sodass zwei Operatoren genau dann konjugiert sind, wenn sie dieselbe kanonische Form teilen; die Hauptbeispiele sind die rationale und die Jordan-Normalform.

Scope

Dieses Thema behandelt die Ähnlichkeit von Matrizen, Invariantenteiler und Elementarteiler, die rationale kanonische Form, die über jedem Körper gültig ist, die Jordan-Normalform über einem algebraisch abgeschlossenen Körper und deren Ableitung aus dem Struktursatz für Moduln über einem Hauptidealring.

Core questions

• Wann sind zwei Matrizen ähnlich?
• Welche vollständige Menge von Invarianten klassifiziert einen Operator bis auf Ähnlichkeit?
• Wie werden die rationale und die Jordan-Normalform konstruiert?
• Wie erzeugt der Modulstruktursatz kanonische Formen?

Key theories

Rationale kanonische Form

Über jedem Körper ist jeder Operator ähnlich zu einer eindeutigen Blockdiagonalmatrix, die aus Begleitmatrizen ihrer Invariantenteiler aufgebaut ist, sodass die Invariantenteiler eine vollständige Ähnlichkeitsinvariante bilden.

Jordan-Normalform

Über einem algebraisch abgeschlossenen Körper ist jeder Operator ähnlich zu einer eindeutigen Jordan-Matrix, einer blockdiagonalen Anordnung von Jordan-Blöcken, die durch Eigenwerte und Elementarteiler indiziert sind und die rationale Form verfeinern.

Kanonische Formen aus dem PID-Struktursatz

Betrachtet man einen Vektorraum mit einem Operator als Modul über dem Polynomring, so liefert der Struktursatz für endlich erzeugte Moduln über einem Hauptidealring beide kanonischen Formen als seine konkrete Manifestation.

Clinical relevance

Kanonische Formen machen die Klassifikation von Operatoren effektiv: Die Jordan-Normalform zeigt, wie ein Operator wirkt, selbst wenn er nicht diagonalisierbar ist, was für die Lösung linearer Differentialgleichungssysteme, die Berechnung von Matrixexponentials und die Analyse des Langzeitverhaltens linearer dynamischer Systeme unerlässlich ist.

History

Weierstrass führte in den 1870er Jahren Elementarteiler ein, und Jordan gab seine kanonische Form an, wobei er Operatoren nach ihrem Verhalten auf verallgemeinerten Eigenräumen klassifizierte. Frobenius entwickelte die rationale kanonische Form, die über jedem Körper gültig ist, und die moderne Herleitung vereinheitlicht sie durch die Modultheorie.

Key figures

• Camille Jordan
• Karl Weierstrass
• Ferdinand Georg Frobenius

Seminal works

• hoffman1971
• dummit2004
• roman2008

Frequently asked questions

Warum sollte man die rationale kanonische Form verwenden, wenn die Jordan-Normalform bekannter ist?

Die Jordan-Normalform erfordert, dass die Eigenwerte im Körper liegen, also benötigt sie einen algebraisch abgeschlossenen Körper. Die rationale kanonische Form funktioniert über jedem Körper, einschließlich der rationalen Zahlen, indem sie Begleitmatrizen der Invariantenteiler anstelle von Eigenwerten verwendet.

Wie hängen kanonische Formen mit der Modultheorie zusammen?

Ein Vektorraum mit einem festen Operator ist ein Modul über dem Polynomring in einer Variablen, einem Hauptidealring. Der Struktursatz für solche Moduln zerlegt ihn in zyklische Stücke, und das Ablesen dieser Stücke ergibt genau die rationale und die Jordan-Normalform.