aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/7/ableitung.tex
blob: 5a4b94eb6c40323bcd6bc4477c36093eeb5295ee (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
%
% ableitung.tex -- Ableitung in der Lie-Gruppe
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\bgroup
\begin{frame}[t]
\setlength{\abovedisplayskip}{5pt}
\setlength{\belowdisplayskip}{5pt}
\frametitle{Ableitung in der Matrix-Gruppe}
\vspace{-20pt}
\begin{columns}[t,onlytextwidth]
\begin{column}{0.48\textwidth}
\begin{block}{Ableitung in $\operatorname{O}(n)$}
\uncover<2->{%
$s \mapsto A(s)\in\operatorname{O}(n)$
}
\begin{align*}
\uncover<3->{I
&=
A(s)^tA(s)}
\\
\uncover<4->{0
=
\frac{d}{ds} I
&=
\frac{d}{ds} (A(s)^t A(s))}
\\
&\uncover<5->{=
\dot{A}(s)^tA(s) + A(s)^t \dot{A}(s)}
\intertext{\uncover<6->{An der Stelle $s=0$, d.~h.~$A(0)=I$}}
\uncover<7->{0
&=
\dot{A}(0)^t
+
\dot{A}(0)}
\\
\uncover<8->{\Leftrightarrow
\qquad
\dot{A}(0)^t &= -\dot{A}(0)}
\end{align*}
\uncover<9->{%
``Tangentialvektoren'' sind antisymmetrische Matrizen
}
\end{block}
\end{column}
\begin{column}{0.48\textwidth}
\begin{block}{Ableitung in $\operatorname{SL}_2(\mathbb{R})$}
\uncover<2->{%
$s\mapsto A(s)\in\operatorname{SL}_n(\mathbb{R})$
}
\begin{align*}
\uncover<3->{1 &= \det A(t)}
\\
\uncover<10->{0
=
\frac{d}{dt}1
&=
\frac{d}{dt} \det A(t)}
\intertext{\uncover<11->{mit dem Entwicklungssatz kann man nachrechnen:}}
\uncover<12->{0&=\operatorname{Spur}\dot{A}(0)}
\end{align*}
\uncover<13->{``Tangentialvektoren'' sind spurlose Matrizen}
\end{block}
\end{column}
\end{columns}
\end{frame}
\egroup