Für Vorlesungen, bitte die Webseite verwenden. https://flavigny.de/lecture
25'ten fazla konu seçemezsiniz Konular bir harf veya rakamla başlamalı, kısa çizgiler ('-') içerebilir ve en fazla 35 karakter uzunluğunda olabilir.

256 satır
12KB

  1. \documentclass[uebung]{../../../lecture}
  2. \title{Lineare Algebra I: Übungsblatt 6}
  3. \author{Christian Merten, Mert Biyikli}
  4. \begin{document}
  5. \punkte
  6. \begin{aufgabe}
  7. \begin{enumerate}[(a)]
  8. \item Beh.: $W$ ist ein Untervektorraum von $V$.
  9. \begin{proof}
  10. $0 \in W$, da $0(n) + 0(n+1) + 0(n+2) = 0$
  11. Seien $w_1, w_2 \in W, a \in K$ und $n \in \N$ beliebig.
  12. \begin{align*}
  13. &(aw_1 + w_2)(n) + (aw_1 + w_2)(n+1) + (aw_1 + w_2)(n+2) \\
  14. &= a (\underbrace{w_1(n) + w_1(n+1) + w_1(n+2)}_{= 0}) +
  15. \underbrace{w_2(n) + w_2(n+1) + w_2(n+2)}_{= 0} \\
  16. &= 0
  17. .\end{align*}
  18. $\implies (aw_1 + w_2) \in W$
  19. \end{proof}
  20. \item Beh.: Sind $f, g \in W$ derart, dass $f(1) = g(1)$ und $f(2) = g(2)$ gelten, so ist $f = g$.
  21. \begin{proof}
  22. Seien $f, g \in W$ mit $f(1) = g(1)$ und $f(2) = g(2)$.
  23. Zz.: $\forall n \in \N\colon f(n) = g(n)$\\
  24. Beweis durch vollständige Induktion
  25. I.A.: Nach Voraussetzung gilt $f(1) = g(1)$ und $f(2) = g(2)$.
  26. I.S.: Es existiere ein festes aber beliebiges $n \in \N, n \ge 2$ mit
  27. $f(n) = g(n)$ und $f(n-1) = g(n-1)$.
  28. $n \to n+1$: Wegen $f, g \in W$ gilt:
  29. \begin{align*}
  30. f(n-1) + f(n) + f(n+1) = 0 = g(n-1) + g(n) + g(n+1)
  31. .\end{align*}
  32. $\stackrel{I.V.}{\implies} f(n+1) = g(n+1)$.
  33. \end{proof}
  34. \item Beh.: $W$ ist endlich erzeugt.
  35. \begin{proof}
  36. Definiere:
  37. \begin{align*}
  38. &w_1 := \begin{cases}
  39. 1 & \exists k \in \N_0\colon n = 3k+1 \\
  40. 0 & \exists k \in \N_0\colon n = 3k+2 \\
  41. -1 & \exists k \in \N_0\colon n = 3k
  42. \end{cases}, \qquad
  43. w_2 \colon= \begin{cases}
  44. 0 & \exists k \in \N_0\colon n = 3k+1 \\
  45. 1 & \exists k \in \N_0\colon n = 3k+2 \\
  46. -1 & \exists k \in \N_0\colon n = 3k
  47. \end{cases}
  48. .\end{align*}
  49. Zz.: $w_1, w_2 \in W$. Sei $n \in \N$ beliebig.
  50. Falls $\exists k \in \N_0\colon n = 3k+1$, dann $n + 1 = 3k+2$ und $n + 2 = 3(k+1)$.
  51. \begin{align*}
  52. w_1(n) + w_1(n+1) + w_1(n+2) &= 1 + 0 - 1 = 0
  53. \intertext{und}
  54. w_2(n) + w_2(n+1) + w_2(n+2) &= 0 + 1 - 1 = 0
  55. .\end{align*}
  56. Fälle $\exists k \in \N_0\colon n = 3k+2$ bzw. $n = 3k$ folgen analog.
  57. Zz.: $\{w_1, w_2\} $ ist Erzeugendensystem. Sei $f \in W$ beliebig.
  58. Wähle $a_1 := f(1)$ und $a_2 := f(2)$. Damit gilt:
  59. \begin{align*}
  60. a_1 w_1(1) + a_2 w_2(1) = a_1 = f(1)
  61. \intertext{und}
  62. a_1 w_1(2) + a_2 w_2(2) = a_2 = f(2)
  63. .\end{align*} Wegen (b) $\implies f = a_1 w_1 + a_2 w_2$. \\
  64. $\implies \{w_1, w_2\} $ ist endliches Erzeugendensystem von $W$.
  65. \end{proof}
  66. \item Beh.: $\text{dim}(W) = 2$
  67. \begin{proof}
  68. Zz.: $\{w_1, w_2\}$ aus (c) ist Basis, also linear unabhängig.
  69. Sei $a_1 w_1(n) + a_2 w_2(n) = 0 \quad \forall n \in \N$.
  70. Für $n = 1$ folgt $a_1 w_1(1) + a_2 w_2(1) = a_1 = 0$.\\
  71. Für $n = 2$ folgt $a_1 w_1(2) + a_2 w_2(2) = a_2 = 0$.\\
  72. $\implies \{w_1, w_2\}$ linear unabhängig und wegen (c) Basis von $W$
  73. $\implies \text{dim}(W) = 2$
  74. \end{proof}
  75. \end{enumerate}
  76. \end{aufgabe}
  77. \begin{aufgabe}
  78. \begin{enumerate}[(c)]
  79. \item Beh.: $(u, v, x)$ ist Basis des $\R^{3}$.
  80. \begin{proof}
  81. Seien $a, b, c \in \R$ mit $a \cdot (0,1,2) + b \cdot (2, 1, 0) + c \cdot (1, 0, 0) = 0$.
  82. \begin{align*}
  83. 2a = 0 \quad \implies a = 0 \\
  84. a + b = 0 \quad \implies b = 0 \\
  85. 2b + c = 0 \quad \implies c = 0
  86. .\end{align*}
  87. $\implies (u,v,x)$ linear unabhängig.
  88. Sei $z \in \R^{3}$ mit $(z_1, z_2, z_3)$ beliebig. Dann wähle $a = \frac{z_3}{2}$,
  89. $b = z_2 - \frac{z_3}{2}$ und $c = z_1 - 2z_2 + z_3$.
  90. Dann gilt:
  91. \begin{align*}
  92. &\frac{z_3}{2} \cdot (0,1,2) + \left(z_2 - \frac{z_3}{2}\right) \cdot (2, 1, 0) +
  93. (z_1 - 2z_2 + z_3) \cdot (1, 0, 0) \\
  94. &= \left(2z_2 - z_3 + z_1 - 2z_2 + z_3, \frac{z_3}{2} + z_2 - \frac{z_3}{2}, z_3\right)\\
  95. &= (z_1, z_2, z_3)
  96. .\end{align*}
  97. $\implies (u, v, x)$ ist Erzeugendensystem.
  98. $\implies (u,v,x) $ ist Basis des $\R^{3}$.
  99. \end{proof}
  100. \end{enumerate}
  101. \begin{enumerate}[(a)]
  102. \item Beh.: $(u,v)$ ist linear unabhängig, aber keine Basis.
  103. \begin{proof}
  104. $(u,v)$ ist ein Teilsystem von $(u,v,x)$ und damit wegen (c) ebenfalls linear unabhängig,
  105. Da $(u,v,x)$ linear unabhängig ist, ist $(u,v)$ nicht maximal, also keine Basis
  106. und damit kein Erzeugendensystem.
  107. \end{proof}
  108. \item Beh.: $(u,v,w)$ ist weder linear unabhängig, noch Erzeugendensystem.
  109. \begin{proof}
  110. Wähle $a := \frac{1}{2}$, $b := \frac{1}{2}$ und $c := -1$. Damit folgt
  111. \[
  112. a u + b v + c w = \frac{1}{2} u + \frac{1}{2} v - w =
  113. \frac{1}{2}(0,1,2) + \frac{1}{2} (2,1,0) - (1,1,1) = (0,0,0)
  114. .\] Aber $a = \frac{1}{2} \neq 0 \implies (u,v,w)$ nicht linear unabhängig.
  115. Da $w = \frac{1}{2} u + \frac{1}{2} v$, trägt $w$ nicht zu $\text{Lin}((u,v,w))$ bei.
  116. Weil $(u,v)$ wegen (a) kein Erzeugendensystem
  117. ist, ist $(u,v,w)$ ebenfalls kein Erzeugendensystem und damit keine Basis.
  118. \end{proof}
  119. \end{enumerate}
  120. \begin{enumerate}[(d)]
  121. \item Beh.: $(u,v,w,x)$ ist Erzeugendensystem, aber nicht linear unabhängig und damit keine Basis.
  122. \begin{proof}
  123. Da die Basis $(u,v,x)$ ein Teilsystem von $(u,v,w,x)$ ist, folgt, dass $(u,v,w,x)$
  124. Erzeugendensystem ist.
  125. Allerdings ist dieses nicht minimal, da $(u,v,x)$ Basis ist. Also ist $(u,v,w,x)$ keine
  126. Basis und damit nicht linear unabhängig.
  127. \end{proof}
  128. \end{enumerate}
  129. \end{aufgabe}
  130. \newpage
  131. \begin{aufgabe}
  132. \begin{enumerate}[(a)]
  133. \item Beh.: $\text{Rg}(g \circ f) \le \text{min}(\text{Rg}(f), \text{Rg}(g))$
  134. \begin{proof}
  135. Zz.: $\text{Rg}(g \circ f) \le \text{Rg}(f)$.
  136. Schränke $g$ ein durch $g': \text{Bild}(f) \to \text{Bild}(g \circ f)$, $v \mapsto g(v)$\\
  137. $\implies g' \circ f(u) = g \circ f(u) \quad \forall u \in U$ \\
  138. $\implies \text{Rg}(f) = \text{dim}(\text{Bild}(f)) \ge \text{dim}(\text{Bild}(g \circ f)) = \text{Rg}(g \circ f)$
  139. Zz.: $\text{Rg}(g \circ f) \le \text{Rg}(g)$.
  140. Wegen $\text{Bild}(g \circ f) \subset \text{Bild}(g)$ und $f$ und $g$ linear, folgt
  141. $\text{Bild}(g \circ f)$ ist UVR von $\text{Bild}(g)$. \\
  142. $\implies \text{Rg}(g \circ f) = \text{dim}(\text{Bild}(g\circ f))
  143. \le \text{dim}(\text{Bild}(g)) = \text{Rg}(g)$
  144. \end{proof}
  145. \item Für $U = V = W = \R^{2}$ und
  146. \begin{align*}
  147. f\colon (x, y) \mapsto (x, 0), \qquad
  148. g\colon (x, y) \mapsto (0, y)
  149. .\end{align*}
  150. $g$ und $f$ sind linear. $\implies g \circ f\colon (x, y) \mapsto (0, 0)$.
  151. Wegen $\text{Rg}(f) = 1 = \text{Rg}(g)$, aber $\text{Rg}(g \circ f) = 0$ folgt:
  152. \[
  153. \text{Rg}(g \circ f) = 0 < 1 = \text{min}\left( \text{Rg}(f), \text{Rg}(g) \right)
  154. .\]
  155. \item Für $U = V = W$ und $f = g = id$ folgt $g \circ f = id \circ id = id$. $id$
  156. auf Vektorräumen ist linear. Also
  157. $f = g = g \circ f$, also $\text{Rg}(g \circ f) = \text{Rg}(g) = \text{Rg}(f)$.
  158. \end{enumerate}
  159. \end{aufgabe}
  160. \begin{aufgabe}
  161. \begin{enumerate}[(a)]
  162. \item Beh.: Ist $f^{*}\colon V^{*} \to U^{*}$ injektiv, so ist $f$ surjektiv.
  163. \begin{proof}
  164. Kontraposition. Zz.: Ist $f$ nicht surjektiv, dann ist $f^{*}$ nicht injektiv.
  165. Sei $(v_i)_{i \in I}$ Basis von $\text{Bild}(f)$.
  166. Wegen Basisergänzungssatz und $f$ nicht surjektiv,
  167. ex. eine Indexmenge $J \neq \emptyset$ mit $J \cap I = \emptyset $,
  168. s.d. $(v_i)_{i \in I \cup J }$ Basis von V.
  169. $\implies v_j \not\in \text{Bild}(f) \quad \forall j \in J$
  170. Nun wähle $j_0 \in J$ und $\varphi_1, \varphi_2 \in V^{*}$ mit
  171. $\varphi_1(v_{j_0}) \neq \varphi_2(v_{j_0})$ und
  172. $\varphi_1(v_i) = \varphi_2(v_i) \quad \forall i \in I$
  173. $\implies \varphi_1(f(u)) = \varphi_2(f(u)) \quad \forall u \in U$. \\
  174. Aber $\varphi_1(v_{j_0}) \neq \varphi_2(v_{j_{0}}) \implies \varphi_1 \neq \varphi_2$.
  175. $\implies f^{*}$ nicht injektiv.
  176. \end{proof}
  177. \item Beh.: $f$ injektiv $\iff$ $f^{*}$ surjektiv
  178. \begin{proof}
  179. \begin{enumerate}[(i)]
  180. \item Zz.: $f$ injektiv $\implies f^{*}$ surjektiv
  181. Sei $u^{*} \in U^{*}$ beliebig und $(u_i)_{i \in I}$ eine Basis von $U$.
  182. Wegen $f$ injektiv folgt:
  183. \[
  184. (f(u_i))_{i \in I} = (v_i)_{i \in I} \quad \text{linear unabhängig}
  185. .\] Wegen Basisergänzungssatz, sei $J$ Indexmenge mit $I \cap J = \emptyset$ und
  186. $(v_i)_{i \in I \cup J}$ Basis von $V$.
  187. Nun definiere $\varphi \in V^{*}$ für $(v_i)_{i \in I \cup J}$ mit:
  188. \begin{align*}
  189. \varphi(v_i) = \begin{cases}
  190. u^{*}(u_i) & i \in I \\
  191. 0 & i \in J
  192. \end{cases}
  193. .\end{align*}
  194. $\varphi$ ist damit durch Basisvektoren eindeutig bestimmt.
  195. Außerdem gilt $\forall u_i \in (u_i)_{i \in I}\colon u^{*}(u_i) = \varphi(f(u_i))$.
  196. Wegen $(u_i)_{i\in I}$ Basis von $U$, folgt: $\forall u \in U$
  197. $u^{*}(u) = \varphi(f(u)$. $\implies f^{*}(\varphi) = u^{*}$.
  198. $\implies f^{*}$ surjektiv.
  199. \item Zz.: $f^{*}$ surjektiv $\implies f$ injektiv.
  200. Angenommen: $f$ nicht injektiv. Dann ex. $u_1, u_2 \in U$
  201. mit $f(u_1) = f(u_2)$, aber $u_1 \neq u_2$.
  202. Wähle $u^{*} \in U^{*}$, s.d. $u^{*}(u_1) \neq u^{*}(u_2)$. Wegen $f^{*}$
  203. surjektiv, ex. $\varphi \in V^{*}\colon \varphi(f(u)) = u^{*}(u)$ $\forall u \in U$.
  204. Damit:
  205. \[
  206. u^{*}(u_1) = \varphi(f(u_1)) = \varphi(f(u_2)) = u^{*}(u_2)
  207. .\] Widerspruch zu $u^{*}(u_1) \neq u^{*}(u_2)$.
  208. $\implies f$ injektiv.
  209. \end{enumerate}
  210. \end{proof}
  211. \end{enumerate}
  212. \end{aufgabe}
  213. \end{document}