aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/2/frobeniusnorm.tex
blob: 461005afc9645c9b3648754445d0b862a93f71e9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
%
% frobeniusnorm.tex
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\begin{frame}[t]
\setlength{\abovedisplayskip}{5pt}
\setlength{\belowdisplayskip}{5pt}
\frametitle{Frobenius-Norm}
\vspace{-15pt}
\begin{columns}[t,onlytextwidth]
\begin{column}{0.48\textwidth}
\begin{block}{Skalarprodukt}
$A,B\in M_{m\times n}(\mathbb{C})$
\begin{align*}
\langle A,B\rangle_F
&\uncover<2->{=
\sum_{i,j} \overline{a}_{ik}b_{ik}}
\uncover<3->{=
\operatorname{Spur} A^*B}
\\
\uncover<4->{
\|A\|_F^2
&=
\langle A,A\rangle}
\uncover<5->{=
\sum_{i,k} |a_{ik}|^2}
\end{align*}
\uncover<6->{%
$\Rightarrow M_{m\times n}(\mathbb{C})$ ist ein normierter Raum}
\end{block}
\end{column}
\begin{column}{0.48\textwidth}
\uncover<12->{%
\begin{block}{Singulärwertzerlegung}
\vspace{-12pt}
\begin{align*}
\uncover<13->{
A
&=
U\Sigma V^*}
\\
\uncover<14->{
A^*A
&=
V\Sigma^*U^*U\Sigma V^*}
\uncover<15->{=
V\Sigma^*\Sigma V^*}
\\
\uncover<16->{%
\operatorname{Spur}{A^*A}
&=
\operatorname{Spur}V\Sigma^*\Sigma V^*}
\\
\uncover<17->{%
&=
\operatorname{Spur}V^*V\Sigma^*\Sigma}
\\
\uncover<18->{%
&=
\operatorname{Spur}\Sigma^*\Sigma}
\uncover<19->{=
\sum_{i} |\sigma_i|^2}
\end{align*}
\end{block}}
\end{column}
\end{columns}
\uncover<7->{%
\begin{block}{Produkt}
\vspace{-10pt}
\begin{align*}
\|AB\|_F
\uncover<8->{=
\sum_{i,j}
\biggl|
\sum_{k}
a_{ik}b_{kj}
\biggr|^2}
&\uncover<9->{\le
\sum_{i,j}
\biggl(
\sum_k  |a_{ik}|^2
\biggr)
\biggl(
\sum_l  |b_{lj}|^2
\biggr)}
\\
\uncover<10->{
&=
\sum_{i,k} |a_{ik}|^2
\sum_{l,j} |b_{lj}|^2}
\uncover<11->{=
\|A\|_F\cdot \|B\|_F}
\end{align*}
\end{block}}
\end{frame}