diff --git a/ws2019/la/uebungen/la7.pdf b/ws2019/la/uebungen/la7.pdf
new file mode 100644
index 0000000..db27714
Binary files /dev/null and b/ws2019/la/uebungen/la7.pdf differ
diff --git a/ws2019/la/uebungen/la7.tex b/ws2019/la/uebungen/la7.tex
new file mode 100644
index 0000000..af3ab4d
--- /dev/null
+++ b/ws2019/la/uebungen/la7.tex
@@ -0,0 +1,247 @@
+\documentclass[uebung]{../../../lecture}
+
+\title{Lineare Algebra I: Übungsblatt 6}
+\author{Christian Merten, Mert Biyikli}
+
+\begin{document}
+
+\punkte
+
+\begin{aufgabe}
+
+    \begin{enumerate}[(a)]
+        \item Beh.: $W$ ist ein Untervektorraum von $V$.
+            \begin{proof}
+                $0 \in W$, da $0(n) + 0(n+1) + 0(n+2) = 0$
+
+                Seien $w_1, w_2 \in W, a \in K$ und $n \in \N$ beliebig.
+                \begin{align*}
+                    &(aw_1 + w_2)(n) + (aw_1 + w_2)(n+1) + (aw_1 + w_2)(n+2) \\
+                    &= a (\underbrace{w_1(n) + w_1(n+1) + w_1(n+2)}_{= 0}) +
+                    \underbrace{w_2(n) + w_2(n+1) + w_2(n+2)}_{= 0} \\
+                    &= 0
+                .\end{align*}
+                $\implies (aw_1 + w_2) \in W$
+            \end{proof}
+        \item Beh.: Sind $f, g \in W$ derart, dass $f(1) = g(1)$ und $f(2) = g(2)$ gelten, so ist $f = g$.
+            \begin{proof}
+                Seien $f, g \in W$ mit $f(1) = g(1)$ und $f(2) = g(2)$.
+
+                Zz.: $\forall n \in \N\colon f(n) = g(n)$\\
+                Beweis durch vollständige Induktion
+
+                I.A.: Nach Voraussetzung gilt $f(1) = g(1)$ und $f(2) = g(2)$.
+
+                I.S.: Es existiere ein festes aber beliebiges $n \in \N, n \ge 2$ mit
+                $f(n) = g(n)$ und $f(n-1) = g(n-1)$.
+
+                $n \to n+1$: Wegen $f, g \in W$ gilt:
+                \begin{align*}
+                    f(n-1) + f(n) + f(n+1) = 0 = g(n-1) + g(n) + g(n+1)
+                .\end{align*}
+                $\implies f(n+1) = g(n+1)$.
+            \end{proof} 
+        \item Beh.: $W$ ist endlich erzeugt.
+            \begin{proof}
+                Definiere:
+                \begin{align*}
+                    &w_1 := \begin{cases}
+                        1 & \exists k \in \N\colon n = 3k+1 \\
+                        0 & \exists k \in \N\colon n = 3k+2 \\
+                        -1 & \exists k \in \N\colon n = 3k
+                    \end{cases}, \qquad
+                    w_2 \colon= \begin{cases}
+                        0 & \exists k \in \N\colon n = 3k+1 \\
+                        1 & \exists k \in \N\colon n = 3k+2 \\
+                        -1 & \exists k \in \N\colon n = 3k
+                    \end{cases}
+                .\end{align*}
+
+                Zz.: $w_1, w_2 \in W$. Sei $n \in \N$ beliebig.
+
+                Falls $\exists k \in \N\colon n = 3k+1$, dann $n + 1 = 3k+2$ und $n + 2 = 3(k+1)$.
+                \begin{align*}
+                    w_1(n) + w_1(n+1) + w_1(n+2) &= 1 + 0 - 1 = 0
+                    \intertext{und}
+                    w_2(n) + w_2(n+1) + w_2(n+2) &= 0 + 1 - 1 = 0
+                .\end{align*}
+
+                Fälle $\exists k \in \N\colon n = 3k+2$ bzw. $n = 3k$ folgen analog.
+
+                Zz.: $\{w_1, w_2\} $ ist Erzeugendensystem. Sei $f \in W$ beliebig.
+                Wähle $a_1 := f(1)$ und $a_2 := f(2)$. Damit gilt wegen (b):
+                \begin{align*}
+                    a_1 w_1(1) + a_2 w_2(1) = a_1 = f(1)
+                \intertext{und}
+                    a_1 w_1(2) + a_2 w_2(2) = a_2 = f(2)
+                .\end{align*} Wegen (b) $\implies f = a_1 w_1 + a_2 w_2$. \\
+                $\implies \{w_1, w_2\} $ ist endliches Erzeugendensystem von $W$.
+            \end{proof}
+        \item Beh.: $\text{dim}(W) = 2$ 
+            \begin{proof}
+                Zz.: $\{w_1, w_2\}$ aus (c) ist Basis, also linear unabhängig.
+
+                Sei $a_1 w_1(n) + a_2 w_2(n) = 0 \quad \forall n \in \N$.
+
+                Für $n = 1$ folgt $a_1 w_1(1) + a_2 w_2(1) = a_1 = 0$.\\
+                Für $n = 2$ folgt $a_1 w_1(2) + a_2 w_2(2) = a_2 = 0$.\\
+
+                $\implies \{w_1, w_2\}$ linear unabhängig und wegen (c) Basis von $W$
+                $\implies \text{dim}(W) = 2$
+            \end{proof}
+    \end{enumerate}
+\end{aufgabe}
+
+\begin{aufgabe}
+    \begin{enumerate}[(c)]
+        \item Beh.: $(u, v, x)$ ist Basis des $\R^{3}$.
+            \begin{proof}
+                Seien $a, b, c \in \R$ mit $a \cdot (0,1,2) + b \cdot (2, 1, 0) + c \cdot  (1, 0, 0) = 0$.
+                \begin{align*}
+                    2a = 0 \quad \implies a = 0 \\
+                    a + b = 0 \quad \implies b = 0 \\
+                    2b + c = 0 \quad \implies c = 0
+                .\end{align*}
+                $\implies (u,v,x)$ linear unabhängig.
+
+                Sei $z \in \R^{3}$ mit $(z_1, z_2, z_3)$ beliebig. Dann wähle $a = \frac{z_3}{2}$,
+                $b = z_2 - \frac{z_3}{2}$ und $c = z_1 - 2z_2 + z_3$.
+
+                Dann gilt:
+                \begin{align*}
+                    &\frac{z_3}{2} \cdot (0,1,2) + \left(z_2 - \frac{z_3}{2}\right) \cdot (2, 1, 0) +
+                    (z_1 - 2z_2 + z_3) \cdot (1, 0, 0) \\
+                    &= (2z_2 - z_3 + z_1 - 2z_2 + z_3, \frac{z_3}{2} + z_2 - \frac{z_3}{2}, z_3)\\
+                    &= (z_1, z_2, z_3)
+                .\end{align*}
+                $\implies (u, v, x)$ ist Erzeugendensystem.
+                $\implies (u,v,x) $ ist Basis des $\R^{3}$.
+            \end{proof}
+    \end{enumerate}
+    \begin{enumerate}[(a)]
+        \item Beh.: $(u,v)$ ist linear unabhängig, aber keine Basis.
+            \begin{proof}
+                $(u,v)$ ist ein Teilsystem von $(u,v,x)$ und damit wegen (c) ebenfalls linear unabhängig,
+
+                Da $(u,v,x)$ linear unabhängig ist, ist $(u,v)$ nicht maximal, also keine Basis
+                und damit kein Erzeugendensystem.
+            \end{proof}
+        \item Beh.: $(u,v,w)$ ist weder linear unabhängig, noch Erzeugendensystem.
+            \begin{proof}
+                Wähle $a := \frac{1}{2}$ und $b := \frac{1}{2}$. Damit folgt
+                \[
+                    \frac{1}{2} u + \frac{1}{2} v = \frac{1}{2}(0,1,2) + \frac{1}{2} (2,1,0) = (1,1,1) = w
+                .\] $\implies (u,v,w)$ nicht linear unabhängig.
+
+                Da $w$ nicht zu $\text{Lin}((u,v,w))$ beiträgt, und $(u,v)$ wegen (a) kein Erzeugendensystem
+                sind, ist $(u,v,w)$ ebenfalls kein Erzeugendensystem und damit keine Basis.
+            \end{proof}
+    \end{enumerate}
+    \begin{enumerate}[(d)]
+        \item Beh.: $(u,v,w,x)$ ist Erzeugendensystem, aber nicht linear unabhängig und damit keine Basis.
+            \begin{proof}
+                Da die Basis $(u,v,x)$ ein Teilsystem von $(u,v,w,x)$ ist, folgt, dass $(u,v,w,x)$
+                Erzeugendensystem ist.
+
+                Allerdings ist dieses nicht minimal, da $(u,v,x)$ Basis ist. Also ist $(u,v,w,x)$ keine
+                Basis und damit nicht linear unabhängig.
+            \end{proof}
+    \end{enumerate}
+\end{aufgabe}
+
+\begin{aufgabe}
+    \begin{enumerate}[(a)]
+        \item Beh.: $\text{Rg}(g \circ f) \le \text{min}(\text{Rg}(f), \text{Rg}(g))$
+            \begin{proof}
+                Zz.: $\text{Rg}(g \circ f) \le \text{Rg}(f)$.
+
+                Wegen $g \circ f$ folgt,
+                $\text{Rg}(g \circ f) = \text{dim}(\text{Bild}(g \circ f)) \le  \text{dim}(\text{Bild}(f)) = \text{Rg}(f)$.
+
+                Zz.: $\text{Rg}(g \circ f) \le \text{Rg}(g)$.
+
+                Wegen $\text{Bild}(g \circ f) \subset \text{Bild}(g)$ und $f$ und $g$ linear, folgt
+                $\text{Bild}(g \circ f)$ ist UVR von $\text{Bild}(g)$. \\
+                $\implies \text{Rg}(g \circ f) = \text{dim}(\text{Bild}(g\circ f))
+                \le \text{dim}(\text{Bild}(g)) = \text{Rg}(g)$
+            \end{proof}
+        \item Für $U = V = W = \R^{2}$ und
+            \begin{align*}
+                f\colon (x, y) \mapsto (x, 0), \qquad
+                g\colon (x, y) \mapsto (0, y)
+            .\end{align*}
+            $\implies g \circ f\colon (x, y) \mapsto (0, 0)$.
+
+            Wegen $\text{Rg}(f) = 1 = \text{Rg}(g)$, aber $\text{Rg}(g \circ f) = 0$ folgt:
+            \[
+                \text{Rg}(g \circ f) = 0 < 1 = \text{min}\left( \text{Rg}(f), \text{Rg}(g) \right)  
+            .\] 
+        \item Für $U = V = W$ und  $f = g = id$ folgt $g \circ f = id \circ id = id$, also
+            $f = g = g \circ f$, also $\text{Rg}(g \circ f) = \text{Rg}(g) = \text{Rg}(f)$.
+    \end{enumerate}
+\end{aufgabe}
+
+\begin{aufgabe}
+    \begin{enumerate}[(a)]
+        \item Beh.: Ist $f^{*}\colon V^{*} \to U^{*}$ injektiv, so ist $f$ surjektiv.
+            \begin{proof}
+                Kontraposition. Zz.: Ist $f$ nicht surjektiv, dann ist $f^{*}$ nicht injektiv.
+
+                Sei $(v_i)_{i \in I}$ Basis von $V$.
+                Wegen $f$ nicht surjektiv und linear, ex. ein $J \subset I, J\neq \emptyset$, s.d.
+                $\forall j \in J\colon v_j \not\in \text{Bild}(f)$.
+
+                Nun wähle $j_0 \in J$ und $\varphi_1, \varphi_2 \in V^{*}$ mit
+                $\varphi_1(v_{j_0}) \neq \varphi_2(v_{j_0})$ und
+                $\varphi_1(v_i) = \varphi_2(v_i) \quad \forall i \in I \setminus J$
+
+                $\implies \varphi_1(f(u)) = \varphi_2(f(u)) \quad \forall u \in U$. \\
+                Aber $\varphi_1(v_{j_0}) \neq \varphi_2(v_{j_{0}}) \implies \varphi_1 \neq \varphi_2$.
+
+                $\implies f^{*}$ nicht injektiv.
+            \end{proof}
+        \item Beh.: $f$ injektiv $\iff$ $f^{*}$ surjektiv
+            \begin{proof}
+                \begin{enumerate}[(i)]
+                    \item Zz.: $f$ injektiv $\implies f^{*}$ surjektiv
+
+                        Sei $u^{*} \in U^{*}$ beliebig und $(u_i)_{i \in I}$ eine Basis von $U$.
+                        Wegen $f$ injektiv folgt:
+                        \[
+                            (f(u_i))_{i \in I} = (v_i)_{i \in I} \quad \text{linear unabhängig}
+                        .\] Wegen Basisergänzungssatz, sei $J$ Indexmenge  mit $I \cap J = \emptyset$ und
+                        $(v_i)_{i \in I \cup J}$ Basis von $V$.
+
+                        Nun definiere $\varphi \in V^{*}$ für $(v_i)_{i \in I \cup J}$ mit:
+                        \begin{align*}
+                            \varphi(v_i) = \begin{cases}
+                                u^{*}(u_i) & i \in I \\
+                                0 & i \in J
+                            \end{cases}
+                        .\end{align*}
+                        $\varphi$ ist damit durch Basisvektoren eindeutig bestimmt.
+
+                        Außerdem gilt $\forall u_i \in (u_i)_{i \in I}\colon u^{*}(u_i) = \varphi(f(u_i))$.
+                        Wegen $(u_i)_{i\in I}$ Basis von $U$, folgt: $\forall u \in U$
+                        $u^{*}(u) = \varphi(f(u)$. $\implies f^{*}(\varphi) = u^{*}$.
+
+                        $\implies f^{*}$ surjektiv.
+                    \item Zz.: $f^{*}$ surjektiv $\implies f$ injektiv.
+
+                        Angenommen: $f$ nicht injektiv. Dann ex. $u_1, u_2 \in U$
+                        mit $f(u_1) = f(u_2)$, aber $u_1 \neq u_2$.
+
+                        Wähle $u^{*} \in U^{*}$, s.d. $u^{*}(u_1) \neq u^{*}(u_2)$. Wegen $f^{*}$
+                        surjektiv, ex. $\varphi \in V^{*}\colon \varphi(f(u)) = u^{*}(u)$ $\forall u \in U$.
+                        Damit:
+                        \[
+                            u^{*}(u_1) = \varphi(f(u_1)) = \varphi(f(u_2)) = u^{*}(u_2)
+                        .\] Widerspruch zu $u^{*}(u_1) \neq u^{*}(u_2)$.
+
+                        $\implies f$ injektiv.
+                \end{enumerate}
+            \end{proof}
+    \end{enumerate}
+\end{aufgabe}
+
+\end{document}