Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil I/Arbeitsblatt 27/latex

\setcounter{section}{27}

\zwischenueberschrift{Die Pausenaufgabe}

\inputaufgabe
{}
{

Zeige, dass die \definitionsverweis {Matrix}{}{}
\mathdisp {\begin{pmatrix} -2 & 4 \\ -1 & 2 \end{pmatrix}} { }
\definitionsverweis {nilpotent}{}{} ist.

}
{} {}

\zwischenueberschrift{Übungsaufgaben}

\inputaufgabe
{}
{

Zeige, dass die komplexe Matrix
\mathdisp {\begin{pmatrix} 1 & { \mathrm i} \\ { \mathrm i} & -1 \end{pmatrix}} { }
\definitionsverweis {nilpotent}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Wir betrachten die \definitionsverweis {Matrix}{}{}
\mavergleichskettedisp
{\vergleichskette
{M }
{ =} {\begin{pmatrix} 0 & a & b & c & d \\ 0 & 0 & e & f & g \\ 0 & 0 & 0 & h & i \\ 0 & 0 & 0 & 0 & j \\ 0 & 0 & 0 & 0 & 0 \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} über einem \definitionsverweis {Körper}{}{} $K$. Zeige, dass die fünfte \definitionsverweis {Potenz}{}{} von $M$ gleich $0$ ist, also
\mavergleichskettedisp
{\vergleichskette
{M^5 }
{ =} { MMMMM }
{ =} {0 }
{ } { }
{ } { }
} {}{}{.}

}
{} {}

\inputaufgabe
{}
{

Es sei \maabbdisp {D} { \R[X]_{\geq m}} { \R[X]_{\geq m} } {} die Einschränkung des \definitionsverweis {Ableitungsoperators}{}{}
\mathl{P \mapsto P'}{} auf die Polynome vom Grad
\mathl{\leq m}{.} Zeige, dass $D$ \definitionsverweis {nilpotent}{}{} ist. Zeige ebenfalls, dass \maabbdisp {D} { \R[X]} { \R[X] } {} nicht nilpotent ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $V$ ein $K$-\definitionsverweis {Vektorraum}{}{} und \maabbdisp {\varphi} {V} {V } {} eine \definitionsverweis {injektive}{}{} \definitionsverweis {lineare Abbildung}{}{.} Zeige, dass
\mathl{\varphi}{} nicht \definitionsverweis {nilpotent}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} $K$-\definitionsverweis {Vektorraum}{}{.} Es sei \maabbdisp {\varphi} {V} {V } {} eine \definitionsverweis {nilpotente}{}{} \definitionsverweis {lineare Abbildung}{}{.} Zeige, dass
\mavergleichskette
{\vergleichskette
{ \varphi^n }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, wobei $n$ die Dimension von $V$ bezeichnet.

}
{} {}

\inputaufgabegibtloesung
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und es sei $V$ ein $K$-\definitionsverweis {Vektorraum}{}{.} Es sei \maabbdisp {\varphi} {V} {V } {} eine \definitionsverweis {nilpotente}{}{} \definitionsverweis {lineare Abbildung}{}{.} Zeige, dass $0$ der einzige \definitionsverweis {Eigenwert}{}{} von $\varphi$ ist.

}
{} {}

\inputaufgabegibtloesung
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} $K$-\definitionsverweis {Vektorraum}{}{.} Es sei \maabbdisp {\varphi} {V} {V } {} eine \definitionsverweis {nilpotente}{}{} \definitionsverweis {lineare Abbildung}{}{,} die auch \definitionsverweis {diagonalisierbar}{}{} sei. Zeige
\mavergleichskettedisp
{\vergleichskette
{\varphi }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{} {}

\inputaufgabe
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} $K$-\definitionsverweis {Vektorraum}{}{.} Es sei \maabbdisp {\varphi} {V} {V } {} eine \definitionsverweis {nilpotente}{}{} \definitionsverweis {lineare Abbildung}{}{.} Was ist die \definitionsverweis {Determinante}{}{} von $\varphi$?

}
{} {}

\inputaufgabe
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} $K$-\definitionsverweis {Vektorraum}{}{.} Es sei \maabbdisp {\varphi} {V} {V } {} eine \definitionsverweis {nilpotente}{}{} \definitionsverweis {lineare Abbildung}{}{.} Was ist die \definitionsverweis {Spur}{}{} von $\varphi$?

}
{} {}

\inputaufgabegibtloesung
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{.}

