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.
}
{} {}
<< | Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil I | >> |
---|