Zum Inhalt springen

Mathematik für Faule: Lineare Algebra/ Charakteristische Gleichungen

Aus Wikibooks

Definition (Charakteristische Gleichungen):

Es sei ein endlich erzeugter Linearitätsraum bezüglich eines Arithmoids , und es sei eine nilineare Selbstzuordnung (also ein Selbstpfeil in der Kategorie der Linearitätsräume bzgl. ). Eine charakteristische Gleichung von ist eine Polynomgleichung der Form

,

wobei eine Tabelle für die Abbildung bezüglich eines Erzeugendensystems ist; es soll also gelten

().

Satz (Cayley–Hamilton):

Es sei ein endlich erzeugter Linearitätsraum bezüglich eines Arithmoids . Es sei eine Selbstzuordnung von . Dann erfüllt alle seine charakteristischen Gleichungen.

Beweis: Es sei eine Erzeugendenmenge von , wobei . Die Tabellen im Tabellenraum wirken auf durch die Vorschrift

;

man beachte, dass bei dieser Konstruktion die Tabellen-Array-Multiplikation imitiert wurde. Es sei nun eine Tabelle gegeben, welche

erfüllt. Wir setzen

,

und dann gilt nach Wahl der Tabelle , dass

.

Allerdings besagt der Satz von Cramér, dass

,

weshalb also insgesamt

für alle . Da die eine Erzeugendenmenge darstellen, ist somit die Nullzuordnung, was zu beweisen war.

Satz (Nakayama):

Es sei ein endlich erzeugter Linearitätsraum bezüglich eines Arithmoids . Ferner sei ein Ideal. Dann

.

Beweis: Es sei eine Erzeugendenmenge von . Da gilt, hat die Identität von (die wir durch bezeichnen wollen) bezüglich eine Tabelle , deren Einträge sämtlich in sind. Nach dem Satz von Cayley–Hamilton erfüllt die charakteristische Gleichung, die aus entsteht, und da in das Einselement darstellt, gilt also

,

und die Determinante auf der linken Seite dieser Gleichung ist das gesuchte Element, wie man aus der vollständigen Expansion der Determinante leicht ersieht.