a) Charakterisiere die \definitionsverweis {nilpotenten}{}{} $2\times 2$-\definitionsverweis {Matrizen}{}{}
\mathdisp {\begin{pmatrix} x & y \\ z & w \end{pmatrix}} { }
über $K$ mit Hilfe von zwei Gleichungen in den Variablen
\mathl{x,y,z,w}{.}

b) Sind die Gleichungen linear?

}
{} {}

\inputaufgabegibtloesung
{}
{

a) Es sei $M$ eine $2 \times 2$-\definitionsverweis {Matrix}{}{,} die \definitionsverweis {trigonalisierbar}{}{,} aber weder \definitionsverweis {diagonalisierbar}{}{} noch \definitionsverweis {invertierbar}{}{} ist. Zeige, dass $M$ \definitionsverweis {nilpotent}{}{} ist.

b) Man gebe ein Beispiel einer $3 \times 3$-\definitionsverweis {Matrix}{}{} $M$, die trigonalisierbar, aber weder diagonalisierbar noch invertierbar, noch nilpotent ist.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass die im Beweis zu Lemma 27.11 konstruierten Untervektorräume $U_i$ im Allgemeinen nicht $\varphi$-\definitionsverweis {invariant}{}{} sind.

}
{} {}

\inputaufgabe
{}
{

Es sei \maabbdisp {\varphi} {V} {V } {} ein \definitionsverweis {nilpotenter Endomorphismus}{}{} auf einem endlichdimensionalen $K$-\definitionsverweis {Vektor\-raum}{}{} $V$. Es sei
\mavergleichskettedisp
{\vergleichskette
{V_i }
{ \defeq} { \operatorname{kern} \varphi^{i} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Zeige, dass für die Dimensionsprünge die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \dim_{ K } { \left( V_i \right) } - \dim_{ K } { \left( V_i-1 \right) } }
{ \geq} { \dim_{ K } { \left( V_{i+1} \right) } - \dim_{ K } { \left( V_i \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}

Die folgende Aufgabe verallgemeinert das Konzept, bei dem einer Permutation eine Permutationsmatrix zugeordnet wird.


\inputaufgabe
{}
{

Wir betrachten auf der Menge
\mavergleichskettedisp
{\vergleichskette
{ S }
{ =} { \{1 , \ldots , n,* \} }
{ } { }
{ } { }
{ } { }
} {}{}{} die Menge der Abbildungen
\mavergleichskettedisp
{\vergleichskette
{ B }
{ =} { { \left\{ \pi:S \rightarrow S \mid \pi(*) = * \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Zu
\mavergleichskette
{\vergleichskette
{ \pi }
{ \in }{ B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} assoziieren wir \zusatzklammer {bei einem fixierten Körper $K$} {} {} die lineare Abbildung \maabbdisp {\varphi_\pi} { K^n } { K^n } {,} die durch
\mavergleichskettedisp
{\vergleichskette
{ \varphi_\pi (e_i) }
{ =} { \begin{cases} e_{\pi(i)}, \text{ falls } \pi(i) \neq *\, , \\ 0, \text{ falls } \pi(i) = * \, , \end{cases} }
{ } { }
{ } { }
{ } { }
} {}{}{} festgelegt ist. Mit $M_\pi$ bezeichnen wir die zugehörige Matrix bezüglich der Standardbasis.

a) Erstelle die Matrix $M_\pi$ bei
\mavergleichskette
{\vergleichskette
{ n }
{ = }{ 4 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für die folgenden $\pi$

(1) \wertetabellefuenfausteilzeilen { $x$ }
{\mazeileundfuenf {1} {2} {3} {4} {*} }
{ $\pi(x)$ }
{\mazeileundfuenf {2} {*} {3} {*} {*} }

(2) \wertetabellefuenfausteilzeilen { $x$ }
{\mazeileundfuenf {1} {2} {3} {4} {*} }
{ $\pi(x)$ }
{\mazeileundfuenf {*} {1} {2} {3} {*} }

(3) \wertetabellefuenfausteilzeilen { $x$ }
{\mazeileundfuenf {1} {2} {3} {4} {*} }
{ $\pi(x)$ }
{\mazeileundfuenf {*} {*} {*} {*} {*} }

(4) \wertetabellefuenfausteilzeilen { $x$ }
{\mazeileundfuenf {1} {2} {3} {4} {*} }
{ $\pi(x)$ }
{\mazeileundfuenf {2} {2} {2} {2} {*} }
b) Welche Eigenschaften gelten für die Spalten und für die Zeilen von $M_\pi$?
c) Für welche $\pi$ ist $M_\pi$ \definitionsverweis {bijektiv}{}{?}
d) Für welche $\pi$ ist $M_\pi$ \definitionsverweis {nilpotent}{}{?}
e) Welche Dimension besitzt der Kern von $M_\pi$?
f) Zeige
\mavergleichskettedisp
{\vergleichskette
{ M_{\pi \circ \rho} }
{ =} { M_\pi \circ M_\rho }
{ } { }
{ } { }
{ } { }
} {}{}{.}
g) Zeige, dass jede nilpotente $n \times n$-Matrix $M$ \definitionsverweis {ähnlich}{}{} zu einer Matrix der Form $M_\pi$ ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $V$ ein $K$-\definitionsverweis {Vektorraum}{}{} und \maabbdisp {\varphi} {V} {V } {} eine \definitionsverweis {nilpotente}{}{} \definitionsverweis {lineare Abbildung}{}{.} Es sei \maabbdisp {\psi} {V} {V } {} eine weitere lineare Abbildung mit
\mavergleichskettedisp
{\vergleichskette
{\psi \circ \varphi }
{ =} { \varphi \circ \psi }
{ } { }
{ } { }
{ } { }
} {}{}{.} Zeige, dass $\psi \circ \varphi$ ebenfalls nilpotent ist.

}
{} {}

\inputaufgabegibtloesung
{}
{

Man gebe ein Beispiel für zwei \definitionsverweis {nilpotente}{}{} \definitionsverweis {lineare Abbildungen}{}{} \maabbdisp {\varphi, \psi} {K^2} {K^2 } {} derart, dass weder \mathkor {} {\varphi \circ \psi} {noch} {\varphi + \psi} {} nilpotent sind.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{ a }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {reelle Zahl}{}{} mit
\mavergleichskette
{\vergleichskette
{ \betrag { a } }
{ < }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Bekanntlich ist
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} a^n }
{ =} {0 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Ist die \definitionsverweis {lineare Abbildung}{}{} \maabbeledisp {} {\R} {\R } {x} {ax } {} \definitionsverweis {nilpotent}{}{?}

}
{} {}

\zwischenueberschrift{Aufgaben zum Abgeben}

\inputaufgabe
{3}
{

Es sei $M$ eine $2 \times 2$-\definitionsverweis {Matrix}{}{} über einem \definitionsverweis {Körper}{}{} $K$. Zeige, dass $M$ genau dann \definitionsverweis {nilpotent}{}{} ist, wenn sowohl die \definitionsverweis {Determinante}{}{} als auch die \definitionsverweis {Spur}{}{} von $M$ gleich $0$ ist.

}
{} {}

\inputaufgabe
{3}
{

Es sei $V$ ein $K$-\definitionsverweis {Vektorraum}{}{} mit einer \definitionsverweis {Basis}{}{}
\mathbed {v_n} {}
{n \in \N_+} {}
{} {} {} {.} Es sei \maabbdisp {\varphi} {V} {V } {} diejenige \definitionsverweis {lineare Abbildung}{}{,} die durch
\mavergleichskettedisp
{\vergleichskette
{\varphi(v_1) }
{ =} {0 }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{\varphi(v_n) }
{ =} {v_{n-1} }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{ n }
{ \geq }{ 2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} festgelegt ist. Ist $\varphi$ \definitionsverweis {nilpotent}{}{?}

}
{} {}

\inputaufgabe
{4}
{

Es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} $K$-\definitionsverweis {Vektorraum}{}{} und \maabbdisp {\varphi} {V} {V } {} \definitionsverweis {nilpotent}{}{.} Zeige, dass
\mavergleichskettedisp
{\vergleichskette
{\psi }
{ \defeq} { \operatorname{Id} + \varphi }
{ } { }
{ } { }
{ } { }
} {}{}{} \definitionsverweis {bijektiv}{}{} ist.

}
{} {}

\inputaufgabe
{4}
{

Es sei $V$ ein $K$-\definitionsverweis {Vektorraum}{}{} und \maabbdisp {\varphi, \psi} {V} {V } {} \definitionsverweis {nilpotente}{}{} \definitionsverweis {lineare Abbildungen}{}{,} die
\mavergleichskettedisp
{\vergleichskette
{\varphi \circ \psi }
{ =} { \psi \circ \varphi }
{ } { }
{ } { }
{ } { }
} {}{}{} erfüllen. Zeige, dass dann auch
\mathl{\psi + \varphi}{} nilpotent ist.

}
{} {}