aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/7/liealgebra.tex
blob: 574467b3e31487e367ec730edc297c1c092a5fab (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
%
% liealgebra.tex -- Lie-Algebra
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\bgroup
\begin{frame}[t]
\setlength{\abovedisplayskip}{5pt}
\setlength{\belowdisplayskip}{5pt}
\frametitle{Lie-Algebra}
\ifthenelse{\boolean{presentation}}{\vspace{-15pt}}{\vspace{-8pt}}
\begin{block}{Vektorraum}
Tangentialvektoren im Punkt $I$:
\begin{center}
\begin{tabular}{>{$}c<{$}|p{6cm}|>{$}c<{$}}
\text{Lie-Gruppe $G$}&Tangentialvektoren&\text{Lie-Algebra $LG$} \\
\hline
\uncover<2->{
\operatorname{GL}_n(\mathbb{R})
& beliebige Matrizen
& M_n(\mathbb{R})
}
\\
\uncover<3->{
\operatorname{O(n)}
& antisymmetrische Matrizen
& \operatorname{o}(n)
}
\\
\uncover<4->{
\operatorname{SL}_n(\mathbb{R})
& spurlose Matrizen
& \operatorname{sl}_2(\mathbb{R})
}
\\
\uncover<5->{
\operatorname{U(n)}
& antihermitesche Matrizen
& \operatorname{u}(n)
}
\\
\uncover<6->{
\operatorname{SU(n)}
& spurlose, antihermitesche Matrizen
& \operatorname{su}(n)
}
\end{tabular}
\end{center}
\end{block}
\vspace{-20pt}
\begin{columns}[t,onlytextwidth]
\begin{column}{0.40\textwidth}
\uncover<7->{%
\begin{block}{Lie-Klammer}
Kommutator: $[A,B] = AB-BA$
\end{block}}
\uncover<8->{%
\begin{block}{Nachprüfen}
$[A,B]\in LG$
für $A,B\in LG$
\end{block}}
\end{column}
\begin{column}{0.56\textwidth}
\uncover<9->{%
\begin{block}{Algebraische Eigenschaften}
\begin{itemize}
\item<10-> antisymmetrisch: $[A,B]=-[B,A]$
\item<11-> Jacobi-Identität
\[
[A,[B,C]]+
[B,[C,A]]+
[C,[A,B]]
= 0
\]
\end{itemize}
\vspace{-13pt}
\uncover<12->{%
{\usebeamercolor[fg]{title}
Beispiel:} $\mathbb{R}^3$ mit Vektorprodukt $\mathstrut = \operatorname{so}(3)$
}
\end{block}}
\end{column}
\end{columns}
\end{frame}
\egroup