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.

273 satır
13KB

  1. \documentclass[uebung]{../../../lecture}
  2. \usepackage[]{gauss}
  3. \title{Lineare Algebra I: Übungsblatt 12}
  4. \author{Christian Merten}
  5. \begin{document}
  6. \punkte
  7. \vspace{4mm}
  8. \begin{aufgabe}
  9. Zunächst ist das charakteristische Polynom zu berechnen.
  10. \begin{align*}
  11. \chi_A(\lambda) = \text{det}(\lambda E_n - A) =
  12. \begin{gmatrix}[v]
  13. \lambda - 4 & 5 & 4 \\
  14. -6 & \lambda + 7 & 4 \\
  15. -3 & 4 & \lambda -3
  16. \end{gmatrix} = \lambda^{3} - 3 \lambda + 2 = (\lambda - 1)^2(\lambda + 2)
  17. .\end{align*}
  18. Mit $\chi_A(\lambda) = 0$ folgen die Eigenwerte $\lambda_1 = 1$ und $\lambda_2 = -2$.
  19. Die Eigenräume ergeben sich aus den homogenen LGS. Für $\lambda_1 = 1$ folgt
  20. \begin{align*}
  21. \begin{gmatrix}[p]
  22. 1 - 4 & 5 & 4 \\
  23. -6 & 8 & 4 \\
  24. 3 & -4 & -2
  25. \rowops
  26. \add{2}{1}
  27. \swap{2}{1}
  28. \add{1}{0}
  29. \add[4]{0}{1}
  30. \mult{1}{\frac{1}{3}}
  31. \end{gmatrix}
  32. \to
  33. \begin{gmatrix}[p]
  34. 1 & 0 & 2 \\
  35. 0 & 1 & 2 \\
  36. 0 & 0 & 0
  37. \end{gmatrix}
  38. &\implies V_{\lambda_1} = \text{Lin}\left[ \begin{pmatrix} 2 \\ 2 \\ -1 \end{pmatrix} \right]
  39. \intertext{Für $\lambda_2 = -2$ folgt analog}
  40. \begin{gmatrix}[p]
  41. -6 & 5 & 4 \\
  42. -6 & 5 & 4 \\
  43. 3 & -4 & -5
  44. \rowops
  45. \add[-]{0}{1}
  46. \swap{1}{2}
  47. \add[2]{1}{0}
  48. \add[4]{0}{1}
  49. \mult{1}{\frac{1}{3}}
  50. \swap{1}{0}
  51. \end{gmatrix}
  52. \to
  53. \begin{gmatrix}[p]
  54. 1 & 0 & 1 \\
  55. 0 & 1 & 2 \\
  56. 0 & 0 & 0
  57. \end{gmatrix}
  58. &\implies V_{\lambda_2} = \text{Lin}\left[ \begin{pmatrix} 1 \\ 2 \\ -1 \end{pmatrix} \right]
  59. .\end{align*}
  60. Damit folgt direkt $\mu_{\text{geo}}(\lambda_1) = \text{dim } V_{\lambda_1} = 1 = \text{dim } V_{\lambda_2}
  61. = \mu_{\text{geo}}(\lambda_2)$. Damit ist
  62. \begin{align*}
  63. &\sum_{i=1}^{n} \mu_{\text{geo}}(\lambda_i) = 2 \neq 3 = n \quad \implies A \text{ nicht diagonalisierbar}
  64. \intertext{Aber wegen $\mu_{\text{alg}}(\lambda_1) = 2$ und $\mu_{\text{alg}}(\lambda_2) = 1$ folgt}
  65. &\sum_{i=1}^{n} \mu_{\text{alg}}(\lambda_i) = 3 = n \implies \quad A \text{ trigonalisierbar}
  66. .\end{align*}
  67. Ergänze nun $v_1 := \begin{pmatrix} 2 \\ 2 \\ -1 \end{pmatrix} $ und
  68. $v_1 := \begin{pmatrix} 1 \\ 2 \\ -1 \end{pmatrix} $ zu einer Basis durch
  69. $\begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} $ (l.u. da $0 = 2 - 2$ aber $2 - 1 \neq 0$). Damit
  70. folgt direkt
  71. \begin{align*}
  72. S := M(id)_{\underline{e}}^{\underline{v}} =
  73. \begin{gmatrix}[p] 2 & 1 & 0 \\ 2 & 2 & 0 \\ -1 & -1 & 1 \end{gmatrix}
  74. .\end{align*}
  75. Die Inverse ergibt sich durch Berechnung:
  76. \begin{align*}
  77. \begin{gmatrix}[p] 2 & 1 & 0 \\ 2 & 2 & 0 \\ -1 & -1 & 1
  78. \end{gmatrix}
  79. \begin{gmatrix}[p] 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1
  80. \rowops
  81. \add[-]{1}{0}
  82. \add[2]{0}{1}
  83. \add{0}{2}
  84. \mult{1}{\frac{1}{2}}
  85. \add{1}{2}
  86. \swap{0}{1}
  87. \end{gmatrix}
  88. \to
  89. \begin{gmatrix}[p]
  90. 1 & -\frac{1}{2} & 0 \\
  91. -1 & 1 & 0 \\
  92. 0 & \frac{1}{2} & 1
  93. \end{gmatrix}
  94. =: S^{-1}
  95. .\end{align*} Damit ist $S^{-1}AS$ eine obere Dreiecksmatrix.
  96. \end{aufgabe}
  97. \begin{aufgabe}
  98. \begin{enumerate}[(a)]
  99. \item Beh.: Die Matrix $A := \begin{pmatrix} 2 & 3 \\ 1 & 0 \end{pmatrix}$ ist eindeutig bestimmt
  100. mit
  101. \[
  102. \begin{pmatrix} f(n+2) \\ f(n+1) \end{pmatrix} = A \cdot \begin{pmatrix} f(n+1) \\ f(n) \end{pmatrix}
  103. .\]
  104. \begin{proof}
  105. Mit $A = \begin{pmatrix} a & b \\ c & d \end{pmatrix} $ ergibt die Voraussetzung
  106. zwei Gleichungen:
  107. \begin{align*}
  108. f(n+2) &= a f(n+1) + b f(n) \\
  109. f(n+1) &= c f(n+1) + d f(n)
  110. .\end{align*}
  111. Mit $f(n+2) = 2 f(n+1) + 3 f(n)$ $\forall n \in \N$ folgt direkt $a = 2$, $b = 3$,
  112. $c = 1$ und $d = 0$.
  113. \end{proof}
  114. \item Analog zu Aufgabe 1 folgt
  115. \begin{align*}
  116. \chi_A(\lambda) =
  117. \begin{gmatrix}[v] \lambda - 2 & -3 \\ -1 & \lambda \end{gmatrix} = (\lambda+1)(\lambda -3)
  118. = 0 \quad \implies \lambda_1 = -1 \quad \lambda_2 = 3
  119. .\end{align*} Damit ergeben sich die Eigenräume. Aus $\lambda_1 = -1$ folgt
  120. \begin{align*}
  121. \begin{gmatrix}[p] -3 & -3 \\ -1 & -1 \end{gmatrix}
  122. \to
  123. \begin{gmatrix}[p] 1 & -3 \\ 0 & 0 \end{gmatrix}
  124. \implies V_{\lambda_1} = \text{Lin}\left[ \begin{pmatrix} 1 \\ -1 \end{pmatrix} \right].
  125. \intertext{und aus $\lambda_2 = 3$ folgt}
  126. \begin{gmatrix}[p] 1 & -3 \\ -1 & 3 \end{gmatrix}
  127. \to
  128. \begin{gmatrix}[p] 1 & -3 \\ 0 & 0 \end{gmatrix}
  129. \implies V_{\lambda_2} = \text{Lin}\left[ \begin{pmatrix} 3 \\ 1 \end{pmatrix} \right]
  130. .\end{align*}
  131. \item Die Eigenvektoren aus (b) bilden eine Basis $\underline{v}$. Damit folgt
  132. \begin{align*}
  133. S := M_{\underline{e}}^{\underline{v}}(id) =
  134. \begin{gmatrix}[p] 1 & 3 \\ -1 & 1 \end{gmatrix}
  135. .\end{align*} und durch Invertieren von $S$
  136. \begin{align*}
  137. S^{-1} = \begin{gmatrix}[p] \frac{1}{4} & -\frac{3}{4} \\ \frac{1}{4} & \frac{1}{4} \end{gmatrix}
  138. .\end{align*} Damit hat $S^{-1}AS$ Diagonalgestalt.
  139. \item Aus (c) folgt die Diagonalmatrix
  140. \begin{align*}
  141. D := S^{-1}AS = \begin{gmatrix}[p] -1 & 0 \\ 0 & 3 \end{gmatrix}
  142. .\end{align*} Durch die Formel
  143. \[
  144. \begin{pmatrix} f(n+2) \\ f(n+1) \end{pmatrix} = A \cdot \begin{pmatrix} f(n+1) \\ f(n) \end{pmatrix}
  145. .\] ergibt sich, dass $f(n)$ durch $n-2$-malige Anwendung von $A$ auf die Startwerte
  146. $\begin{pmatrix} f(2) \\ f(1) \end{pmatrix} $ entsteht. Zur Berechnung wird die Diagonalmatrix
  147. $D$ verwendet. Dafür wird der Startvektor mit
  148. $S^{-1}$ in die Basis $\underline{v}$ transformiert und dann $D$ $n-2$ mal angewendet
  149. und das Ergebnis mit $S^{-1}$ zurück
  150. in die kanonische Basis transformiert. Damit ergibt sich
  151. \begin{align*}
  152. \begin{pmatrix} f(n) \\ f(n-1) \end{pmatrix}
  153. = S \cdot D^{n-2} \cdot S^{-1} \cdot \begin{pmatrix} f(2) \\ f(1) \end{pmatrix}
  154. =
  155. \begin{gmatrix}[p] 1 & 3 \\ -1 & 1 \end{gmatrix} \cdot
  156. \begin{gmatrix}[p] (-1)^{n-2} \left( \frac{f(2)}{4} - \frac{3}{4} f(1) \right)
  157. \\ 3^{n-2} \left( \frac{f(2)}{4} + \frac{f(1)}{4} \right)\end{gmatrix}
  158. .\end{align*} Da nur $f(n)$ benötigt wird, ergibt sich so $f(n)$ durch die obere Zeile
  159. des Vektors, also
  160. \begin{align*}
  161. f(n) &= (-1)^{n-2} \left( \frac{f(2)}{4} - \frac{3}{4}f(1) \right) +
  162. 3 \cdot 3^{n-2} \left( \frac{f(2)}{4} + \frac{f(1)}{4} \right) \\
  163. &= \frac{3 f(1)}{4} \left( (-1)^{n+1} + 3^{n-2}\right)
  164. + \frac{f(2)}{4} \left( (-1)^{n} + 3^{n-1} \right)
  165. .\end{align*}
  166. \end{enumerate}
  167. \end{aufgabe}
  168. \begin{aufgabe}
  169. \begin{enumerate}[(a)]
  170. \item Beh.: $\gamma$ ist eine symmetrische, nicht-ausgeartete Bilinearform
  171. \begin{proof}
  172. Seien $f, g, h \in K[X]_{\le n}$ und $\lambda \in K$ bel.
  173. Zz.: $\gamma$ ist symmetrisch. Da $K[X]$ kommutativer Ring folgt
  174. \begin{align*}
  175. \gamma(f,g) = \left( \int (f \cdot g) dx \right)(1_K) =
  176. \left( \int (g \cdot f) dx \right)(1_K) = \gamma(g, f)
  177. .\end{align*}
  178. Zz.: $\gamma$ ist bilinear.
  179. \begin{align*}
  180. \gamma(\lambda f + h, g) &=
  181. \left( \int ((\lambda f + h) \cdot g) dx \right) (1_K) \\
  182. &= \left( \int ( \lambda f \cdot g + h \cdot g)dx \right)(1_K) \\
  183. &= \lambda \left( \int \left( f \cdot g \right) \right)
  184. + \left( \int \left( h \cdot g) \right) dx \right)(1_K) \\
  185. &= \lambda \gamma(f, g) + \gamma(h, g)
  186. .\end{align*} Wegen der Symmetrie von $\gamma$ folgt die Linearität auch im zweiten
  187. Argument.
  188. Zz.: $\gamma$ ist nicht ausgeartet.
  189. Sei $\mathcal{B}$ die kanonische Basis des $K[X]_{\le n}$. Dann ist die
  190. Fundamentalmatrix von $\gamma$ bezügl. $\mathcal{B}$ offensichtlich invertierbar. Damit
  191. ist $\gamma$ nicht ausgeartet.
  192. \end{proof}
  193. \item Für $K = \Q$ und $n = 3$ muss $\gamma$ für alle Kombinationen der Basisvektoren
  194. $(1, x, x^2, x^{3})$ berechnet werden. Also beispielsweise für $x$ und $x^2$ folgt
  195. \begin{align*}
  196. \gamma(x, x^2) = \left( \int (x \cdot x^2) dx \right)(1_K)
  197. = \left( \int x^{3} dx \right)(1_K) = \frac{1}{3}
  198. .\end{align*} Damit folgt analog für die restlichen Kombinationen die Fundamentalmatrix
  199. \begin{align*}
  200. G = \begin{gmatrix}[p]
  201. 1 & \frac{1}{2} & \frac{1}{3} & \frac{1}{4} \\
  202. \frac{1}{2} & \frac{1}{3} & \frac{1}{4} & \frac{1}{5} \\
  203. \frac{1}{3} & \frac{1}{4} & \frac{1}{5} & \frac{1}{6} \\
  204. \frac{1}{4} & \frac{1}{5} & \frac{1}{6} & \frac{1}{7}
  205. \end{gmatrix}
  206. .\end{align*}
  207. \item Um eine Orthogonalbasis zu bestimmen, müsste $G$ aus (c) diagonalisiert werden. Dieser Prozess
  208. ist allerdings für eine $4\times 4$ Matrix mit diesen Einträgen langwierig. Deswegen
  209. bestimme die Orthogonalbasis induktiv. Für $n = 2$ ist sofort ersichtlich, dass
  210. $\{1, 1 - 2x\} $ eine Orthogonalbasis bilden, da
  211. \begin{align*}
  212. \gamma(1, 1-2x) = \left( \int (1-2x)dx \right)(1_K) = 1 - 1 = 0
  213. .\end{align*} Für $n = 3$ ergibt sich dann aus den Gleichungen $\gamma(1 - 2x, a + bx +cx^2) = 0$
  214. und $\gamma(1, a + bx + cx^2) = 0$ folgendes Gleichungssystem:
  215. \begin{align*}
  216. - b -c &= 0 \\
  217. a + \frac{b}{2} + \frac{c}{3} &= 0
  218. .\end{align*} Durch Wahl von $a = -1$ ergibt sich damit
  219. $b = 6$ und $c = -6$.
  220. Für $n = 4$ ergeben sich analog zu $n = 3$ die Gleichungen
  221. \begin{align*}
  222. -10b - 10c - 9d &= 0 \\
  223. d + \frac{2}{3} c &= 0 \\
  224. a + \frac{b}{2} + \frac{c}{3} + \frac{d}{4} &= 0
  225. .\end{align*} Durch Wahl von $d = 10$ ergibt sich damit
  226. $a = -\frac{1}{2}$, $b = 6$, $c = -15$. Damit ist
  227. \begin{align*}
  228. \{1, 1-2x, -1 + 6x -6x^2, -\frac{1}{2} + 6x - 15 x^2 + 10x^3\}
  229. .\end{align*}
  230. offensichtlich l.u. und eine Orthogonalbasis des $Q[X]_{\le 3}$ bezüglich $\gamma$.
  231. \end{enumerate}
  232. \end{aufgabe}
  233. \begin{aufgabe}
  234. Es gilt nach VL:
  235. $M_{\underline{e}}^{\underline{e}}(f) = \left(M_{\underline{e^{*}}}^{\underline{e^{*}}}(f^{*})\right)^{t}$.
  236. Damit folgt
  237. \begin{align*}
  238. \chi_f(t) &= \text{det}(t E_n - M_{\underline{e}}^{\underline{e}}(f)) \\
  239. &= \text{det}\left[\left(t E_n - M_{\underline{e}}^{\underline{e}}(f)\right)^{t}\right] \\
  240. &= \text{det}\left[(t E_n)^{t} - \left(M_{\underline{e}}^{\underline{e}}(f)\right)^{t}\right] \\
  241. &= \text{det}\left[t E_n - M_{\underline{e^{*}}}^{\underline{e^{*}}}(f^{*})\right] \\
  242. &= \chi_{f^{*}}(t)
  243. .\end{align*} Damit folgt: $\lambda \in K$ Eigenwert von $f$ $\iff$ $\lambda$ Nullstelle von
  244. $\chi_f(\lambda)$ $\iff$ $\lambda$ Nullstelle von $\chi_{f^{*}}(\lambda)$ $\iff$ $\lambda$ Eigenwert
  245. von $f^{*}$.
  246. Sei nun $\lambda \in K$ ein Eigenwert von $f$ bzw. $f^{*}$. Dann bezeichne
  247. $V_{\lambda}$ den Eigenraum von $\lambda$ bezüglich $f$ und $V^{*}_{\lambda}$ den Eigenraum bezüglich
  248. $f^{*}$. Da $V$ e.d. gilt $\text{dim } V = \text{dim } V^{*}$.
  249. \begin{align*}
  250. \text{dim } V_{\lambda} &= \qquad\text{dim } \text{ker}(\lambda E_n - M_{\underline{e}}^{\underline{e}}(f)) \\
  251. &\stackrel{V \text{ e.d.}}{=} \qquad \text{dim } V - \text{Rg}(\lambda E_n - M_{\underline{e}}^{\underline{e}}(f)) \\
  252. &\stackrel{\text{SR = ZR}}{=} \qquad \text{dim } V - \text{Rg}\left[ \left( \lambda E_n - M_{\underline{e}}^{\underline{e}}(f) \right)^{t} \right] \\
  253. &= \qquad \text{dim } V^{*} - \text{Rg}\left[ \lambda E_n - \left(M_{\underline{e}}^{\underline{e}}(f) \right)^{t} \right] \\
  254. &\stackrel{\text{dim } V = \text{dim } V^{*}}{=} \qquad \text{dim } V^{*} - \text{Rg}\left( \lambda E_n - M_{\underline{e^{*}}}^{\underline{e^{*}}}(f^{*}) \right) \\
  255. &\stackrel{V^{*} \text{ e.d.}}{=} \qquad \text{dim } \text{ker}(\lambda E_n - M_{\underline{e^{*}}}^{\underline{e^{*}}}(f^{*})) \\
  256. &= \qquad \text{dim } V^{*}_{\lambda}
  257. .\end{align*}
  258. \end{aufgabe}
  259. \end{document}