diff --git a/ws2019/la/uebungen/la10.pdf b/ws2019/la/uebungen/la10.pdf new file mode 100644 index 0000000..365e9a3 Binary files /dev/null and b/ws2019/la/uebungen/la10.pdf differ diff --git a/ws2019/la/uebungen/la10.tex b/ws2019/la/uebungen/la10.tex new file mode 100644 index 0000000..0569565 --- /dev/null +++ b/ws2019/la/uebungen/la10.tex @@ -0,0 +1,273 @@ +\documentclass[uebung]{../../../lecture} +\usepackage[]{gauss} + +\title{Übungsblatt Nr. 10} +\author{Christian Merten} + +\begin{document} + +\punkte + +\begin{aufgabe} + \[ + \begin{gmatrix}[p] + 0 & 6 & -2 & -1 & 2 \\ + -1 & -1 & 0 & -1 & 11 \\ + -2 & 3 & -1 & -2 & 15 \\ + 1 & 0 & 0 & 1 & -10 + \end{gmatrix} + \to + \begin{gmatrix}[p] + 1 & 0 & 0 & 0 & 2 \\ + 0 & 1 & 0 & 0 & -1 \\ + 0 & 0 & 1 & 0 & 2 \\ + 0 & 0 & 0 & 1 & -12 +\end{gmatrix} +.\] $\text{Rg}(A) = \text{Rg}(A|b) = 4$ + und + $L = \left\{\begin{pmatrix} 2 \\ -1 \\ 2 \\ 12 \end{pmatrix} \right\} $ + \[ + \begin{gmatrix}[p] + 2 & 2 & 1 & 2 & 4 \\ + 1 & 0 & 1 & 1 & 4 \\ + 1 & 1 & 1 & 2 & 4 \\ + 2 & 1 & 1 & 1 & 4 + \end{gmatrix} + \to + \begin{gmatrix}[p] + 1 & 0 & 0 & -1 & 0 \\ + 0 & 1 & 0 & 1 & 0 \\ + 0 & 0 & 1 & 2 & 4 \\ + 0 & 0 & 0 & 0 & 0 + \end{gmatrix} + .\] $\text{Rg}(A) = \text{Rg}(A|b) = 3$ spezielle Lösung $\begin{pmatrix} 0 \\ 0 \\ 4 \\ 0 \end{pmatrix} $, + damit folgt + $L = \begin{pmatrix} 0 \\ 0 \\ 4 \\ 0 \end{pmatrix} + \text{Lin}\left( \begin{pmatrix} -1 \\ 1 \\ 2 \\ -1 \end{pmatrix} \right) $. + \[ + \begin{gmatrix}[p] + 1 & 0 & 1 & 1 & 1 \\ + 2 & 2 & 1 & 2 & 2 \\ + 1 & 1 & 1 & 2 & 3 \\ + 2 & 1 & 1 & 1 & 4 + \end{gmatrix} + \to + \begin{gmatrix}[p] + 1 & 0 & 0 & -1 & 1 \\ + 0 & 1 & 0 & 1 & 2 \\ + 0 & 0 & 1 & 2 & 0 \\ + 0 & 0 & 0 & 0 & 1 + \end{gmatrix} + .\] + $\text{Rg}(A) = 3 \neq 4 = \text{Rg}(A|b) \implies L = \{\} $ +\end{aufgabe} + +\begin{aufgabe} + \begin{enumerate}[(a)] + \item Beh.: $x^2 + 1$ und $x^2 + x + 1$ sind teilerfremd. + \begin{proof} + Führe den euklidischen Algorithmus mit $f_1 := x^2 + x + 1$ und + $f_2 := x^2 + 1$ + aus. So erhalten wir + \begin{align*} + f_1 &= 1 \cdot f_2 + \underbrace{x}_{ =: f_3} \\ + f_2 &= x \cdot f_3 + \underbrace{1}_{ =: f_4} \\ + f_3 &= x \cdot f_4 + .\end{align*} + Damit erhalten wir direkt + $\text{ggT}(f_1, f_2) = f_4 = 1 \implies f_1, f_2$ teilerfremd. + \end{proof} + \item Beh.: Für $p := 1 + x$ und $q := -x$ gilt $p \cdot (x^2 + 1) + q \cdot (x^2 + x + 1) = 1$. + \begin{proof} + Steige den euklidischen Algorithmus aus (a) auf. + \begin{align*} + 1 = f_4 = f_2 - x \cdot f_3 &= f_2 - x (f_1 - f_2) \\ + &= f_2 - x \cdot f_1 + x \cdot f_2 \\ + &= (\underbrace{-x}_{=q}) + \cdot f_1 + (\underbrace{1 + x}_{=p}) \cdot f_2 + .\end{align*} + \end{proof} + \item Sei $f \in K[x]$ ein Polynom. + + Beh.: $f K[x] := \{f g \mid g \in K[x]\} $ ist Untervektorraum von $K[x]$ + \begin{proof} + Seien $g_1, g_2 \in f K[x]$ und $\lambda \in K$ bel. Dann ex. + Polynome $h_1, h_2 \in K[x]$ mit $g_1 = h_1 \cdot f$ und + $g_2 = h_2 \cdot f$. Damit folgt + \[ + \lambda g_1 + g_2 = \lambda f h_1 + f h_2 = f (\underbrace{\lambda h_1 + h_2}_{ \in K[x]}) + .\] $\implies \lambda g_1 + g_2 \in f K[x]$. + + Außerdem $0 \cdot f = 0 \in f K[x]$. + \end{proof} + \item Beh.: $\text{dim } K[x] / f K[x] = |\text{deg}(f)|$. + \begin{proof} + Für $f = 0$ folgt $f K[x] = \{0\} $ und wegen $K[x] \stackrel{\sim }{=} K[x] / \{0\}$, folgt + direkt $\text{dim } K[x] = \infty = |-\infty| = \text{deg}(f)$. + + Für $f \neq 0$ definiere $n := \text{deg}(f) \ge 0$. + + Zz.: Die auf $K[x]_{< n}$ eingeschränkte kanonische Projektion + $\left.p\right|_{K[x]_{