Kurs:Mathematik für Anwender/Teil I/47/Klausur mit Lösungen/latex
%Daten zur Institution
%\input{Dozentdaten}
%\renewcommand{\fachbereich}{Fachbereich}
%\renewcommand{\dozent}{Prof. Dr. . }
%Klausurdaten
\renewcommand{\klausurgebiet}{ }
\renewcommand{\klausurtyp}{ }
\renewcommand{\klausurdatum}{ . 20}
\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}
%Daten für folgende Punktetabelle
\renewcommand{\aeins}{ 3 }
\renewcommand{\azwei}{ 3 }
\renewcommand{\adrei}{ 2 }
\renewcommand{\avier}{ 3 }
\renewcommand{\afuenf}{ 2 }
\renewcommand{\asechs}{ 2 }
\renewcommand{\asieben}{ 2 }
\renewcommand{\aacht}{ 1 }
\renewcommand{\aneun}{ 1 }
\renewcommand{\azehn}{ 6 }
\renewcommand{\aelf}{ 4 }
\renewcommand{\azwoelf}{ 4 }
\renewcommand{\adreizehn}{ 4 }
\renewcommand{\avierzehn}{ 2 }
\renewcommand{\afuenfzehn}{ 5 }
\renewcommand{\asechzehn}{ 5 }
\renewcommand{\asiebzehn}{ 2 }
\renewcommand{\aachtzehn}{ 1 }
\renewcommand{\aneunzehn}{ 2 }
\renewcommand{\azwanzig}{ 6 }
\renewcommand{\aeinundzwanzig}{ 4 }
\renewcommand{\azweiundzwanzig}{ 64 }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabelleeinundzwanzig
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabepunkteloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Der \stichwort {Körper der komplexen Zahlen} {} \zusatzklammer {mit den Verknüpfungen} {} {.}
}{Der \stichwort {Grad} {} eines Polynoms
\mathbed {P \in K[X]} {}
{P \neq 0} {}
{} {} {} {,}
über einem Körper $K$.
}{Die
\stichwort {bestimmte Divergenz} {}
einer reellen Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} gegen $- \infty$.
}{Die reelle
\stichwort {Exponentialfunktion} {}
zu einer Basis
\mavergleichskette
{\vergleichskette
{b
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Der \stichwort {Kosinus hyperbolicus} {.}
}{\stichwort {Ähnliche} {}
Matrizen
\mathl{M,N \in \operatorname{Mat}_{ n } (K)}{.}
}
}
{
\aufzaehlungsechs{Die Menge
\mathdisp {\R^2} { }
mit
\mathkor {} {0 \defeq (0,0)} {und} {1 \defeq (1,0)} {,}
mit der komponentenweisen Addition und der durch
\mavergleichskettedisp
{\vergleichskette
{ (a,b) \cdot (c,d)
}
{ \defeq} { (ac-bd, ad+bc)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definierten Multiplikation nennt man Körper der komplexen Zahlen.
}{Der Grad eines von
\mathl{0}{} verschiedenen Polynoms
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {a_0 + a_1X+a_2X^2 + \cdots + a_nX^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{a_n \neq 0}{} ist $n$.
}{Die
\definitionsverweis {Folge}{}{}
\mathl{{ \left( x_n \right) }_{n \in \N }}{} in $\R$ heißt bestimmt divergent gegen $- \infty$, wenn es zu jedem
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{N
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {x_n \leq s \text{ für alle } n \geq N} { }
gibt.
}{Die
Exponentialfunktion zur Basis
$b$ ist als
\mavergleichskettedisp
{\vergleichskette
{ b^x
}
{ \defeq} { \exp (x \ln b )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert.
}{Die für
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch
\mavergleichskettedisp
{\vergleichskette
{ \cosh x
}
{ \defeq} { { \frac{ 1 }{ 2 } } { \left( e^x + e^{-x} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definierte
\definitionsverweis {Funktion}{}{}
heißt Kosinus hyperbolicus.
}{Die Matrizen
\mathl{M,N}{} heißen
ähnlich,
wenn es eine
\definitionsverweis {invertierbare Matrix}{}{}
$B$ mit
\mavergleichskette
{\vergleichskette
{M
}
{ = }{B N B^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
}
\inputaufgabepunkteloesung
{3}
{
Formuliere die folgenden Sätze.
\aufzaehlungdrei{Die \stichwort {allgemeine binomische Formel} {} für
\mathl{(a+b)^n}{.}}{Die
\stichwort {Produktregel} {}
für reelle Folgen.}{Der
\stichwort {Basisaustauschsatz} {.}}
}
{
\aufzaehlungdrei{Für
\mathl{a,b}{} in einem Körper $K$ gilt
\mavergleichskettedisp
{\vergleichskette
{(a+b)^n
}
{ =} { \sum_{i = 0 }^n \binom { n } { i } a^i b^{n-i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Es seien
\mathkor {} {{ \left( x_n \right) }_{n \in \N }} {und} {{ \left( y_n \right) }_{n \in \N }} {}
konvergente Folgen in $\R$. Dann ist die Folge
\mathl{{ \left( x_n \cdot y_n \right) }_{ n \in \N }}{} ebenfalls konvergent und es gilt
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} { \left( x_n \cdot y_n \right) }
}
{ =} { { \left( \lim_{n \rightarrow \infty} x_n \right) } \cdot { \left( \lim_{n \rightarrow \infty} y_n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Es sei $K$ ein Körper und $V$ ein $K$-Vektorraum mit einer Basis
\mathdisp {b_1 , \ldots , b_n} { . }
Ferner sei
\mathdisp {u_1 , \ldots , u_k} { }
eine Familie von linear unabhängigen Vektoren in $V$. Dann gibt es eine Teilmenge
\mathl{J=\{ i_1, i_2 , \ldots , i_k \} \subseteq \{1 , \ldots , n \} = I}{} derart, dass die Familie
\mathdisp {u_1 , \ldots , u_k, b_i, i \in I \setminus J} { , }
eine Basis von $V$ ist.}
}
\inputaufgabepunkteloesung
{2}
{
Es seien
\mathl{p,q,r}{} Aussagen. Zeige, dass
\mathdisp {{ \left( (p \rightarrow q) \wedge (p \rightarrow r) \right) } \leftrightarrow { \left( p \rightarrow ( q \wedge r) \right) }} { }
eine Tautologie ist.
}
{
Wenn $p$ falsch ist, so sind alle drei Implikation wahr, in diesem Fall sind also beide Seiten des Äquivalenzpfeiles wahr. Es sei nun $p$ wahr. Dann sind die Implikationen genau dann wahr, wenn ihr Nachsatz wahr ist. Die rechte Seite ist also genau dann wahr, wenn \mathkor {} {q} {und} {r} {} wahr sind. Dies gilt aber auch für die linke Seite.
}
\inputaufgabepunkteloesung
{3}
{
Ein Schokoriegel der Marke \anfuehrung{Höcker und Kerbe}{} besteht aus einer einzigen Reihe von $n$ hintereinanderliegenden höckerförmigen Schokostücken, die jeweils durch eine Einkerbung \zusatzklammer {der Sollbruchstelle} {} {} miteinander verbunden sind. Zeige mit und ohne Induktion, dass man, egal bei welcher Teilungsstrategie, genau $n-1$ Teilungsschritte braucht, um den Schokoriegel vollständig in seine Stücke aufzuteilen.
}
{
Ohne Induktion. Eine Schockriegel mit $n$ Höckern hat $n-1$ Einkerbungen. Jede muss bei einer vollständigen Teilung genau einmal gebrochen werden, deshalb braucht man genau $n-1$ Teilungsschritte.
Mit Induktion. Induktionsanfang. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es nichts zu teilen, also kein Teilungsschritt. Induktionsvoraussetzung. Es sei bereits bewiesen, dass man bei einer vollständigen Teilung eines Schokoriegels der Länge $n$ genau $n-1$ Schritte braucht. Es sei ein Schokoriegel der Länge $n+1$ gegeben. Jeder Teilungsvorgang desselben beginnt mit einer ersten Teilung, wobei zwei Teilriegel entstehen, wobei der eine Riegel aus $a$
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{1
}
{ \leq }{a
}
{ \leq }{n
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
und der andere aus
\mathl{n+1-a}{} Stücken besteht. Auf diese beiden Teilriegel können wir die Induktionsvoraussetzung anwenden. Die Anzahl der dann benötigten Teilungsschritte ist
\mavergleichskettedisp
{\vergleichskette
{1 + (a-1) + (n+1-a-1)
}
{ =} {n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wie behauptet.
}
\inputaufgabepunkteloesung
{2 (1+1)}
{
Wir betrachten auf der Menge
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \{a,b,c,d \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die durch die Tabelle
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\star$ }
\renewcommand{\leitzeileeins}{ $a$ }
\renewcommand{\leitzeilezwei}{ $b$ }
\renewcommand{\leitzeiledrei}{ $c$ }
\renewcommand{\leitzeilevier}{ $d$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $a$ }
\renewcommand{\leitspaltezwei}{ $b$ }
\renewcommand{\leitspaltedrei}{ $c$ }
\renewcommand{\leitspaltevier}{ $d$ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ c }
\renewcommand{\aeinsxzwei}{ a }
\renewcommand{\aeinsxdrei}{ a }
\renewcommand{\aeinsxvier}{ a }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ d }
\renewcommand{\azweixzwei}{ d }
\renewcommand{\azweixdrei}{ b }
\renewcommand{\azweixvier}{ b }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ a }
\renewcommand{\adreixzwei}{ b }
\renewcommand{\adreixdrei}{ c }
\renewcommand{\adreixvier}{ c }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ b }
\renewcommand{\avierxzwei}{ a }
\renewcommand{\avierxdrei}{ d }
\renewcommand{\avierxvier}{ d }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitvierxvier
gegebene Verknüpfung $\star$.
\aufzaehlungzwei {Berechne
\mathdisp {b \star ( c \star (d \star a))} { . }
} {Besitzt die Verknüpfung $\star$ ein neutrales Element?
}
}
{
\aufzaehlungzwei {Es ist
\mavergleichskettedisp
{\vergleichskette
{b \star ( c \star (d \star a))
}
{ =} {b \star ( c \star b)
}
{ =} {b \star b
}
{ =} { d
}
{ } {
}
}
{}{}{}
} {Die Verknüpfung besitzt kein neutrales Element, da die Leitzeile in der Verknüpfungstabelle nicht als Ergebniszeile wiederkehrt.
}
}
\inputaufgabepunkteloesung
{2}
{
Erstelle das Pascalsche Dreieck bis
\mavergleichskette
{\vergleichskette
{n
}
{ = }{6
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Algebra1 12 fig002.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Algebra1 12 fig002.svg } {} {Madbobfromtheouterspace} {Commons} {CC-by-sa 3.0} {}
$\,$
}
\inputaufgabepunkteloesung
{2}
{
Setze in das Polynom
\mathl{-5 X^3 - X^2 + \sqrt{2} X + \sqrt{5}}{} die Zahl $\sqrt{2}+\sqrt{3}$ ein.
}
{
Es ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ { \left( -5 X^3 - X^2 + \sqrt{2} X + \sqrt{5} \right) } { \left( \sqrt{2} + \sqrt{3} \right) }
}
{ =} { -5 { \left( \sqrt{2} + \sqrt{3} \right) }^3 - { \left( \sqrt{2} + \sqrt{3} \right) }^2 + \sqrt{2} { \left( \sqrt{2} + \sqrt{3} \right) } + \sqrt{5}
}
{ =} { -5 { \left( \sqrt{2}^3 +3 \sqrt{2}^2\sqrt{3}+3 \sqrt{2}\sqrt{3}^2 + \sqrt{3}^3 \right) } - { \left( \sqrt{2}^2 + 2\sqrt{2}\sqrt{3}+\sqrt{3}^2 \right) } + \sqrt{2} { \left( \sqrt{2} + \sqrt{3} \right) } + \sqrt{5}
}
{ =} {-5 { \left( 2 \sqrt{2} +6 \sqrt{3}+9 \sqrt{2} + 3 \sqrt{3} \right) } - { \left( 2 + 2\sqrt{2}\sqrt{3}+3 \right) } + 2+ \sqrt{2} \sqrt{3} + \sqrt{5}
}
{ =} {-5 { \left( 11 \sqrt{2} +9 \sqrt{3} \right) } - 3 - 2\sqrt{2}\sqrt{3} + \sqrt{2} \sqrt{3} + \sqrt{5}
}
}
{
\vergleichskettefortsetzungalign
{ =} {-55 \sqrt{2} -45 \sqrt{3} - \sqrt{2} \sqrt{3} - 3 + \sqrt{5}
}
{ } {}
{ } {}
{ } {}
}{}{.}
}
\inputaufgabepunkteloesung
{1}
{
Bestimme, ob die reelle Zahl
\mathdisp {\sqrt{10000000000000000000000000000}} { }
rational ist oder nicht.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{ \sqrt{10000000000000000000000000000}
}
{ =} { \sqrt{10^{28} }
}
{ =} { 10^{14}
}
{ } {
}
{ } {
}
}
{}{}{}
eine rationale Zahl.
}
\inputaufgabepunkteloesung
{1}
{
Erläutere die geometrische Relevanz des geometrischen Mittels.
}
{Geometrisches Mittel/Geometrische Relevanz/Aufgabe/Lösung
}
\inputaufgabepunkteloesung
{6}
{
Es sei $K$ ein Körper und es seien $n$ verschiedene Elemente $a_1 , \ldots , a_n \in K$ und $n$ Elemente $b_1 , \ldots , b_n \in K$ gegeben. Zeige, dass es ein eindeutiges Polynom
\mathl{P \in K[X]}{} vom Grad $\leq n-1$ derart gibt, dass
\mavergleichskette
{\vergleichskette
{ P(a_i)
}
{ = }{ b_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $i$ ist.
}
{
Wir beweisen die Existenz und betrachten zuerst die Situation, wo
\mavergleichskette
{\vergleichskette
{b_j
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist für alle
\mavergleichskette
{\vergleichskette
{j
}
{ \neq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für ein festes $i$. Dann ist
\mathdisp {(X-a_1) \cdots (X-a_{i-1}) (X-a_{i+1}) \cdots (X-a_n)} { }
ein Polynom vom Grad $n-1$, das an den Stellen
\mathl{a_1 , \ldots , a_{i-1}, a_{i+1} , \ldots , a_n}{} den Wert $0$ hat. Das Polynom
\mathdisp {{ \frac{ b_i }{ (a_i-a_1) \cdots (a_{i}-a_{i-1}) (a_{i} -a_{i+1}) \cdots (a_i-a_n) } } (X-a_1) \cdots (X-a_{i-1}) (X-a_{i+1}) \cdots (X-a_n)} { }
hat an diesen Stellen ebenfalls eine Nullstelle, zusätzlich aber noch bei $a_i$ den Wert $b_i$. Nennen wir dieses Polynom $P_i$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {P_1 + P_2 + \cdots + P_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das gesuchte Polynom. An der Stelle $a_i$ gilt ja
\mavergleichskettedisp
{\vergleichskette
{ P_j(a_i)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{j
}
{ \neq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ P_i(a_i)
}
{ = }{b_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Eindeutigkeit folgt aus Korollar 6.6 (Mathematik für Anwender (Osnabrück 2023-2024)).
}
\inputaufgabepunkteloesung
{4}
{
Es seien
\mathkor {} {{ \left( x_n \right) }_{n \in \N }} {und} {{ \left( y_n \right) }_{n \in \N }} {}
\definitionsverweis {konvergente Folgen}{}{}
in $\R$. Zeige, dass die Produktfolge
\mathl{{ \left( x_n \cdot y_n \right) }_{ n \in \N }}{} ebenfalls konvergent mit
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} { \left( x_n \cdot y_n \right) }
}
{ =} { { \left( \lim_{n \rightarrow \infty} x_n \right) } \cdot { \left( \lim_{n \rightarrow \infty} y_n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist.
}
{
Sei
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Die konvergente Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} ist nach
Lemma 7.10 (Mathematik für Anwender (Osnabrück 2023-2024))
insbesondere
\definitionsverweis {beschränkt}{}{}
und daher existiert ein
\mavergleichskette
{\vergleichskette
{D
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \betrag { x_n }
}
{ \leq }{ D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Sei
\mathkor {} {x \defeq \lim_{n \rightarrow \infty} x_n} {und} {y \defeq \lim_{n \rightarrow \infty} y_n} {.}
Wir setzen
\mavergleichskette
{\vergleichskette
{C
}
{ \defeq }{\max \{D, \betrag { y } \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Aufgrund der Konvergenz gibt es natürliche Zahlen
\mathkor {} {N_1} {und} {N_2} {}
mit
\mathdisp {\betrag { x_n -x } \leq \frac{\epsilon}{2C} \text{ für } n \geq N_1 \text{ und } \betrag { y_n -y } \leq \frac{\epsilon}{2C} \text{ für } n \geq N_2} { . }
Diese Abschätzungen gelten dann auch für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{N
}
{ \defeq }{ \max\{N_1,N_2\}
}
{ }{
}
{ }{
}
}
{}{}{.}
Für diese Zahlen gilt daher
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { x_ny_n -xy }
}
{ =} { \betrag { x_ny_n-x_ny+x_n y-xy }
}
{ \leq} {\betrag { x_ny_n-x_ny } + \betrag { x_ny-xy }
}
{ =} { \betrag { x_n } \betrag { y_n-y } + \betrag { y } \betrag { x_n-x }
}
{ \leq} {C \frac{ \epsilon}{2C} + C \frac{ \epsilon}{2C}
}
}
{
\vergleichskettefortsetzungalign
{ =} {\epsilon
}
{ } {}
{ } {}
{ } {}
}
{}{.}
}
\inputaufgabepunkteloesung
{4}
{
Es sei
\mathl{\sum_{n = 0}^n a_n}{} eine
\definitionsverweis {reelle Reihe}{}{}
mit
\mavergleichskette
{\vergleichskette
{a_n
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $n$. Die Folge der Quotienten
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { { \frac{ a_{n+1} }{ a_n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
konvergiere gegen eine reelle Zahl $x$ mit
\mavergleichskette
{\vergleichskette
{-1
}
{ < }{ x
}
{ < }{1
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige unter Verwendung
des Quotientenkriteriums,
dass die Reihe konvergiert.
}
{
Wegen
\mavergleichskette
{\vergleichskette
{-1
}
{ < }{x
}
{ < }{1
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ \delta
}
{ =} { \min \betrag { x-1 } \, , \betrag { x+1 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
positiv. Wir setzen
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ \defeq }{ { \frac{ \delta }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und damit ist
\mavergleichskettedisp
{\vergleichskette
{ [x - \epsilon, x+ \epsilon]
}
{ \subseteq} { [-1+ \epsilon, 1 - \epsilon ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen der Konvergenz der Quotientenfolge gibt es ein $n_0$ derart, dass
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { { \frac{ a_{n+1} }{ a_n } }
}
{ \in} { [x - \epsilon, x+ \epsilon]
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Mit
\mavergleichskettedisp
{\vergleichskette
{q
}
{ \defeq} { \betrag { 1- \epsilon }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt somit
\mavergleichskettedisp
{\vergleichskette
{ \betrag { { \frac{ a_{n+1} }{ a_n } } }
}
{ \leq} { q
}
{ <} {1
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher kann man auf die Reihe das Quotientenkriterium anwenden und damit auf Konvergenz schließen.
}
\inputaufgabepunkteloesung
{4}
{
Zeige, dass der Graph des \definitionsverweis {Kosinus hyperbolicus}{}{} nicht überall oberhalb der \definitionsverweis {Standardparabel}{}{} verläuft.
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{\cosh x
}
{ =} { { \frac{ 1 }{ 2 } } { \left( e^x +e^{-x} \right) }
}
{ =} { { \frac{ 1 }{ 2 } } { \left( \sum_{n = 0}^\infty { \frac{ x^n }{ n! } } + \sum_{n = 0}^\infty { \frac{ (-x)^n }{ n! } } \right) }
}
{ =} { \sum_{n = 0,\, n \text{ gerade} }^\infty { \frac{ x^n }{ n! } }
}
{ =} { 1 + { \frac{ x^2 }{ 2 } } + { \frac{ x^4 }{ 24 } }+ { \frac{ x^6 }{ 720 } } +...
}
}
{}
{}{.}
Für
\mavergleichskette
{\vergleichskette
{x
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dies
\mavergleichskettealign
{\vergleichskettealign
{ \sum_{k = 0}^\infty { \frac{ 2^{2k} }{ (2k)! } }
}
{ =} { 1 + 2 + { \frac{ 16 }{ 24 } } + { \frac{ 64 }{ 720 } } + ...
}
{ \leq} { 1 + 2 + { \frac{ 16 }{ 24 } } + { \frac{ 64 }{ 720 } } { \left( 1+ { \frac{ 1 }{ 10 } } + { \frac{ 1 }{ 100 } } + { \frac{ 1 }{ 1000 } } + ... \right) }
}
{ \leq} { 1 + 2 + { \frac{ 16 }{ 24 } } + { \frac{ 64 }{ 720 } } \cdot { \frac{ 10 }{ 9 } }
}
{ \leq} { 1 + 2 + { \frac{ 16 }{ 24 } } + { \frac{ 1 }{ 10 } }
}
}
{
\vergleichskettefortsetzungalign
{ <} {4
}
{ =} {2^2
}
{ } {}
{ } {}
}
{}{.}
Dabei haben wir verwendet, dass sich die weiteren Summanden hinter
\mathl{{ \frac{ 64 }{ 720 } }}{} durch Multiplikation mit
\mathl{{ \frac{ 4 }{ 7 \cdot 8 } }, { \frac{ 4 }{ 9 \cdot 10 } }}{} u.s.w. ergeben und daher mit der geometrischen Reihe abgeschätzt werden können.
}
\inputaufgabepunkteloesung
{2}
{
Es sei
\maabbdisp {f} { \R} {\R
} {}
eine
\definitionsverweis {differenzierbare Funktion}{}{}
ohne Nullstelle. Bestimme die Ableitung von
\mavergleichskette
{\vergleichskette
{ g(x)
}
{ = }{ { \frac{ (f (x))^n }{ f(x^n) } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{g'(x)
}
{ =} { { \frac{ n { \left( f (x) \right) }^{n-1} \cdot f'(x) \cdot f(x^n)- { \left( f (x) \right) }^{n} \cdot f'(x^n) \cdot n x^{n-1} }{ { \left( f (x^n) \right) }^2 } }
}
{ =} { n { \left( f (x) \right) }^{n-1} \cdot { \frac{ f'(x) \cdot f(x^n)- f(x) f'(x^n) x^{n-1} }{ { \left( f (x^n) \right) }^2 } }
}
{ } {
}
{ } {
}
}
{}
{}{.}
}
\inputaufgabepunkteloesung
{5}
{
Zeige, dass die Funktion \maabbeledisp {f} {\R} {\R } {x} {f(x) = x^2 + \sin x } {,} genau zwei Nullstellen besitzt.
}
{
Bei
\mathl{x=0}{} liegt eine Nullstelle vor. Auf
\mathl{]0, \pi[}{} sind beide Summanden positiv, und für
\mathl{x \geq \pi}{} ist
\mathl{x^2 \geq 9}{,} so dass, da
\mathl{\sin x}{} zwischen
\mathkor {} {{-1}} {und} {1} {}
liegt, jenseits von $0$ keine Nullstelle liegen kann. Für
\mathl{x < -1}{} ist wiederum
\mathl{x^2 > 1}{,} so dass unterhalb von
\mathl{{-1}}{} auch keine Nullstelle liegen kann. Für das Intervall
\mathl{[- 1,0]}{} ziehen wir die Ableitung heran. Es ist
\mavergleichskettedisp
{\vergleichskette
{f'(x)
}
{ =} {2x + \cos x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Beide Funktion sind in diesem Intervall streng wachsend, daher ist die Ableitung streng wachsend und besitzt auf
\mathl{]{-1},0[}{} höchstens eine Nullstelle. Es ist
\mathl{f'(0) =1 >0}{,} so dass im Nullpunkt kein lokales Extremum vorliegen kann. Daher muss die Funktion auf
\mathl{]{-1},0[}{} auch negative Werte annehmen. Wegen
\mathl{f(-1)=1 + \sin \left( -1 \right) >0}{} muss $f$ nach dem Zwischenwertsatz in
\mathl{]{-1},0[}{} mindestens eine weitere Nullstelle besitzen. Wenn es zwei Nullstellen
\mathl{{-1} < c < d < 0}{} geben würde, so hätte nach dem Satz von Rolle die Ableitung sowohl auf
\mathl{]c,d[}{} als auch auf
\mathl{]d,0[}{} eine Nullstelle, was wir schon ausgeschlossen haben.
}
\inputaufgabepunkteloesung
{5}
{
Es seien $a,b,x,y$ positive reelle Zahlen und es gelte
\mavergleichskettedisp
{\vergleichskette
{a^x
}
{ <} {b^y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Zeige, dass es positive rationale Zahlen
\mathl{c,z}{} mit
\mavergleichskettedisp
{\vergleichskette
{a^x
}
{ <} {c^z
}
{ <} { b^y
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
{
Es sei $x_n$ eine rationale echt fallende Folge
\zusatzklammer {bei
\mathl{a \geq 1}{;} bei
\mathl{a < 1}{} wählen wir eine rationale echt wachsende positive Folge} {} {,}
die gegen $x$ konvergiert. Wegen der Stetigkeit der Exponentialfunktion zur Basis $a$ konvergiert auch
\mathl{a^{x_n}}{} gegen $a^x$. In jedem Fall ist dies eine
\zusatzklammer {bei
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
echt fallende Folge. Wegen der Konvergenz gibt es ein rationales
\mathl{z=x_n}{} mit
\mavergleichskettedisp
{\vergleichskette
{a^x
}
{ \leq} {a^z
}
{ <} {b^y
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Funktion
\maabbeledisp {} {\R_{\geq 0}} {\R
} {a} {a^z
} {,}
ist als Hintereinanderschaltung einer Potenz und einer Wurzel nach
Korollar 10.7 (Mathematik für Anwender (Osnabrück 2023-2024))
und
[[Reelle Zahlen/kte Wurzeln aus reellen Zahlen/Über Zwischenwertsatz/Fakt|Kurs:Mathematik für Anwender (Osnabrück 2023-2024)/Reelle Zahlen/kte Wurzeln aus reellen Zahlen/Über Zwischenwertsatz/Fakt/Faktreferenznummer (Mathematik für Anwender (Osnabrück 2023-2024))]]
ebenfalls stetig. Somit gilt für eine rationale Folge $a_n$, die gegen $a$ konvergiert, dass auch
\mathl{a_n^{z}}{} gegen $a^z$ konvergiert.
Wir wählen die Folge $a_n$ echt fallend, so dass auch
\mathl{a_n^z}{} echt fallend ist. Für $n$ hinreichend groß ist dann
\mavergleichskettedisp
{\vergleichskette
{a^x
}
{ \leq} { a^z
}
{ <} { a_n^z
}
{ <} { b^y
}
{ } {
}
}
{}{}{,}
und wir können
\mavergleichskette
{\vergleichskette
{c
}
{ = }{a_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wählen.
}
\inputaufgabepunkteloesung
{2}
{
Man gebe ein Beispiel einer beschränkten Funktion \maabbdisp {f} {[0,1]} {\R } {,} die nicht \definitionsverweis {Riemann-integrierbar}{}{} ist.
}
{
Es sei
\mathdisp {f(x) \defeq \begin{cases} 0, \text{ falls } x \in \Q, \\ 1 \text{ sonst}\, . \end{cases}} { }
Da es in jedem Intervall positiver Länge sowohl rationale als auch irrationale Zahlen gibt, besitzt eine untere Treppenfunktion zu $f$ maximal den Wert $0$ und eine obere Treppenfunktion zu $f$ besitzt minimal den Wert $1$. Daher ist das Unterintegral gleich $0$ und das Oberintegral gleich $1$. Daher existiert das bestimmte Integral nicht.
}
\inputaufgabepunkteloesung
{1}
{
Addiere die beiden folgenden Vektoren graphisch.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Linear unabhängige Vektoren im R^2.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Linear unabhängige Vektoren im R^2.svg } {} {Claudia4} {Commons} {CC-by-sa 1.0} {}
$\,$
}
{Vektor/Graphisch/Addition/Aufgabe/Lösung
}
\inputaufgabepunkteloesung
{2}
{
Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {endlichdimensionale}{}{}
$K$-\definitionsverweis {Vektorräume}{}{.}
Es seien
\mathkor {} {\mathfrak{ v } = v_1 , \ldots , v_n} {und} {\mathfrak{ u } =u_1 , \ldots , u_n} {}
\definitionsverweis {Basen}{}{}
von $V$ und
\mathkor {} {\mathfrak{ w } = w_1 , \ldots , w_m} {und} {\mathfrak{ z } = z_1 , \ldots , z_m} {}
Basen von $W$. Es seien
\mathkor {} {M^{ \mathfrak{ v } }_{ \mathfrak{ u } }} {und} {M^{ \mathfrak{ w } }_{ \mathfrak{ z } }} {}
die
\definitionsverweis {Übergangsmatrizen}{}{.}
Durch welche Übergangsmatrix wird der Basiswechsel von der Basis
\mathl{(v_1 ,0) , \ldots , (v_n,0),(0, w_1) , \ldots , (0, w_m)}{} zur Basis
\mathl{(u_1 ,0) , \ldots , (u_n,0),(0, z_1) , \ldots , (0, z_m)}{} vom
\definitionsverweis {Produktraum}{}{}
\mathl{V \times W}{} beschrieben?
}
{
Die Übergangsmatrix ist die
\definitionsverweis {Blockmatrix}{}{}
\mathdisp {\begin{pmatrix} M^{ \mathfrak{ v } }_{ \mathfrak{ u } } & 0 \\ 0 & M^{ \mathfrak{ w } }_{ \mathfrak{ z } } \end{pmatrix}} { , }
da die Koordinaten von $(u_j , 0)$
\zusatzklammer {und entsprechend
\mathl{(0,z_k)}{}} {} {}
bezüglich
\mathl{(v_i,0)}{} und
\mathl{(0,w_\ell)}{} unmittelbar und nur von den Koordinaten von $u_j$ bezüglich $v_i$ abhängen.
}
\inputaufgabepunkteloesung
{6}
{
Wir betrachten die letzte Ziffer im kleinen Einmaleins
\zusatzklammer {ohne die Zehnerreihe} {} {}
als eine Familie von $9$ Tupeln der Länge $9$, also die Zeilenvektoren in der Matrix
\mathdisp {\begin{pmatrix}
1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 2 & 4 & 6 & 8 & 0 & 2 & 4 & 6 & 8 \\ 3 & 6 & 9 & 2 & 5 & 8 & 1 & 4 & 7 \\ 4 & 8 & 2 & 6 & 0 & 4 & 8 & 2 & 6 \\ 5 & 0 & 5 & 0 & 5 & 0 & 5 & 0 & 5 \\ 6 & 2 & 8 & 4 & 0 & 6 & 2 & 8 & 4 \\ 7 & 4 & 1 & 8 & 5 & 2 & 9 & 6 & 3 \\ 8 & 6 & 4 & 2 & 0 & 8 & 6 & 4 & 2 \\ 9 & 8 & 7 & 6 & 5 & 4 & 3 & 2 & 1
\end{pmatrix}} { . }
Welche
\definitionsverweis {Dimension}{}{}
besitzt der durch diese Tupel
\definitionsverweis {aufgespannte Untervektorraum}{}{}
des $\R^9$?
}
{
Die Zeilen der Matrix seien mit
\mathl{I-IX}{} bezeichnet. Es ist
\mavergleichskettedisp
{\vergleichskette
{I+ IX
}
{ =} { III + VII
}
{ =} { \left( 10 , \, 10 , \, 10 , \, 10 , \, 10 , \, 10 , \, 10 , \, 10 , \, 10 \right)
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{II+ VIII
}
{ =} { IV + VI
}
{ =} { \left( 10 , \, 10 , \, 10 , \, 10 , \, 0 , \, 10 , \, 10 , \, 10 , \, 10 \right)
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit tragen die achte und die neunte Zeile nichts zur Vektorraumdimension bei, da sie in dem von den ersten sieben Zeilen erzeugten Untervektorraum liegen. Ferner zeigen diese Gleichungen, dass man die siebte Zeile durch die Zeile
\mavergleichskettedisp
{\vergleichskette
{ VII'
}
{ =} { \left( 1 , \, 1 , \, 1 , \, 1 , \, 1 , \, 1 , \, 1 , \, 1 , \, 1 \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die sechste Zeile
\zusatzklammer {durch \mathlk{\left( 1 , \, 1 , \, 1 , \, 1 , \, 0 , \, 1 , \, 1 , \, 1 , \, 1 \right)}{} und damit} {} {}
durch
\mavergleichskettedisp
{\vergleichskette
{ VI'
}
{ =} { \left( 0 , \, 0 , \, 0 , \, 0 , \, 1 , \, 0 , \, 0 , \, 0 , \, 0 \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ersetzen kann. Wir berechnen
\mavergleichskettedisp
{\vergleichskette
{ II-2I
}
{ =} { \left( 0 , \, 0 , \, 0 , \, 0 , \, -10 , \, -10 , \, -10 , \, -10 , \, -10 \right)
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ III-3I
}
{ =} { \left( 0 , \, 0 , \, 0 , \, -10 , \, -10 , \, -10 , \, -20 , \, -20 , \, -20 \right)
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ IV- 4 I
}
{ =} { \left( 0 , \, 0 , \, -10 , \, -10 , \, -20 , \, -20 , \, -20 , \, -30 , \, -30 \right)
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ V-5I
}
{ =} { \left( 0 , \, -10 , \, -10 , \, -20 , \, -20 , \, -30 , \, -30 , \, -40 , \, -40 \right)
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{}
und bezeichnen hinfort die mit
\mathl{- { \frac{ 1 }{ 10 } }}{} multiplizierten Vektoren mit
\mathl{II', III', IV', V'}{.}
Es ist
\mavergleichskettealign
{\vergleichskettealign
{ VII^{\prime \prime}
}
{ \defeq} { VII' - I +V' + IV'
}
{ =} { \left( 1 , \, 1 , \, 1 , \, 1 , \, 1 , \, 1 , \, 1 , \, 1 , \, 1 \right)
}
{ \,} { - \left( 1 , \, 2 , \, 3 , \, 4 , \, 5 , \, 6 , \, 7 , \, 8 , \, 9 \right)
}
{ \,} { + \left( 0 , \, 1 , \, 1 , \, 2 , \, 2 , \, 3 , \, 3 , \, 4 , \, 4 \right)
}
}
{
\vergleichskettefortsetzungalign
{ \,} { + \left( 0 , \, 0 , \, 1 , \, 1 , \, 2 , \, 2 , \, 2 , \, 3 , \, 3 \right)
}
{ =} {\left( 0 , \, 0 , \, 0 , \, 0 , \, 0 , \, 0 , \, -1 , \, 0 , \, -1 \right)
}
{ } {}
{ } {}
}
{}{.}
In der Reihenfolge
\mathdisp {I, V', IV', III', VI' , II' - VI' , VII^{\prime \prime}} { }
sind diese Vektoren in oberer Dreiecksgestalt und somit ist die Dimension gleich $7$.
}
\inputaufgabepunkteloesung
{4}
{
Zeige, dass die Matrix
\mathdisp {\begin{pmatrix} 6 & 1 & 0 \\ 0 & 2 & 4 \\0 & 0 & 7 \end{pmatrix}} { }
über $\R$
\definitionsverweis {diagonalisierbar}{}{}
ist und bestimme eine Basis aus Eigenvektoren.
}
{
Das
\definitionsverweis {charakteristische Polynom}{}{}
zu
\mathdisp {\begin{pmatrix} 6 & 1 & 0 \\ 0 & 2 & 4 \\0 & 0 & 7 \end{pmatrix}} { }
ist
\mathdisp {(X-6)(X-2)(X-7)} { . }
Es zerfällt also in Linearfaktoren mit verschiedenen Nullstellen und daher ist die Matrix diagonalisierbar. Die Eigenwerte sind $2,6,7$. Es ist
\mavergleichskettedisp
{\vergleichskette
{2 \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix} - \begin{pmatrix} 6 & 1 & 0 \\ 0 & 2 & 4 \\0 & 0 & 7 \end{pmatrix}
}
{ =} {\begin{pmatrix} -4 & -1 & 0 \\ 0 & 0 & -4 \\0 & 0 & -5 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
ein Eigenvektor zum Eigenwert $2$ ist
\mathl{\begin{pmatrix} 1 \\-4\\ 0 \end{pmatrix}}{.} Ferner ist
\mavergleichskettedisp
{\vergleichskette
{6 \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix} - \begin{pmatrix} 6 & 1 & 0 \\ 0 & 2 & 4 \\0 & 0 & 7 \end{pmatrix}
}
{ =} {\begin{pmatrix} 0 & -1 & 0 \\ 0 & 4 & -4 \\0 & 0 & -1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
ein Eigenvektor zum Eigenwert $6$ ist
\mathl{\begin{pmatrix} 1 \\0\\ 0 \end{pmatrix}}{.} Schließlich ist
\mavergleichskettedisp
{\vergleichskette
{7 \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix} - \begin{pmatrix} 6 & 1 & 0 \\ 0 & 2 & 4 \\0 & 0 & 7 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & -1 & 0 \\ 0 & 5 & -4 \\0 & 0 & 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
ein Eigenvektor zum Eigenwert $6$ ist
\mathl{\begin{pmatrix} 4 \\4\\ 5 \end{pmatrix}}{.} Eine Basis aus Eigenvektoren ist also
\mathdisp {\begin{pmatrix} 1 \\-4\\ 0 \end{pmatrix},\, \begin{pmatrix} 1 \\0\\ 0 \end{pmatrix} , \, \begin{pmatrix} 4 \\4\\ 5 \end{pmatrix}} { . }
}