Infinite powers of matrices and characteristic roots. (Q2589540)

\(A\) sei eine quadratische Matrix mit komplexen Koeffizienten, \(A^\infty= \lim\limits_{n\to\infty} A^n\). Notwendig und hinreichend für die Existenz von \(A^\infty\) ist \(|\lambda_i|<1\) für alle in höherem als erstem Grad auftretenden charakteristischen Wurzeln \(\lambda_i\) von \(A\) und \(\lambda_i=1\) oder \(|\lambda_i|<1\) für die übrigen. \(A^\infty\) ist dann und nur dann die Nullmatrix, wenn alle \(|\lambda_i|<1\) sind. Es folgen Sätze über die Lage der charakteristischen Wurzeln (insbesondere über den kleinsten Kreis um den Ursprung, der alle \(\lambda_i\) enthält). Zwei Sätze von Frobenius bzw. Hirsch lassen sich mit diesen Hilfsmitteln leicht beweisen.