aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/10/repetition.tex
blob: 7c007ca0982bca813a8840e66fa335029afa7e40 (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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
%
% repetition.tex -- Repetition Lie-Gruppen und -Algebren
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
% Erstellt durch Roy Seitz
%
% !TeX spellcheck = de_CH
\bgroup

\begin{frame}[t]
  \setlength{\abovedisplayskip}{5pt}
  \setlength{\belowdisplayskip}{5pt}
  \frametitle{Repetition}
  \vspace{-20pt}
  \begin{columns}[t,onlytextwidth]
    \begin{column}{0.48\textwidth}
      \uncover<1->{
        \begin{block}{Lie-Gruppe}
          Kontinuierliche Matrix-Gruppe $G$ mit bestimmter Eigenschaft
        \end{block}
      }
      \uncover<3->{
        \begin{block}{Ein-Parameter-Untergruppe}
          Darstellung der Lie-Gruppe $G$:
          \[
          \gamma \colon \mathbb R \to G
          : \quad
          t \mapsto \gamma(t),
          \]
          so dass
          \[ \gamma(s + t) = \gamma(t) \gamma(s). \]
        \end{block}
      }
    \end{column}
    \begin{column}{0.48\textwidth}
      \uncover<2->{
        \begin{block}{Beispiel}
          Volumen-erhaltende Abbildungen:
          \[ \gSL2R= \{A \in M_2 \,|\, \det(A) = 1\} .\]
          \begin{align*}
            \uncover<4->{ \gamma_x(t) }
            &
            \uncover<4->{= \begin{pmatrix} 1 & t \\ 0 & 1 \end{pmatrix} }
            \\
            \uncover<5->{ \gamma_y(t) }
            &
            \uncover<5->{= \begin{pmatrix} 1 & 0 \\ t & 1 \end{pmatrix} }
            \\
            \uncover<6->{ \gamma_h(t)}
            &
            \uncover<6->{= \begin{pmatrix} e^t & 0 \\ 0 & e^{-t} \end{pmatrix} }
          \end{align*}
        \end{block}
      }
    \end{column}
  \end{columns}
\end{frame}


\begin{frame}[t]
  \setlength{\abovedisplayskip}{5pt}
  \setlength{\belowdisplayskip}{5pt}
  \frametitle{Repetition}
  \vspace{-20pt}
  \begin{columns}[t,onlytextwidth]
    \begin{column}{0.48\textwidth}
      \uncover<1->{
        \begin{block}{Lie-Algebra aus Lie-Gruppe}
          Ableitungen der Ein-Parameter-Untergruppen:
          \begin{align*}
            G       &\to      \mathcal A    \\
            \gamma  &\mapsto  \dot\gamma(0)
          \end{align*}
          \uncover<3->{
            Lie-Klammer als Produkt: 
            \[ [A, B] = AB - BA \in \mathcal A \]
          }
        \end{block}
      }
      \uncover<7->{\vspace*{-4ex}
        \begin{block}{Lie-Gruppe aus Lie-Algebra}
          Lösung der Differentialgleichung:
          \[
          \dot\gamma(t) = A\gamma(t)
          \quad \text{mit} \quad
          A = \dot\gamma(0)
          \]
          \[
          \Rightarrow \gamma(t) = \exp(At)
          \]
        \end{block}
      }
    \end{column}
    \begin{column}{0.48\textwidth}
      \uncover<2->{
        \begin{block}{Beispiel}
          Lie-Algebra von \gSL2R:
          \[ \asl2R = \{ A \in M_2 \,|\, \Spur(A) = 0 \} \]
        \end{block}
        }
        \begin{align*}
          \uncover<4->{ X(t) }
          &
          \uncover<4->{= \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} }
          \\
          \uncover<5->{ Y(t) }
          &
          \uncover<5->{= \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} }
          \\
          \uncover<6->{ H(t) }
          &
          \uncover<6->{= \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} }
        \end{align*}

    \end{column}
  \end{columns}
\end{frame}

\egroup