Fix a few typos
This commit is contained in:
parent
aa3c7802cd
commit
5d12091d07
46
LinAlg2.tex
46
LinAlg2.tex
|
@ -376,7 +376,7 @@ $\varphi$ alternierend und $a_i = a_j$ für $i\neq j \implies \varphi(a_1, \dots
|
|||
& \underbrace{=}_{\mathclap{\varphi\text{ alternierend}}}
|
||||
\sum_{\substack{j_1, \dots, j_n \\
|
||||
\text{paarweise verschieden}}}
|
||||
{\varphi(b_{j_1}, \dots, v_{j_n})\lambda_{1j_1} \cdots \lambda_{nj_n}} \\
|
||||
{\varphi(b_{j_1}, \dots, b_{j_n})\lambda_{1j_1} \cdots \lambda_{nj_n}} \\
|
||||
& = \sum_{\pi\in S_n} \varphi(b_{\pi(1)}, \dots, b_{\pi(n)})
|
||||
\lambda_{1\pi(1)} \cdots \lambda_{n\pi(n)} \\
|
||||
& \underbrace{=}_{\mathclap{\text{Lemma \ref{theo:1.2.3}}}}
|
||||
|
@ -422,9 +422,10 @@ $\varphi$ alternierend und $a_i = a_j$ für $i\neq j \implies \varphi(a_1, \dots
|
|||
\varphi(b_i, \dots, b_i, \dots, b_n) & = c\cdot\sum_{\pi\in S_n} \sgn(\pi) \lambda_{i\pi(1)}\cdots\lambda_{i\pi(i)}\cdots\lambda_{n\pi(n)} \\
|
||||
& \begin{multlined}=c\cdot \Bigg(\sum_{\pi\in A_n}\sgn(\pi)\lambda_{i\pi(i)}\cdots\lambda_{i\pi(i)}\cdots\lambda_{n\pi(n)} \\
|
||||
+\sum_{\pi\in A_n}\underbrace{\sgn(\pi\circ(1i))}_{=-\sgn(\pi)}\lambda_{i\pi(i)}\cdots\lambda_{i\pi(i)}\cdots\lambda_{n\pi(n)}\Bigg)\end{multlined} \\
|
||||
& =c\cdot\sum_{\pi\in A_n}(\sgn(\pi)-\sgn(\pi)) \cdot \cdots \\
|
||||
& \cdot \cdots \lambda_{i\pi(i)}\cdots\lambda_{i\pi(i)}\cdots\lambda_{n\pi(n)}=0
|
||||
\end{align*}
|
||||
& \begin{multlined}
|
||||
= c\cdot\sum_{\pi\in A_n}(\sgn(\pi)-\sgn(\pi))\\
|
||||
\cdot \lambda_{i\pi(i)}\cdots\lambda_{i\pi(i)}\cdots\lambda_{n\pi(n)}=0
|
||||
\end{multlined}\end{align*}
|
||||
\end{enumerate}
|
||||
\end{proof}
|
||||
|
||||
|
@ -505,7 +506,7 @@ Es gibt also zu jedem $\K$-VR V mit $\dim(V)=n$ eine nicht ausgeartete alternier
|
|||
Sei V ein n-dimensionaler \K-Vektorraum. Dann gilt
|
||||
\begin{enumerate}[label=\alph*)]
|
||||
\item $\alpha\in \homkv \text{ bijektiv } \iff \det(\alpha)\neq0$
|
||||
\item $\alpha, \beta \in \homkv \implies \det(\alpha, \beta) = \det(\alpha) \det(\beta)$
|
||||
\item $\alpha, \beta \in \homkv \implies \det(\alpha \beta) = \det(\alpha) \det(\beta)$
|
||||
\item $\det(\id)=1$
|
||||
\item Ist $\alpha\in \homkv$ invertierbar, so gilt $\det(\alpha^{-1})=\det(\alpha)^{-1}$.
|
||||
\end{enumerate}
|
||||
|
@ -528,13 +529,13 @@ Es gibt also zu jedem $\K$-VR V mit $\dim(V)=n$ eine nicht ausgeartete alternier
|
|||
\begin{align*}
|
||||
\det(\alpha\beta) & = \frac{\varphi(\alpha(\beta(a_1)), \dots, \alpha(\beta(a_n)))}
|
||||
{\varphi(a_1, \dots, a_n)} \\
|
||||
& \begin{multlined}
|
||||
=\frac{\varphi(\alpha(\beta(a_1)), \dots, \alpha(\beta(a_n)))}
|
||||
{\varphi(\beta(a_1), \dots, \beta(a_n))}\cdot
|
||||
\frac{\varphi(\beta(a_1), \dots, \beta(a_n))}
|
||||
{\varphi(a_1, \dots, a_n)}
|
||||
\end{multlined} \\
|
||||
& \underbrace{=}_{\mathclap{\text{Satz \ref{theo:1.3.2}}}}
|
||||
& \begin{multlined}
|
||||
=\frac{\varphi(\alpha(\beta(a_1)), \dots, \alpha(\beta(a_n)))}
|
||||
{\varphi(\beta(a_1), \dots, \beta(a_n))}\cdot
|
||||
\frac{\varphi(\beta(a_1), \dots, \beta(a_n))}
|
||||
{\varphi(a_1, \dots, a_n)}
|
||||
\end{multlined} \\
|
||||
& \underbrace{=}_{\mathclap{\text{Satz \ref{theo:1.3.2}}}}
|
||||
\det(\alpha)\det(\beta)
|
||||
\end{align*}
|
||||
\end{enumerate}
|
||||
|
@ -730,9 +731,9 @@ da obige Matrix aus $M_{ij}$ durch Spaltenadditionen hervorgeht.
|
|||
\end{satz}
|
||||
\begin{proof}
|
||||
b) \[\begin{aligned}
|
||||
\det(A) & = \det(a_{\_1}, \dots, a_{\_n})= \\
|
||||
& =\det(a_{\_1}, \dots, \underbrace{\sum_{l=1}^na_{lj}e_l}_{=a_{\_j}}, \dots, a_{\_n})= \\
|
||||
& =\sum_{l=1}^n a_{lj}\det(a_{\_1}, \dots, \underbrace{e_l}_{j}, \dots, a_{\_n}) = \\
|
||||
\det(A) & = \det(a_{\_1}, \dots, a_{\_n}) \\
|
||||
& =\det(a_{\_1}, \dots, \underbrace{\sum_{l=1}^na_{lj}e_l}_{=a_{\_j}}, \dots, a_{\_n}) \\
|
||||
& =\sum_{l=1}^n a_{lj}\det(a_{\_1}, \dots, \underbrace{e_l}_{j}, \dots, a_{\_n}) \\
|
||||
& = \sum_{l=1}^n a_{lj}A_{lj}
|
||||
\end{aligned}
|
||||
\]
|
||||
|
@ -859,7 +860,7 @@ da obige Matrix aus $M_{ij}$ durch Spaltenadditionen hervorgeht.
|
|||
\item[$\implies$:] Sei $\alpha$ diagonalisierbar und $B$ eine Basis mit $_B M(\alpha)_B$ Diagonalmatrix.
|
||||
Dann gilt
|
||||
\begin{align*}
|
||||
{}_B M(\alpha)_B & = {}_B M(\id)_C \cdot {}_C M(\alpha)_C \cdot {}_C M(\id)_B \\
|
||||
{}_B M(\alpha)_B & = {}_B M(\id)_C \cdot {}_C M(\alpha)_C \cdot {}_C M(\id)_B \\
|
||||
& = {{}_C M(\id)_{B}}^{-1} \cdot {}_C M(\alpha)_C \cdot {}_C M(\id)_B
|
||||
\end{align*}
|
||||
Also ist ${}_C M(\alpha)_C$ diagonalisierbar.
|
||||
|
@ -1292,14 +1293,15 @@ $A = \begin{pmatrix}
|
|||
Sei $A\in\K^{\nxn}$ und $\underbrace{\spur(A)}_{\mathclap{\color{red}\text{\dq Spur von $A$ \dq}}}
|
||||
:= \sum\limits_{i=1}^n a_{ii}$
|
||||
\[\chi_A(\lambda) = (-1)^n\lambda^n + (-1)^{n-1} \spur(A) \lambda^{n-1} + \cdots + \det(A)\]
|
||||
|
||||
\end{lemma}
|
||||
\begin{proof}
|
||||
$\chi_A(\lambda) = \sum\limits_{\pi \in S_n} \sgn(\pi) \prod\limits_{i=1}^n \tilde{a}_{i\pi(i)}$ mit
|
||||
$\tilde{a}_{ij} = \begin{cases} a_{ij} & i\neq j \\ a_{ij} - \lambda & i=j\end{cases}$. \\
|
||||
\[
|
||||
\chi_A(\lambda) = \sum\limits_{\pi \in S_n} \sgn(\pi) \prod\limits_{i=1}^n \tilde{a}_{i\pi(i)} \text{ mit }
|
||||
\tilde{a}_{ij} = \begin{cases} a_{ij} & i\neq j \\ a_{ij} - \lambda & i=j\end{cases}
|
||||
\]
|
||||
Wenn $\pi\neq \id$ gilt $\deg\left(\prod\limits_{i=1}^n \tilde{a}_{i\pi(i)}\right)\le n-2$,
|
||||
da mindestens zwei Elemente vertauscht werden. Die Koeffizienten von Grad $n, n-1$ kann man also aus
|
||||
$\prod\limits_{i=1}^n \tilde{a}_{ii} = \prod\limits_{i=1}^n (\tilde{a}_{ii} - \lambda)$ ablesen.
|
||||
$\prod\limits_{i=1}^n \tilde{a}_{ii} = \prod\limits_{i=1}^n (a_{ii} - \lambda)$ ablesen.
|
||||
Daraus folgt die Behauptung für die höchsten beiden Koeffizienten.
|
||||
Weiters gilt $\chi_A(0)=\det(A)$, was die Aussage für den konstanten Koeffizienten zeigt.
|
||||
\end{proof}
|
||||
|
@ -3973,11 +3975,11 @@ Wir haben eine echte Verallgemeinerung.
|
|||
$\ker(\alpha) \subseteq \ker(\alpha^\dagger \circ \alpha) \subseteq
|
||||
\ker(\alpha \circ \alpha^\dagger \circ \alpha)
|
||||
= \ker(\alpha) \implies \ker(\alpha) = \ker(\alpha^\dagger \circ \alpha)$
|
||||
$\im(\alpha) \subseteq \im(\alpha \circ \alpha^\dagger) \subseteq
|
||||
$\im(\alpha) \supseteq \im(\alpha \circ \alpha^\dagger) \supseteq
|
||||
\im(\alpha \circ \alpha^\dagger \circ \alpha) = \im(\alpha) \implies
|
||||
\im(\alpha) = \im(\alpha \circ \alpha^\dagger)$
|
||||
\item $\nu := \alpha^\dagger \circ \alpha$ erfüllt $\nu \circ \nu$ und ist selbstadjungiert
|
||||
? für $\nu' := \alpha \circ \alpha^\dagger$ \\
|
||||
für $\nu' := \alpha \circ \alpha^\dagger$ \\
|
||||
$\implies \underbrace{\ker(\nu)}_{=\ker(\alpha)} \bot \im(\nu)$
|
||||
[Sei $v\in \ker(\nu), w = \nu(v) \in \im(\nu) \implies \inner vw = \inner{\nu(v)}{w} = 0$] \\
|
||||
$\implies$
|
||||
|
|
Loading…
Reference in New Issue