Replace ^+ with ^\dagger
This commit is contained in:
parent
1592ce8ba3
commit
7333c8b318
58
LinAlg2.tex
58
LinAlg2.tex
|
@ -3874,7 +3874,7 @@ $\implies \ker(\alpha) = \langle b_{r+1}, \dots, b_n \rangle_V, \im(\alpha) = \l
|
|||
\end{align*}
|
||||
|
||||
\subsubsection{Bemerkung:}
|
||||
$\alpha$ invertierbar, $V=W \implies n = m = r \implies \alpha^+ = \alpha^{-1}$ \\
|
||||
$\alpha$ invertierbar, $V=W \implies n = m = r \implies \alpha^\dagger = \alpha^{-1}$ \\
|
||||
Wir haben eine echte Verallgemeinerung.
|
||||
|
||||
\begin{defin}
|
||||
|
@ -3893,7 +3893,7 @@ Wir haben eine echte Verallgemeinerung.
|
|||
\]
|
||||
Dann heißt die Matrix
|
||||
\[
|
||||
A^+ = V^* \Sigma^+ U \in \K^{n \times m}, \Sigma^+ = \left( \begin{smallmatrix}
|
||||
A^\dagger = V^* \Sigma^\dagger U \in \K^{n \times m}, \Sigma^\dagger = \left( \begin{smallmatrix}
|
||||
\frac1{s_1} \\
|
||||
& \ddots \\
|
||||
& & \frac1{s_r} \\
|
||||
|
@ -3904,8 +3904,8 @@ Wir haben eine echte Verallgemeinerung.
|
|||
\]
|
||||
(Moore-Penrose) \underline{Pseudoinverse} von $A$.
|
||||
\item Sei $\alpha \in \homk(V, W), \dim(V), \dim(W) < \infty$ und $B, B'$ Orthonormalbasen mit
|
||||
${}_{B'} M(\alpha)_B = \Sigma$ und $\alpha^+$ so, dass ${}_B M(\alpha^+)_B = \Sigma^+$.
|
||||
Dann heißt $\alpha^+$ (Moore-Penrose) \underline{Pseudoinverse} von $\alpha$.
|
||||
${}_{B'} M(\alpha)_B = \Sigma$ und $\alpha^\dagger$ so, dass ${}_B M(\alpha^\dagger)_B = \Sigma^\dagger$.
|
||||
Dann heißt $\alpha^\dagger$ (Moore-Penrose) \underline{Pseudoinverse} von $\alpha$.
|
||||
\end{itemize}
|
||||
\end{defin}
|
||||
|
||||
|
@ -3914,43 +3914,43 @@ Wir haben eine echte Verallgemeinerung.
|
|||
Seien $V, W$ endlich dimensional euklidische/unitäre Vektorräume, \\
|
||||
$\alpha \in \Hom(V, W)$. Dann gilt:
|
||||
\[
|
||||
\alpha^+ \text{ ist pseudoinverse} \iff \begin{aligned}
|
||||
& \alpha \circ \alpha^+ \circ \alpha = \alpha \\
|
||||
& \alpha^+ \circ \alpha \circ \alpha^+ = \alpha^+ \\
|
||||
& \alpha \circ \alpha^+ \text{ selbstadjungiert} \\
|
||||
& \alpha^+ \circ \alpha \text{ selbstadjungiert} \\
|
||||
\alpha^\dagger \text{ ist pseudoinverse} \iff \begin{aligned}
|
||||
& \alpha \circ \alpha^\dagger \circ \alpha = \alpha \\
|
||||
& \alpha^\dagger \circ \alpha \circ \alpha^\dagger = \alpha^\dagger \\
|
||||
& \alpha \circ \alpha^\dagger \text{ selbstadjungiert} \\
|
||||
& \alpha^\dagger \circ \alpha \text{ selbstadjungiert} \\
|
||||
\end{aligned}
|
||||
\]
|
||||
\end{satz}
|
||||
\begin{proof}
|
||||
Beweis über Matrizen, da äquivalent. Weiters die $\implies$ Richtung nur für \R.
|
||||
\begin{itemize}
|
||||
\item[$\implies$:] $A = U^T \Sigma V, A^+ = V^T \Sigma^+ U$
|
||||
\item[$\implies$:] $A = U^T \Sigma V, A^\dagger = V^T \Sigma^\dagger U$
|
||||
\[
|
||||
A A^+ = U^T \Sigma \underbrace{V V^T}_{=I} \Sigma^+ U = U^T \Sigma \Sigma^+ U =
|
||||
A A^\dagger = U^T \Sigma \underbrace{V V^T}_{=I} \Sigma^\dagger U = U^T \Sigma \Sigma^\dagger U =
|
||||
U^T \left( \begin{smallmatrix} 1 \\ & \ddots \\ & & 1 \\ & & & 0 \\ & & & & \ddots \\
|
||||
& & & & & 0 \end{smallmatrix} \right) U
|
||||
\]
|
||||
$A^+ A$.
|
||||
$A^\dagger A$.
|
||||
\[
|
||||
A A^+ A = U^T \Sigma \underbrace{V V^T}_I \Sigma^+ \underbrace{U U^T}_I \Sigma V
|
||||
= U^T \underbrace{\Sigma \Sigma^+ \Sigma}_\Sigma V = U^T \Sigma V = A
|
||||
A A^\dagger A = U^T \Sigma \underbrace{V V^T}_I \Sigma^\dagger \underbrace{U U^T}_I \Sigma V
|
||||
= U^T \underbrace{\Sigma \Sigma^\dagger \Sigma}_\Sigma V = U^T \Sigma V = A
|
||||
\]
|
||||
\item[$\impliedby$:] Steht noch aus
|
||||
% \begin{itemize}
|
||||
% \item \begin{equation} \label{eq:3.6.3.1}
|
||||
% \begin{aligned}
|
||||
% \ker(\alpha) = \ker(\alpha^+ \circ \alpha) && \im(\alpha) = \im(\alpha \circ \alpha^+) \\
|
||||
% \ker(\alpha^+) = \ker(\alpha \circ \alpha^+) && \im(\alpha^+) = \im(\alpha^+ \circ \alpha)
|
||||
% \ker(\alpha) = \ker(\alpha^\dagger \circ \alpha) && \im(\alpha) = \im(\alpha \circ \alpha^\dagger) \\
|
||||
% \ker(\alpha^\dagger) = \ker(\alpha \circ \alpha^\dagger) && \im(\alpha^\dagger) = \im(\alpha^\dagger \circ \alpha)
|
||||
% \end{aligned}
|
||||
% \end{equation}
|
||||
% \tl UE\br\,:
|
||||
% $\ker(\alpha) \subseteq \ker(\alpha^+ \circ \alpha) \subseteq \ker(\alpha \circ \alpha^+
|
||||
% \circ \alpha) = \ker(\alpha) \implies \ker(\alpha) = \ker(\alpha \circ \alpha^+ \circ \alpha)$
|
||||
% \item $\nu := \alpha^+ \circ \alpha$ ist Orthogonalprojektion auf $\ker(\alpha)^\bot$
|
||||
% $\ker(\alpha) \subseteq \ker(\alpha^\dagger \circ \alpha) \subseteq \ker(\alpha \circ \alpha^\dagger
|
||||
% \circ \alpha) = \ker(\alpha) \implies \ker(\alpha) = \ker(\alpha \circ \alpha^\dagger \circ \alpha)$
|
||||
% \item $\nu := \alpha^\dagger \circ \alpha$ ist Orthogonalprojektion auf $\ker(\alpha)^\bot$
|
||||
% \item $\nu$ selbstadjungiert $\implies \ker(v) \bot \im(v)$
|
||||
% \item $\nu \circ \nu = \alpha^+ \circ \underbrace{\alpha \circ \alpha^+ \circ \alpha}_\alpha
|
||||
% = \alpha^+ \circ \alpha = \nu$
|
||||
% \item $\nu \circ \nu = \alpha^\dagger \circ \underbrace{\alpha \circ \alpha^\dagger \circ \alpha}_\alpha
|
||||
% = \alpha^\dagger \circ \alpha = \nu$
|
||||
% \item $\forall u \in \im(\nu), v \in V$: \[
|
||||
% \inner{\nu(v) - v}u = \inner{\nu(v) - v}{\nu(w)} =
|
||||
% \inner{\nu^2(v) - \nu(v)}{w} = \inner{0}{w} = 0
|
||||
|
@ -3962,8 +3962,8 @@ Wir haben eine echte Verallgemeinerung.
|
|||
\begin{satz}
|
||||
Sei $\alpha \in \Hom(V, W)$.
|
||||
\begin{itemize}
|
||||
\item $\alpha$ injektiv $\implies \alpha^+ = (\alpha^* \circ \alpha)^{{}^{-1}} \circ \alpha^*$
|
||||
\item $\alpha$ surjektiv $\alpha^+ = \alpha^* \circ (\alpha \circ \alpha^*)^{{}^{-1}}$
|
||||
\item $\alpha$ injektiv $\implies \alpha^\dagger = (\alpha^* \circ \alpha)^{{}^{-1}} \circ \alpha^*$
|
||||
\item $\alpha$ surjektiv $\alpha^\dagger = \alpha^* \circ (\alpha \circ \alpha^*)^{{}^{-1}}$
|
||||
\end{itemize}
|
||||
\end{satz}
|
||||
\begin{proof}
|
||||
|
@ -3984,7 +3984,7 @@ Wir haben eine echte Verallgemeinerung.
|
|||
\beta = \beta$
|
||||
\item $\beta \circ \alpha, \alpha \circ \beta$ sind selbstadjungiert.
|
||||
\end{itemize}
|
||||
$\underset{\text{Satz \ref{theo:3.6.3}}}{\implies} \beta = \alpha^+$
|
||||
$\underset{\text{Satz \ref{theo:3.6.3}}}{\implies} \beta = \alpha^\dagger$
|
||||
\end{proof}
|
||||
|
||||
\subsubsection{Anwendung: Methode der kleinsten Quadrate}
|
||||
|
@ -3999,13 +3999,13 @@ $w = \sum_{i=1}^n \mu_i b_i'$
|
|||
\norm{\alpha(v) - w}^2 = \norm{\sum_{i=1}^r s_i \lambda_i b_i' - \sum_{i=1}^m \mu_i b_i'}^2 =
|
||||
\sum_{i=1}^r (s_i \lambda_i - \mu_i)^2 + \sum_{i = r+1}^m \mu_i^2
|
||||
\]
|
||||
Wird minimal wenn $\lambda_i = \frac{\mu_i}{s_i}, i \in [r]$, insbesondere für $v = \alpha^+(w)$
|
||||
Wird minimal wenn $\lambda_i = \frac{\mu_i}{s_i}, i \in [r]$, insbesondere für $v = \alpha^\dagger(w)$
|
||||
|
||||
\begin{satz}
|
||||
Sei $\alpha \in \homk(V, W), \K \in \{\R,\C\}, V, W$ endlich dimensional.
|
||||
Sei $w \in W$. Dann gilt mit $v^+ = \alpha^+(w)$ dass
|
||||
Sei $w \in W$. Dann gilt mit $v^\dagger = \alpha^\dagger(w)$ dass
|
||||
\[
|
||||
\norm{\alpha(v^+)-w} = \min_{v\in V} \norm{\alpha(v) - w}
|
||||
\norm{\alpha(v^\dagger)-w} = \min_{v\in V} \norm{\alpha(v) - w}
|
||||
\]
|
||||
Alle Vektoren mit dieser Eigenschaft erfüllen die\\ \underline{Normalgleichungen}
|
||||
$\ontop{\alpha^* \alpha(v) = \alpha^*(w)}{A^* A x = A^* b}$
|
||||
|
@ -4013,9 +4013,9 @@ Wird minimal wenn $\lambda_i = \frac{\mu_i}{s_i}, i \in [r]$, insbesondere für
|
|||
|
||||
\begin{satz}
|
||||
Sei $\alpha \in \Hom(V, W), w \in \im(\alpha)$.
|
||||
Dann gilt mit $v^+ = \alpha^+ (w)$:
|
||||
Dann gilt mit $v^\dagger = \alpha^\dagger (w)$:
|
||||
\[
|
||||
\norm{v^+} = \min\{\norm v: \alpha(v) = w \}
|
||||
\norm{v^\dagger} = \min\{\norm v: \alpha(v) = w \}
|
||||
\]
|
||||
\end{satz}
|
||||
|
||||
|
|
Loading…
Reference in New Issue