Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil II/Vorlesung 53/latex
\setcounter{section}{53}
\zwischenueberschrift{Norm von Endomorphismen und Matrizen}
\inputdefinition
{}
{
Es seien
\mathkor {} {V} {und} {W} {}
endlichdimensionale normierte
${\mathbb K}$-\definitionsverweis {Vektorräume}{}{}
und
\maabb {\varphi} {V} {W
} {}
eine
\definitionsverweis {lineare Abbildung}{}{.}
Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{ \Vert {\varphi} \Vert
}
{ \defeq} { {\operatorname{sup} \, ( \Vert { \varphi(v)} \Vert , \Vert {v} \Vert = 1 ) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Norm}{} von $\varphi$.
}
genauer spricht man von der \stichwort {Supremumsnorm} {} oder der \stichwort {Maximumsnorm} {.} Dies ist in der Tat eine Norm auf dem endlichdimensionalen ${\mathbb K}$-Vektorraum
\mathl{\operatorname{Hom}_{ {\mathbb K} } { \left( V , W \right) }}{.} Sie ist ein Spezialfall der Supremumsnorm von Arbeitsblatt 32, wenn man die Inklusion
\mavergleichskette
{\vergleichskette
{ \operatorname{Hom}_{ {\mathbb K} } { \left( V , W \right) }
}
{ \subseteq }{ C^0 ( { \left\{ v \in V \mid \Vert {v} \Vert = 1 \right\} } ,W)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heranzieht. In dieser Situation kann man statt des Supremums auch das Maximum nehmen, da das Supremum aufgrund der Kompaktheit der Sphäre
\zusatzklammer {bezüglich der gegebenen Norm} {} {}
\mavergleichskette
{\vergleichskette
{ S
}
{ = }{ { \left\{ v \in V \mid \Vert {v} \Vert = 1 \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
angenommen wird. Diese Norm hängt von den gewählten Normen auf
\mathkor {} {V} {und} {W} {}
ab, aufgrund der Ergebnisse der letzten Vorlesung ist allerdings die Topologie auf dem Homomorphismenraum für jede Norm gleich. Eine wichtige Abschätzung ist
\mavergleichskettedisp
{\vergleichskette
{ \Vert { \varphi(v)} \Vert
}
{ \leq} { \Vert {\varphi} \Vert \cdot \Vert {v} \Vert
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mathl{v \in V}{,} siehe
Aufgabe 53.27.
Bei
\mavergleichskette
{\vergleichskette
{V
}
{ = }{ {\mathbb K}^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{W
}
{ = }{ {\mathbb K}^m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erhält man bei fixierten Normen auf diesen Räumen ausgewählte Normen auf dem Matrizenraum
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Mat}_{ m \times n } ({\mathbb K})
}
{ =} { \operatorname{Hom}_{ {\mathbb K} } { \left( {\mathbb K}^n , {\mathbb K}^m \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Mat}_{ m \times n } ({\mathbb K})
}
{ =} { {\mathbb K}^{n m }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kann man den Matrizenraum auch mit der euklidischen Norm, der Maximumsnorm
\zusatzklammer {bezogen auf die einzelnen Matrixeinträge} {} {}
und der Summennorm versehen. Es gibt darüber hinaus noch weitere Normen, die Bezug auf die Matrixstruktur nehmen. Es sei die Matrix
\mavergleichskette
{\vergleichskette
{A
}
{ = }{ (a_{ij})_{ij}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Man nennt
\mathdisp {{\max { \left( \sum_{ i = 1}^m \betrag { a_{ij} } , j = 1 , \ldots , n \right) } }} { }
die \stichwort {Spaltensummennorm} {} und
\mathdisp {{\max { \left( \sum_{ j = 1}^n \betrag { a_{ij} } , i = 1 , \ldots , m \right) } }} { }
die \stichwort {Zeilensummennorm} {.} Die Spaltensummennorm ist die Maximumsnorm im Sinne von
Definition 53.1,
wenn man die beiden Räume mit der Summennorm versieht, siehe
Aufgabe 53.4.
\zwischenueberschrift{Konvergenz von Matrixpotenzen}
Zu einer komplexen Zahl $z$ hängt das Konvergenzverhalten der Potenzen
\mathbed {z^n} {}
{n \in \N} {}
{} {} {} {,}
wesentlich vom Betrag der Zahl ab. Bei
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
konvergiert die Folge $z^n$ gegen $0$, bei
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Folge zwar beschränkt, konvergiert aber nur bei
\mavergleichskette
{\vergleichskette
{z
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und bei
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Folge divergent. Die entsprechende Fragestellung ergibt auch für Potenzen von quadratischen Matrizen mit Einträgen über ${\mathbb C}$ Sinn. All diese Potenzen liegen in
\mavergleichskette
{\vergleichskette
{ \operatorname{Mat}_{ d } ({\mathbb C})
}
{ \cong }{ {\mathbb C}^{d^2}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da dies ein endlichdimensionaler komplexer Vektorraum ist, hängt die Konvergenz in ihm nach den Ergebnissen der letzten Vorlesung nicht von einer gewählten Norm ab. Für eine Diagonalmatrix
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} z_1 & 0 & \cdots & \cdots & 0 \\ 0 & z_2 & 0 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & z_{d-1} & 0 \\ 0 & \cdots & \cdots & 0 & z_d \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
hängt das Konvergenzverhalten der Potenzen
\mavergleichskettedisp
{\vergleichskette
{M^n
}
{ =} { \begin{pmatrix} z_1 & 0 & \cdots & \cdots & 0 \\ 0 & z_2 & 0 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & z_{d-1} & 0 \\ 0 & \cdots & \cdots & 0 & z_d \end{pmatrix}^n
}
{ =} { \begin{pmatrix} z_1^n & 0 & \cdots & \cdots & 0 \\ 0 & z_2^n & 0 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & z_{d-1}^n & 0 \\ 0 & \cdots & \cdots & 0 & z_d^n \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{}
direkt von den Einträgen in der Diagonalen ab. Beispielsweise konvergieren die Potenzen der Matrix gegen die Nullmatrix, wenn der Betrag eines jeden Diagonaleintrags kleiner als $1$ ist.
\inputbeispiel{}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{ M
}
{ =} { \begin{pmatrix} \lambda & 1 \\ 0 & \lambda \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{\lambda \in {\mathbb C}}{.} Dann ist nach
Aufgabe 28.14
\mavergleichskettedisp
{\vergleichskette
{M^n
}
{ =} { \begin{pmatrix} \lambda^n & n \lambda^{n-1} \\ 0 & \lambda^n \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \lambda }
}
{ <} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
konvergiert diese Matrixfolge gegen die Nullmatrix, da jeder Eintrag gegen $0$ konvergiert, für
\mavergleichskettedisp
{\vergleichskette
{\lambda
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
konvergiert die Folge nicht, da der Eintrag rechts oben nicht konvergiert und noch nicht einmal beschränkt ist. Dies ist generell bei
\mavergleichskette
{\vergleichskette
{ \betrag { \lambda }
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Fall.
}
Die Konvergenz von Matrixpotenzen hat viel mit Eigenvektoren der Matrix zu tun.
\inputfaktbeweis
{Endomorphismus/Potenzfolge/Konvergenz/Eigenvektor oder 0/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und
\maabbdisp {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{.}
Es sei
\mathl{v \in V}{} derart, dass die Folge
\mathl{\varphi^n(v)}{}
\definitionsverweis {konvergiert}{}{.}}
\faktfolgerung {Dann ist der
\definitionsverweis {Grenzvektor}{}{}
\mavergleichskettedisp
{\vergleichskette
{w
}
{ \defeq} { \lim_{n \rightarrow \infty} \varphi^n(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der Nullvektor oder ein
\definitionsverweis {Eigenvektor}{}{}
von $\varphi$ zum
\definitionsverweis {Eigenwert}{}{}
$1$.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei $w$ der Grenzvektor. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \varphi^{n+1} (v)
}
{ =} { \varphi ( \varphi^n(v) )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mathl{n \in \N}{.} Aufgrund der Stetigkeit
\zusatzklammer {nach
Satz 52.17} {} {}
von $\varphi$ sind die Limiten
\zusatzklammer {nach
Satz 52.13} {} {}
vertauschbar, also
\mavergleichskettedisp
{\vergleichskette
{ w \!
}
{ =} { \lim_{n \rightarrow \infty} \varphi^n(v)
}
{ =} { \lim_{n \rightarrow \infty} \varphi^{n+1}(v)
}
{ =} { \lim_{n \rightarrow \infty} \varphi( \varphi^{n}(v))
}
{ =} { \varphi { \left( \lim_{n \rightarrow \infty} \varphi^n(v) \right) }
}
}
{
\vergleichskettefortsetzung
{ =} { \varphi(w)
}
{ } {
}
{ } {}
{ } {}
}{}{.}
Daher ist $w$ ein
\definitionsverweis {Fixpunkt}{}{}
von $\varphi$, also der Nullvektor oder ein Eigenvektor zum Eigenwert $1$.
\inputfaktbeweis
{Endomorphismus/K/Potenz/Darstellung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und
\maabbdisp {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{}
mit der Zerlegung
\zusatzklammer {im Sinne von
Satz 28.1} {} {}
\mavergleichskettedisp
{\vergleichskette
{ \varphi
}
{ =} { \varphi_{\rm diag} + \varphi_{\rm nil}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer
\zusatzklammer {untereinander
\definitionsverweis {vertauschbaren}{}{}} {} {}
\definitionsverweis {diagonalisierbaren}{}{}
und einer
\definitionsverweis {nilpotenten}{}{}
Abbildung mit
\mavergleichskettedisp
{\vergleichskette
{ \varphi_{\rm nil}^k
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktfolgerung {Dann besitzen die Potenzen von $\varphi$ die Darstellung
\mavergleichskettedisp
{\vergleichskette
{ \varphi^n
}
{ =} { \varphi_{\rm diag}^n + n \varphi_{\rm diag}^{n-1} \circ \varphi_{\rm nil} + \binom { n } { 2 } \varphi_{\rm diag}^{n-2} \circ \varphi_{\rm nil}^2 + \binom { n } { 3 } \varphi_{\rm diag}^{n-3} \circ \varphi_{\rm nil}^3 + \cdots + \binom { n } { k-1 } \varphi_{\rm diag}^{n-k+ 1} \circ \varphi_{\rm nil}^{k-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt direkt aus
\mavergleichskettedisp
{\vergleichskette
{ \varphi^n
}
{ =} { { \left( \varphi_{\rm diag} + \varphi_{\rm nil} \right) }^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
der Vertauschbarkeit und der allgemeinen binomischen Formel.
\zwischenueberschrift{Asymptotische Stabilität und Stabilität}
\inputdefinition
{}
{
Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und
\maabbdisp {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{.}
Dann heißt $\varphi$
\definitionswort {asymptotisch stabil}{,}
wenn die Folge $\varphi^n$ in
\mathl{\operatorname{End}_{ } { \left( V \right) }}{} gegen die
\definitionsverweis {Nullabbildung}{}{} \definitionsverweis {konvergiert}{}{.}
}
Im Folgenden werden in der reellen Situation auch die komplexen Eigenwerte eine Rolle spielen. Diese sind die komplexen Nullstellen des charakteristischen Polynoms bzw. die Eigenwerte der Matrix, wenn man sie über ${\mathbb C}$ auffasst. Sie sind nicht Eigenwerte der reellen Matrix im Sinne der Definition. Auch die jordansche Normalform, die ja im Allgemeinen nur komplex existiert, wird ebenfalls in der reellen Situation verwendet.
\inputfaktbeweis
{Endomorphismus/K/Potenz/Nullkonvergenz/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und
\maabbdisp {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{.}}
\faktuebergang {Dann sind folgende Eigenschaften äquivalent.}
\faktfolgerung {\aufzaehlungvier{ $\varphi$ ist
\definitionsverweis {asymptotisch stabil}{}{.}
}{Zu jedem
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
konvergiert die Folge
\mathbed {\varphi^n(v)} {}
{n \in \N} {}
{} {} {} {,}
gegen
\mavergleichskette
{\vergleichskette
{ 0
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es gibt ein
\definitionsverweis {Erzeugendensystem}{}{}
\mathl{v_1 , \ldots , v_m \in V}{} derart, dass
\mathbed {\varphi^n (v_j)} {}
{j = 1 , \ldots , m} {}
{} {} {} {,}
gegen $0$ konvergiert.
}{Der Betrag eines jeden
\definitionsverweis {komplexen Eigenwerts}{}{}
von $\varphi$ ist kleiner als $1$.
}}
\faktzusatz {}
\faktzusatz {}
}
{
Aus (1) folgt (2). Es sei
\mathl{v \in V}{.} Wir können mit einer beliebigen
\definitionsverweis {Norm}{}{}
auf $V$ und dem Endomorphismenraum arbeiten, beispielsweise mit der Maximumsnorm. Dann konvergiert wegen
\mavergleichskettedisp
{\vergleichskette
{ \Vert { \varphi^n(v)} \Vert
}
{ \leq} { \Vert { \varphi^n} \Vert_{\rm max} \cdot \Vert {v} \Vert
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Folge $\varphi^n(v)$ gegen $0$. Von (2) nach (3) ist klar. Wenn umgekehrt (3) erfüllt ist, und
\mavergleichskettedisp
{\vergleichskette
{v
}
{ =} {a_1v_1 + \cdots + a_mv_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Linearkombination ist, so ist
\mavergleichskettedisp
{\vergleichskette
{\varphi^n { \left( a_1v_1 + \cdots + a_mv_m \right) }
}
{ =} { a_1 \varphi^n(v_1) + \cdots + a_m \varphi^n(v_m)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und aus der Konvergenz der beteiligten Folgen
\mathl{\varphi^n(v_j)}{} gegen $0$ folgt die Konvergenz dieser Summenfolge gegen $0$. Von (2) bzw. (3) nach (4). Wir können
\mavergleichskette
{\vergleichskette
{ {\mathbb K}
}
{ = }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
annehmen: Im reellen Fall kann man von
\mavergleichskette
{\vergleichskette
{V
}
{ = }{\R^d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ausgehen und die Abbildung durch eine reelle Matrix ausdrücken und diese als komplexe Matrix auffassen. Das gegebene reelle Erzeugendensystem ist dann auch ein komplexes Erzeugendensysten für den ${\mathbb C}^d$. Es sei $\lambda$ ein Eigenwert und
\mathl{v \in V}{} ein Eigenvektor zu $\lambda$. Da nach Voraussetzung
\mavergleichskettedisp
{\vergleichskette
{ \varphi^n(v)
}
{ =} { \lambda^n v
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegen $0$ konvergiert, muss $\lambda^n$ gegen $0$ konvergieren und daher ist
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \lambda }
}
{ <} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für den Schluss von (4) auf (1) verwenden wir
Lemma 53.4,
es ist also
\mavergleichskettedisp
{\vergleichskette
{ \varphi^n
}
{ =} { \varphi_{\rm diag}^n + n \varphi_{\rm diag}^{n-1} \circ \varphi_{\rm nil} + \binom { n } { 2 } \varphi_{\rm diag}^{n-2} \circ \varphi_{\rm nil}^2 + \binom { n } { 3 } \varphi_{\rm diag}^{n-3} \circ \varphi_{\rm nil}^3 + \cdots + \binom { n } { k-1 } \varphi_{\rm diag}^{n-k+ 1} \circ \varphi_{\rm nil}^{k-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $k$ die Nilpotenzordnung des nilpotenten Anteils
\mathl{\varphi_{\rm nil}}{} ist. Die Eigenwerte von $\varphi$ sind
nach Aufgabe 28.3
die Eigenwerte des diagonalisierbaren Anteils
\mathl{\varphi_{\rm diag}}{,} sie seien mit $z_j$ bezeichnet. Die Summanden sind von der Form
\mathdisp {p(n) \varphi_{\rm diag}^{n-s} \circ \varphi_{\rm nil}^s} { }
zu einem festen
\mavergleichskette
{\vergleichskette
{s
}
{ < }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einem Polynom
\mathl{p(n)}{.} Die Diagonaleinträge von
\mathl{p(n) \varphi_{\rm diag}^{n-s}}{} sind
\zusatzklammer {nach Diagonalisieren} {} {}
von der Form
\mathdisp {p(n) z_j^{n-s}} { }
und wegen
\mavergleichskette
{\vergleichskette
{ \betrag { z_j }
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
konvergiert dies für
\mathl{n \rightarrow \infty}{} gegen $0$. Daher konvergiert
\mathl{p(n) \varphi_{\rm diag}^{n-s}}{} gegen die Nullabbildung und das gilt
nach Aufgabe 53.7
auch für das Produkt mit der festen Abbildung
\mathl{\varphi_{\rm nil}^s}{.} Daher konvergiert auch die Summe gegen die Nullabbildung.
\inputdefinition
{}
{
Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und
\maabbdisp {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{.}
Der
\definitionswort {Spektralradius}{}
von $\varphi$ ist
\mavergleichskettedisp
{\vergleichskette
{ \rho(\varphi)
}
{ =} { {\max { \left( \betrag { \lambda } , \lambda \text{ ist ein komplexer Eigenwert von } \varphi \right) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Da es im endlichdimensionalen Fall nur endlich viele
\zusatzklammer {komplexe} {} {}
Eigenwerte gibt, ist der Spektralradius wohldefiniert. Gemäß
Satz 53.6
ist der Endomorphismus genau dann asymptotisch stabil, wenn der Spektralradius
\mathl{<1}{} ist. Wir betonen, dass im Reellen der Spektralradius unter Bezug auf die Komplexifizierung berechnet wird.
\inputfaktbeweis
{Spektralradius/Maximumsnorm/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und
\maabbdisp {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{.}
Es sei eine
\definitionsverweis {Norm}{}{}
auf $V$ gegeben und
\mathl{\Vert {-} \Vert_{\rm max}}{} die entsprechende Norm auf dem
\definitionsverweis {Endomorphismenraum}{}{.}}
\faktfolgerung {Dann gilt für den
\definitionsverweis {Spektralradius}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \rho(\varphi)
}
{ \leq} { \Vert {\varphi} \Vert_{\rm max}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei $\lambda$ ein Eigenwert von $\varphi$ mit
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \lambda }
}
{ =} { \rho(\varphi)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es sei
\mathl{v \in V}{} ein Eigenvektor zu $\lambda$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \lambda } \cdot \Vert {v} \Vert
}
{ =} { \Vert { \lambda v } \Vert
}
{ =} { \Vert { \varphi( v ) } \Vert
}
{ \leq} {\Vert { \varphi } \Vert_{\rm max} \cdot \Vert { v } \Vert
}
{ } {
}
}
{}{}{}
und Division durch
\mathl{\Vert { v } \Vert}{} liefert die Behauptung.
\inputdefinition
{}
{
Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und
\maabbdisp {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{.}
Dann heißt $\varphi$
\definitionswort {stabil}{,}
wenn die Folge $\varphi^n$ in
\mathl{\operatorname{End}_{ } { \left( V \right) }}{}
\definitionsverweis {beschränkt}{}{}
ist.
}
Beispielsweise ergibt sich aus dem folgenden Satz, dass eine Isometrie auf einem euklidischen Raum $V$ stabil ist, da für jeden Vektor
\mathl{v \in V}{} ja
\mathl{\Vert { \varphi^n(v)} \Vert}{} sogar konstant ist.
\inputfaktbeweis
{Endomorphismus/K/Potenz/Beschränktheit/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und
\maabbdisp {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{.}}
\faktuebergang {Dann sind folgende Eigenschaften äquivalent.}
\faktfolgerung {\aufzaehlungfuenf{$\varphi$ ist
\definitionsverweis {stabil}{}{.}
}{Zu jedem
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Folge
\mathbed {\varphi^n(v)} {}
{n \in \N} {}
{} {} {} {,}
\definitionsverweis {beschränkt}{}{.}
}{Es gibt ein
\definitionsverweis {Erzeugendensystem}{}{}
\mathl{v_1 , \ldots , v_m \in V}{} derart, dass
\mathbed {\varphi^n (v_j)} {}
{j = 1 , \ldots , m} {}
{} {} {} {,}
beschränkt ist.
}{Der Betrag eines jeden
\definitionsverweis {komplexen Eigenwerts}{}{}
von $\varphi$ ist kleiner oder gleich $1$ und die Eigenwerte mit Betrag $1$ sind diagonalisierbar, d.h. ihre
\definitionsverweis {algebraische Vielfachheit}{}{}
ist gleich ihrer
\definitionsverweis {geometrischen Vielfachheit}{}{.}
}{Für eine beschreibende Matrix $M$ von $\varphi$, aufgefasst über ${\mathbb C}$, sind die
\definitionsverweis {Jordan-Blöcke}{}{}
der
\definitionsverweis {jordanschen Normalform}{}{}
gleich
\mathdisp {\begin{pmatrix} \lambda & 1 & 0 & \cdots & 0 \\ 0 & \lambda & 1 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ \vdots & \cdots & 0 & \lambda & 1 \\ 0 & \cdots & \cdots & 0 & \lambda \end{pmatrix}} { }
mit
\mavergleichskette
{\vergleichskette
{ \betrag { \lambda }
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder gleich $(\lambda)$ mit
\mavergleichskette
{\vergleichskette
{ \betrag { \lambda }
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Aus (1) folgt (2). Es sei
\mathl{v \in V}{.} Wir können mit einer beliebigen
\definitionsverweis {Norm}{}{}
auf $V$ und dem Endomorphismenraum arbeiten, beispielsweise mit der Maximumsnorm. Dann ist wegen
\mavergleichskettedisp
{\vergleichskette
{ \Vert { \varphi^n(v)} \Vert
}
{ \leq} { \Vert { \varphi^n} \Vert_{\rm max} \cdot \Vert {v} \Vert
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auch
\mathl{\varphi^n(v)}{} beschränkt. Von (2) nach (3) ist klar. Wenn umgekehrt (3) erfüllt ist, und
\mavergleichskettedisp
{\vergleichskette
{v
}
{ =} {a_1v_1 + \cdots + a_mv_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Linearkombination ist, so ist
\mavergleichskettedisp
{\vergleichskette
{\varphi^n { \left( a_1v_1 + \cdots + a_mv_m \right) }
}
{ =} { a_1 \varphi^n(v_1) + \cdots + a_m \varphi^n(v_m)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und aus der Beschränktheit der beteiligten Folgen
\mathl{\varphi^n(v_j)}{} folgt die Beschränktheit dieser Summenfolge. Die Äquivalenz von (4) und (5) ist klar, da über ${\mathbb C}$ die jordansche Normalform existiert und man die Eigenwerte und die Vielfachheiten aus den Jordan-Blöcken ablesen kann. Von (2) nach (5). Wir können
\mavergleichskette
{\vergleichskette
{ {\mathbb K}
}
{ = }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
annehmen. Es sei
\mavergleichskettedisp
{\vergleichskette
{J
}
{ =} { \begin{pmatrix} \lambda & 1 & 0 & \cdots & 0 \\ 0 & \lambda & 1 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ \vdots & \cdots & 0 & \lambda & 1 \\ 0 & \cdots & \cdots & 0 & \lambda \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein Jordan-Block der jordanschen Normalform. Bei
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \lambda }
}
{ >} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt sich für einen zugehörigen Eigenvektor $v$ wegen
\mavergleichskettedisp
{\vergleichskette
{ \Vert { \varphi^n (v)} \Vert
}
{ =} { \betrag { \lambda }^n \Vert {v} \Vert
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
direkt ein Widerspruch zur Beschränktheit. Sei
also
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \lambda }
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und sei angenommen, dass der Jordan-Block mindestens die Länge zwei besitzt. Nach
Aufgabe 53.21
ist
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} \lambda & 1 & 0 & \cdots & 0 \\ 0 & \lambda & 1 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ \vdots & \cdots & 0 & \lambda & 1 \\ 0 & \cdots & \cdots & 0 & \lambda \end{pmatrix}^n \begin{pmatrix} 1 \\1\\ 0\\\vdots\\ 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} \lambda^n + n \lambda^{n-1} \\ \lambda^n \\ 0\\\vdots\\ 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei ist aber die erste Komponente
\mavergleichskettedisp
{\vergleichskette
{ \lambda^n + n \lambda^{n-1}
}
{ =} { \lambda^{n-1} ( \lambda +n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nicht beschränkt im Widerspruch zur Voraussetzung.
Für den Schluss von (5) auf (1) können wir die einzelnen Jordan-Blöcke getrennt voneinander analysieren, da die Stabilität nach
Aufgabe 53.19
mit einer Zerlegung in direkte Summanden verträglich ist. Für den ersten Typ folgt die Aussage aus
Satz 53.6,
für den Typ $\lambda$ mit
\mavergleichskette
{\vergleichskette
{\lambda
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist es klar, da die Norm der Potenzen konstant gleich $1$ ist.
Für die Konvergenz der Matrixpotenzen gibt es die folgende Charakterisierung.
{Endomorphismus/K/Potenz/Konvergenz/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
${\mathbb K}$-\definitionsverweis {Vektorraum}{}{}
und
\maabbdisp {\varphi} {V} {V
} {}
ein
\definitionsverweis {Endomorphismus}{}{.}}
\faktuebergang {Dann sind folgende Eigenschaften äquivalent.}
\faktfolgerung {\aufzaehlungfuenf{Die Folge $\varphi^n$
\definitionsverweis {konvergiert}{}{}
in
\mathl{\operatorname{End}_{ } { \left( V \right) }}{.}
}{Zu jedem
\mavergleichskette
{\vergleichskette
{ v }
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {konvergiert}{}{}
die Folge
\mathbed {\varphi^n(v)} {}
{n \in \N} {}
{} {} {} {.}
}{Es gibt ein
\definitionsverweis {Erzeugendensystem}{}{}
\mathl{v_1 , \ldots , v_m \in V}{} derart, dass
\mathbed {\varphi^n (v_j)} {}
{j = 1 , \ldots , m} {}
{} {} {} {,}
konvergiert.
}{Der Betrag eines jeden
\definitionsverweis {komplexen Eigenwerts}{}{}
von $\varphi$ ist kleiner oder gleich $1$ und falls der Betrag $1$ ist, so ist der Eigenwert selbst $1$ und
\definitionsverweis {diagonalisierbar}{}{.}
}{Für eine beschreibende Matrix $M$ von $\varphi$, aufgefasst über ${\mathbb C}$, sind die
\definitionsverweis {Jordan-Blöcke}{}{}
der
\definitionsverweis {jordanschen Normalform}{}{}
gleich
\mathdisp {\begin{pmatrix} \lambda & 1 & 0 & \cdots & 0 \\ 0 & \lambda & 1 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ \vdots & \cdots & 0 & \lambda & 1 \\ 0 & \cdots & \cdots & 0 & \lambda \end{pmatrix}} { }
mit
\mavergleichskette
{\vergleichskette
{ \betrag { \lambda }
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder gleich $(1)$.
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 53.22. }