Zur Konstruktion von Normalmatrizen: Unterschied zwischen den Versionen

Endomorphismen endlich-dimensionaler Vektorräume sind bei Wahl einer geeigneten Basis durch besonders einfach strukturierte Matrizen, die sog. „Normalformen“, darstellbar. Bekannte Typen von Normalformen sind etwa JORDAN-Normalformen oder direkte Summen gewisser Begleitmatrizen. Sind die Normalformen einer Matrix noch vergleichsweise leicht angebbar, so ist zur Berechnung einer zugeordneten Basis schon ein erheblicher Aufwand erforderlich. Neben den bereits in der Literatur bekannten Verfahren zur Basiskonstruktion wird in dieser Arbeit ein weiteres Verfahren entwickelt, dessen Grundidee darin besteht, anstelle der vorgelegten Matrix deren charakteristische Matrix zu betrachten. Auf diese Weise entsteht eine Polynomformulierung des Problems, das (neben den bekannten fünf verschiedenen Normalformen) zu einem neuen Typ führt, genannt „sechste Normalform“. <br />

Das Basisproblem wird für diese sechste Normalform für den Fall, dass der Grad der irreduziblen Teiler des charakteristischen Polynoms höchstens Zwei ist, vollständig gelöst. (Falls dieser Grad Eins ist, liegt die JORDAN-Normalform  vor.) Das hierzu vorgestellte Verfahren eignet sich zur Programmierung, weil das Ermitteln der SMITH-Normalform algorithmierbar ist und weil die weiteren notwendigen Schritte durch den entwickelten Formelsatz algorithmisch aufbereitet sind. Dieses Verfahren wurde im Anschluss an diese Dissertation an der TU Braunschweig von zwei Informatikern im Rahmen ihrer Diplomarbeiten programmiert und untersucht.