The Jordan normal form of infinite matrices (Q674683): Difference between revisions

Der Verfasser untersucht unendliche Matrizen A über einem überabzählbaren algebraisch abgeschlossenen oder einem endlichen Körper hinsichtlich einer schwachen Ähnlichkeit zu einer Jordan-Matrix \(J\), die in der Hauptdiagonalen lauter endliche Jordan-Kästchen oder noch einen unendlichen Jordan-Block aufweist. Die schwache Ähnlichkeit besagt die Existenz einer Matrix \(X\) mit \(AX=XJ\) bzw. \(XA=JX\). Dabei wird von \(A\) Zeilenendlichkeit (Spaltenendlichkeit) vorausgesetzt und außerdem, daß für gewisse endliche Hauptuntermatrizen \(A_n\) aufsteigender Ordnung reguläre Matrizen \(X_n\) existieren, für die \(X_n^{-1}A_nX_n\) eine Jordansche Normalform ist. Der Beweis erfolgt mit Hilfe eines Satzes von Abian bzw. mit dem Kompaktheitssatz der Modelltheorie. Ein entsprechendes weiteres Ergebnis betrifft die schwache Ähnlichkeit zu einer Diagonalmatrix.