linalg2020/docs/zusatz.tex

1308 lines
50 KiB
TeX
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

%% ********************************************************************************
%% AUTHOR: Raj Dahya
%% CREATED: November 2020
%% EDITED: —
%% TYPE: Notizen
%% TITLE: Zusatzaufgaben
%% DOI: —
%% DEPARTMENT: Fakultät for Mathematik und Informatik
%% INSTITUTE: Universität Leipzig
%% ********************************************************************************
%% ********************************************************************************
%% DOCUMENT STRUCTURE:
%% ~~~~~~~~~~~~~~~~~~~
%%
%% - root.tex;
%% |
%% ---- parameters.tex;
%% |
%% ---- ########;
%% |
%% ---- ########;
%% |
%% ---- ########;
%% |
%% ---- ########;
%% |
%% ---- ########;
%% |
%% ---- ########;
%% |
%% ---- ########;
%% |
%% ---- ########;
%% |
%% ---- ########;
%% |
%% ---- front/index.tex;
%% |
%% ---- front/title.tex;
%% |
%% ---- front/foreword.tex;
%% |
%% ---- front/contents.tex;
%% |
%% ---- body/index.tex;
%% |
%% ---- body/linear-extensions.tex;
%% |
%% ---- back/index.tex;
%% |
%% ---- ./../loesungen/back/quelle.bib;
%%
%% DOCUMENT-RANDOM-SEED: 5637845
%% ********************************************************************************
%% ********************************************************************************
%% FILE: root.tex
%% ********************************************************************************
%% ********************************************************************************
%% FILE: parameters.tex
%% ********************************************************************************
\begin{document}
\startdocumentlayoutoptions
%% FRONTMATTER:
\thispagestyle{plain}
%% ********************************************************************************
%% FILE: front/index.tex
%% ********************************************************************************
%% ********************************************************************************
%% FILE: front/title.tex
%% ********************************************************************************
\begin{titlepage}
\null
\vraum
\noindent\rule{\linewidth}{2pt}
{\hraum\LARGE Lineare Algebra I\hraum}\\
{\hraum\LARGE $\oast$\,\rule[0.175\baselineskip]{0.65\linewidth}{1pt}\,$\oast$ \hraum}\\
{\hraum\Large Zusatzaufgaben aus der Übungsgruppe\hraum}
\noindent\rule{\linewidth}{2pt}
\vraum
\noindent
\hraum{\footnotesize Raj Dahya}\hraum\\
\hraum{\small \itshape Fakultät für Mathematik und Informatik}\hraum\\
\hraum{\small \itshape Universität Leipzig.}\hraum\\
\hraum{\small Wintersemester 2020/2021 }\hraum
\end{titlepage}
%% ********************************************************************************
%% FILE: front/foreword.tex
%% ********************************************************************************
\chapter*{Vorwort}
Dieses Dokument enthält zusätzliche Aufgaben und Themen,
die in den Übungsgruppen erörtert wurden.
%% ********************************************************************************
%% FILE: front/contents.tex
%% ********************************************************************************
\kopfzeiledefault
\footnotesize
\setcounter{tocdepth}{1}
\def\contentsname{Inhaltsverzeichnis}
\tableofcontents
%% HAUPTTEXT:
%% ********************************************************************************
%% FILE: body/index.tex
%% ********************************************************************************
\def\chaptername{}
%% ********************************************************************************
%% FILE: body/linear-extensions.tex
%% ********************************************************************************
\chapter[Lineare Ausdehnung]{Lineare Ausdehnung}
\label{ch:lin-ext}
In der Übungsgruppe in Woche 12 (am 3.2.2021) diskutierten wir
verzwickte Situationen und Fragentypen, die zum Thema linearer Ausdehnung vorkommen können.
Wir hatten das größtenteils theoretisch ausgelegt.
Hier wollen wir ein paar Aufgaben komplett durchrechnen.
\textbf{Beachte!} Hier geht es niemals darum,
eine lineare Ausdehnung \emph{exmplizit darzustellen},
sondern vielmehr
(1) \cite[Satz~6.1.13]{sinn2020} als zentrales Resultat anzuwenden,
(2) eine Basis aus den Inputvektoren zu generieren
(ggf. durch Entfernung von „linear abhängigen“ Vektoren, ggf. durch Basiserweiterung, ggf. durch beides!)
(3) die Input und Outputvektoren in der partielldefinierten Funktion
zu untersuchen, und \uline{rein aufgrund dessen} ein Urteil zu treffen,
ob
(3a) eine lineare Ausdehnung überhaupt möglich ist,
(3b) eine injektive/nicht injektive lineare Ausdehnung möglich ist,
(3c) eine surjektive/nicht surjektive lineare Ausdehnung möglich ist,
(3d) eine Isomorphismus (=Bijektion)/nicht-Isomorphismus als lineare Ausdehnung möglich ist.
Nun, im Falle von Funktionen ${\phi:U\to V}$, wobei $U,V$ Vektorräume mit $\dim(U)=\dim(V)$,
sind wegen \cite[Korollar~6.1.11]{sinn2020} die Nebenfragen (3a)(3c) alle äquivalent.
Im Falle $\dim(U)\neq\dim(V)$ machen wir von folgender Beobachtung Gebrauch:
\begin{obs*}
Seien $U$, $V$ (endlich dimensionale) Vektorräume über einem Körper $K$
und sei ${\phi:U\to V}$ linear.
Da $\range(\phi)\subseteq V$ gilt offensichtlich $\dim(\range(\phi))\leq\dim(V)$.
Und wenn wir eine Basis ${\{u_{1},u_{2}\ldots,u_{n}\}\subseteq U}$
für $U$ fixieren, mit $n=\dim(U)$,
so gilt wegen Linearität
${\range(\phi)=\vectorspacespan\{\phi(u_{1}),\phi(u_{2})\ldots,\phi(u_{n})\}}$.
Das heißt, $\{\phi(u_{1}),\phi(u_{2})\ldots,\phi(u_{n})\}$
ist ein Erzeugendensystem für $\range(\phi)$.
Folglich gilt $\dim(\range(\phi))\leq n=\dim(U)$.
Da per Definition $\rank(\phi)=\dim(\range(\phi))$,
haben wir gezeigt,
dass
${\rank(\phi)\leq\dim(V)}$
und ${\rank(\phi)\leq\dim(U)}$
\uline{stets gelten}.
Kürzer formuliert:
\begin{mathe}[mc]{rcl}
\eqtag[eq:lin-abb-leq:ch:lin-ext]
\rank(\phi) &\leq &\min\{\dim(U),\dim(V)\}\\
\end{mathe}
gilt immer für alle lineare Abbildungen ${\phi:U\to V}$
und alle Vektorräume $U, V$.
\end{obs*}
Aus dieser Beobachtung können wir über (3b3d) folgende Urteile generell treffen, wenn $\dim(U)\neq\dim(V)$:
\begin{kompaktitem}
\item
Falls $\dim(U)>\dim(V)$ kann es bei offensichtlich höchstens nicht-injektive lineare Ausdehnungen geben,
weil für ${\phi:U\to V}$ linear gilt $\rank(\phi)\leq\dim(V)<\dim(U)$,
sodass laut \cite[Korollar~6.3.15(1)]{sinn2020} $\phi$ niemals injektiv sein kann.
\item[]
Darum lautet die Antwort zu (3b/3d) \emph{Gibt es injektive/bijektive...?} immer nein.
Die Fragen (3b/3d) \emph{Gibt es nicht-injektive/nicht-bijektive...?} sind dann äquivalent zu (3a).
\item
Falls $\dim(U)<\dim(V)$ kann es bei (3c) offensichtlich höchstens nicht-surjektive lineare Ausdehnungen geben,
weil für ${\phi:U\to V}$ linear gilt $\rank(\phi)\leq\dim(U)<\dim(V)$,
sodass laut \cite[Korollar~6.3.15(2)]{sinn2020} $\phi$ niemals surjektiv sein kann.
\item[]
Darum lautet die Antwort zu (3c/3d) \emph{Gibt es surjektive/bijektive...?} immer nein.
Die Fragen (3b/3d) \emph{Gibt es nicht-surjektive/nicht-bijektive...?} sind dann äquivalent zu (3a).
\end{kompaktitem}
Daher können wir die Fragentypen in den Aufgaben immer teilweise sofort beantworten
und zum Teil vereinfachen,
je nachdem, ob $\dim(U)=\dim(V)$, oder $\dim(U)<\dim(V)$, oder $\dim(U)>\dim(V)$
gelten.
%% AUFGABE 1
\clearpage
\let\altsectionname\sectionname
\def\sectionname{Aufgabe}
\section[Aufgabe 1]{}
\label{sec:1}
\let\sectionname\altsectionname
Betrachten wir die $\reell$-Vektorräume $U:=\reell^{4}$ und $V:=\reell^{2}$
und die Vektoren $u_{1},u_{2},u_{3}\in U$ und $v_{1},v_{2},v_{3}\in V$
\begin{mathe}[mc]{ccc}
u_{1} = \begin{svector} 0\\ 0\\ 1\\ 1\\\end{svector},
&u_{2} = \begin{svector} 3\\ 0\\ 1\\ 1\\\end{svector},
&u_{3} = \begin{svector} 30\\ 0\\ 0\\ 0\\\end{svector},\\
\end{mathe}
\begin{mathe}[mc]{ccc}
v_{1} = \begin{svector} 5\\ 8\\\end{svector},
&v_{2} = \begin{svector} -9\\ 11\\\end{svector},
&v_{3} = \begin{svector} -140\\ 30\\\end{svector}.\\
\end{mathe}
\begin{qstn}
Gibt es eine lineare Abbildung, ${\phi:U\to V}$,
so dass
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}{\bfseries i)}[\rtab][\rtab]
\item
$\phi(u_{1})=v_{1}$
\item
$\phi(u_{2})=v_{2}$
\item
$\phi(u_{3})=v_{3}$
\end{multikompaktenum}
\uline{alle} erfüllt sind?
\end{qstn}
\begin{soln*}
Wir beachten zuerst, dass $\{u_{1},u_{2}\}$ linear unabhängig sind\footnote{
ich lasse hier die Beweise weg,
aber man sollte die zeigen,
z.\,B. durch das Gaußverfahren.
}
und dass $u_{3}\in\vectorspacespan\{u_{1},_{2}\}$,
da ${u_{3}=10u_{2}-10u_{1}}$.
Wir beachten auch, dass
\begin{mathe}[mc]{rcccl}
10v_{2}-10v_{1} &= &\begin{svector} -140\\ 30\\\end{svector} &= &v_{3}\\
\end{mathe}
gilt.
Darum können wir die Frage auf Bedingungen {i) + ii)} reduzieren:
existiert eine lineare Abbildung, die {i) + ii)} erfüllt,
dann wird wegen Linearität Bedingung iii) automatisch mit erfüllt.
Existiert keine lineare Abbildung, die {i) + ii)} erfüllt,
dann existiert natürlich auch keine, die i)--iii) erfüllt.
Wir \uline{erweitern} nun die lineare unabhängige Menge
$\{u_{1},u_{2}\}$
zu einer Basis
$\{u_{1},u_{2},u'_{3},u'_{4}\}$
von $U$.
Wähle außerdem beliebige Vektoren, $v'_{3},v'_{4}\in V$.
Da $\{u_{1},u_{2},u'_{3},u'_{4}\}$ eine Basis von $U$
ist und $v_{1},v_{2},v'_{3},v'_{4}\in V$,
existiert laut \cite[Satz~6.1.13]{sinn2020}
eine lineare Ausdehnung,
${\phi:U\to V}$,
so dass
\begin{mathe}[mc]{cccc}
\phi(u_{1})=v_{1},
&\phi(u_{2})=v_{2},
&\phi(u'_{3})=v'_{3},
&\phi(u'_{4})=v'_{4},
\end{mathe}
gelten. Insbesondere sind Bedingungen {i) + ii)} erfüllt.
Also lautet wie oben argumentiert, die Antwort auf die Originalfrage: \fbox{Ja}!
\end{soln*}
\begin{qstn}
Gibt es eine
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}
\item[] b) injektive
\item[] b') nicht-injektive
\item[] c) surjektive
\item[] c') nicht-surjektive
\item[] d) bijektive\footnote{
also einen »Isomorphismus«
}
\item[] d') nicht-bijektive
\end{multikompaktenum}
lineare Abbildung, ${\phi:U\to V}$,
so dass i)--iii) erfüllt sind?
\end{qstn}
\begin{soln*}
Da $\dim(U)>\dim(V)$,
kann es generell keine injektiven linearen Abbildungen
von $U$ nach $V$ geben.
Also lauten die Antworten auf \textbf{b)}, \textbf{d)} \fbox{Nein},
und da es mindestens eine lineare Ausdehnung existiert,
lautet die Antwort auf \textbf{b')} und \textbf{d')} \fbox{Ja}.
Es bleiben nur noch \textbf{c)} und \textbf{c')} zu bestimmen.
Sei ${\phi:U\to V}$ eine lineare Ausdehnung von i)--iii).
Dann wegen Bedingungen {i) + ii)} und Linearität gilt
\begin{mathe}[mc]{rcccccl}
\range(\phi)
&\supseteq
&\vectorspacespan\{\phi(u_{1}),\phi(u_{2})\}
&= &\vectorspacespan\{v_{1},v_{2}\}
&= &V.\\
\end{mathe}
Die letzte Gleichung gilt, weil $\{v_{1},v_{2}\}$
linear unabhängig ist,\footnote{
ich lasse wieder den Beweis weg,
aber man sollte das machen
}
und somit eine Basis von dem $2$-dimensionalen Raum, $V$, ist.
Darum ist $\range(\phi)$ surjektiv.
Da $\phi$ beliebig war,
haben wir tatsächlich gezeigt,
dass alle lineare Ausdehnungen von i)--iii) surjektiv sind.
Darum lautet die Antwort auf \textbf{c)} \fbox{Ja} und auf \textbf{c')} \fbox{Nein}.
\end{soln*}
%% AUFGABE 2
\clearpage
\let\altsectionname\sectionname
\def\sectionname{Aufgabe}
\section[Aufgabe 2]{}
\label{sec:2}
\let\sectionname\altsectionname
Betrachten wir die $\reell$-Vektorräume $U:=\reell^{4}$ und $V:=\reell^{2}$
und die Vektoren $u_{1},u_{2},u_{3}\in U$ und $v_{1},v_{2},v_{3}\in V$
\begin{mathe}[mc]{cccc}
u_{1} = \begin{svector} 0\\ 0\\ 1\\ 1\\\end{svector},
&u_{2} = \begin{svector} 3\\ 0\\ 1\\ 1\\\end{svector},
&u_{3} = \begin{svector} 30\\ 0\\ 0\\ 0\\\end{svector},
&u_{4} = \begin{svector} 3\\ 0\\ 2\\ 2\\\end{svector},\\
\end{mathe}
\begin{mathe}[mc]{cccc}
v_{1} = \begin{svector} 5\\ 8\\\end{svector},
&v_{2} = \begin{svector} 25\\ 40\\\end{svector},
&v_{3} = \begin{svector} 200\\ 320\\\end{svector},
&v_{4} = \begin{svector} 30\\ 48\\\end{svector}.\\
\end{mathe}
\begin{qstn}
Gibt es eine lineare Abbildung, ${\phi:U\to V}$,
so dass
\setcounter{columnanzahl}{2}
\begin{multikompaktenum}{\bfseries i)}[\rtab][\rtab]
\item
$\phi(u_{1})=v_{1}$
\item
$\phi(u_{2})=v_{2}$
\item
$\phi(u_{3})=v_{3}$
\item
$\phi(u_{4})=v_{4}$
\end{multikompaktenum}
\uline{alle} erfüllt sind?
\end{qstn}
\begin{soln*}
Wir beachten zuerst, dass $\{u_{1},u_{2}\}$ linear unabhängig sind
und dass $u_{3},u_{4}\in\vectorspacespan\{u_{1},_{2}\}$,
da ${u_{3}=10u_{2}-10u_{1}}$ und ${u_{4}=u_{1}+u_{2}}$.
Wir beachten auch, dass
\begin{mathe}[mc]{rcccl}
10v_{2}-10v_{1} &= &\begin{svector} 200\\ 320\\\end{svector} &= &v_{3},\\
v_{1}+v_{2} &= &\begin{svector} 30\\ 48\\\end{svector} &= &v_{4}\\
\end{mathe}
gelten.
Darum können wir die Frage auf Bedingungen {i) + ii)} reduzieren,
weil wegen der o.\,s. Verhältnisse {iii) + iv)}
für lineare Abbildungen automatisch mit erfüllt werden.
Wir \uline{erweitern} nun die lineare unabhängige Menge
$\{u_{1},u_{2}\}$
zu einer Basis
$\{u_{1},u_{2},u'_{3},u'_{4}\}$
von $U$.
Wähle außerdem beliebige Vektoren, $v'_{3},v'_{4}\in V$.
Da $\{u_{1},u_{2},u'_{3},u'_{4}\}$ eine Basis von $U$
ist und $v_{1},v_{2},v'_{3},v'_{4}\in V$,
existiert laut \cite[Satz~6.1.13]{sinn2020}
eine lineare Ausdehnung,
${\phi:U\to V}$,
so dass
\begin{mathe}[mc]{cccc}
\phi(u_{1})=v_{1},
&\phi(u_{2})=v_{2},
&\phi(u'_{3})=v'_{3},
&\phi(u'_{4})=v'_{4},
\end{mathe}
gelten. Insbesondere sind Bedingungen {i) + ii)} erfüllt.
Also lautet wie oben argumentiert, die Antwort auf die Originalfrage: \fbox{Ja}!
\end{soln*}
\begin{qstn}
Gibt es eine
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}
\item[] b) injektive
\item[] b') nicht-injektive
\item[] c) surjektive
\item[] c') nicht-surjektive
\item[] d) bijektive
\item[] d') nicht-bijektive
\end{multikompaktenum}
lineare Abbildung, ${\phi:U\to V}$,
so dass i)--iv) erfüllt sind?
\end{qstn}
\begin{soln*}
Da $\dim(U)>\dim(V)$,
kann es generell keine injektiven linearen Abbildungen
von $U$ nach $V$ geben.
Also lauten die Antworten auf \textbf{b)}, \textbf{d)} \fbox{Nein},
und da es mindestens eine lineare Ausdehnung existiert,
lautet die Antwort auf \textbf{b')} und \textbf{d')} \fbox{Ja}.
Es bleiben nur noch \textbf{c)} und \textbf{c')} zu bestimmen.
Beachte, dass in der Konstruktion von $\phi$ im o.\,s. Beweis
wir $v'_{3},v'_{4}$ beliebig auswählen konnten.
Zu \textbf{c)} wähle bspw. $v'_{3}:=\begin{svector} 1\\ 0\\\end{svector}$
und $v'_{4}:=\zerovector$
und sei ${\phi_{1}:U\to V}$ die lineare Abbildung
im o.\,s. Beweis mit diesen Vektoren in der Konstruktion.
Da $\{u_{1},u_{2},u'_{3},u'_{4}\}$ eine Basis für $U$ ist,
gilt wegen Linearität von $\phi_{1}$
\begin{mathe}[mc]{rcl}
\range(\phi_{1})
&= &\phi_{1}(\vectorspacespan\{u_{1},u_{2},u'_{3},u'_{4}\})\\
&= &\vectorspacespan\{\phi(u_{1}),\phi(u_{2}),\phi(u'_{3}),\phi(u'_{4})\}\\
&= &\vectorspacespan\{v_{1},v_{2},v'_{3},v'_{4}\}\\
&\supseteq &\vectorspacespan\{v_{1},v'_{3}\}\\
&= &V\\
\end{mathe}
Die letzte Gleichung gilt,
weil \uline{per Wahl} $\{v_{1},v'_{3}\}$ linear unabhängig ist
und somit eine Basis des $2$-dimenionalen Vektorraums, $V$ ist.
Da $\range(\phi_{1})\supseteq V$, ist $\phi_{1}$ surjektiv.
Die Antwort auf \textbf{c)} lautet also \fbox{Ja}.
Zu \textbf{c')} wähle $v'_{3},v'_{4}:=\zerovector$
und sei ${\phi_{2}:U\to V}$ die lineare Abbildung
im o.\,s. Beweis mit diesen Vektoren in der Konstruktion.
Wie oben gilt
$%
\rank(\phi_{2})
\textoverset{Defn}{=}\dim(\range(\phi_{2}))
=\dim(\vectorspacespan\{v_{1},v_{2},v'_{3},v'_{4}\})
=\dim(\vectorspacespan\{v_{1}\})
\leq 1
$,
da \uline{per Wahl} $v_{2},v_{3},v_{4}\in\vectorspacespan\{v_{1}\}$
und $v_{1}\neq\zerovector$.
Also, $\rank(\phi_{2})<2=\dim(V)$.
Folglich ist $\phi_{2}$
laut \cite[Korollar~6.3.15(1)]{sinn2020}
nicht-surjektiv.
Die Antwort auf \textbf{c')} lautet also \fbox{Ja}.
\end{soln*}
%% AUFGABE 3
\clearpage
\let\altsectionname\sectionname
\def\sectionname{Aufgabe}
\section[Aufgabe 3]{}
\label{sec:3}
\let\sectionname\altsectionname
Betrachten wir die $\reell$-Vektorräume $U:=\reell^{2}$ und $V:=\reell^{4}$
und die Vektoren $u_{1},u_{2},u_{3}\in U$ und $v_{1},v_{2},v_{3}\in V$
\begin{mathe}[mc]{ccc}
u_{1} = \begin{svector} 1\\ 1\\\end{svector},
&u_{2} = \begin{svector} 0\\ 2\\\end{svector},
&u_{3} = \begin{svector} 1\\ 3\\\end{svector}\\
\end{mathe}
\begin{mathe}[mc]{ccc}
v_{1} = \begin{svector} -9\\ 0\\ 0\\ 1\\\end{svector},
&v_{2} = \begin{svector} 4\\ 0\\ 0\\ 2\\\end{svector},
&v_{3} = \begin{svector} 5\\ 1\\ 0\\ 3\\\end{svector}.\\
\end{mathe}
\begin{qstn}
Gibt es eine lineare Abbildung, ${\phi:U\to V}$,
so dass
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}{\bfseries i)}[\rtab][\rtab]
\item
$\phi(u_{1})=v_{1}$
\item
$\phi(u_{2})=v_{2}$
\item
$\phi(u_{3})=v_{3}$
\end{multikompaktenum}
\uline{alle} erfüllt sind?
\end{qstn}
\begin{soln*}
Beachte, dass $u_{3}=u_{1}+u_{2}$, aber
\begin{mathe}[mc]{rcccl}
v_{1}+v_{2}
&= &\begin{svector} -5\\ 0\\ 0\\ 3\\\end{svector}
&\neq &v_{3}.\\
\end{mathe}
Angenommen, es gebe eine lineare Ausdehnung ${\phi:U\to V}$,
die i)--iii) erfüllt.
Dann muss
$v_{3}=\phi(u_{3})=\phi(u_{1}+u_{2})=\phi(u_{1})+\phi(u_{2})=v_{1}+v_{2}$
gelten. Laut der o.\,s. Gleichung kann dies aber nicht gelten.
Darum lautet die Antwort \fbox{Nein}.
Es gibt keine lineare Ausdehnung.
\end{soln*}
%% AUFGABE 4
\clearpage
\let\altsectionname\sectionname
\def\sectionname{Aufgabe}
\section[Aufgabe 4]{}
\label{sec:4}
\let\sectionname\altsectionname
Betrachten wir die $\reell$-Vektorräume $U:=\reell^{2}$ und $V:=\reell^{4}$
und die Vektoren $u_{1},u_{2},u_{3}\in U$ und $v_{1},v_{2},v_{3}\in V$
\begin{mathe}[mc]{ccc}
u_{1} = \begin{svector} 1\\ 1\\\end{svector},
&u_{2} = \begin{svector} 2\\ 3\\\end{svector},
&u_{3} = \begin{svector} 0\\ 1\\\end{svector}\\
\end{mathe}
\begin{mathe}[mc]{ccc}
v_{1} = \begin{svector} 8\\ 0\\ 0\\ 4\\\end{svector},
&v_{2} = \begin{svector} 18\\ 0\\ 0\\ 9\\\end{svector},
&v_{3} = \begin{svector} 2\\ 0\\ 0\\ 1\\\end{svector}.\\
\end{mathe}
\begin{qstn}
Gibt es eine lineare Abbildung, ${\phi:U\to V}$,
so dass
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}{\bfseries i)}[\rtab][\rtab]
\item
$\phi(u_{1})=v_{1}$
\item
$\phi(u_{2})=v_{2}$
\item
$\phi(u_{3})=v_{3}$
\end{multikompaktenum}
\uline{alle} erfüllt sind?
\end{qstn}
\begin{soln*}
Wir beachten zuerst, dass $\{u_{1},u_{3}\}$ linear unabhängig ist
und dass $u_{2}\in\vectorspacespan\{u_{1}\}$,
da ${u_{2}=2u_{1}+u_{3}}$.
Wir beachten auch, dass
\begin{mathe}[mc]{rcccl}
2v_{1}+u_{3} &= &\begin{svector} 18\\ 0\\ 0\\ 9\\\end{svector} &= &v_{2}\\
\end{mathe}
gilt.
Darum können wir die Frage auf Bedingung {i) + iii)} reduzieren,
weil wegen der o.\,s. Verhältnisse {ii)}
für lineare Abbildungen automatisch mit erfüllt wird.
Wegen linearer Unabhängigkeit ist $\{u_{1},u_{3}\}$
bereits eine Basis des $2$-dimensionalen Raums, $U$.
Deswegen brauchen wir in dieser Aufgabe keine Erweiterung zu machen.
Da $\{u_{1},u_{3}\}$ eine Basis für $U$
und $\{v_{1},v_{3}\}\subseteq V$,
existiert laut \cite[Satz~6.1.13]{sinn2020}
eine lineare Abbildung,
${\phi:U\to V}$,
so dass
\begin{mathe}[mc]{cc}
\phi(u_{1})=v_{1}, &\phi(u_{3})=v_{3},
\end{mathe}
gelten. Insbesondere sind Bedingung {i) + iii)} erfüllt.
Also lautet wie oben argumentiert,
die Antwort auf die Originalfrage: \fbox{Ja}!
\end{soln*}
\begin{qstn}
Gibt es eine
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}
\item[] b) injektive
\item[] b') nicht-injektive
\item[] c) surjektive
\item[] c') nicht-surjektive
\item[] d) bijektive
\item[] d') nicht-bijektive
\end{multikompaktenum}
lineare Abbildung, ${\phi:U\to V}$,
so dass i)--iii) erfüllt sind?
\end{qstn}
\begin{soln*}
Da $\dim(U)<\dim(V)$,
kann es generell keine surjektive linearen Abbildungen
von $U$ nach $V$ geben.
Also lauten die Antworten auf \textbf{c)}, \textbf{d)} \fbox{Nein},
und da es mindestens eine lineare Ausdehnung existiert,
lautet die Antwort auf \textbf{c')} und \textbf{d')} \fbox{Ja}.
Es bleiben nur noch \textbf{b)} und \textbf{b')} zu bestimmen.
Sei $\phi$ eine lineare Ausdehnung, die i)--iii) erfüllt.
Dann wegen Linearität von $\phi$
und da $\{u_{1},u_{3}\}$ eine Basis von $U$ ist,
gilt
\begin{mathe}[mc]{rcccccl}
\range(\phi)
&= &\phi(\vectorspacespan\{u_{1},u_{3}\})
&= &\vectorspacespan\{\phi(u_{1}),\phi(u_{3})\}
&= &\vectorspacespan\{v_{1},v_{3}\}
\end{mathe}
und damit
$%
\rank(\phi)
\textoverset{Defn}{=}\dim(\range(\phi))
=\dim(\vectorspacespan\{v_{1},v_{3}\})
=\dim(\vectorspacespan\{v_{3}\})
=1
$,
da $v_{1}\in\vectorspacespan\{v_{3}\}$
und $v_{3}\neq\zerovector$.
Also, $\rank(\phi)<2=\dim(U)$.
Folglich ist $\phi$
laut \cite[Korollar~6.3.15(1)]{sinn2020}
nicht injektiv.
Da hier $\phi$ beliebig gewählt wurde,
sind alle linearen Ausdehnungen von i)--iii)
immer nicht-injektiv.
Darum lautet die Antwort auf \textbf{b)} \fbox{Nein}
und auf \textbf{b')} \fbox{Ja}.
\end{soln*}
%% AUFGABE 5
\clearpage
\let\altsectionname\sectionname
\def\sectionname{Aufgabe}
\section[Aufgabe 5]{}
\label{sec:5}
\let\sectionname\altsectionname
Betrachten wir die $\reell$-Vektorräume $U:=\reell^{2}$ und $V:=\reell^{4}$
und die Vektoren $u_{1},u_{2},u_{3}\in U$ und $v_{1},v_{2},v_{3}\in V$
\begin{mathe}[mc]{ccc}
u_{1} = \begin{svector} 1\\ 1\\\end{svector},
&u_{2} = \begin{svector} 2\\ 2\\\end{svector},
&u_{3} = \begin{svector} 3\\ 3\\\end{svector}\\
\end{mathe}
\begin{mathe}[mc]{ccc}
v_{1} = \begin{svector} 8\\ 0\\ 0\\ 4\\\end{svector},
&v_{2} = \begin{svector} 16\\ 0\\ 0\\ 8\\\end{svector},
&v_{3} = \begin{svector} 24\\ 0\\ 0\\ 12\\\end{svector}.\\
\end{mathe}
\begin{qstn}
Gibt es eine lineare Abbildung, ${\phi:U\to V}$,
so dass
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}{\bfseries i)}[\rtab][\rtab]
\item
$\phi(u_{1})=v_{1}$
\item
$\phi(u_{2})=v_{2}$
\item
$\phi(u_{3})=v_{3}$
\end{multikompaktenum}
\uline{alle} erfüllt sind?
\end{qstn}
\begin{soln*}
Wir beachten zuerst, dass $\{u_{1}\}$ linear unabhängig ist
und dass $u_{2},u_{3}\in\vectorspacespan\{u_{1}\}$,
da $u_{2}=2u_{1}$ und $u_{3}=3u_{1}$.
Wir beachten auch, dass
\begin{mathe}[mc]{rcccl}
2v_{1} &= &\begin{svector} 16\\ 0\\ 0\\ 8\\\end{svector} &= &v_{2},\\
3v_{1} &= &\begin{svector} 24\\ 0\\ 0\\ 12\\\end{svector} &= &v_{3}\\
\end{mathe}
gelten.
Darum können wir die Frage auf Bedingung {i)} reduzieren,
weil wegen der o.\,s. Verhältnisse {ii) + iii)}
für lineare Abbildungen automatisch mit erfüllt werden.
Erweitere $\{u_{1}\}$ zu einer Basis $\{u_{1},u'_{2}\}$
des $2$-dimensionalen Raums, $U$,
und wähle einen Vektor $v'_{2}\in V$.
Da $\{u_{1},u'_{2}\}$ eine Basis für $U$
und $\{v_{1},v'_{2}\}\subseteq V$,
existiert laut \cite[Satz~6.1.13]{sinn2020}
eine lineare Abbildung,
${\phi:U\to V}$,
so dass
\begin{mathe}[mc]{cc}
\phi(u_{1})=v_{1}, &\phi(u'_{2})=v'_{2},
\end{mathe}
gelten. Insbesondere sind Bedingung {i)} erfüllt.
Also lautet wie oben argumentiert,
die Antwort auf die Originalfrage: \fbox{Ja}!
\end{soln*}
\begin{qstn}
Gibt es eine
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}
\item[] b) injektive
\item[] b') nicht-injektive
\item[] c) surjektive
\item[] c') nicht-surjektive
\item[] d) bijektive
\item[] d') nicht-bijektive
\end{multikompaktenum}
lineare Abbildung, ${\phi:U\to V}$,
so dass i)--iii) erfüllt sind?
\end{qstn}
\begin{soln*}
Da $\dim(U)<\dim(V)$,
kann es generell keine surjektive linearen Abbildungen
von $U$ nach $V$ geben.
Also lauten die Antworten auf \textbf{c)}, \textbf{d)} \fbox{Nein},
und da es mindestens eine lineare Ausdehnung existiert,
lautet die Antwort auf \textbf{c')} und \textbf{d')} \fbox{Ja}.
Es bleiben nur noch \textbf{b)} und \textbf{b')} zu bestimmen.
Beachte, dass in der Konstruktion von $\phi$ im o.\,s. Beweis
wir $v'_{2}$ beliebig auswählen konnten.
Zu \textbf{b)} wähle $v'_{2}:=\begin{svector} 0\\ 1\\ 0\\ 0\\\end{svector}$
und sei ${\phi_{1}:U\to V}$ die lineare Abbildung
im o.\,s. Beweis mit diesen Vektoren in der Konstruktion.
Da $\{u_{1},u'_{2}\}$ eine Basis für $U$ ist,
gilt wegen Linearität von $\phi_{1}$
\begin{mathe}[mc]{rcccccl}
\range(\phi_{1})
&= &\phi_{1}(\vectorspacespan\{u_{1},u'_{2}\})
&= &\vectorspacespan\{\phi_{1}(u_{1}),\phi_{1}(u'_{2})\}
&= &\vectorspacespan\{v_{1},v'_{2}\},
\end{mathe}
und damit
$%
\rank(\phi_{1})
\textoverset{Defn}{=}\dim(\range(\phi_{1}))
=\dim(\vectorspacespan\{v_{1},v'_{2}\})
=2
$,
da \uline{per Wahl} $\{v_{1},v'_{2}\}$ linear unabhängig ist.
Also, $\rank(\phi_{1})\geq 2=\dim(U)$.
Folglich ist $\phi_{1}$
laut \cite[Korollar~6.3.15(1)]{sinn2020}
injektiv.
Die Antwort auf \textbf{b)} lautet also \fbox{Ja}.
Zu \textbf{b')} wähle $v'_{2}:=\zerovector$
und sei ${\phi_{2}:U\to V}$ die lineare Abbildung
im o.\,s. Beweis mit diesen Vektoren in der Konstruktion.
Wie oben gilt
$%
\rank(\phi_{2})
\textoverset{Defn}{=}\dim(\range(\phi_{2}))
=\dim(\vectorspacespan\{v_{1},v'_{2}\})
=\dim(\vectorspacespan\{v_{1}\})
\leq 1
$,
da \uline{per Wahl} $v'_{2}\in\vectorspacespan\{v_{1}\}$.
Also, $\rank(\phi_{2})<2=\dim(U)$.
Folglich ist $\phi_{2}$
laut \cite[Korollar~6.3.15(1)]{sinn2020}
nicht-injektiv.
Die Antwort auf \textbf{b')} lautet also \fbox{Ja}.
\end{soln*}
%% AUFGABE 6
\clearpage
\let\altsectionname\sectionname
\def\sectionname{Aufgabe}
\section[Aufgabe 6]{}
\label{sec:6}
\let\sectionname\altsectionname
Betrachten wir die $\reell$-Vektorräume $U=V:=\reell^{4}$
und die Vektoren $u_{1},u_{2},u_{3},u_{4}\in U$ und $v_{1},v_{2},v_{3},v_{4}\in V$
\begin{mathe}[mc]{cccc}
u_{1} = \begin{svector} 0\\ 0\\ 1\\ 1\\\end{svector},
&u_{2} = \begin{svector} 3\\ 0\\ 1\\ 1\\\end{svector},
&u_{3} = \begin{svector} 30\\ 0\\ 0\\ 0\\\end{svector},
&u_{4} = \begin{svector} 3\\ 0\\ 2\\ 2\\\end{svector},\\
\end{mathe}
\begin{mathe}[mc]{cccc}
v_{1} = \begin{svector} 0\\ 3\\ 0\\ 0\\\end{svector},
&v_{2} = \begin{svector} 1\\ 3\\ 0\\ 0\\\end{svector},
&v_{3} = \begin{svector} 10\\ 0\\ 0\\ 0\\\end{svector},
&v_{4} = \begin{svector} 1\\ 6\\ 0\\ 0\\\end{svector}.\\
\end{mathe}
\begin{qstn}
\makelabel{qstn:6:ch:lin-ext}
Gibt es eine lineare Abbildung, ${\phi:U\to V}$,
so dass
\setcounter{columnanzahl}{2}
\begin{multikompaktenum}{\bfseries i)}[\rtab][\rtab]
\item
$\phi(u_{1})=v_{1}$
\item
$\phi(u_{2})=v_{2}$
\item
$\phi(u_{3})=v_{3}$
\item
$\phi(u_{4})=v_{4}$
\end{multikompaktenum}
\uline{alle} erfüllt sind?
\end{qstn}
\begin{soln*}
Zunächst beobachte, dass $\{u_{1},u_{2}\}$ linear unabhängig ist,
und dass $u_{3},u_{4}\in\vectorspacespan\{u_{1},u_{2}\}$,
da ${u_{3}=10u_{2}-10u_{1}}$ und ${u_{4}=u_{1}+u_{2}}$.
Beachte auch, dass sich diese Verhältnisse in den Outputvektoren wiederspiegeln:
\begin{mathe}[mc]{rcccl}
10v_{2}-10v_{1}
&= &\begin{svector} 10\\ 0\\ 0\\ 0\\\end{svector} &= &v_{3},\\
v_{1}+v_{2}
&= &\begin{svector} 1\\ 6\\ 0\\ 0\\\end{svector} &= &v_{4}.\\
\end{mathe}
Darum können wir die Frage auf Bedingungen {i) + ii)} reduzieren,
weil wegen der o.\,s. Verhältnisse {iii) + iv)}
für lineare Abbildungen automatisch mit erfüllt werden.
\uline{Erweitere} nun die linear unabhängige Menge
$\{u_{1},u_{2}\}$
zu einer Basis
$\{u_{1},u_{2},u'_{3},u'_{4}\}$
von $U$.
Wähle außerdem beliebige Vektoren, $v'_{3},v'_{4}\in V$.
Da $\{u_{1},u_{2},u'_{3},u'_{4}\}$ eine Basis von $U$
ist und $v_{1},v_{2},v'_{3},v'_{4}\in V$,
existiert laut \cite[Satz~6.1.13]{sinn2020}
eine lineare Ausdehnung,
${\phi:U\to V}$,
so dass
\begin{mathe}[mc]{cccc}
\phi(u_{1})=v_{1},
&\phi(u_{2})=v_{2},
&\phi(u'_{3})=v'_{3},
&\phi(u'_{4})=v'_{4},
\end{mathe}
gelten. Insbesondere sind Bedingungen {i) + ii)} erfüllt.
Also lautet wie oben argumentiert, die Antwort auf die Originalfrage: \fbox{Ja}!
\end{soln*}
\begin{qstn}
Gibt es eine
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}
\item[] b) injektive
\item[] b') nicht-injektive
\item[] c) surjektive
\item[] c') nicht-surjektive
\item[] d) bijektive
\item[] d') nicht-bijektive
\end{multikompaktenum}
lineare Abbildung, ${\phi:U\to V}$,
so dass i)--iv) erfüllt sind?
\end{qstn}
\begin{soln*}
Da $\dim(U)=\dim(V)$,
sind \textbf{b)}, \textbf{c)}, \textbf{d)} äquivalent
und genauso sind \textbf{b')}, \textbf{c')}, \textbf{d)} äquivalent,
da für lineare Abbildung zwischen endlichdimensionalen Räumen gleicher Dimensionen
Injektivität, Surjektivität, und Bijektivität
äquivalent sind.
Darum reicht es aus, nur \textbf{c)} und \textbf{c')} zu behandeln.
Zu \textbf{c)}, da $\{v_{1},v_{2}\}\subseteq V$ linear unabhängig sind,
wähle $v'_{3},v'_{4}\in V$ so,
dass $\{v_{1},v_{2},v'_{3},v'_{4}\}$ eine Basis
des $4$-dimensionalen Raums, $V$, bildet.
Sei ${\phi_{1}:U\to V}$ die lineare Abbildung
im o.\,s. Beweis mit diesen Vektoren in der Konstruktion.
Da $\{u_{1},u_{2},u'_{3},u'_{4}\}$ eine Basis für $U$ ist,
gilt wegen Linearität von $\phi_{1}$
\begin{mathe}[mc]{rcl}
\range(\phi_{1})
&= &\phi_{1}(\vectorspacespan\{u_{1},u_{2},u'_{3},u'_{4}\})\\
&= &\vectorspacespan\{\phi(u_{1}),\phi(u_{2}),\phi(u'_{3}),\phi(u'_{4})\}\\
&= &\vectorspacespan\{v_{1},v_{2},v'_{3},v'_{4}\}\\
\end{mathe}
und damit $\range(\phi_{1})=V$,
da \uline{per Wahl} $\{v_{1},v_{2},v'_{3},v'_{4}\}$ eine Basis von $V$ ist.
Folglich ist $\phi_{1}$ surjektiv.
Die Antwort auf \textbf{c)} (und \textbf{b)} und \textbf{d)}), lautet also \fbox{Ja}.
Zu \textbf{c')} wähle $v'_{3},v'_{4}:=\zerovector$
und sei ${\phi_{2}:U\to V}$ die lineare Abbildung
im o.\,s. Beweis mit diesen Vektoren in der Konstruktion.
Wie oben gilt
$%
\rank(\phi_{2})
\textoverset{Defn}{=}\dim(\range(\phi_{2}))
=\dim(\vectorspacespan\{v_{1},v_{2},v'_{3},v'_{4}\})
=\dim(\vectorspacespan\{v_{1},v_{2}\})
\leq 2
$,
da \uline{per Wahl} $v'_{3},v'_{4}\in\vectorspacespan\{v_{1},v_{2}\}$.
Also, $\rank(\phi_{2})<4=\dim(V)$.
Folglich ist $\phi_{2}$
laut \cite[Korollar~6.3.15(2)]{sinn2020}
nicht-surjektiv.
Die Antwort auf \textbf{c')} (und \textbf{b')} und \textbf{d')}) lautet also \fbox{Ja}.
\end{soln*}
%% AUFGABE 7
\clearpage
\let\altsectionname\sectionname
\def\sectionname{Aufgabe}
\section[Aufgabe 7]{}
\label{sec:7}
\let\sectionname\altsectionname
Betrachten wir die $\reell$-Vektorräume $U=V:=\reell^{4}$
und die Vektoren $u_{1},u_{2},u_{3},u_{4}\in U$ und $v_{1},v_{2},v_{3},v_{4}\in V$
\begin{mathe}[mc]{cccc}
u_{1} = \begin{svector} 0\\ 0\\ 1\\ 1\\\end{svector},
&u_{2} = \begin{svector} 3\\ 0\\ 1\\ 1\\\end{svector},
&u_{3} = \begin{svector} 30\\ 0\\ 0\\ 0\\\end{svector},
&u_{4} = \begin{svector} 3\\ 0\\ 2\\ 2\\\end{svector},\\
\end{mathe}
\begin{mathe}[mc]{cccc}
v_{1} = \begin{svector} 0\\ 3\\ 0\\ 0\\\end{svector},
&v_{2} = \begin{svector} 0\\ 6\\ 0\\ 0\\\end{svector},
&v_{3} = \begin{svector} 0\\ 30\\ 0\\ 0\\\end{svector},
&v_{4} = \begin{svector} 0\\ 9\\ 0\\ 0\\\end{svector}.\\
\end{mathe}
\begin{qstn}
Gibt es eine lineare Abbildung, ${\phi:U\to V}$,
so dass
\setcounter{columnanzahl}{2}
\begin{multikompaktenum}{\bfseries i)}[\rtab][\rtab]
\item
$\phi(u_{1})=v_{1}$
\item
$\phi(u_{2})=v_{2}$
\item
$\phi(u_{3})=v_{3}$
\item
$\phi(u_{4})=v_{4}$
\end{multikompaktenum}
\uline{alle} erfüllt sind?
\end{qstn}
\begin{soln*}
Zunächst beobachte, dass $\{u_{1},u_{2}\}$ linear unabhängig ist,
und dass $u_{3},u_{4}\in\vectorspacespan\{u_{1},u_{2}\}$,
da ${u_{3}=10u_{2}-10u_{1}}$ und ${u_{4}=u_{1}+u_{2}}$.
Beachte auch, dass sich diese Verhältnisse in den Outputvektoren wiederspiegeln:
\begin{mathe}[mc]{rcccl}
10v_{2}-10v_{1}
&= &\begin{svector} 0\\ 30\\ 0\\ 0\\\end{svector} &= &v_{3},\\
v_{1}+v_{2}
&= &\begin{svector} 0\\ 9\\ 0\\ 0\\\end{svector} &= &v_{4}.\\
\end{mathe}
Der Rest dieser Aufgabe lässt sich nun genauso wie
bei \Cref{qstn:6:ch:lin-ext} erledigen.
Die Antwort hier lautet also wieder: \fbox{Ja},
es gibt eine lineare Ausdehnung, die i)--iv) erfüllt.
\end{soln*}
\begin{qstn}
Gibt es eine
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}
\item[] b) injektive
\item[] b') nicht-injektive
\item[] c) surjektive
\item[] c') nicht-surjektive
\item[] d) bijektive
\item[] d') nicht-bijektive
\end{multikompaktenum}
lineare Abbildung, ${\phi:U\to V}$,
so dass i)--iv) erfüllt sind?
\end{qstn}
\begin{soln*}
Da $\dim(U)=\dim(V)$,
sind \textbf{b)}, \textbf{c)}, \textbf{d)} äquivalent
und genauso sind \textbf{b')}, \textbf{c')}, \textbf{d)} äquivalent,
da für lineare Abbildung zwischen endlichdimensionalen Räumen gleicher Dimensionen
Injektivität, Surjektivität, und Bijektivität
äquivalent sind.
Darum reicht es aus, nur \textbf{b)} und \textbf{b')} zu behandeln.
Sei nun ${\phi:U\to V}$ eine beliebige lineare Abbildung,
die i)--iv) erfüllt (laut der letzten Aufgabe existiert mindestens eine).
Da $\{u_{1},u_{2}\}$ linear unabhängig ist,
können wir dies zu einer Basis
$\{u_{1},u_{2},u'_{3},u'_{4}\}$
von $U$ erweitern.
Da $\phi$ eine Ausdehnung und linear ist,
gilt
\begin{mathe}[mc]{rcl}
\range(\phi)
&= &\phi(\vectorspacespan\{u_{1},u_{2},u'_{3},u'_{4}\})\\
&= &\vectorspacespan\{\phi(u_{1}),\phi(u_{2}),\phi(u'_{3}),\phi(u'_{4})\}\\
&= &\vectorspacespan\{v_{1},v_{2},\phi(u'_{3}),\phi(u'_{4})\}.\\
\end{mathe}
Darum gilt
$%
\rank(\phi)
\textoverset{Defn}{=}\dim(\range(\phi))
=\dim(\vectorspacespan\{v_{1},v_{2},\phi(u'_{3}),\phi(u'_{4})\})
=\dim(\vectorspacespan\{v_{1},\phi(u'_{3}),\phi(u'_{4})\})
\leq 3
$,
da $v_{2}\in\vectorspacespan\{v_{1}\}$.
Also, $\rank(\phi)<4=\dim(V)$.
Folglich ist $\phi$
laut \cite[Korollar~6.3.15(2)]{sinn2020}
nicht-surjektiv.
Da $\phi$ beliebig war,
haben wir tatsächlich gezeigt,
dass alle lineare Ausdehnungen von i)--iv) nicht-surjektiv sind.
Darum lautet die Antwort auf
\textbf{c)} (und \textbf{b)} und \textbf{d)}) \fbox{Nein}
und auf \textbf{c')} (und \textbf{b')} und \textbf{d')}) \fbox{Ja}.
\end{soln*}
%% AUFGABE 8
\clearpage
\let\altsectionname\sectionname
\def\sectionname{Aufgabe}
\section[Aufgabe 8]{}
\label{sec:8}
\let\sectionname\altsectionname
Betrachten wir die $\reell$-Vektorräume $U=V:=\reell^{3}$
und die Vektoren $u_{1},u_{2},u_{3},u_{4}\in U$ und $v_{1},v_{2},v_{3},v_{4}\in V$
\begin{mathe}[mc]{cccc}
u_{1} = \begin{svector} 0\\ 0\\ 1\\\end{svector},
&u_{2} = \begin{svector} 3\\ 0\\ 1\\\end{svector},
&u_{3} = \begin{svector} 30\\ 2\\ 0\\\end{svector},
&u_{4} = \begin{svector} 0\\ 2\\ 0\\\end{svector},\\
\end{mathe}
\begin{mathe}[mc]{cccc}
v_{1} = \begin{svector} 0\\ 3\\ 0\\\end{svector},
&v_{2} = \begin{svector} 1\\ 3\\ 0\\\end{svector},
&v_{3} = \begin{svector} 11\\ 1\\ 1\\\end{svector},
&v_{4} = \begin{svector} 1\\ 1\\ 1\\\end{svector}.\\
\end{mathe}
\begin{qstn}
\makelabel{ex:8:ch:lin-ext}
Gibt es eine lineare Abbildung, ${\phi:U\to V}$,
so dass
\setcounter{columnanzahl}{2}
\begin{multikompaktenum}{\bfseries i)}[\rtab][\rtab]
\item
$\phi(u_{1})=v_{1}$
\item
$\phi(u_{2})=v_{2}$
\item
$\phi(u_{3})=v_{3}$
\item
$\phi(u_{4})=v_{4}$
\end{multikompaktenum}
\uline{alle} erfüllt sind?
\end{qstn}
\begin{soln*}
Zunächst beobachte, dass $\{u_{1},u_{2},u_{4}\}$ linear unabhängig ist,
und dass $u_{3}\in\vectorspacespan\{u_{1},u_{2},u_{4}\}$,
da ${u_{3}=10u_{2}-10u_{1}+u_{4}}$.
Beachte auch, dass sich dieses Verhältnis in den Outputvektoren wiederspiegelt:
\begin{mathe}[mc]{rcccl}
10v_{2}-10v_{1}+v_{4}
&= &\begin{svector} 11\\ 1\\ 1\\\end{svector} &= &v_{3}.\\
\end{mathe}
Darum können wir die Frage auf Bedingungen {i)--iii)} reduzieren,
weil wegen des o.\,s. Verhältnisses {iv)}
für lineare Abbildungen automatisch mit erfüllt wird.
Hier müssen wir nun im Gegensatz zu den anderen Aufgaben \uline{nichts hinzufügen}!
Da $\{u_{1},u_{2},u_{3}\}$ linear unabhängig ist,
bildet dies bereits eine Basis des $3$-dimenionalen Raums $U$.
Da $\{u_{1},u_{2},u_{3}\}$ eine Basis von $U$ ist
und $v_{1},v_{2},v_{3}\in V$,
existiert laut \cite[Satz~6.1.13]{sinn2020}
eine lineare Ausdehnung,
${\phi:U\to V}$,
so dass
\begin{mathe}[mc]{cccc}
\phi(u_{1})=v_{1},
&\phi(u_{2})=v_{2},
&\phi(u_{3})=v_{3}
\end{mathe}
gelten. Insbesondere sind Bedingungen {i)--iii)} erfüllt.
Also lautet wie oben argumentiert, die Antwort auf die Originalfrage: \fbox{Ja}!
\end{soln*}
\begin{qstn}
Gibt es eine
\setcounter{columnanzahl}{3}
\begin{multikompaktenum}
\item[] b) injektive
\item[] b') nicht-injektive
\item[] c) surjektive
\item[] c') nicht-surjektive
\item[] d) bijektive
\item[] d') nicht-bijektive
\end{multikompaktenum}
lineare Abbildung, ${\phi:U\to V}$,
so dass i)--iv) erfüllt sind?
\end{qstn}
\begin{soln*}
Da $\dim(U)=\dim(V)$,
sind \textbf{b)}, \textbf{c)}, \textbf{d)} äquivalent
und genauso sind \textbf{b')}, \textbf{c')}, \textbf{d)} äquivalent,
da für lineare Abbildung zwischen endlichdimensionalen Räumen gleicher Dimensionen
Injektivität, Surjektivität, und Bijektivität
äquivalent sind.
Darum reicht es aus, nur \textbf{c)} und \textbf{c')} zu behandeln.
Sei nun ${\phi:U\to V}$ eine beliebige lineare Abbildung,
die i)--iv) erfüllt (laut der letzten Aufgabe existiert mindestens eine).
Da $\phi$ eine Ausdehnung und linear ist
und da $\{u_{1},u_{2},u_{3}\}$ eine Basis von $U$ ist,
gilt
\begin{mathe}[mc]{rcl}
\range(\phi)
&= &\phi(\vectorspacespan\{u_{1},u_{2},u_{3}\})\\
&= &\vectorspacespan\{\phi(u_{1}),\phi(u_{2}),\phi(u_{3})\}\\
&= &\vectorspacespan\{v_{1},v_{2},v_{3}\}.\\
\end{mathe}
Nun ist $\{v_{1},v_{2},v_{3}\}\subseteq V$ linear unabhängig
und bildet somit eine Basis des $3$-dimenionalen Vektorraums, $V$.
Darum gilt $\range(\phi)\supseteq V$,
sodass $\phi$ surjektiv ist.
Da $\phi$ beliebig war,
haben wir tatsächlich gezeigt,
dass alle lineare Ausdehnungen von i)--iv) surjektiv sind.
Darum lautet die Antwort auf
\textbf{c)} (und \textbf{b)} und \textbf{d)}) \fbox{Ja}
und auf \textbf{c')} (und \textbf{b')} und \textbf{d')}) \fbox{Nein}.
\end{soln*}
\begin{rem}
Laut \cite[Satz~6.1.13]{sinn2020}
die für \Cref{ex:8:ch:lin-ext} konstruierte lineare Abbildung, $\phi$,
eindeutig.
Da wir keine freie Wahl trafen, gibt es also \uline{exakt eine}
lineare Abbildung, die i)--iv) erfüllt.
Darum ist die letzte Frage eigentlich
»Ist \uline{die} lineare Ausdehnung injektiv/nicht-injektiv/...?«.
\end{rem}
\begin{rem}
Wir hätten die o.\,s. Aufgabe so aufstellen können,
dass $\{v_{1},v_{2},v_{3}\}$ linear abhängig wäre.
Dann hätte die lineare Ausdehnung den Rang $<3$.
Die Antworten auf \textbf{c)}, \textbf{b)}, \textbf{d)}) würden dann »Nein« lauten,
und auf \textbf{c')}, \textbf{b')}, \textbf{d')} »Ja«.
\end{rem}
%% ********************************************************************************
%% FILE: back/index.tex
%% ********************************************************************************
\bibliographystyle{alpha}
\def\bibname{Literaturverzeichnis}
\nocite{*}
\bgroup
\footnotesize
%% ********************************************************************************
%% FILE: ./../loesungen/back/quelle.bib
%% ********************************************************************************
\begin{thebibliography}{Wal16}
\bibitem[Jec97]{jech1997}
Thomas Jech.
\newblock {\em {Set Theory}}.
\newblock Springer-Verlag, 1997.
\bibitem[Sin20]{sinn2020}
Rainer Sinn.
\newblock {Lineare Algebra I: Skript zur Veranstaltung Universit\"at Leipzig}.
\newblock Vorlesungsskript, 2020.
\bibitem[Wal16]{waldmann2016}
Stefan Waldmann.
\newblock {\em {Lineare Algebra 1: Die Grundlagen f\"ur Studierende der
Mathematik und Physik}}.
\newblock Springer Berlin Heidelberg, 2016.
\end{thebibliography}
\egroup
\end{document}