diff options
100 files changed, 4607 insertions, 103 deletions
diff --git a/buch/.gitignore b/buch/.gitignore index 4600c1a..5d8a46e 100644 --- a/buch/.gitignore +++ b/buch/.gitignore @@ -1,12 +1,16 @@ -buch*.aux -buch*.bbl -buch*.bib -buch*.blg -buch*.idx -buch*.ilg -buch*.ind -buch*.log -buch*.out +*.aux +*.bbl +*.bib +*.blg +*.idx +*.ilg +*.ind +*.log +*.out +*.rpt buch*.pdf -buch*.run.xml -buch*.toc +*.run.xml +*.toc +.build/ +*.synctex.gz +*.DS_Store diff --git a/buch/chapters/30-endlichekoerper/euklid.tex b/buch/chapters/30-endlichekoerper/euklid.tex index 094a07a..0bf3016 100644 --- a/buch/chapters/30-endlichekoerper/euklid.tex +++ b/buch/chapters/30-endlichekoerper/euklid.tex @@ -681,7 +681,7 @@ Q(q_0)^{-1} Q(q_1)^{-1} \dots Q(q_{n-1})^{-1} -Q(q_n) +Q(q_n)^{-1} \begin{pmatrix}\operatorname{ggT}(a,b)\\0\end{pmatrix}. \] Eine mögliche Lösung für die Matrix $K$ in diff --git a/buch/chapters/40-eigenwerte/chapter.tex b/buch/chapters/40-eigenwerte/chapter.tex index 242a5e5..24ea57d 100644 --- a/buch/chapters/40-eigenwerte/chapter.tex +++ b/buch/chapters/40-eigenwerte/chapter.tex @@ -46,5 +46,6 @@ Dies wird in Abschnitt~\ref{buch:section:spektraltheorie} beschrieben. \uebungsaufgabe{4003} \uebungsaufgabe{4004} \uebungsaufgabe{4005} +\uebungsaufgabe{4006} \end{uebungsaufgaben} diff --git a/buch/chapters/40-eigenwerte/normalformen.tex b/buch/chapters/40-eigenwerte/normalformen.tex index c21c403..9169f65 100644 --- a/buch/chapters/40-eigenwerte/normalformen.tex +++ b/buch/chapters/40-eigenwerte/normalformen.tex @@ -330,9 +330,259 @@ Es ist das Polynom geringsten Grades über $\Bbbk'$, welches $m(A)=0$ erfüllt. \subsection{Reelle Normalform \label{buch:subsection:reelle-normalform}} +Wenn eine reelle Matrix $A$ komplexe Eigenwerte hat, ist die Jordansche +Normalform zwar möglich, aber die zugehörigen Basisvektoren werden ebenfalls +komplexe Komponenten haben. +Für eine rein reelle Rechnung ist dies nachteilig, da der Speicheraufwand +dadurch verdoppelt und der Rechenaufwand für Multiplikationen vervierfacht +wird. -\subsection{Obere Hessenberg-Form -\label{buch:subsection:obere-hessenberg-form}} +Die nicht reellen Eigenwerte von $A$ treten in konjugiert komplexen Paaren +$\lambda_i$ und $\overline{\lambda}_i$ auf. +Wir betrachten im Folgenden nur ein einziges Paar $\lambda=a+ib$ und +$\overline{\lambda}=a-ib$ von konjugiert komplexen Eigenwerten mit +nur je einem einzigen $n\times n$-Jordan-Block $J$ und $\overline{J}$. +Ist $\mathcal{B}=\{b_1,\dots,b_n\}$ die Basis für den Jordan-Block $J$, +dann kann man die Vektoren +$\overline{\mathcal{B}}=\{\overline{b}_1,\dots,\overline{b}_n\}$ als Basis für +$\overline{J}$ verwenden. +Die vereinigte Basis +$\mathcal{C} = \mathcal{B}\cup\overline{\mathcal{B}} += \{b_1,\dots,b_n,\overline{b}_1,\dots,\overline{b}_n\}$ +erzeugen einen $2n$-dimensionalen Vektorraum, +der direkte Summe der beiden von $\mathcal{B}$ und $\overline{\mathcal{B}}$ +erzeugen Vektorräume $V=\langle\mathcal{B}\rangle$ und +$\overline{V}=\langle\overline{\mathcal{B}}\rangle$ ist. +Es ist also +\[ +U=\langle \mathcal{C}\rangle += +V\oplus \overline{V}. +\] +Wir bezeichnen die lineare Abbildung mit den Jordan-Blöcken +$J$ und $\overline{J}$ wieder mit $A$. + +Auf dem Vektorraum $U$ hat die lineare Abbildung in der Basis +$\mathcal{C}$ die Matrix +\[ +A= +\begin{pmatrix} +J&0\\ +0&\overline{J} +\end{pmatrix} += +\begin{pmatrix} +\lambda& 1 & & & &&&&&\\ + &\lambda& 1 & & &&&&&\\ + & &\lambda&\ddots& &&&&&\\ + & & &\ddots& 1 &&&&&\\ + & & & &\lambda&&&&&\\ +&&&& &\overline{\lambda}&1&& & \\ +&&&& &&\overline{\lambda}&1& & \\ +&&&& &&&\overline{\lambda} &\dots& \\ +&&&& &&& &\dots&1\\ +&&&& &&& &&\overline{\lambda}\\ +\end{pmatrix}. +\] + +Die Jordan-Normalform bedeutet, dass +\[ +\begin{aligned} +Ab_1&=\lambda b_1 & + A\overline{b}_1 &= \overline{\lambda} \overline{b}_1 \\ +Ab_2&=\lambda b_2 + b_1 & + A\overline{b}_2 &= \overline{\lambda} \overline{b}_2 +\overline{b_1}\\ +Ab_3&=\lambda b_3 + b_2 & + A\overline{b}_3 &= \overline{\lambda} \overline{b}_3 +\overline{b_2}\\ + &\;\vdots & + &\;\vdots \\ +Ab_n&=\lambda b_n + b_{n-1} & + A\overline{b}_n &= \overline{\lambda} \overline{b}_n +\overline{b_{n-1}} +\end{aligned} +\] +Für die Linearkombinationen +\begin{equation} +\begin{aligned} +c_i &= \frac{b_i+\overline{b}_i}{\sqrt{2}}, +& +d_i &= \frac{b_i-\overline{b}_i}{i\sqrt{2}} +\end{aligned} +\label{buch:eigenwerte:eqn:reellenormalformumrechnung} +\end{equation} +folgt dann für $k>1$ +\begin{align*} +Ac_k +&= +\frac{Ab_k+A\overline{b}_k}{2} +& +Ad_k +&= +\frac{Ab_k-A\overline{b}_k}{2i} +\\ +&= +\frac1{\sqrt{2}}(\lambda b_k + b_{k-1} ++ \overline{\lambda}\overline{b}_k + \overline{b}_{k-1}) +& +&= +\frac1{i\sqrt{2}}(\lambda b_k + b_{k-1} +- \overline{\lambda}\overline{b}_k - \overline{b}_{k-1}) +\\ +&= +\frac1{\sqrt{2}}(\alpha b_k + i\beta b_k + \alpha \overline{b}_k -i\beta \overline{b}_k) ++ +c_{k-1} +& +&= +\frac1{i\sqrt{2}}( +\alpha b_k + i\beta b_k - \alpha \overline{b}_k +i\beta \overline{b}_k) ++ +d_{k-1} +\\ +&= +\alpha +\frac{b_k+\overline{b}_k}{\sqrt{2}} ++ +i \beta \frac{b_k-\overline{b}_k}{\sqrt{2}} ++ +c_{k-1} +& +&= +\alpha +\frac{b_k-\overline{b}_k}{i\sqrt{2}} ++ +i \beta \frac{b_k+\overline{b}_k}{i\sqrt{2}} ++ +d_{k-1} +\\ +&= \alpha c_k -\beta d_k ++ +c_{k-1} +& +&= \alpha d_k + \beta c_k ++ +d_{k-1}. +\end{align*} +Für $k=1$ fallen die Terme $c_{k-1}$ und $d_{k-1}$ weg. +In der Basis $\mathcal{D}=\{c_1,d_1,\dots,c_n,d_n\}$ hat die Matrix +also die {\em reelle Normalform} +\begin{equation} +\def\temp#1{\multicolumn{1}{|c}{#1\mathstrut}} +\def\semp#1{\multicolumn{1}{c|}{#1\mathstrut}} +A_{\text{reell}} += +\left( +\begin{array}{cccccccccccc} +\cline{1-4} +\temp{\alpha}& \beta&\temp{ 1}& 0&\temp{} & & & & & &&\\ +\temp{-\beta}&\alpha&\temp{ 0}& 1&\temp{} & & & & & &&\\ +\cline{1-6} + & &\temp{\alpha}& \beta&\temp{ 1}& 0&\temp{} & & & &&\\ + & &\temp{-\beta}&\alpha&\temp{ 0}& 1&\temp{} & & & &&\\ +\cline{3-6} + & & & &\temp{\alpha}& \beta&\temp{} & & & &&\\ + & & & &\temp{-\beta}&\alpha&\temp{} & & & &&\\ +\cline{5-8} + & & & & & &\temp{\phantom{0}}&\phantom{0}&\temp{ }& &&\\ + & & & & & &\temp{\phantom{0}}&\phantom{0}&\temp{ }& &&\\ +\cline{7-12} + & & & & & & & &\temp{\alpha}& \beta&\temp{ 1}&\semp{ 0}\\ + & & & & & & & &\temp{-\beta}&\alpha&\temp{ 0}&\semp{ 1}\\ +\cline{9-12} + & & & & & & & & & &\temp{\alpha}&\semp{ \beta}\\ + & & & & & & & & & &\temp{-\beta}&\semp{\alpha}\\ +\cline{11-12} +\end{array}\right). +\label{buch:eigenwerte:eqn:reellenormalform} +\end{equation} + +Wir bestimmen noch die Transformationsmatrix, die $A$ in die reelle +Normalform bringt. +Dazu beachten wir, dass die Vektoren $c_k$ und $d_k$ in der Basis +$\mathcal{B}$ nur in den Komponenten $k$ und $n+k$ von $0$ verschiedene +Koordinaten haben, nämlich +\[ +c_k += +\frac1{\sqrt{2}} +\left( +\begin{array}{c} +\vdots\\ 1 \\ \vdots\\\hline \vdots\\ 1\\\vdots +\end{array}\right) +\qquad\text{und}\qquad +d_k += +\frac1{i\sqrt{2}} +\left(\begin{array}{c} +\vdots\\ 1 \\ \vdots\\\hline\vdots\\-1\\\vdots +\end{array}\right) += +\frac1{\sqrt{2}} +\left(\begin{array}{c} +\vdots\\-i \\ \vdots\\\hline \vdots\\ i\\\vdots +\end{array}\right) +\] +gemäss \eqref{buch:eigenwerte:eqn:reellenormalformumrechnung}. +Die Umrechnung der Koordinaten von der Basis $\mathcal{B}$ in die Basis +$\mathcal{D}$ +wird daher durch die Matrix +\[ +S += +\frac{1}{\sqrt{2}} +\left(\begin{array}{cccccccccc} +1&-i& & & & & & & & \\ + & &1&-i& & & & & & \\ + & & & &1&-i& & & & \\ + & & & & & &\dots&\dots& & \\ + & & & & & & & &1&-i\\ +\hline +1& i& & & & & & & & \\ + & &1& i& & & & & & \\ + & & & &1& i& & & & \\ + & & & & & &\dots&\dots& & \\ + & & & & & & & &1& i\\ +\end{array}\right) +\] +vermittelt. +Der Nenner $\sqrt{2}$ wurde so gewählt, dass die +Zeilenvektoren der Matrix $S$ als komplexe Vektoren orthonormiert sind, +die Matrix $S$ ist daher unitär und hat die Inverse +\[ +S^{-1} += +S^* += +\frac{1}{\sqrt{2}} +\left(\begin{array}{ccccc|ccccc} + 1& & & & & 1& & & & \\ + i& & & & &-i& & & & \\ + & 1& & & & & 1& & & \\ + & i& & & & &-i& & & \\ + & & 1& & & & & 1& & \\ + & & i& & & & &-i& & \\ + & & &\dots& & & & &\dots& \\ + & & &\dots& & & & &\dots& \\ + & & & & 1& & & & & 1\\ + & & & & i& & & & &-i\\ +\end{array}\right). +\] +Insbesondere folgt jetzt +\[ +A += +S^{-1}A_{\text{reell}}S += +S^*A_{\text{reell}}S +\qquad\text{und}\qquad +A_{\text{reell}} += +SAS^{-1} += +SAS^*. +\] + +%\subsection{Obere Hessenberg-Form +%\label{buch:subsection:obere-hessenberg-form}} diff --git a/buch/chapters/40-eigenwerte/uebungsaufgaben/4006.maxima b/buch/chapters/40-eigenwerte/uebungsaufgaben/4006.maxima new file mode 100644 index 0000000..9c97a2b --- /dev/null +++ b/buch/chapters/40-eigenwerte/uebungsaufgaben/4006.maxima @@ -0,0 +1,121 @@ +/* + * 4006.maxima + * + * (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule + */ + +A: matrix([ a+b*%i, 1, 0, 0 ], + [ 0, a+b*%i, 0, 0 ], + [ 0, 0, a-b*%i, 1 ], + [ 0, 0, 0, a-b*%i ]); + +expand(charpoly(A, x)); + +S: (1/sqrt(2)) * matrix([ 1, -%i, 0, 0 ], + [ 0, 0, 1, -%i ], + [ 1, %i, 0, 0 ], + [ 0, 0, 1, %i ]); + +B: expand(invert(S).A.S); + + +C: subst(2, a, B); +C: subst(3, b, C); +A: subst(2, a, A); +A: subst(3, b, A); + +U: matrix([ 1, 0, 1, 0 ], + [ 0, 1, 1, 2 ], + [ 0, 0, 1, 0 ], + [ 0, 0, 0, 1 ]); +V: matrix([ 1, 0, 0, 0 ], + [ 0, 1, 0, 0 ], + [ 0, 1, 1, 0 ], + [ 1, 0, 0, 1 ]); +T: U.V; +invert(T); + +D: T.C.invert(T); + +p: expand(charpoly(D, x)); + +factor(p); + +lambda: 2+3*%i; + +Dlambda: ratsimp(expand(D - lambda * identfor(D))); +rank(Dlambda); +/* D2: expand(Dlambda.Dlambda); */ +/* rank(D2); */ + +load(functs); + +/* +E: Dlambda; +E[1]: (rational(1/E[1,1]))*E[1]$ +E[2]: E[2] - E[2,1] * E[1]$ +E[3]: E[3] - E[3,1] * E[1]$ +E[4]: E[4] - E[4,1] * E[1]$ +E: ratsimp(E)$ + +E[2]: (rational(1/E[2,2])) * E[2]$ +E[3]: E[3] - E[3,2] * E[2]$ +E[4]: E[4] - E[4,2] * E[2]$ +E: ratsimp(E)$ + +E[3]: (rational(1/E[3,3])) * E[3]$ +E[4]: E[4] - E[4,3] * E[3]$ +E: ratsimp(E)$ + +E[2]: E[2] - E[2,3] * E[3]$ +E[1]: E[1] - E[1,3] * E[3]$ +E: ratsimp(E)$ + +E[1]: E[1] - E[1,2] * E[2]$ +E: ratsimp(E)$ + +E; +*/ + +b1: matrix([1+%i],[2+2*%i],[%i],[1]); +ratsimp(D.b1 - lambda*b1); + +G: Dlambda; +G: addcol(G, b1); +G[1]: (rational(1/G[1,1]))*G[1]$ +G[2]: G[2] - G[2,1] * G[1]$ +G[3]: G[3] - G[3,1] * G[1]$ +G[4]: G[4] - G[4,1] * G[1]$ +G: ratsimp(G)$ + +G[2]: (rational(1/G[2,2])) * G[2]$ +G[3]: G[3] - G[3,2] * G[2]$ +G[4]: G[4] - G[4,2] * G[2]$ +G: ratsimp(G)$ + +G[3]: (rational(1/G[3,3])) * G[3]$ +G[4]: G[4] - G[4,3] * G[3]$ +G: ratsimp(G)$ + +G[2]: G[2] - G[2,3] * G[3]$ +G[1]: G[1] - G[1,3] * G[3]$ +G: ratsimp(G)$ + +G[1]: G[1] - G[1,2] * G[2]$ +G: ratsimp(G)$ + +G; + +b2: matrix([ G[1,5] ], [ G[2,5] ], [ G[3,5] ], [ G[4,5] ]); + +expand(D.b2 - lambda * b2 - b1); + +c1: 2 * realpart(b1); +d1: 2 * imagpart(b1); +c2: 2 * realpart(b2); +d2: 2 * imagpart(b2); + +D.c1 - 2 * c1 + 3 * d1; +D.d1 - 3 * c1 - 2 * d1; +D.c2 - 2 * c2 + 3 * d2 - c1; +D.d2 - 3 * c2 - 2 * d2 - d1; diff --git a/buch/chapters/40-eigenwerte/uebungsaufgaben/4006.tex b/buch/chapters/40-eigenwerte/uebungsaufgaben/4006.tex new file mode 100644 index 0000000..7ccc065 --- /dev/null +++ b/buch/chapters/40-eigenwerte/uebungsaufgaben/4006.tex @@ -0,0 +1,97 @@ +Man findet eine Basis, in der die Matrix +\[ +A=\begin{pmatrix*}[r] + -5& 2& 6& 0\\ +-11& 12& -3& -15\\ + -7& 0& 9& 4\\ + 0& 5& -7& -8 +\end{pmatrix*} +\] +die relle Normalform bekommt. + +\begin{loesung} +Das charakteristische Polynom der Matrix ist +\[ +\chi_{A}(\lambda) += +\lambda^4-8\lambda^3+42\lambda^2-104\lambda+169 += +(\lambda^2-4\lambda+13)^2. +\] +Es hat die doppelten Nullstellen +\[ +\lambda_\pm += +2\pm \sqrt{4-13} += +2\pm \sqrt{-9} += +2\pm 3i. +\] +Zur Bestimmung der Basis muss man jetzt zunächst den Kern von +$A_+=A-\lambda_+I$ bestimmen, zum Beispiel mit Hilfe des Gauss-Algorithmus, +man findet +\[ +b_1 += +\begin{pmatrix} +1+i\\ +2+2i\\ +i\\ +1 +\end{pmatrix}. +\] +Als nächstes braucht man einen Vektor $b_1\in \ker A_+^2$, der +$b_1$ auf $b_1+\lambda_+b_2$ abbildet. +Durch Lösen des Gleichungssystems $Ab_2-\lambda_+ b_2=b_1$ findet man +\[ +b_2 += +\begin{pmatrix} +2-i\\3\\2\\0 +\end{pmatrix} +\qquad\text{und damit weiter}\qquad +\overline{b}_1 += +\begin{pmatrix} +1-i\\ +2-2i\\ +-i\\ +1 +\end{pmatrix},\quad +\overline{b}_2 += +\begin{pmatrix} +2+i\\3\\2\\0 +\end{pmatrix}. +\] +Als Basis für die reelle Normalform von $A$ kann man jetzt die Vektoren +\begin{align*} +c_1 +&= +b_1+\overline{b}_1 = \begin{pmatrix}2\\4\\0\\2\end{pmatrix},& +d_1 +&= +\frac{1}{i}(b_1-\overline{b}_1) = \begin{pmatrix}2\\4\\2\\0\end{pmatrix},& +c_2 +&= +b_2+\overline{b}_2 = \begin{pmatrix}4\\6\\4\\0\end{pmatrix},& +d_2 +&= +\frac{1}{i}(b_2-\overline{b}_2) = \begin{pmatrix}-2\\0\\0\\0\end{pmatrix} +\end{align*} +verwenden. +In dieser Basis hat $A$ die Matrix +\[ +A' += +\begin{pmatrix*}[r] + 2& 3& 1& 0\\ +-3& 2& 0& 1\\ + 0& 0& 2& 3\\ + 0& 0&-3& 2 +\end{pmatrix*}, +\] +wie man einfach nachrechnen kann. +\end{loesung} + diff --git a/buch/chapters/50-permutationen/transpositionen.tex b/buch/chapters/50-permutationen/transpositionen.tex index 604e010..748b2e9 100644 --- a/buch/chapters/50-permutationen/transpositionen.tex +++ b/buch/chapters/50-permutationen/transpositionen.tex @@ -111,7 +111,7 @@ Permutationen. \end{definition} Die alternierende Gruppe $A_n$ ist tatsächlich eine Untergruppe. -Zunächst ist $\operatorname{sign}(e)=(-1)^0=1$, also ist $e\in A_n$. +Zunächst ist $\operatorname{sgn}(e)=(-1)^0=1$, also ist $e\in A_n$. Es wurde schon gezeigt, dass mit jedem Element $\sigma\in A_n$ auch das inverse Element $\sigma^{-1}\in A_n$ ist. Es muss aber noch sichergestellt werden, dass das Produkt von zwei @@ -120,17 +120,17 @@ geraden Transpositionen wieder gerade ist: \begin{aligned} \sigma_1,\sigma_2&\in A_n &\Rightarrow&& -\operatorname{sign}(\sigma_1) +\operatorname{sgn}(\sigma_1) &= -\operatorname{sign}(\sigma_2) +\operatorname{sgn}(\sigma_2) = 1 \\ &&\Rightarrow&& -\operatorname{sign}(\sigma_1\sigma_2) +\operatorname{sgn}(\sigma_1\sigma_2) &= -\operatorname{sign}(\sigma_1) -\operatorname{sign}(\sigma_2) +\operatorname{sgn}(\sigma_1) +\operatorname{sgn}(\sigma_2) = 1\cdot 1=1 &&\Rightarrow& diff --git a/buch/papers/erdbeben/Apperatur.jpg b/buch/papers/erdbeben/Apperatur.jpg Binary files differnew file mode 100644 index 0000000..d25381e --- /dev/null +++ b/buch/papers/erdbeben/Apperatur.jpg diff --git a/buch/papers/erdbeben/Gausskurve2.pdf b/buch/papers/erdbeben/Gausskurve2.pdf Binary files differnew file mode 100644 index 0000000..bee3bc0 --- /dev/null +++ b/buch/papers/erdbeben/Gausskurve2.pdf diff --git a/buch/papers/erdbeben/Gausskurve2.tex b/buch/papers/erdbeben/Gausskurve2.tex new file mode 100644 index 0000000..44319c3 --- /dev/null +++ b/buch/papers/erdbeben/Gausskurve2.tex @@ -0,0 +1,39 @@ +\documentclass{standalone} + +\usepackage{pgfplots} + +\pgfplotsset{compat = newest} + +\begin{document} + + +\begin{tikzpicture} + + +\begin{axis}[ + xmin = -1, xmax = 4, + ymin = -0.5, ymax = 2.50, + axis lines = center, + xlabel = $\sigma$, + ylabel = {$\mu$}, +] + +\addplot [ + domain=-2:5, + samples=200, + color=orange, +] +{(1/(2*pi*0.2^2)^0.2)*exp(-(x-2)^2/(2*0.2^2))}; + +\addplot [ + domain=-2:5, + samples=200, + color=blue, + ] + {1/(2*pi*0.5^2)^0.5)*exp(-(x-0.9)^2/(2*0.5^2))}; + +\end{axis} +\end{tikzpicture} + + +\end{document}
\ No newline at end of file diff --git a/buch/papers/erdbeben/Gausskurve3.pdf b/buch/papers/erdbeben/Gausskurve3.pdf Binary files differnew file mode 100644 index 0000000..e86a403 --- /dev/null +++ b/buch/papers/erdbeben/Gausskurve3.pdf diff --git a/buch/papers/erdbeben/Gausskurve3.tex b/buch/papers/erdbeben/Gausskurve3.tex new file mode 100644 index 0000000..85455ef --- /dev/null +++ b/buch/papers/erdbeben/Gausskurve3.tex @@ -0,0 +1,47 @@ +\documentclass{standalone} + +\usepackage{pgfplots} + +\pgfplotsset{compat = newest} + +\begin{document} + + +\begin{tikzpicture} + + +\begin{axis}[ + xmin = -1, xmax = 4, + ymin = -0.5, ymax = 2.50, + axis lines = center, + xlabel = $\sigma$, + ylabel = {$\mu$}, +] + +\addplot [ + domain=-2:5, + samples=200, + color=orange, +] +{(1/(2*pi*0.2^2)^0.2)*exp(-(x-2)^2/(2*0.2^2))}; + +\addplot [ + domain=-2:5, + samples=200, + color=blue, + ] + {1/(2*pi*0.5^2)^0.5)*exp(-(x-0.9)^2/(2*0.5^2))}; + +\addplot [ + domain=-2:5, + samples=200, + color=red, + ] + {((1/(2*pi*0.5^2)^0.5)*exp(-(x-0.9)^2/(2*0.5^2))*(1/(2*pi*0.2^2)^0.2)*exp(-(x-2)^2/(2*0.2^2)))/0.1}; + + +\end{axis} +\end{tikzpicture} + + +\end{document}
\ No newline at end of file diff --git a/buch/papers/erdbeben/teil1.tex b/buch/papers/erdbeben/teil1.tex index a89f303..0d21f84 100644 --- a/buch/papers/erdbeben/teil1.tex +++ b/buch/papers/erdbeben/teil1.tex @@ -3,16 +3,240 @@ % % (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil % -\section{Teil 1 -\label{erdbeben:section:teil1}} -\rhead{Problemstellung} -Sed ut perspiciatis unde omnis iste natus error sit voluptatem -accusantium doloremque laudantium, totam rem aperiam, eaque ipsa -quae ab illo inventore veritatis et quasi architecto beatae vitae -dicta sunt explicabo. -Nemo enim ipsam voluptatem quia voluptas sit aspernatur aut odit -aut fugit, sed quia consequuntur magni dolores eos qui ratione -voluptatem sequi nesciunt +% +% teil2.tex -- Beispiel-File für teil2 +% +% (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil +% + + + +\section{Kalman Filter} +\subsection{Geschichte} +Das Kalman Filter wurde 1960 von Rudolf Emil Kalman entdeckt und direkt von der NASA für die Appollo Mission benutzt. Der Filter kommt mit wenig Rechenleistung aus und war somit dafür geeignet die Rakete bei der Navigation zu unterstützen. Das Filter schätzt den Zustand eines Systems anhand von Messungen und kann den nächsten Zustand errechnen. Typische Anwendungen des Kalman-Filters sind die Glättung von verrauschten Daten und die Schätzung von Parametern und kommt heutzutage in jedem Satellit, Navigationssystem, Smartphones und Videospielen vor. + +\subsection{Wahrscheinlichkeit} +Das Kalman Filter versucht nichts anderes, als ein geeigneter Wert zwischen zwei Normalverteilungen zu schätzen. Die eine Kurve zeigt die errechnete Vorhersage des Zustands, bzw. deren Normal- Gauss-Verteilung. Die andere Kurve zeigt die verrauschte Messung des nächsten Zustand, bzw. deren Normal-Verteilung. Wie man in am Beispiel dieser zwei Gauss-Verteilungen sehen kann, ist sowohl der geschätzte Zustand als auch der gemessene Zustand nicht am selben Punkt. + + + +\begin{figure} + \begin{center} + \includegraphics[width=5cm]{papers/erdbeben/Gausskurve2.pdf} + \caption{System} + \end{center} +\end{figure} + + + +Um eine genauere Schätzung des Zustandes zu machen, wird nun ein Wert zwischen den beiden Verteilungen gesucht. An diesem Punkt wird nun eine Eigenschaft ausgenutzt. Durch das Multiplizieren zweier Normalverteilungen entsteht eine neue Normalverteilung. + +Wir haben eine Normalverteilung der Vorhersage: +\begin{equation} +{y_1}(x;{\mu_1},{\sigma_1})=\frac{1}{\sqrt{2\pi\sigma_1^2}}\quad e^{-\frac{(x-{\mu_1})^2}{2{\sigma_1}^2}} +\end{equation} +und für die Messung: + +\begin{equation} +{y_2}(x;{\mu_2},{\sigma_2})=\frac{1}{\sqrt{2\pi\sigma_2^2}}\quad e^{-\frac{(x-{\mu_2})^2}{2{\sigma_2}^2}}. +\end{equation} + +Diesen werden nun Multipliziert und durch deren Fläche geteilt um sie wieder zu Normieren: +\begin{equation} +{y_f}(x;{\mu_f},{\sigma_f})=\frac{ \frac{1}{\sqrt{2\pi\sigma_1^2}}e^{-\frac{(x-{\mu_1})^2}{2{\sigma_1}^2}} \cdot \frac{1}{\sqrt{2\pi\sigma_2^2}}e^{-\frac{(x-{\mu_2})^2}{2{\sigma_2}^2}}}{\int {y_1}*{y_2}\,} +\end{equation} + +Dadurch gleicht sich die neue Kurve den anderen an. Interessant daran ist, dass die fusionierte Kurve sich der genauere Normal-Verteilung anpasst. ist ${\sigma_2}$ klein und ${\sigma_1}$ gross, so wird sich die fusionierte Kurve näher an ${y_2}(x;{\mu_2},{\sigma_2})$ begeben. Sie ist also Gewichtet und die best mögliche Schätzung. + + +\begin{figure} + \begin{center} + \includegraphics[width=5cm]{papers/erdbeben/Gausskurve3.pdf} + \caption{System} + \end{center} +\end{figure} + + +Was in 2 Dimensionen erklärt wurde, funktioniert auch in mehreren Dimensionen. Dieses Prinzip mach sich der Kalman Filter zu nutze, und wird von uns für die Erdbeben Berechnung genutzt. + +\subsection{Anwendungsgrenzen} +Nicht lineare Systeme %Noch nicht Fertig + + +\section{Aufbau} +Um ein Erdbeben kenntlich zumachen werden in der Regel Seismographen mit vielen Sensoren verwendet. +Ein Seismograph besteht im Grunde aus einer federgelagerten Masse. Wirkt eine Bodenerregung auf das Gerät ein, bleibt die gekoppelte Masse in der regel stehen und das Gehäuse schwingt mit.Relativbewegung des Bodens kann damit als Längenänderung im Zeitverlauf gemessen werden. In modernen Seismographen wird die Bodenbewegung in alle Richtungen gemessen, sowohl Horizontal als auch Vertikal. +Wir konstruieren uns eine einfachere Version eines Seismographen, welcher rein mechanisch funktioniert. Zudem kann er nur in eine Dimension Messwerte aufnehmen. Würde das System ausgebaut werden, um alle Horizontalbewegungen aufzunehmen, würde der Verwendung des Kalman-Filters zu kompliziert werden. Für zwei Dimensionen (x,y) würde der Pythagoras für das System benötigt werden. Da sich der Pythagoras bekanntlich nicht linear verhält, kann kein lineares Kalman-Filter implementiert werden. Da das Kalman-Filter besonders effektiv und einfach für lineare Abläufe geeignet ist, würde eine Zweidimensionale Betrachtung den Rahmen dieser Arbeit sprengen. Für ein nicht-lineares System werden Extended Kalman-Filter benötigt, bei denen die System-Matrix (A) durch die Jacobi-Matrix des System ersetzt wird. + +\begin{figure} + \begin{center} + \includegraphics[width=5cm]{papers/erdbeben/Apperatur} + \caption{System} + \end{center} +\end{figure} + + +\subsection{Optionen} +Wollte man einen 2D Seismographen aufbauen, ohne den Pythagroas zu verwenden, kann dies mit der Annahme, das die Feder sehr lang sind erfolgen. Da sich bei langen Federn die Auslenkungen verkleiner...!!Noch nicht fertig! + +\section{Systemgleichung} +Da das Kalman-Filter zum Schätzen des nächsten Zustand verwendet wird, wird eine Gleichung, welche das System beschreibt. Das Kalman-Filter benötigt eine Beschreibung der Systemdynamik. Im Fall unseres Seismographen, kann die Differentialgleichung zweiter Ordnung einer gedämpften Schwingung am harmonischen Oszillator verwendet werden. Diese lautet: +\begin{equation} +m\ddot x + 2k \dot x + Dx = f +\end{equation} +mit den Konstanten $m$ = Masse, $k$ = Dämpfungskonstante und $D$ = Federkonstante. +Um diese nun in die Systemmatrix umzuwandeln, wird aus der Differentialgleichung zweiter Ordnung durch eine Substitution eine DGL erster Ordnung: + + +\begin{equation} +{x_1}=x, \qquad +{x_2}=\dot x, \qquad +{x_3}=\ddot x\qquad \mid \quad \text {Substitution} +\end{equation} + + +\begin{equation} +m{x_3}+ 2k{x_2} + D{x_1} = f\qquad \mid \quad \text {DGL 1. Ordnung} +\end{equation} + +\begin{equation} +{x_3}=-\frac{D}{m} {x_1} -\frac{2k}{m} {x_2} + \frac{f} {m} \qquad \mid \quad \text {nach} \quad{x_3} +\end{equation} +auch als Matrix-Vektor-Gleichung schreiben. +Hierbei beschreibt die Matrix $A$ die gesamte Systemdynamik in der Form, wie sie ein Kalman-Filter benötigt. + +Um die lineare Differentialgleichung in das Kalman-Filter zu implementieren, muss dieses als Vektor-Gleichung umgewandelt werden. Dafür wird die Gleichung in die Zustände aufgeteilt. Die für uns relevanten Zustände sind die Position der Masse, die Geschwindigkeit der Masse und äussere Beschleunigung des ganzen System. Dabei muss unterschieden werden. um welche Beschleunigung es sich handelt. Das System beinhaltet sowohl eine Beschleunigung der Masse bzw. Feder (innere Beschleunigung), als auch eine Beschleunigung der ganzen Apparatur (äussere Beschleunigung). In unserem Fall wird die äusseren Beschleunigung gesucht, da diese der Erdbeben Anregung gleich kommt. + + +\begin{equation} +\frac{d}{dt} \left(\begin{array}{c} {x_1} \\ {x_2} \end{array}\right) = \left( + \begin{array}{ccc} +0 & 1& 0 \\ +- \frac{D}{m} &-\frac{2k}{m} & \frac{1} {m}\\ +\end{array}\right) \left(\begin{array}{c} {x_1} \\ {x_2} \\ {x_3} \end{array}\right). +\end{equation} + +Durch die Rücksubstituion ergibt sich: +\begin{equation} +\frac{d}{dt} \left(\begin{array}{c} x(t) \\ v(t) \end{array}\right) = \left( + \begin{array}{ccc} +0 & 1& 0 \\ +- \frac{D}{m} &-\frac{2k}{m} & \frac{1} {m}\\ +\end{array}\right) \left(\begin{array}{c} x(t)\\ v(t)\\ f(t) \end{array}\right). +\end{equation} + + +Da die Kraft unbekannt ist, wird die letzte Zeile später mit Nullen bestückt, denn genau diese Werte wollen wir. + +\section{Kalman Filter} +Um den Kalman Filter zu starten, müssen gewisse Bedingungen definiert werden. In diesem Abschnitt werden die einzelnen Parameter/Matrizen erläutert und Erklärt, wofür sie nützlich sind. + + +\subsection{Anfangsbedingungen} +\subsubsection*{Anfangszustand $x$} +Das Filter benötigt eine Anfangsbedingung. In unserem Fall ist es die Ruhelage, die Masse bewegt sich nicht. Zudem erföhrt die Apparatur keine äussere Kraft. + +\begin{equation} +{x_0 }= \left( \begin{array}{c} 0\\ 0\\ 0\end{array}\right) +\end{equation} + +\subsubsection*{Anfangsfehler / Kovarianzmatrix $P$} +Da auch der Anfangszustand fehlerhaft sein kann, wird für den Filter einen Anfangsfehler eingeführt. Auf der Diagonalen werden die Varianzen eingesetzt, in den restlichen Felder stehen die Kovarianzen. +In unserem Fall ist der Anfangszustand gut bekannt. Wir gehen davon aus, dass das System in Ruhe und in Abwesenheit eines Erdbeben startet, somit kann die Matrix mit Nullen bestückt werden. Somit ergibt sich für die Kovarianzmatrix + +\begin{equation} +{P_0 }= +\left( +\begin{array}{ccc} +0 & 0 &0 \\ +0 &0 & 0 \\ +0 & 0 &0 \\ +\end{array} +\right). +\end{equation} +Diese Matrix beschreibt die Unsicherheit des geschätzten Zustandes und wird sowohl für die Vorhersage als auch die Korrektur benötigt. Sie wird nach jeder Schätzung aktualisiert.. Für einen gut bekannten Zustandsvektor können kleine Werte eingesetzt werden, für ungenaue Anfangsbedingungen sollten grosse Werte (1 Million) verwendet werden. Grosse Werte ermöglichen dem Filter sich schnell einzupendeln. + + +\subsubsection*{Dynamikmatrix $A$} +Die Dynamikmatrix bildet den Kern des Filters. Diese wurde weiter oben Bereits beschrieben. Dabei wollen wird die äussere Kraft des Systems ermitteln. +Da nichts über die äussere Kraft bekannt ist, müssen wir annehmen das deren Ableitung 0 ist. +Die System Vektor-Gleichung lautet daher: + + +\begin{equation} +A = \left( + \begin{array}{ccc} +0 & 1& 0 \\ +- \frac{D}{m} &-\frac{2k}{m} & \frac{1} {m}\\ +0 & 0& 0\\ +\end{array}\right) +\end{equation} + +\subsubsection*{Prozessrauschkovarianzmatrix $Q$} +Die Prozessrauschmatrix teilt dem Filter mit, wie sich der Systemzustand verändert. Kalman-Filter berücksichtigen Unsicherheiten wie Messfehler und -rauschen. Bei unserem Modell könnte das beispielsweise ein Windstoss an die Masse sein. Für uns wäre dies: +\begin{equation} +Q = \left( + \begin{array}{ccc} +{\sigma_x }^2& 0& 0 \\ +0 & {\sigma_v }^2& 0\\ +0 & 0& {\sigma_f }^2\\ +\end{array}\right) +\end{equation} + +Die Standabweichungen müssten Statistisch ermittelt werden, da der Fehler nicht vom Sensor kommt und somit nicht vom Hersteller gegeben ist. Das Bedeutet wiederum dass $Q$ die Unsicherheit des Prozesses beschreibt, und die Messung. + +\subsubsection*{Messmatrix $H$} +Die Messmatrix gibt an, welcher Parameter gemessen werden soll. In unserem Fall ist es nur die Position der Massen. + +\[ H = (1, 0, 0) \] + + +\subsubsection*{Messrauschkovarianz $R$} +Die Messrauschkovarianzmatrix beinhaltet, wie der Name es schon sagt, das Rauschen der Positionssensoren. In unserem Fall wird nur die Position der Masse gemessen. Da wir keine anderen Sensoren haben ist dies lediglich: +\begin{equation} +R= ({\sigma_x}^2). +\end{equation} +Diese Messrauchen wird meistens vom Sensorhersteller angegeben. Für unsere Theoretische Apparatur wird hier ein kleiner Fehler eingesetzt. + +\subsection{Fiter Algorithmus} +Nachdem alle Parameter aufgestellt sind, wird der Filter initialisiert und wird den Zustand der Feder vorherzusagen, die Messung zu präzisieren und laufend zu aktualisieren. Das Filter berechnet aufgrund der aktuellen Schätzung eine Vorhersage. Diese wird, sobald verfügbar, mit der Messung verglichen. Aus dieser Differenz und den Unsicherheiten des Prozesses ($Q$) und der Messung ($R$) wird der wahrscheinlichste, neue Zustand geschätzt. + + +\subsubsection*{Vorhersage} +Im Filterschritt Vorhersage wird der nächste Zustand anhand des Anfangszustand und der Systemmatrix berechnet. Dies funktioniert ganz Trivial mit dem Rechenschritt: +\begin{equation} +{x_{t+1}}=A\cdot{x_t}. +\end{equation} + + +Die Kovarianz $P_{pred}$ wird ebenfalls neu berechnet, da die Unsicherheit im Vorhersage grösser wird als im Aktuellen. Da wir ein mehrdimensionales System haben, kommt noch die Messunsicherheit $Q$ dazu, so dass die Unsicherheit des Anfangsfehlers $P$ immer grösser wird. Dies funktioniert durch multiplizieren der Systemmatrix, deren Ableitung und mit dem aktualisierten Anfangsfehler. Dazu wird noch die Messunsicherheit addiert, somit entsteht die Gleichung + +\begin{equation} +{P_{pred}}=APA^T+Q. +\end{equation} + +wird dieser Vorgang wiederholt, schaut der Filter wie genau die letzte Anpassung von $P$ zur Messung stimmt. Ist der Unterschied klein, wird die Kovarianz $P$ kleiner, ist der Unterschied gross, wird auch die Kovarianz grösser. Das Filter passt sich selber an und korrigiert sich bei grosser Abweichung. + +\subsubsection*{Messen} +Der Sensor wurde noch nicht benutz, doch genau der liefert Werte für den Filter. Die aktuellen Messwerte $z$ werden die Innovation $w$ mit dem Zustandsvektor $x$ und der Messmatrix $H$ zusammengerechnet. +Hier bei wird lediglich die Messung mit dem Fehler behaftet, und die Messmatrix $H$ +\begin{equation} +w=Z-(H\cdot x) +\end{equation} +Die Innovation ist der Teil der Messung, die nicht durch die Systemdynamik erklärt werden kann. +Innovation = Messung - Vorhersage. Dies ist Intuitiv logisch, eine Innovation von 0 bedeutet, dass die Messung nichts Neues hervorbrachte. + +Im nächsten Schritt wir analysiert, mit welcher Kovarianz weiter gerechnet wird. + +\subsubsection*{Korrigieren} +Udpdate +\section{Anfügen der Schwingung} + +Ein Erdbeben breitet sich im Boden wellenartig aus und bringt Objekte, wie zum Beispiel ein Gebäude, in Schwingung. +Diese Schwingungen pflanzen sich im Gebäude mit gleicher Amplitude, Geschwindigkeit und Beschleunigung in horizontaler und vertikaler Bewegung fort. +Wir möchten herauszufinden, wie gross die Massenbeschleunigung infolge eines Erdbeben ist. +Mit Hilfe von fiktiven Sensoren, die eine Ortsveränderung des Gebäude messen, können wir mit Anwendung von Matrizen und dem Kalman-Filter die Beschleunigung berechnen. + \begin{equation} \int_a^b x^2\, dx = @@ -21,35 +245,20 @@ voluptatem sequi nesciunt \frac{b^3-a^3}3. \label{erdbeben:equation1} \end{equation} -Neque porro quisquam est, qui dolorem ipsum quia dolor sit amet, -consectetur, adipisci velit, sed quia non numquam eius modi tempora -incidunt ut labore et dolore magnam aliquam quaerat voluptatem. - -Ut enim ad minima veniam, quis nostrum exercitationem ullam corporis -suscipit laboriosam, nisi ut aliquid ex ea commodi consequatur? -Quis autem vel eum iure reprehenderit qui in ea voluptate velit -esse quam nihil molestiae consequatur, vel illum qui dolorem eum -fugiat quo voluptas nulla pariatur? - -\subsection{De finibus bonorum et malorum -\label{erdbeben:subsection:finibus}} -At vero eos et accusamus et iusto odio dignissimos ducimus qui -blanditiis praesentium voluptatum deleniti atque corrupti quos -dolores et quas molestias excepturi sint occaecati cupiditate non -provident, similique sunt in culpa qui officia deserunt mollitia -animi, id est laborum et dolorum fuga \eqref{000tempmlate:equation1}. - -Et harum quidem rerum facilis est et expedita distinctio -\ref{erdbeben:section:loesung}. -Nam libero tempore, cum soluta nobis est eligendi optio cumque nihil -impedit quo minus id quod maxime placeat facere possimus, omnis -voluptas assumenda est, omnis dolor repellendus -\ref{erdbeben:section:folgerung}. -Temporibus autem quibusdam et aut officiis debitis aut rerum -necessitatibus saepe eveniet ut et voluptates repudiandae sint et -molestiae non recusandae. -Itaque earum rerum hic tenetur a sapiente delectus, ut aut reiciendis -voluptatibus maiores alias consequatur aut perferendis doloribus -asperiores repellat. + +\section{Erreger-Schwingung} +Wir möchten mit einer gedämpften harmonischen Schwingung ein einfaches Erdbeben simulieren, die im Kalman Filter eingespeist wird. +Die Gleichung lautet + +\begin{equation} +x(t)=Ae^{t/2}sin(t). +\end{equation} + +Mit dieser Schwingung können wir ein einachsiger Seismograph simulieren, der eine Ortsverschiebung auf der x-Achse durchführt. +Die Dämpfung der Schwingung ist relevant, da das System beim Schwingungsvorgang durch die Federkonstante und der Reibung, Energie verliert. + +Die Ergebnisse dieser Schwingung setzen wir in die Messmatrix ein und können den Kalman-Filter starten. + + diff --git a/buch/papers/mceliece/example_code/mceliece_simple.py b/buch/papers/mceliece/example_code/mceliece_simple.py new file mode 100644 index 0000000..bac3b42 --- /dev/null +++ b/buch/papers/mceliece/example_code/mceliece_simple.py @@ -0,0 +1,327 @@ +#!/usr/bin/env python3 +# -*- coding: utf-8 -*- +""" +Created on Sun Apr 18 08:58:30 2021 + +@author: terminator +""" +import numpy as np +from numpy.polynomial import Polynomial as Poly + + +def gen_perm_M(n): + ''' + generating random binary permutation matrix: https://en.wikipedia.org/wiki/Permutation_matrix + + Parameters + ---------- + n : int + size of output matrix. + + Returns + ------- + perm_M : np.ndarray + binary permutation matrix. + + ''' + perm_M=np.zeros((n, n), dtype=int) + perm_V=np.random.default_rng().permutation(n) + perm_M[perm_V, np.r_[0:n]]=1 + return perm_M + + + +def create_linear_code_matrix(n, k, g): + ''' + create generator matrix for linear encoding + use this matrix to create code_vector: matrix @ data_vector=code_vector + + Parameters + ---------- + n : int + len of code_vector (matrix @ data_vector). + k : int + len of data_vector. + g : numpy.Polynominal + polynomina wich defines the the constellations of . + + Returns + ------- + np.ndarray + Generator matrix + + ''' + if n != k+len(g)-1: + raise Exception("n, k not compatible with degree of g") + rows=[] + for i in range(k): #create potences of p + row=np.r_[np.zeros(i), g.coef, np.zeros(n-k-i)] + rows.append(row) + return np.array(rows, dtype=int).T + + +def gf2_inv(M, get_full=False): + ''' + create inverse of matrix M in gf2 + + Parameters + ---------- + M : numpy.ndarray + input Matrix. + get_full : Bool, optional + if Ture, return inverse of G with I on the left (if gaussian inversion successful) If True, vaidity is not proven. The default is False. + + Returns + ------- + np.ndarray or None + returns inverse if M was not singular in gf2, else None. + + ''' + size=len(M) + G=np.hstack((M, np.eye(size))) + G=np.array(G, dtype=int) + for n in range(size): #forward reduction + if G[n, n] == 0: #swap line if necessary + for i in range(n+1, size): + if G[i, n]: + G[i, :], G[n, :] = G[n, :].copy(), G[i, :].copy() #swap + + for i in range(n+1, size): #downward reduction + if G[i, n]: + G[i, :] = G[i, :] ^ G[n, :] + #reached buttom_right with pivo + for n in range(size-1, -1, -1): #backwards + for i in range(n): + if G[i, n]: + G[i, :]= G[i, :] ^ G[n, :] + + + + if get_full: + return G + else: + valid=np.sum(np.abs(G[:, :size]-np.eye(size))) == 0 #reduction successfull when eye left on the left of G + if not valid: + return None + else: + return G[:, size:] + +def create_rand_bin_M(n, with_inverse=False): + ''' + create random binary matrix + + Parameters + ---------- + n : int + size. + with_inverse : bool, optional + if False, return only random binary matrix. + if True, return also inverse of random martix. for this purpose, random matrix will not be singular. + The default is False. + + Returns + ------- + M : TYPE + if with_inverse is True: return tuple(random_matrix, inverse_of_random_matrix) + else: return random_matrix + + ''' + inv=None + while type(inv) == type(None): #do it until inversion of m is successful wich means det(M)%2 != 0 + M=np.random.randint(0,2, (n,n)) + inv=gf2_inv(M) + if with_inverse: + return(M, inv) + else: + return M + +def create_syndrome_table(n, g): + ''' + create syndrome table for correcting errors in linear code + + Parameters + ---------- + n : int + len of linear-code code_vector. + g : numpy.Polinominal + generator polynominal used by linear-code-encoder. + + Returns + ------- + list of error_vectors, one per syndrome. + get the corresponding error_vector by using the value represented by your syndrome as index of this list. + + ''' + zeros=np.zeros(n, dtype=int) + syndrome_table=[0 for i in range(n+1)] + syndrome_table[0]=zeros #when syndrome = 0, no bit-error to correct + for i in range(n): + faulty_vector=zeros.copy() + faulty_vector[i]=1 + q, r=divmod(Poly(faulty_vector), g) + r=np.r_[r.coef%2, np.zeros(len(g)-len(r))] + index=np.sum([int(a*2**i) for i, a in enumerate(r)]) + syndrome_table[index]=faulty_vector + return np.array(syndrome_table) + + +def decode_linear_code(c, g, syndrome_table): + ''' + function to decode codeword encoded with linear_code + + Parameters + ---------- + c : list or np.ndarray + code_vector. + g : numpy.Polynominal + generator polynominal, used to create code_vector. + syndrome_table : list of error_vectors + if codeword contains an error, syndrome_table is used to correct wrong bit. + + Returns + ------- + numpy.ndarray + data_vector. + + ''' + q, r=divmod(Poly(c), g) + q=np.r_[q.coef%2, np.zeros(len(c)-len(q)-len(g)+1)] + r=np.r_[r.coef%2, np.zeros(len(g)-len(r))] + syndrome_index=np.sum([int(a*2**i) for i, a in enumerate(r)]) + while syndrome_index > 0: + c=c ^ syndrome_table[syndrome_index] + q, r=divmod(Poly(c), g) + q=np.r_[q.coef%2, np.zeros(len(c)-len(q)-len(g)+1)] + r=np.r_[r.coef%2, np.zeros(len(g)-len(r))] + syndrome_index=np.sum([int(a*2**i) for i, a in enumerate(r)]) + return np.array(q, dtype=int) + +def encode_linear_code(d, G): + ''' + uses generator matrix G to encode d + + Parameters + ---------- + d : numpy.ndarray + data_vector. + G : numpy.ndarray + generator matrix. + + Returns + ------- + c : numpy.ndarray + G @ d. + + ''' + c=(G @ d)%2 + return c + +def encrypt(d, pub_key, t): + ''' + encrypt data with public key, adding t bit-errors + + Parameters + ---------- + d : numpy.ndarray or list of numpy.ndarray + data_vector or list of data vectors to encrypt. + pub_key : numpy.ndarray + public key matrix used to encrypt data. + t : int + number of random errors to add to code_vector. + + Returns + ------- + numpy.ndarray or list of numpy.ndarray (depending on d) + encrypted data. + + ''' + if type(d) in (list,): + encrypted_list=[encrypt(data, pub_key, t) for data in d] + return encrypted_list + else: + c = np.array((pub_key @ d)%2, dtype=int) + + indexes_of_errors=np.random.default_rng().permutation(pub_key.shape[0])[:t] #add t random errors to codeword + e=np.zeros(pub_key.shape[0], dtype=int) + e[indexes_of_errors]=1 + c=c ^ e + return np.array(c, dtype=int) + +def decrypt(c, P_inv, linear_code_decoder, S_inv): + ''' + decrypt encrypted message + + Parameters + ---------- + c : numpy.ndarray or list of numpy.ndarray + code_vector or list of code_vectors to decrypt. + P_inv : numpy.ndarray + inverted permutation matrix. + linear_code_decoder : function(x) + function to use to decode linear code. + S_inv : numpy.ndarray + inverted random binary matrix. + + Returns + ------- + numpy.ndarray or list of numpy.ndarray (depending on d) + decrypted data. + + ''' + if type(c) in (list,): + decrypted_list=[decrypt(codew, P_inv, linear_code_decoder, S_inv) for codew in c] + return decrypted_list + else: + c=np.array(P_inv @ c, dtype=int)%2 + d=linear_code_decoder(c) + d=(S_inv @ d)%2 + return np.array(d, dtype=int) + +def str_to_blocks4(string): + blocks=[] + for char in string: + bits=[int(value) for value in np.binary_repr(ord(char), 8)[::-1]] #lsb @ index 0 + blocks.append(np.array(bits[:4], dtype=int)) #lower nibble first + blocks.append(np.array(bits[4:], dtype=int)) + return blocks + +def blocks4_to_str(blocks): + string='' + for i in range(0, len(blocks), 2): + char=np.sum([b*2**i for i, b in enumerate(blocks[i])]) + \ + np.sum([b*2**(i+4) for i, b in enumerate(blocks[i+1])]) + string+=chr(char) + return string + +if __name__ == '__main__': + + #shared attributes: + n=7 + k=4 + t=1 + + #private key(s): + g=Poly([1,1,0,1]) #generator polynom for 7/4 linear code (from table, 1.0 + 1.0·x¹ + 0.0·x² + 1.0·x³) + P_M=gen_perm_M(n) #create permutation matrix + G_M=create_linear_code_matrix(n, k, g) #linear code generator matrix + S_M, S_inv=create_rand_bin_M(k, True) #random binary matrix and its inverse + P_M_inv=P_M.T #inverse permutation matrix + + syndrome_table=create_syndrome_table(n, g) #part of linear-code decoder + linear_code_decoder=lambda c:decode_linear_code(c, g, syndrome_table) + + #public key: + pub_key=(P_M @ G_M @ S_M)%2 + + + msg_tx='Hello World?' + + blocks_tx=str_to_blocks4(msg_tx) + encrypted=encrypt(blocks_tx, pub_key, t) + + blocks_rx=decrypt(encrypted, P_M_inv, linear_code_decoder, S_inv) + msg_rx=blocks4_to_str(blocks_rx) + + print(f'msg_rx: {msg_rx}') + +
\ No newline at end of file diff --git a/vorlesungen/08_msegruppen/Makefile b/vorlesungen/08_msegruppen/Makefile new file mode 100644 index 0000000..913be49 --- /dev/null +++ b/vorlesungen/08_msegruppen/Makefile @@ -0,0 +1,33 @@ +# +# Makefile -- gruppen +# +# (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +# +all: gruppen-handout.pdf MathSemMSE-08-gruppen.pdf + +include ../slides/Makefile.inc + +SOURCES = common.tex slides.tex $(slides) + +MathSemMSE-08-gruppen.pdf: MathSemMSE-08-gruppen.tex $(SOURCES) + pdflatex MathSemMSE-08-gruppen.tex + +gruppen-handout.pdf: gruppen-handout.tex $(SOURCES) + pdflatex gruppen-handout.tex + +thumbnail: thumbnail.jpg # fix1.jpg + +thumbnail.pdf: MathSemMSE-08-gruppen.pdf + pdfjam --outfile thumbnail.pdf --papersize '{16cm,9cm}' \ + MathSemMSE-08-gruppen.pdf 1 +thumbnail.jpg: thumbnail.pdf + convert -density 300 thumbnail.pdf \ + -resize 1920x1080 -units PixelsPerInch thumbnail.jpg + +fix1.pdf: MathSemMSE-08-gruppen.pdf + pdfjam --outfile fix1.pdf --papersize '{16cm,9cm}' \ + MathSemMSE-08-gruppen.pdf 1 +fix1.jpg: fix1.pdf + convert -density 300 fix1.pdf \ + -resize 1920x1080 -units PixelsPerInch fix1.jpg + diff --git a/vorlesungen/08_msegruppen/MathSemMSE-08-gruppen.tex b/vorlesungen/08_msegruppen/MathSemMSE-08-gruppen.tex new file mode 100644 index 0000000..ac198be --- /dev/null +++ b/vorlesungen/08_msegruppen/MathSemMSE-08-gruppen.tex @@ -0,0 +1,14 @@ +% +% MathSem-08-msegruppen.tex -- Präsentation +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\documentclass[aspectratio=169]{beamer} +\input{common.tex} +\setboolean{presentation}{true} +\begin{document} +\begin{frame} +\titlepage +\end{frame} +\input{slides.tex} +\end{document} diff --git a/vorlesungen/08_msegruppen/common.tex b/vorlesungen/08_msegruppen/common.tex new file mode 100644 index 0000000..9dff6ed --- /dev/null +++ b/vorlesungen/08_msegruppen/common.tex @@ -0,0 +1,16 @@ +% +% common.tex -- gemeinsame definition +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\input{../common/packages.tex} +\input{../common/common.tex} +\mode<beamer>{% +\usetheme[hideothersubsections,hidetitle]{Hannover} +} +\beamertemplatenavigationsymbolsempty +\title[Gruppen]{Endliche Gruppen} +\author[A.~Müller]{Prof. Dr. Andreas Müller} +\date[]{} +\newboolean{presentation} + diff --git a/vorlesungen/08_msegruppen/gruppen-handout.tex b/vorlesungen/08_msegruppen/gruppen-handout.tex new file mode 100644 index 0000000..48ad5c2 --- /dev/null +++ b/vorlesungen/08_msegruppen/gruppen-handout.tex @@ -0,0 +1,11 @@ +% +% msegruppen-handout.tex -- Handout XXX +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\documentclass[handout,aspectratio=169]{beamer} +\input{common.tex} +\setboolean{presentation}{false} +\begin{document} +\input{slides.tex} +\end{document} diff --git a/vorlesungen/08_msegruppen/slides.tex b/vorlesungen/08_msegruppen/slides.tex new file mode 100644 index 0000000..f25f445 --- /dev/null +++ b/vorlesungen/08_msegruppen/slides.tex @@ -0,0 +1,54 @@ +% +% slides.tex -- XXX +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% + +\section{Punktgruppen} +% Punktgruppen in der Ebene +\folie{6/punktgruppen/ebene.tex} +% semidirektes Produkt +\folie{6/punktgruppen/semidirekt.tex} +% Zyklische Gruppen/Drehgruppen um endliche Winkel +\folie{6/punktgruppen/c.tex} +% Diedergruppen +\folie{6/punktgruppen/d.tex} +% Tetraeder, Oktaeder, Ikosaeder +\folie{6/punktgruppen/p.tex} +% Anwendung Schrödingergleichung +\folie{6/punktgruppen/chemie.tex} +\folie{6/punktgruppen/aufspaltung.tex} + +\section{Produkte} +% direktes Produkt +\folie{6/produkte/direkt.tex} + +\section{Normalteiler} +% freie Gruppen +\folie{6/produkte/frei.tex} +% Normalteiler +\folie{6/normalteiler/normal.tex} +% Konjugationsklassen +\folie{6/normalteiler/konjugation.tex} + +\section{Permutationsgruppen} +% Permutationen, Transpositionen, Signum +% Alternierende Gruppe +% Darstellung als Matrizen +\folie{6/permutationen/matrizen.tex} + +\section{Darstellungen} +% Was ist eine Darstellung? +\folie{6/darstellungen/definition.tex} +% Charakter +\folie{6/darstellungen/charakter.tex} +% Summe +\folie{6/darstellungen/summe.tex} +% Irreduzible Darstellung +\folie{6/darstellungen/irreduzibel.tex} +% Folgerungen aus Schurs Lemma +\folie{6/darstellungen/schur.tex} +% Skalarprodukt +\folie{6/darstellungen/skalarprodukt.tex} +% Beispiel zyklische Gruppen +\folie{6/darstellungen/zyklisch.tex} diff --git a/vorlesungen/09_mseliegruppen/Makefile b/vorlesungen/09_mseliegruppen/Makefile new file mode 100644 index 0000000..a1e67bd --- /dev/null +++ b/vorlesungen/09_mseliegruppen/Makefile @@ -0,0 +1,33 @@ +# +# Makefile -- liegruppen +# +# (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +# +all: liegruppen-handout.pdf MathSemMSE-09-liegruppen.pdf + +include ../slides/Makefile.inc + +SOURCES = common.tex slides.tex $(slides) + +MathSemMSE-09-liegruppen.pdf: MathSemMSE-09-liegruppen.tex $(SOURCES) + pdflatex MathSemMSE-09-liegruppen.tex + +liegruppen-handout.pdf: liegruppen-handout.tex $(SOURCES) + pdflatex liegruppen-handout.tex + +thumbnail: thumbnail.jpg # fix1.jpg + +thumbnail.pdf: MathSemMSE-09-liegruppen.pdf + pdfjam --outfile thumbnail.pdf --papersize '{16cm,9cm}' \ + MathSemMSE-09-liegruppen.pdf 1 +thumbnail.jpg: thumbnail.pdf + convert -density 300 thumbnail.pdf \ + -resize 1920x1080 -units PixelsPerInch thumbnail.jpg + +fix1.pdf: MathSemMSE-09-liegruppen.pdf + pdfjam --outfile fix1.pdf --papersize '{16cm,9cm}' \ + MathSemMSE-09-liegruppen.pdf 1 +fix1.jpg: fix1.pdf + convert -density 300 fix1.pdf \ + -resize 1920x1080 -units PixelsPerInch fix1.jpg + diff --git a/vorlesungen/09_mseliegruppen/MathSemMSE-09-liegruppen.tex b/vorlesungen/09_mseliegruppen/MathSemMSE-09-liegruppen.tex new file mode 100644 index 0000000..4404330 --- /dev/null +++ b/vorlesungen/09_mseliegruppen/MathSemMSE-09-liegruppen.tex @@ -0,0 +1,14 @@ +% +% MathSem-09-mseliegruppen.tex -- Präsentation +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\documentclass[aspectratio=169]{beamer} +\input{common.tex} +\setboolean{presentation}{true} +\begin{document} +\begin{frame} +\titlepage +\end{frame} +\input{slides.tex} +\end{document} diff --git a/vorlesungen/09_mseliegruppen/common.tex b/vorlesungen/09_mseliegruppen/common.tex new file mode 100644 index 0000000..859a9da --- /dev/null +++ b/vorlesungen/09_mseliegruppen/common.tex @@ -0,0 +1,16 @@ +% +% common.tex -- gemeinsame definition +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\input{../common/packages.tex} +\input{../common/common.tex} +\mode<beamer>{% +\usetheme[hideothersubsections,hidetitle]{Hannover} +} +\beamertemplatenavigationsymbolsempty +\title[Lie-Gruppen]{Lie-Gruppen} +\author[A.~Müller]{Prof. Dr. Andreas Müller} +\date[]{} +\newboolean{presentation} + diff --git a/vorlesungen/09_mseliegruppen/liegruppen-handout.tex b/vorlesungen/09_mseliegruppen/liegruppen-handout.tex new file mode 100644 index 0000000..70157ce --- /dev/null +++ b/vorlesungen/09_mseliegruppen/liegruppen-handout.tex @@ -0,0 +1,11 @@ +% +% mseliegruppen-handout.tex -- Handout XXX +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\documentclass[handout,aspectratio=169]{beamer} +\input{common.tex} +\setboolean{presentation}{false} +\begin{document} +\input{slides.tex} +\end{document} diff --git a/vorlesungen/09_mseliegruppen/slides.tex b/vorlesungen/09_mseliegruppen/slides.tex new file mode 100644 index 0000000..f63a6a4 --- /dev/null +++ b/vorlesungen/09_mseliegruppen/slides.tex @@ -0,0 +1,29 @@ +% +% slides.tex -- XXX +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\section{Matrizen-Gruppen} +\folie{7/symmetrien.tex} +\folie{7/algebraisch.tex} +\folie{7/parameter.tex} +\folie{7/mannigfaltigkeit.tex} +\folie{7/sl2.tex} +\folie{7/drehung.tex} +\ifthenelse{\boolean{presentation}}{ +\folie{7/drehanim.tex} +}{} +\folie{7/semi.tex} + +% Zusammenhangskomponenten +\section{Zusammenhang} +\folie{7/zusammenhang.tex} + +\section{Quaternionen} +\folie{7/quaternionen.tex} +\folie{7/qdreh.tex} +\folie{7/ueberlagerung.tex} +\folie{7/hopf.tex} + +\section{Haar-Mass} +\folie{7/haar.tex} diff --git a/vorlesungen/10_mseliealgebra/Makefile b/vorlesungen/10_mseliealgebra/Makefile new file mode 100644 index 0000000..97656a4 --- /dev/null +++ b/vorlesungen/10_mseliealgebra/Makefile @@ -0,0 +1,33 @@ +# +# Makefile -- liealgebra +# +# (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +# +all: liealgebra-handout.pdf MathSemMSE-10-liealgebra.pdf + +include ../slides/Makefile.inc + +SOURCES = common.tex slides.tex $(slides) + +MathSemMSE-10-liealgebra.pdf: MathSemMSE-10-liealgebra.tex $(SOURCES) + pdflatex MathSemMSE-10-liealgebra.tex + +liealgebra-handout.pdf: liealgebra-handout.tex $(SOURCES) + pdflatex liealgebra-handout.tex + +thumbnail: thumbnail.jpg # fix1.jpg + +thumbnail.pdf: MathSemMSE-10-liealgebra.pdf + pdfjam --outfile thumbnail.pdf --papersize '{16cm,9cm}' \ + MathSemMSE-10-liealgebra.pdf 1 +thumbnail.jpg: thumbnail.pdf + convert -density 300 thumbnail.pdf \ + -resize 1920x1080 -units PixelsPerInch thumbnail.jpg + +fix1.pdf: MathSemMSE-10-liealgebra.pdf + pdfjam --outfile fix1.pdf --papersize '{16cm,9cm}' \ + MathSemMSE-10-liealgebra.pdf 1 +fix1.jpg: fix1.pdf + convert -density 300 fix1.pdf \ + -resize 1920x1080 -units PixelsPerInch fix1.jpg + diff --git a/vorlesungen/10_mseliealgebra/MathSemMSE-10-liealgebra.tex b/vorlesungen/10_mseliealgebra/MathSemMSE-10-liealgebra.tex new file mode 100644 index 0000000..ff9cde7 --- /dev/null +++ b/vorlesungen/10_mseliealgebra/MathSemMSE-10-liealgebra.tex @@ -0,0 +1,14 @@ +% +% MathSem-10-mseliealgebra.tex -- Präsentation +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\documentclass[aspectratio=169]{beamer} +\input{common.tex} +\setboolean{presentation}{true} +\begin{document} +\begin{frame} +\titlepage +\end{frame} +\input{slides.tex} +\end{document} diff --git a/vorlesungen/10_mseliealgebra/common.tex b/vorlesungen/10_mseliealgebra/common.tex new file mode 100644 index 0000000..c2ee875 --- /dev/null +++ b/vorlesungen/10_mseliealgebra/common.tex @@ -0,0 +1,16 @@ +% +% common.tex -- gemeinsame definition +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\input{../common/packages.tex} +\input{../common/common.tex} +\mode<beamer>{% +\usetheme[hideothersubsections,hidetitle]{Hannover} +} +\beamertemplatenavigationsymbolsempty +\title[Lie-Algebra]{Lie-Algebra} +\author[A.~Müller]{Prof. Dr. Andreas Müller} +\date[]{} +\newboolean{presentation} + diff --git a/vorlesungen/10_mseliealgebra/liealgebra-handout.tex b/vorlesungen/10_mseliealgebra/liealgebra-handout.tex new file mode 100644 index 0000000..52f7b19 --- /dev/null +++ b/vorlesungen/10_mseliealgebra/liealgebra-handout.tex @@ -0,0 +1,11 @@ +% +% mseliealgebra-handout.tex -- Handout XXX +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\documentclass[handout,aspectratio=169]{beamer} +\input{common.tex} +\setboolean{presentation}{false} +\begin{document} +\input{slides.tex} +\end{document} diff --git a/vorlesungen/10_mseliealgebra/slides.tex b/vorlesungen/10_mseliealgebra/slides.tex new file mode 100644 index 0000000..ff2e629 --- /dev/null +++ b/vorlesungen/10_mseliealgebra/slides.tex @@ -0,0 +1,34 @@ +% +% slides.tex -- XXX +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% + +\section{Ableitungen} +\folie{7/kurven.tex} +\folie{7/einparameter.tex} +\folie{7/ableitung.tex} +\folie{7/liealgebra.tex} +% XXX Beispiele von Lie-Algebren +\folie{7/liealgbeispiel.tex} +% XXX Vektorprodukt als Lie-Algebra +\folie{7/vektorlie.tex} +\folie{7/kommutator.tex} +% XXX kommutator rechnerisch +\folie{7/bch.tex} + +\section{Exponentialabbildung} +\folie{7/dg.tex} +% Interpolation +\folie{7/interpolation.tex} + +\section{Integration} +\folie{7/haar.tex} +\ifthenelse{\boolean{presentation}}{ +\folie{7/mannigfaltigkeit.tex} +}{} +\folie{7/integration.tex} + +% LOG Reihe +% Mittelung auf einer Lie-Gruppe + diff --git a/vorlesungen/99_vortraege/Makefile b/vorlesungen/99_vortraege/Makefile new file mode 100644 index 0000000..8a5751c --- /dev/null +++ b/vorlesungen/99_vortraege/Makefile @@ -0,0 +1,54 @@ +# +# Makefile -- vortraege +# +# (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +# +all: vortraege-handout.pdf MathSem-99-vortraege.pdf + +include ../slides/Makefile.inc + +SOURCES = common.tex slides.tex $(slides) + +MathSem-99-vortraege.pdf: MathSem-99-vortraege.tex $(SOURCES) + pdflatex MathSem-99-vortraege.tex + +vortraege-handout.pdf: vortraege-handout.tex $(SOURCES) + pdflatex vortraege-handout.tex + +thumbnail: thumbnail1.jpg thumbnail2.jpg thumbnail3.jpg thumbnail4.jpg + +thumbnail1.pdf: MathSem-99-vortraege.pdf + pdfjam --outfile thumbnail1.pdf --papersize '{16cm,9cm}' \ + MathSem-99-vortraege.pdf 1 +thumbnail1.jpg: thumbnail1.pdf + convert -density 300 thumbnail1.pdf \ + -resize 1920x1080 -units PixelsPerInch thumbnail1.jpg + +thumbnail2.pdf: MathSem-99-vortraege.pdf + pdfjam --outfile thumbnail2.pdf --papersize '{16cm,9cm}' \ + MathSem-99-vortraege.pdf 2 +thumbnail2.jpg: thumbnail2.pdf + convert -density 300 thumbnail2.pdf \ + -resize 1920x1080 -units PixelsPerInch thumbnail2.jpg + +thumbnail3.pdf: MathSem-99-vortraege.pdf + pdfjam --outfile thumbnail3.pdf --papersize '{16cm,9cm}' \ + MathSem-99-vortraege.pdf 3 +thumbnail3.jpg: thumbnail3.pdf + convert -density 300 thumbnail3.pdf \ + -resize 1920x1080 -units PixelsPerInch thumbnail3.jpg + +thumbnail4.pdf: MathSem-99-vortraege.pdf + pdfjam --outfile thumbnail4.pdf --papersize '{16cm,9cm}' \ + MathSem-99-vortraege.pdf 4 +thumbnail4.jpg: thumbnail4.pdf + convert -density 300 thumbnail4.pdf \ + -resize 1920x1080 -units PixelsPerInch thumbnail4.jpg + +fix1.pdf: MathSem-99-vortraege.pdf + pdfjam --outfile fix1.pdf --papersize '{16cm,9cm}' \ + MathSem-99-vortraege.pdf 1 +fix1.jpg: fix1.pdf + convert -density 300 fix1.pdf \ + -resize 1920x1080 -units PixelsPerInch fix1.jpg + diff --git a/vorlesungen/99_vortraege/MathSem-99-vortraege.tex b/vorlesungen/99_vortraege/MathSem-99-vortraege.tex new file mode 100644 index 0000000..c962e90 --- /dev/null +++ b/vorlesungen/99_vortraege/MathSem-99-vortraege.tex @@ -0,0 +1,65 @@ +% +% MathSem-99-vortraege.tex -- Präsentation +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\documentclass[aspectratio=169]{beamer} +\input{common.tex} +\author[]{} +\setboolean{presentation}{true} +\begin{document} + +\title[Vorträge]{26. April: Vorträge} +\begin{frame} +\titlepage +\vspace{-2cm} +\begin{center} +Michael Steiner, Joshua Baer: Reed-Solomon Code +\phantom{blubb} \\ +\phantom{blubb} \\ +\phantom{blubb} \\ +Reto Fritsche: McEliece-Verschlüsselung +\end{center} +\end{frame} + +\title[Vorträge]{3. Mai: Vorträge} +\begin{frame} +\titlepage +\vspace{-2cm} +\begin{center} +Alain Keller: Iterierte Funktionsschemata +\phantom{blubb} \\ +\phantom{blubb} \\ +\phantom{blubb} \\ +Adrian Schuler, Thomas Reichlin: 3D-Spannungszustand +\end{center} +\end{frame} + +\title[Vorträge]{10. Mai: Vorträge} +\begin{frame} +\titlepage +\vspace{-2cm} +\begin{center} +Marius Baumann, Thierry Schwaller: Clifford-Algebra +\phantom{blubb} \\ +\phantom{blubb} \\ +\phantom{blubb} \\ +Naoki Pross, Tim Tönz: Punktgruppen +\end{center} +\end{frame} + +\title[Vorträge]{17. Mai: Vorträge} +\begin{frame} +\titlepage +\vspace{-2cm} +\begin{center} +Pascal Schmid, Robine Luchsinger: Verkehrsnetze und Verkehrsfluss +\phantom{blubb} \\ +\phantom{blubb} \\ +\phantom{blubb} \\ +Fabio Viecelli, Lukas Zogg: Erdbebenmessung +\end{center} +\end{frame} + +\input{slides.tex} +\end{document} diff --git a/vorlesungen/99_vortraege/common.tex b/vorlesungen/99_vortraege/common.tex new file mode 100644 index 0000000..e54275a --- /dev/null +++ b/vorlesungen/99_vortraege/common.tex @@ -0,0 +1,16 @@ +% +% common.tex -- gemeinsame definition +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\input{../common/packages.tex} +\input{../common/common.tex} +\mode<beamer>{% +\usetheme[hideothersubsections,hidetitle]{Hannover} +} +\beamertemplatenavigationsymbolsempty +\title[Vorträge]{Vorträge} +\author[A.~Müller]{Prof. Dr. Andreas Müller} +\date[]{} +\newboolean{presentation} + diff --git a/vorlesungen/99_vortraege/slides.tex b/vorlesungen/99_vortraege/slides.tex new file mode 100644 index 0000000..5678823 --- /dev/null +++ b/vorlesungen/99_vortraege/slides.tex @@ -0,0 +1,6 @@ +% +% slides.tex -- XXX +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% + diff --git a/vorlesungen/99_vortraege/vortraege-handout.tex b/vorlesungen/99_vortraege/vortraege-handout.tex new file mode 100644 index 0000000..4540738 --- /dev/null +++ b/vorlesungen/99_vortraege/vortraege-handout.tex @@ -0,0 +1,11 @@ +% +% vortraege-handout.tex -- Handout XXX +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\documentclass[handout,aspectratio=169]{beamer} +\input{common.tex} +\setboolean{presentation}{false} +\begin{document} +\input{slides.tex} +\end{document} diff --git a/vorlesungen/slides/6/Makefile.inc b/vorlesungen/slides/6/Makefile.inc new file mode 100644 index 0000000..bc6882a --- /dev/null +++ b/vorlesungen/slides/6/Makefile.inc @@ -0,0 +1,32 @@ +# +# Makefile.inc -- additional depencencies +# +# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +# +chapter6 = \ + ../slides/6/punktgruppen/ebene.tex \ + ../slides/6/punktgruppen/semidirekt.tex \ + ../slides/6/punktgruppen/c.tex \ + ../slides/6/punktgruppen/d.tex \ + ../slides/6/punktgruppen/p.tex \ + ../slides/6/punktgruppen/chemie.tex \ + ../slides/6/punktgruppen/aufspaltung.tex \ + \ + ../slides/6/produkte/frei.tex \ + ../slides/6/produkte/direkt.tex \ + \ + ../slides/6/normalteiler/normal.tex \ + ../slides/6/normalteiler/konjugation.tex \ + \ + ../slides/6/permutationen/matrizen.tex \ + \ + ../slides/6/darstellungen/definition.tex \ + ../slides/6/darstellungen/charakter.tex \ + ../slides/6/darstellungen/summe.tex \ + ../slides/6/darstellungen/irreduzibel.tex \ + ../slides/6/darstellungen/schur.tex \ + ../slides/6/darstellungen/skalarprodukt.tex \ + ../slides/6/darstellungen/zyklisch.tex \ + \ + ../slides/6/chapter.tex + diff --git a/vorlesungen/slides/6/chapter.tex b/vorlesungen/slides/6/chapter.tex new file mode 100644 index 0000000..e1711d7 --- /dev/null +++ b/vorlesungen/slides/6/chapter.tex @@ -0,0 +1,30 @@ +% +% chapter.tex +% +% (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswi +% + +\folie{6/punktgruppen/ebene.tex} +\folie{6/punktgruppen/semidirekt.tex} +\folie{6/punktgruppen/c.tex} +\folie{6/punktgruppen/d.tex} +\folie{6/punktgruppen/p.tex} +\folie{6/punktgruppen/chemie.tex} +\folie{6/punktgruppen/aufspaltung.tex} + +\folie{6/produkte/frei.tex} +\folie{6/produkte/direkt.tex} + +\folie{6/normalteiler/normal.tex} +\folie{6/normalteiler/konjugation.tex} + +\folie{6/permutationen/matrizen.tex} + +\folie{6/darstellungen/definition.tex} +\folie{6/darstellungen/charakter.tex} +\folie{6/darstellungen/summe.tex} +\folie{6/darstellungen/irreduzibel.tex} +\folie{6/darstellungen/schur.tex} +\folie{6/darstellungen/skalarprodukt.tex} +\folie{6/darstellungen/zyklisch.tex} + diff --git a/vorlesungen/slides/6/darstellungen/charakter.tex b/vorlesungen/slides/6/darstellungen/charakter.tex new file mode 100644 index 0000000..ea90b6d --- /dev/null +++ b/vorlesungen/slides/6/darstellungen/charakter.tex @@ -0,0 +1,108 @@ +% +% chrakter.tex -- Charakter einer Darstellung +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Charakter einer Darstellung} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.44\textwidth} +\begin{block}{Definition} +$\varrho\colon G\to\operatorname{GL}_n(\mathbb{C})$ eine Darstellung. +\\ +Der {\em Charakter} von $\varrho$ ist die Abbildung +\[ +\chi_{\varrho} +\colon +G\to \mathbb{C}^n +: +g\mapsto \chi_{\varrho}(g)=\operatorname{Spur}\varrho(g) +\] +\end{block} +\uncover<2->{% +\begin{block}{Eigenschaften} +\begin{enumerate} +\item +$\chi_{\varrho}(e) = n$ +\item<6-> +$\chi_{\varrho}(g^{-1}) = \overline{\chi_{\varrho}(g)}$ +\item<15-> +$\chi_{\varrho}(hgh^{-1}) = \chi_{\varrho}(g)$ +\end{enumerate} +\uncover<21->{% +Aus 3. folgt, dass Charaktere {\em Klassenfunktionen} sind} +\end{block}} +\end{column} +\begin{column}{0.52\textwidth} +\uncover<2->{% +\begin{block}{Begründung} +\begin{enumerate} +\item<3-> +$\chi_{\varrho}(e) += +\operatorname{Spur}\varrho(e) +\uncover<4->{= +\operatorname{Spur}I_n} +\uncover<5->{= +n} +$ +\item<6-> +$g$ hat endliche Ordnung, d.~h.~$g^k=e$ +\\ +\uncover<7->{% +$\lambda_i$ in der Jordan-NF erfüllen $\lambda_i^k=1$} +\\ +$\uncover<8->{\Rightarrow|\lambda_i|=1} +\uncover<9->{\Rightarrow \lambda_i^{-1} = \overline{\lambda_i}}$ +\begin{align*} +\uncover<10->{ +\llap{$\chi_{\varrho}(g^{-1})$} +&= +\operatorname{Spur}(\varrho(g^{-1}))} +\uncover<11->{= +\sum_{i} n_i\overline{\lambda_i}} +\\[-4pt] +&\uncover<12->{= +\overline{ +\sum_{i} n_i\lambda_i +}} +\uncover<13->{= +\operatorname{Spur}\varrho(g)} +\uncover<14->{= +\chi_{\varrho}(g)} +\end{align*} +\item<16-> +Durch Nachrechnen: +\begin{align*} +\chi_{\varrho}(hgh^{-1}) +&\uncover<17->{= +\operatorname{Spur} +( +\varrho(h) +\varrho(g) +\varrho(h^{-1}) +)} +\\ +&\uncover<18->{= +\operatorname{Spur} +( +\varrho(h^{-1}) +\varrho(h) +\varrho(g) +)} +\\ +&\uncover<19->{= +\operatorname{Spur}\varrho(g)} +\uncover<20->{= +\chi_{\varrho}(g)} +\end{align*} +\end{enumerate} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/darstellungen/definition.tex b/vorlesungen/slides/6/darstellungen/definition.tex new file mode 100644 index 0000000..9d93e7f --- /dev/null +++ b/vorlesungen/slides/6/darstellungen/definition.tex @@ -0,0 +1,59 @@ +% +% definition.tex -- Definition einer Darstellung +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Darstellung} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Definition} +$G$ eine Gruppe, $V$ ein $\Bbbk$-Vektorraum. +\\ +\uncover<2->{% +Ein Homomorphismus +\[ +\varrho +\colon +G\to \operatorname{GL}(V) +\] +heisst {\em $n$-dimensionale Darstellung} der Gruppe $G$.} +\end{block} +\uncover<3->{% +\begin{block}{Idee} +Algebra und Analysis in $\operatorname{GL}_n(\Bbbk)$ nutzen, um +mehr über $G$ herauszufinden +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<4->{% +\begin{block}{Beispiel $S_n$} +$S_n$ die symmetrische Gruppe, +$\sigma\mapsto A_{\tilde{f}}$ die +Abbildung auf die zugehörige Permutationsmatrix +ist eine $n$-dimensionale Darstellung von $S_n$ +\end{block}} +\uncover<5->{% +\begin{block}{Beispiel Matrizengruppe} +Eine Matrizengruppe $G$ ist eine Teilmenge von $M_n(\Bbbk)$. +\\ +\uncover<6->{% +$g\in G \Rightarrow g^{-1}\in G$, daher $G\subset\operatorname{GL}_n(\Bbbk)$} +\\ +\uncover<7->{% +Die Einbettung +\[ +G\to\operatorname{GL}_n(\Bbbk) +: +g \mapsto g +\] +ist eine Darstellung}\uncover<8->{, die sog.~{\em reguläre Darstellung}} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/darstellungen/irreduzibel.tex b/vorlesungen/slides/6/darstellungen/irreduzibel.tex new file mode 100644 index 0000000..91d8a18 --- /dev/null +++ b/vorlesungen/slides/6/darstellungen/irreduzibel.tex @@ -0,0 +1,47 @@ +% +% irreduzibel.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Irreduzible Darstellungen} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Definition} +Eine Darstellung $\varrho\colon G\to\operatorname{GL}(V)$ heisst +irreduzibel, wenn es keine Zerlegung von $\varrho$ in zwei +Darstellungen $\varrho_i\colon G\to\operatorname{GL}(U_i)$ ($i=1,2$) +gibt derart, dass $\varrho = \varrho_1\oplus\varrho_2$ +\end{block} +\uncover<2->{% +\begin{block}{Isomorphe Darstellungen} +$\varrho_i$ sind {\em isomorphe} Darstellungen in $V_i$ wenn es +$f\colon V_1\overset{\cong}{\to} V_2$ gibt mit +\begin{align*} +f \circ \varrho_i(g)\circ f^{-1} &= \varrho_2(g) +\\ +\uncover<3->{% +f \circ \varrho_i(g)\phantom{\mathstrut\circ f^{-1}}&= \varrho_2(g)\circ f +} +\end{align*} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<4->{% +\begin{block}{Lemma von Schur} +$\varrho_i$ zwei irreduzible Darstellungen und $f$ so, dass +$f\circ \varrho_1(g)=\varrho_2(g)\circ f$ für alle $g$. +Dann gilt +\begin{enumerate} +\item<5-> $\varrho_i$ nicht isomorph $\Rightarrow$ $f=0$ +\item<6-> $V_1=V_2,\varrho_1=\varrho_2$ $\Rightarrow$ $f=\lambda I$ +\end{enumerate} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/darstellungen/schur.tex b/vorlesungen/slides/6/darstellungen/schur.tex new file mode 100644 index 0000000..144de4c --- /dev/null +++ b/vorlesungen/slides/6/darstellungen/schur.tex @@ -0,0 +1,47 @@ +% +% schur.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Folgerungen aus Schurs Lemma} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Mittelung einer Abbildung} +$h\colon V_1\to V_2$ +\[ +h^G = \frac{1}{|G|} \sum_{g\in G} \varrho_2(g)^{-1} \circ h \circ \varrho_1(g) +\] +\begin{enumerate} +\item<2-> $\varrho_i$ nicht isomorph $\Rightarrow$ $h^G=0$ +\item<3-> $V_1=V_2,\varrho_1=\varrho_2$, $h^G = \frac1n\operatorname{Spur}h$ +\end{enumerate} +\end{block} +\uncover<4->{% +\begin{block}{Matrixelemente für $\varrho_i$ nicht isomorph} +$\varrho_i$ nicht isomorph, dann ist +\[ +\frac{1}{|G|} \sum_{g\in G} \varrho_1(g^{-1})_{kl}\varrho_2(g)_{uv}=0 +\] +für alle $k,l,u,v$ +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<5->{% +\begin{block}{Matrixelemente $V_1=V_2$, $\varrho_i$ iso} +Für $k=v$ und $l=u$ gilt +\[ +\frac{1}{|G|} \sum_{g\in G} \varrho_1(g^{-1})_{kl} \varrho_2(g)_{uv} += +\frac1n +\] +und $=0$ sonst +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/darstellungen/skalarprodukt.tex b/vorlesungen/slides/6/darstellungen/skalarprodukt.tex new file mode 100644 index 0000000..46cc8e9 --- /dev/null +++ b/vorlesungen/slides/6/darstellungen/skalarprodukt.tex @@ -0,0 +1,42 @@ +% +% skalarprodukt.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Skalarprodukt} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Definition des Skalarproduktes} +$\varphi$, $\psi$ komplexe Funktionen auf $G$: +\[ +\langle \varphi,\psi\rangle += +\frac{1}{|G|} \sum_{g\in G} \overline{\varphi(g)} \psi(g) +\] +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<2->{% +\begin{block}{Satz} +\begin{enumerate} +\item +$\chi$ der Charakter einer irrediziblen Darstellung +$\Rightarrow$ $\langle \chi,\chi\rangle=1$. +\item<3-> +$\chi$ und $\chi'$ Charaktere nichtisomorpher Darstellungen +$\Rightarrow$ +$\langle \chi,\chi'\rangle=0$ +\end{enumerate} +\uncover<4->{% +D.~h.~Charaktere irreduzibler Darstellungen sind orthonormiert +} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/darstellungen/summe.tex b/vorlesungen/slides/6/darstellungen/summe.tex new file mode 100644 index 0000000..b0d193f --- /dev/null +++ b/vorlesungen/slides/6/darstellungen/summe.tex @@ -0,0 +1,89 @@ +% +% Summe.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Direkte Summe} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Gegeben} +Gegeben zwei Darstellungen +\begin{align*} +\varrho_1&\colon G \to \mathbb{C}^{n_1} +\\ +\varrho_2&\colon G \to \mathbb{C}^{n_2} +\end{align*} +\end{block} +\vspace{-12pt} +\uncover<2->{% +\begin{block}{Direkte Summe der Darstellungen} +%\vspace{-12pt} +\begin{align*} +\varrho_1\oplus\varrho_2 +&\colon +G\to \mathbb{C}^{n_1+n_2} +\only<3|handout:0>{ += \mathbb{C}^{n_1}\times\mathbb{C}^{n_2}} +\uncover<4->{=: +\mathbb{C}^{n_1}\oplus\mathbb{C}^{n_2}} +\hspace*{5cm} +\\ +&\colon g\mapsto (\varrho_1(g),\varrho_2(g)) +\end{align*} +\end{block}} +\vspace{-12pt} +\uncover<5->{% +\begin{block}{Charakter} +%\vspace{-12pt} +\begin{align*} +\chi_{\varrho_1\oplus\varrho_2}(g) +&= +\operatorname{Spur}(\varrho_1\oplus\varrho_2)(g) +\\ +&\uncover<6->{= +\operatorname{Spur}{\varrho_1(g)} ++ +\operatorname{Spur}{\varrho_1(g)}} +\\ +&\uncover<7->{= +\chi_{\varrho_1}(g) ++ +\chi_{\varrho_2}(g)} +\end{align*} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<8->{% +\begin{block}{Tensorprodukt} +$n_1\times n_2$-dimensionale +Darstellung $\varrho_1\otimes\varrho_2$ mit Matrix +\[ +\begin{pmatrix} +\varrho_1(g)_{11} \varrho_2(g) + &\dots + &\varrho_1(g)_{1n_1} \varrho_2(g)\\ +\vdots&\ddots&\vdots\\ +\varrho_1(g)_{n_11} \varrho_2(g) + &\dots + &\varrho_1(g)_{n_1n_1} \varrho_2(g) +\end{pmatrix} +\] +\uncover<9->{Die ``Einträge'' sind $n_2\times n_2$-Blöcke} +\end{block}} +\uncover<10->{% +\begin{block}{Darstellungsring} +Die Menge der Darstellungen $R(G)$ einer Gruppe hat +einer Ringstruktur mit $\oplus$ und $\otimes$ +\\ +\uncover<11->{$\Rightarrow$ +Algebra zum Studium der möglichen Darstellungen von $G$ verwenden} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/darstellungen/zyklisch.tex b/vorlesungen/slides/6/darstellungen/zyklisch.tex new file mode 100644 index 0000000..312d0e8 --- /dev/null +++ b/vorlesungen/slides/6/darstellungen/zyklisch.tex @@ -0,0 +1,84 @@ +% +% zyklisch.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Beispiel: Zyklische Gruppen} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Gruppe} +\( +C_n = \mathbb{Z}/n\mathbb{Z} +\) +\end{block} +\uncover<2->{% +\begin{block}{Darstellungen von $C_n$} +Gegeben durch $\varrho_k(1)=e^{2\pi i k/n}$, +\[ +\varrho_k(l) = e^{2\pi ikl/n} +\] +\end{block}} +\vspace{-10pt} +\uncover<3->{ +\begin{block}{Charaktere} +%\vspace{-10pt} +\[ +\chi_k(l) = e^{2\pi ikl/n} +\] +haben Skalarprodukte +\[ +\langle \chi_k,\chi_{k'}\rangle += +\begin{cases} +1&\quad k= k'\\ +0&\quad\text{sonst} +\end{cases} +\] +Die Darstellungen $\chi_k$ sind nicht isomorph +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<5->{% +\begin{block}{Orthonormalbasis} +Die Funktionen $\chi_k$ bilden eine Orthonormalbasis von $L^2(C_n)$ +\end{block}} +\vspace{-4pt} +\uncover<6->{% +\begin{block}{Analyse einer Darstellung} +$\varrho\colon C_n\to \mathbb{C}^n$ eine Darstellung, +$\chi_\varrho$ der Charakter lässt zerlegen: +\begin{align*} +c_k +&= +\langle \chi_k, \chi\rangle = \frac{1}{n} \sum_{l} \chi_k(l) e^{-2\pi ilk/n} +\\ +\uncover<7->{ +\chi(l) +&= +\sum_{k} c_k \chi_k += +\sum_{k} c_k e^{2\pi ikl/n} +} +\end{align*} +\end{block}} +\vspace{-13pt} +\uncover<8->{% +\begin{block}{Fourier-Theorie} +\vspace{-3pt} +\begin{center} +\begin{tabular}{>{$}l<{$}l} +\uncover<9->{C_n&Diskrete Fourier-Theorie}\\ +\uncover<10->{U(1)&Fourier-Reihen}\\ +\uncover<11->{\mathbb{R}&Fourier-Integral} +\end{tabular} +\end{center} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/normalteiler/konjugation.tex b/vorlesungen/slides/6/normalteiler/konjugation.tex new file mode 100644 index 0000000..70ce01f --- /dev/null +++ b/vorlesungen/slides/6/normalteiler/konjugation.tex @@ -0,0 +1,77 @@ +% +% konjugation.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Konjugation} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{``Basiswechsel''} +In der Gruppe $\operatorname{GL}_n(\Bbbk)$ +\[ +A' = TAT^{-1} +\] +$T\in\operatorname{GL}_n(\Bbbk)$ +\\ +$A$ und $A'$ sind ``gleichwertig'' +\end{block} +\uncover<2->{% +\begin{block}{Definition} +$g_1,g_2\in G$ sind {\em konjugiert}, wenn es +$h\in G$ gibt mit +\[ +g_1 = hg_2h^{-1} +\] +\end{block}} +\uncover<3->{% +\begin{block}{Beispiel} +Konjugierte Elemente in $\operatorname{GL}_n(\Bbbk)$ haben die +gleiche Spur und Determinante +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<4->{% +\begin{block}{Konjugationsklasse} +Die Konjugationsklasse von $g$ ist +\[ +\llbracket g\rrbracket += +\{h\in G\;|\; \text{$h$ konjugiert zu $g$}\} +\] +\end{block}} +\vspace{-7pt} +\uncover<5->{% +\begin{block}{Klassenzerlegung} +\begin{align*} +G +&= +\{e\} +\cup +\llbracket g_1\rrbracket +\cup +\llbracket g_2\rrbracket +\cup +\dots +\\ +&\uncover<6->{= +C_e\cup C_1 \cup C_2\cup\dots} +\end{align*} +\end{block}} +\vspace{-7pt} +\uncover<7->{% +\begin{block}{Klassenfunktionen} +Funktionen, die auf Konjugationsklassen konstant sind +\end{block}} +\uncover<8->{% +\begin{block}{Beispiele} +Spur, Determinante +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/normalteiler/normal.tex b/vorlesungen/slides/6/normalteiler/normal.tex new file mode 100644 index 0000000..42336b9 --- /dev/null +++ b/vorlesungen/slides/6/normalteiler/normal.tex @@ -0,0 +1,79 @@ +% +% normal.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Normalteiler} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Gegeben} +Eine Gruppe $G$ mit Untergruppe $N\subset G$ +\end{block} +\uncover<2->{% +\begin{block}{Bedingung} +Welche Eigenschaft muss $N$ zusätzlich haben, +damit +\[ +G/N += +\{ gN \;|\; g\in G\} +\] +eine Gruppe wird. + +\uncover<3->{Wähle Repräsentaten $g_1N=g_2N$} +\uncover<4->{% +\begin{align*} +g_1g_2N +&\uncover<5->{= +g_1g_2NN} +\uncover<6->{= +g_1g_2Ng_2^{-1}g_2N} +\\ +&\uncover<7->{= +g_1(g_2Ng_2^{-1})g_2N} +\\ +&\uncover<8->{\stackrel{?}{=} g_1Ng_2N} +\end{align*}} +\uncover<9->{Funktioniert nur wenn $g_2Ng_2^{-1}=N$ ist} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<10->{% +\begin{block}{Universelle Eigenschaft} +Ist $\varphi\colon G\to G'$ ein Homomorphismus mit $\varphi(N)=\{e\}$% +\uncover<11->{, dann gibt es einen Homomorphismus $G/N\to G'$:} +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\coordinate (N) at (-2.5,0); +\coordinate (G) at (0,0); +\coordinate (quotient) at (2.5,0); +\coordinate (Gprime) at (0,-2.5); +\coordinate (e) at (-2.5,-2.5); +\node at (N) {$N$}; +\node at (e) {$\{e\}$}; +\node at (G) {$G$}; +\node at (Gprime) {$G'$}; +\node at (quotient) {$G/N$}; +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (N) -- (G); +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (N) -- (e); +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (e) -- (Gprime); +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (G) -- (Gprime); +\draw[->,shorten >= 0.4cm,shorten <= 0.4cm] (G) -- (quotient); +\uncover<11->{ +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm,color=red] (quotient) -- (Gprime); +\node[color=red] at ($0.5*(quotient)+0.5*(Gprime)$) [below right] {$\exists!$}; +} +\node at ($0.5*(quotient)$) [above] {$\pi$}; +\node at ($0.5*(Gprime)$) [left] {$\varphi$}; +\end{tikzpicture} +\end{center} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/permutationen/matrizen.tex b/vorlesungen/slides/6/permutationen/matrizen.tex new file mode 100644 index 0000000..d40c396 --- /dev/null +++ b/vorlesungen/slides/6/permutationen/matrizen.tex @@ -0,0 +1,79 @@ +% +% matrizen.tex -- Darstellung der Permutationen als Matrizen +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Permutationsmatrizen} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Permutationsabbildung} +$\sigma\in S_n$ eine Permutation, definiere +\[ +f +\colon +e_i \mapsto e_{\sigma(i)} +\] +($e_i$ Standardbasisvektor) +\end{block} +\uncover<2->{% +\begin{block}{Lineare Abbildung} +$f$ kann erweitert werden zu einer linearen Abbildung +\[ +\tilde{f} +\colon +\Bbbk^n \to \Bbbk^n +: +\sum_{k=1}^n a_i e_i +\mapsto +\sum_{k=1}^n a_i f(e_i) +\] +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<3->{% +\begin{block}{Permutationsmatrix} +Matrix $A_{\tilde{f}}$ der linearen Abbildung $\tilde{f}$ +hat die Matrixelemente +\[ +a_{ij} += +\begin{cases} +1&\qquad i=\sigma(j)\\ +0&\qquad\text{sonst} +\end{cases} +\] +\end{block}} +\vspace{-10pt} +\uncover<4->{% +\begin{block}{Beispiel} +\vspace{-10pt} +\[ +\begin{pmatrix} +1&2&3&4\\ +3&2&4&1 +\end{pmatrix} +\mapsto +\begin{pmatrix} +0&0&0&1\\ +0&1&0&0\\ +1&0&0&0\\ +0&0&1&0 +\end{pmatrix} +\] +\end{block}} +\vspace{-10pt} +\uncover<5->{% +\begin{block}{Homomorphismus} +Die Abbildung +$S_n\to\operatorname{GL}(\Bbbk)\colon \sigma \mapsto A_{\tilde{f}}$ +ist ein Homomorphismus +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/produkte/direkt.tex b/vorlesungen/slides/6/produkte/direkt.tex new file mode 100644 index 0000000..c851335 --- /dev/null +++ b/vorlesungen/slides/6/produkte/direkt.tex @@ -0,0 +1,66 @@ +% +% direkt.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Direktes Produkt} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Definition} +Zwei Gruppen $H_1$ und $H_2$ +\\ +Gruppe $G=H_1\times H_2$ mit +\begin{itemize} +\item<2-> Elemente $(h_1,h_2)\in H_1\times H_2$ +\item<3-> Neutrales Element $(e_1,e_2)$ +\item<4-> Inverses Elemente $(h_1,h_2)^{-1}=(h_1^{-1},h_2^{-1})$ +\end{itemize} +heisst {\em direktes Produkt} +\end{block} +\uncover<5->{% +\begin{block}{Vertauschbarkeit} +Das direkte Produkt ist ein Produkt, in dem Elemente von $H_1$ und +$H_2$ vollständig vertauschbar sind +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<6->{% +\begin{block}{Universelle Eigenschaft} +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\coordinate (S) at (0,2.5); +\coordinate (H1) at (-2.5,0); +\coordinate (H2) at (2.5,0); + +\node at (H1) {$H_1$}; +\node at (H2) {$H_2$}; +\node at (0,0) {$H_1\times H_2$}; +\node at (S) {$S$}; + +\draw[->,shorten >= 0.25cm,shorten <= 0.8cm] (0,0) -- (H1); +\draw[->,shorten >= 0.25cm,shorten <= 0.8cm] (0,0) -- (H2); + +\draw[->,shorten >= 0.25cm,shorten <= 0.25cm] (S) -- (H1); +\draw[->,shorten >= 0.25cm,shorten <= 0.25cm] (S) -- (H2); + +\node at ($0.5*(S)+0.5*(H1)$) [above left] {$f_1$}; +\node at ($0.5*(S)+0.5*(H2)$) [above right] {$f_2$}; + +\uncover<7->{ +\draw[->,shorten >= 0.25cm,shorten <= 0.25cm,color=red] (S) -- (0,0); +\node[color=red] at ($0.36*(S)$) [left] {$f_1\times f_2$}; +\node[color=red] at ($0.36*(S)$) [right] {$\exists!$}; +} + +\end{tikzpicture} +\end{center} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/produkte/frei.tex b/vorlesungen/slides/6/produkte/frei.tex new file mode 100644 index 0000000..6c23e6b --- /dev/null +++ b/vorlesungen/slides/6/produkte/frei.tex @@ -0,0 +1,79 @@ +% +% template.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Freie Gruppen} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Gruppe aus Symbolen} +Erzeugende Elemente $\{a,b,c,\dots\}$ +\\ +\uncover<2->{% +Wörter = +Folgen von Symbolen $a$, $a^{-1}$, $b$, $b^{-1}$} +\\ +\uncover<3->{ +{\em freie Gruppe}: +\begin{align*} +F&=\langle a,b,c,\dots\rangle +\\ +&= +\{\text{Wörter}\} +/\text{Kürzungsregel} +\end{align*}} +\vspace{-10pt} +\begin{itemize} +\item<4-> neutrales Element: $e = \text{leere Symbolfolge}$ +\item<5-> Gruppenoperation: Verkettung +\item<6-> Kürzungsregel: +\begin{align*} +xx^{-1}&\to e, +& +x^{-1}x&\to e +\end{align*} +\end{itemize} +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<7->{% +\begin{block}{Universelle Eigenschaft} +$g_i\in G$, dann gibt es genau einen Homomorphismus +\[ +\varphi +\colon +\langle g_i| 1\le i\le k\rangle +\to +G +\] +\end{block}} +\vspace{-10pt} +\uncover<8->{% +\begin{block}{Quotient einer freien Gruppe} +Jede endliche Gruppe ist Quotient einer freien Gruppe +\[ +N +\xhookrightarrow{} +\langle g_i\rangle +\twoheadrightarrow +G +\] +oder +\[ +G = \langle g_i\rangle / N +\] +\end{block}} +\vspace{-10pt} +\uncover<11->{% +\begin{block}{Maximal nichtkommutativ} +Die freie Gruppe ist die ``maximal nichtkommutative'' Gruppe +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/punktgruppen/WasserstoffAufspaltung.pdf b/vorlesungen/slides/6/punktgruppen/WasserstoffAufspaltung.pdf Binary files differnew file mode 100644 index 0000000..56cbf7b --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/WasserstoffAufspaltung.pdf diff --git a/vorlesungen/slides/6/punktgruppen/aufspaltung.tex b/vorlesungen/slides/6/punktgruppen/aufspaltung.tex new file mode 100644 index 0000000..633f700 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/aufspaltung.tex @@ -0,0 +1,15 @@ +% +% template.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Aufspaltung} +\begin{center} +\includegraphics[width=0.66\textwidth]{../slides/6/punktgruppen/WasserstoffAufspaltung.pdf} +\end{center} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/punktgruppen/c.tex b/vorlesungen/slides/6/punktgruppen/c.tex new file mode 100644 index 0000000..80790b1 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/c.tex @@ -0,0 +1,49 @@ +% +% c.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Drehgruppen} +\vspace{-25pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.33\textwidth} +\begin{block}{$C_n$} +\begin{center} +\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/cn.jpg} +\end{center} +\begin{itemize} +\item Eine $n$-zählige Achse +\end{itemize} +\end{block} +\end{column} +\begin{column}{0.33\textwidth} +\uncover<2->{% +\begin{block}{$C_{nv}$} +\begin{center} +\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/cnv.jpg} +\end{center} +\begin{itemize} +\item Eine $n$-zählige Achse +\item $n$ dazu senkrechte Symmetrieebenen +\end{itemize} +\end{block}} +\end{column} +\begin{column}{0.33\textwidth} +\uncover<3->{% +\begin{block}{$C_{nh}$} +\begin{center} +\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/cnh.jpg} +\end{center} +\begin{itemize} +\item Eine $n$-zählige Achse +\item Eine dazu senkrechte Spiegelebene +\end{itemize} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/punktgruppen/chemie.tex b/vorlesungen/slides/6/punktgruppen/chemie.tex new file mode 100644 index 0000000..7f8b7a8 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/chemie.tex @@ -0,0 +1,63 @@ +% +% chemie.tex -- Anwendung +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Anwendung: Energieniveaus eines Atoms} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Schrödingergleichung} +Partielle Differentialgleichung für die Wellenfunktion +eines Teilchens im Potential $V(x)$ +\[ +-\frac{\hbar^2}{2m}\Delta \Psi ++ +V(x)\Psi += +E\Psi +\] +$V(x)$ = Potential der Atomkerne eines Molekuls +\end{block} +\uncover<2->{% +\begin{block}{Symmetrien} +$g\in\operatorname{O}(3)$ wirkt auf $V$ und $\Psi$ +\begin{align*} +(g\cdot V)(x) &= V(g\cdot x) +\\ +(g\cdot \Psi)(x) &= \Psi(g\cdot x) +\end{align*} +Symmetrie von $V$: $g\cdot V=V$ +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<3->{% +\begin{block}{Lösungen} +Eigenfunktionen $\Psi$ zum Eigenwert $E$ +\[ +g\cdot V=V +\Rightarrow +g\cdot \Psi +\text{ Lösung} +\] +mit gleichem Eigenwert! +\end{block}} +\uncover<4->{% +\begin{block}{Eigenräume} +Die Symmetriegruppe $G\subset \operatorname{O}(3)$ eines Moleküls +operiert auf dem Eigenraum +\end{block}} +\uncover<5->{% +\begin{block}{Externe Felder} +Externe Felder zerstören die Symmetrie +$\Rightarrow$ +die Energieniveaus/Spektrallinien spalten sich auf +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/punktgruppen/d.tex b/vorlesungen/slides/6/punktgruppen/d.tex new file mode 100644 index 0000000..9dd0a7a --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/d.tex @@ -0,0 +1,53 @@ +% +% d.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Diedergruppen} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.33\textwidth} +\begin{block}{$D_n$} +\begin{center} +\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/dn.jpg} +\end{center} +\vspace{-8pt} +\begin{itemize} +\item $C_n$ Achse +\item $n$ $C_2$ Achse senkrecht dazu +\end{itemize} +\end{block} +\end{column} +\begin{column}{0.33\textwidth} +\uncover<2->{% +\begin{block}{$D_{nd}$} +\begin{center} +\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/dnd.jpg} +\end{center} +\vspace{-8pt} +\begin{itemize} +\item $D_n$ Achse +\item $n$ winkelhalbierende Spiegelebenen der $C_2$-Achsen +\end{itemize} +\end{block}} +\end{column} +\begin{column}{0.33\textwidth} +\uncover<3->{% +\begin{block}{$D_{nh}$} +\begin{center} +\includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/dnh.jpg} +\end{center} +\vspace{-8pt} +\begin{itemize} +\item $D_n$ Achse +\item Spiegelbene senkrecht dazu +\end{itemize} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/punktgruppen/ebene.tex b/vorlesungen/slides/6/punktgruppen/ebene.tex new file mode 100644 index 0000000..3b715e4 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/ebene.tex @@ -0,0 +1,79 @@ +% +% ebene.tex -- Punktgruppen in der Ebene +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Punktgruppen in der Ebene} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Zyklische Gruppen} +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\def\a{40} +\def\r{2} +\def\R{2.5} +\fill[color=blue!20] (0,0) -- (0:{1.1*\R}) arc (0:\a:{1.1*\R}) -- cycle; +\node[color=blue] at ({0.5*\a}:{0.8*\r}) {$\displaystyle\frac{2\pi}n$}; +\fill (0,0) circle[radius=0.08]; +\draw[color=red] (0:\r) -- (0:\R) + -- ({1*\a}:\r) -- ({1*\a}:\R) + -- ({2*\a}:\r) -- ({2*\a}:\R) + -- ({3*\a}:\r) -- ({3*\a}:\R) + -- ({4*\a}:\r) -- ({4*\a}:\R) + -- ({5*\a}:\r) -- ({5*\a}:\R) + -- ({6*\a}:\r) -- ({6*\a}:\R) + -- ({7*\a}:\r) -- ({7*\a}:\R) + -- ({8*\a}:\r) %-- ({8*\a}:\R) +; +\end{tikzpicture} +\end{center} +\[ +C_n += +\{\text{Drehungen um Winkel $2\pi/n$}\} +\] +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{Diedergruppen} +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\def\a{40} +\def\r{2} +\def\R{2.5} +\fill[color=blue!20] (0,0) -- (0:{1.1*\R}) arc (0:\a:{1.1*\R}) -- cycle; +\node[color=blue] at ({0.5*\a}:{0.8*\r}) {$\displaystyle\frac{2\pi}n$}; +\fill (0,0) circle[radius=0.08]; +\draw[color=red] (0:\r) -- ({0.5*\a}:\R) + -- ({1*\a}:\r) -- ({1.5*\a}:\R) + -- ({2*\a}:\r) -- ({2.5*\a}:\R) + -- ({3*\a}:\r) -- ({3.5*\a}:\R) + -- ({4*\a}:\r) -- ({4.5*\a}:\R) + -- ({5*\a}:\r) -- ({5.5*\a}:\R) + -- ({6*\a}:\r) -- ({6.5*\a}:\R) + -- ({7*\a}:\r) -- ({7.5*\a}:\R) + -- ({8*\a}:\r) %-- ({8.5*\a}:\R) +; +\end{tikzpicture} +\end{center} +\begin{align*} +D_n +&= +\langle\text{Spiegelung}, +\text{Drehungen}\rangle +\\ +&= +C_2 +\ltimes +C_n +\end{align*} +\end{block} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/punktgruppen/images/Makefile b/vorlesungen/slides/6/punktgruppen/images/Makefile new file mode 100644 index 0000000..e909884 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/Makefile @@ -0,0 +1,40 @@ +# +# Makefile +# +# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +# +all: cn.jpg cnv.jpg cnh.jpg dn.jpg dnd.jpg dnh.jpg + +cn.png: common.inc cn.pov + povray +A0.1 -W1920 -H1080 -Ocn.png cn.pov +cn.jpg: cn.png + convert -extract 1050x1050+450+4 cn.png cn.jpg + +cnv.png: common.inc cnv.pov + povray +A0.1 -W1920 -H1080 -Ocnv.png cnv.pov +cnv.jpg: cnv.png + convert -extract 1050x1050+450+4 cnv.png cnv.jpg + +cnh.png: common.inc cnh.pov + povray +A0.1 -W1920 -H1080 -Ocnh.png cnh.pov +cnh.jpg: cnh.png + convert -extract 1050x1050+450+4 cnh.png cnh.jpg + +dn.png: common.inc dn.pov + povray +A0.1 -W1920 -H1080 -Odn.png dn.pov +dn.jpg: dn.png + convert -extract 1050x1050+450+4 dn.png dn.jpg + +dnd.png: common.inc dnd.pov + povray +A0.1 -W1920 -H1080 -Odnd.png dnd.pov +dnd.jpg: dnd.png + convert -extract 1050x1050+450+4 dnd.png dnd.jpg + +dnh.png: common.inc dnh.pov + povray +A0.1 -W1920 -H1080 -Odnh.png dnh.pov +dnh.jpg: dnh.png + convert -extract 1050x1050+450+4 dnh.png dnh.jpg + + + + diff --git a/vorlesungen/slides/6/punktgruppen/images/cn.jpg b/vorlesungen/slides/6/punktgruppen/images/cn.jpg Binary files differnew file mode 100644 index 0000000..4ea4e92 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/cn.jpg diff --git a/vorlesungen/slides/6/punktgruppen/images/cn.pov b/vorlesungen/slides/6/punktgruppen/images/cn.pov new file mode 100644 index 0000000..39d65be --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/cn.pov @@ -0,0 +1,10 @@ +// +// cn.pov +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// + +#include "common.inc" + +koerper(0.4,0.6,0.6,0.5,0.8,-0.6,0.0) +Vachse() diff --git a/vorlesungen/slides/6/punktgruppen/images/cnh.jpg b/vorlesungen/slides/6/punktgruppen/images/cnh.jpg Binary files differnew file mode 100644 index 0000000..72181e8 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/cnh.jpg diff --git a/vorlesungen/slides/6/punktgruppen/images/cnh.pov b/vorlesungen/slides/6/punktgruppen/images/cnh.pov new file mode 100644 index 0000000..65d27a4 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/cnh.pov @@ -0,0 +1,11 @@ +// +// cnh.pov +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// + +#include "common.inc" + +koerper(0.6,0.8,0.6,0.6,0.8,-0.6,0.0) +Vachse() +Hebene() diff --git a/vorlesungen/slides/6/punktgruppen/images/cnv.jpg b/vorlesungen/slides/6/punktgruppen/images/cnv.jpg Binary files differnew file mode 100644 index 0000000..fd81513 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/cnv.jpg diff --git a/vorlesungen/slides/6/punktgruppen/images/cnv.pov b/vorlesungen/slides/6/punktgruppen/images/cnv.pov new file mode 100644 index 0000000..a87e075 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/cnv.pov @@ -0,0 +1,11 @@ +// +// cnv.pov +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// + +#include "common.inc" + +koerper(0.4,0.6,0.6,0.5,0.8,-0.6,0.5) +Vachse() +Vebene() diff --git a/vorlesungen/slides/6/punktgruppen/images/common.inc b/vorlesungen/slides/6/punktgruppen/images/common.inc new file mode 100644 index 0000000..ffd9e79 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/common.inc @@ -0,0 +1,200 @@ +// +// common.inc +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// +#version 3.7; +#include "colors.inc" + +global_settings { + assumed_gamma 1 +} + +#declare imagescale = 0.22; +#declare O = <0, 0, 0>; +#declare at = 0.015; + +camera { + location <3, 3.2, -10> + look_at <0, 0, 0> + right 16/9 * x * imagescale + up y * imagescale +} + +light_source { + <-21, 20, -50> color 0.7*White + area_light <10,0,0> <0,0,10>, 10, 10 + adaptive 1 + jitter +} + +light_source { + <8, 80, -5> color 0.6*White + area_light <10,0,0> <0,0,10>, 10, 10 + adaptive 1 + jitter +} + +sky_sphere { + pigment { + color rgb<1,1,1> + } +} + +#macro arrow(from, to, arrowthickness, c) +#declare arrowdirection = vnormalize(to - from); +#declare arrowlength = vlength(to - from); +union { + sphere { + from, 1.0 * arrowthickness + } + cylinder { + from, + from + (arrowlength - 5 * arrowthickness) * arrowdirection, + arrowthickness + } + cone { + from + (arrowlength - 5 * arrowthickness) * arrowdirection, + 2 * arrowthickness, + to, + 0 + } + pigment { + color c + } + finish { + specular 0.9 + metallic + } +} +#end +#declare r = 1.2; + +arrow(< -r, 0, 0 >, < r, 0, 0 >, at, Gray) +arrow(< 0, 0, -r >, < 0, 0, r >, at, Gray) +arrow(< 0, -r, 0 >, < 0, r, 0 >, at, Gray) + +#macro kranzpunkt(r, winkel, h) + < r * cos(winkel), h, r * sin(winkel) > +#end + +#declare N = 13; +#declare h = 0.6; + +#macro deckel(r, R, scherwinkel, h) + #declare phi = 0; + #declare phistep = 2 * pi / N; + #while (phi < (2 * pi) - phistep/2) + triangle { + <0, h, 0>, + kranzpunkt(r, phi, h), + kranzpunkt(R, phi + scherwinkel, h) + } + triangle { + <0, h, 0>, + kranzpunkt(R, phi + scherwinkel, h) + kranzpunkt(r, phi + phistep, h) + } + #declare phi = phi + phistep; + #end +#end + + +#macro mantel(roben, Roben, hoben, runten, Runten, hunten, scherwinkel) + #declare phi = 0; + #declare phistep = 2 * pi / N; + #while (phi < 2 * pi - phistep/2) + triangle { + kranzpunkt(runten, phi, hunten), + kranzpunkt(Runten, phi + scherwinkel, hunten), + kranzpunkt(roben, phi, hoben) + } + triangle { + kranzpunkt(Runten, phi + scherwinkel, hunten), + kranzpunkt(Roben, phi + scherwinkel, hoben), + kranzpunkt(roben, phi, hoben) + } + triangle { + kranzpunkt(Runten, phi + scherwinkel, hunten), + kranzpunkt(runten, phi + phistep, hunten), + kranzpunkt(Roben, phi + scherwinkel, hoben) + } + triangle { + kranzpunkt(runten, phi + phistep, hunten), + kranzpunkt(roben, phi + phistep, hoben), + kranzpunkt(Roben, phi + scherwinkel, hoben) + } + #declare phi = phi + phistep; + #end +#end + +#declare scherwinkel = function(scherfaktor) { (scherfaktor * 2 * pi / N) }; + +#macro koerper(roben, Roben, hoben, runten, Runten, hunten, scherfaktor) +mesh { + deckel(roben, Roben, scherwinkel(scherfaktor), hoben) + deckel(runten, Runten, scherwinkel(scherfaktor), hunten) + mantel(roben, Roben, hoben, runten, Runten, hunten, scherwinkel(scherfaktor)) + pigment { + color Gray + } + finish { + specular 0.9 + metallic + } +} +#end + +#macro Hvektor(a) + <cos(a*2*pi/N),0,sin(a*2*pi/N)> +#end + +#declare VachseFarbe = rgb<1,0.6,0>; +#declare HachseFarbe = rgb<0.8,0.2,0.8>; +#declare VebeneFarbe = rgbf<0.2,0.8,1.0,0.7>; +#declare HebeneFarbe = rgbf<0.2,0.4,0.2,0.7>; + +#macro ebene(richtung, farbe) +intersection { + cylinder { <0, -1, 0>, <0, 1, 0>, 1.0 } + plane { vnormalize(richtung), 0.003 } + plane { -vnormalize(richtung), 0.003 } + pigment { + color farbe + } + finish { + specular 0.9 + metallic + } +} +#end + +#macro Vebene() + ebene(Hvektor(-1.25), VebeneFarbe) +#end + +#macro Hebene() + ebene(<0,1,0>, HebeneFarbe) +#end + +#macro achse(richtung, farbe) + cylinder { 1.1 * vnormalize(richtung), + -1.1 * vnormalize(richtung), + 1.5 * at + pigment { + color farbe + } + finish { + specular 0.9 + metallic + } + } +#end + +#macro Vachse() + achse(<0,1,0>, VachseFarbe) +#end + +#macro Hachse() + achse(Hvektor(-1.5), HachseFarbe) +#end diff --git a/vorlesungen/slides/6/punktgruppen/images/dn.jpg b/vorlesungen/slides/6/punktgruppen/images/dn.jpg Binary files differnew file mode 100644 index 0000000..f895d44 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/dn.jpg diff --git a/vorlesungen/slides/6/punktgruppen/images/dn.pov b/vorlesungen/slides/6/punktgruppen/images/dn.pov new file mode 100644 index 0000000..36eed3e --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/dn.pov @@ -0,0 +1,12 @@ +// +// dn.pov +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// + +#include "common.inc" + +koerper(0.5,0.7,0.6,0.6,0.8,0,0.0) +koerper(0.6,0.8,0,0.5,0.7,-0.6,1.0) +Vachse() +Hachse() diff --git a/vorlesungen/slides/6/punktgruppen/images/dnd.jpg b/vorlesungen/slides/6/punktgruppen/images/dnd.jpg Binary files differnew file mode 100644 index 0000000..089e24f --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/dnd.jpg diff --git a/vorlesungen/slides/6/punktgruppen/images/dnd.pov b/vorlesungen/slides/6/punktgruppen/images/dnd.pov new file mode 100644 index 0000000..f0ec115 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/dnd.pov @@ -0,0 +1,13 @@ +// +// dnd.pov +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// + +#include "common.inc" + +koerper(0.5,0.7,0.6,0.6,0.8,0,0.25) +koerper(0.6,0.8,0,0.5,0.7,-0.6,0.75) +Vachse() +Hachse() +ebene(Hvektor(2.25), VebeneFarbe) diff --git a/vorlesungen/slides/6/punktgruppen/images/dnh.jpg b/vorlesungen/slides/6/punktgruppen/images/dnh.jpg Binary files differnew file mode 100644 index 0000000..c62dbbb --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/dnh.jpg diff --git a/vorlesungen/slides/6/punktgruppen/images/dnh.pov b/vorlesungen/slides/6/punktgruppen/images/dnh.pov new file mode 100644 index 0000000..6f14271 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/images/dnh.pov @@ -0,0 +1,13 @@ +// +// dnh.pov +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// + +#include "common.inc" + +koerper(0.5,0.7,0.6,0.6,0.8,0,0.5) +koerper(0.6,0.8,0,0.5,0.7,-0.6,0.5) +Vachse() +Hachse() +Hebene() diff --git a/vorlesungen/slides/6/punktgruppen/p.tex b/vorlesungen/slides/6/punktgruppen/p.tex new file mode 100644 index 0000000..ea51e93 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/p.tex @@ -0,0 +1,38 @@ +% +% p.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Platonische Körper} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.33\textwidth} +\begin{block}{$T = T_h \cap \operatorname{SO(3)}$} +\begin{center} +\includegraphics[width=0.8\textwidth]{../slides/6/punktgruppen/toi/T.jpg} +\end{center} +\end{block} +\end{column} +\begin{column}{0.33\textwidth} +\uncover<2->{% +\begin{block}{$O = O_h \cap \operatorname{SO(3)}$} +\begin{center} +\includegraphics[width=0.8\textwidth]{../slides/6/punktgruppen/toi/O.jpg} +\end{center} +\end{block}} +\end{column} +\begin{column}{0.33\textwidth} +\uncover<3->{% +\begin{block}{$I = I_h \cap \operatorname{SO(3)}$} +\begin{center} +\includegraphics[width=0.8\textwidth]{../slides/6/punktgruppen/toi/I.jpg} +\end{center} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/punktgruppen/semidirekt.tex b/vorlesungen/slides/6/punktgruppen/semidirekt.tex new file mode 100644 index 0000000..69c1173 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/semidirekt.tex @@ -0,0 +1,80 @@ +% +% semidirekt.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Semidirektes Produkt} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Definition} +Gegeben $H$ eine Gruppe, eine abelsche Gruppe $A$, +$\vartheta\colon H\to\operatorname{Aut}(A)$. +\[ +G += +G\ltimes A += +\{(h,a) \;|\; h\in H,a\in A\} +\] +heisst {\em semidirektes Produkt}. +\begin{itemize} +\item<2-> +Neutrales Element: $(e,0)$ +\item<3-> +Gruppenoperation +\[ +(h_1,a_1)\cdot(h_2,a_2) += +(h_1h_2, a_1 + \vartheta(h_1)a_2) +\] +\item<4-> +Inverse: +$(h,a)^{-1} += +(h^{-1},-\vartheta(h)^{-1}a) +$ +\uncover<5->{% +Kontrolle: +\begin{align*} +&\phantom{\mathstrut=\mathstrut} +(h,a)\cdot (h^{-1},-\vartheta(h)^{-1}a) +\\ +&\uncover<6->{=(hh^{-1},a-\vartheta(h)\vartheta(h)^{-1}a)} +\uncover<7->{=(e,0)} +\end{align*}} +\end{itemize} +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<8->{% +\begin{block}{Drehungen und Spiegelungen von $\mathbb{R}^2$} +Spiegelung: $C_2$ +Drehungen der: $\operatorname{SO}(2)$ +Drehungen und Spiegelungen: +$C_2\ltimes \operatorname{SO}(2)=O(2)$ +\end{block}} +\uncover<9->{% +\begin{block}{Drehungen und Translationen} +Drehungen: $H=\operatorname{SO}(2)$ +\\ +Translationen: $A=\mathbb{R}^2$ +\\ +Bewegungen der Ebene: $\operatorname{SO}(2)\ltimes \mathbb{R}^2$ +\end{block}} +\uncover<10->{% +\begin{block}{Dopplereffekt und Laufzeit} +Dopplereffekt: $\mathbb{R}^+$ (Skalierung) +\\ +Laufzeit: $\mathbb{R}$ (Verschiebung) +\\ +Skalierung und Verschiebung: $\mathbb{R}^+\ltimes \mathbb{R}$ +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/punktgruppen/toi/I.jpg b/vorlesungen/slides/6/punktgruppen/toi/I.jpg Binary files differnew file mode 100644 index 0000000..70d2c17 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/toi/I.jpg diff --git a/vorlesungen/slides/6/punktgruppen/toi/O.jpg b/vorlesungen/slides/6/punktgruppen/toi/O.jpg Binary files differnew file mode 100644 index 0000000..45307c5 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/toi/O.jpg diff --git a/vorlesungen/slides/6/punktgruppen/toi/T.jpg b/vorlesungen/slides/6/punktgruppen/toi/T.jpg Binary files differnew file mode 100644 index 0000000..f710696 --- /dev/null +++ b/vorlesungen/slides/6/punktgruppen/toi/T.jpg diff --git a/vorlesungen/slides/7/Makefile.inc b/vorlesungen/slides/7/Makefile.inc index 7afeea1..4d291ed 100644 --- a/vorlesungen/slides/7/Makefile.inc +++ b/vorlesungen/slides/7/Makefile.inc @@ -16,7 +16,19 @@ chapter5 = \ ../slides/7/einparameter.tex \ ../slides/7/ableitung.tex \ ../slides/7/liealgebra.tex \ + ../slides/7/liealgbeispiel.tex \ + ../slides/7/vektorlie.tex \ ../slides/7/kommutator.tex \ + ../slides/7/bch.tex \ ../slides/7/dg.tex \ + ../slides/7/interpolation.tex \ + ../slides/7/exponentialreihe.tex \ + ../slides/7/zusammenhang.tex \ + ../slides/7/quaternionen.tex \ + ../slides/7/qdreh.tex \ + ../slides/7/ueberlagerung.tex \ + ../slides/7/hopf.tex \ + ../slides/7/haar.tex \ + ../slides/7/integration.tex \ ../slides/7/chapter.tex diff --git a/vorlesungen/slides/7/bch.tex b/vorlesungen/slides/7/bch.tex new file mode 100644 index 0000000..0148dc4 --- /dev/null +++ b/vorlesungen/slides/7/bch.tex @@ -0,0 +1,76 @@ +% +% bch.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Baker-Campbell-Hausdorff-Formel} +$g(t),h(t)\in G +\uncover<2->{\Rightarrow \exists A,B\in LG\text{ mit } +g(t)=\exp At, h(t)=\exp Bt}$ +\uncover<3->{% +\begin{align*} +g(t) +&= +I + At + \frac{A^2t^2}{2!} + \frac{A^3t^3}{3!} + \dots, +& +h(t) +&= +I + Bt + \frac{B^2t^2}{2!} + \frac{B^3t^3}{3!} + \dots +\end{align*}} +\uncover<5->{% +\begin{block}{Kommutator in G: $c(t) = g(t)h(t)g(t)^{-1}h(t)^{-1}$} +\begin{align*} +\uncover<6->{c(t) +&= +\biggl( + {\color<7,9-11,13-15,19-21>{red}I} + + {\color<8,16-19>{red}A}t + + \frac{{\color<12>{red}A^2}t^2}{2!} + + \dots +\biggr) +\biggl( + {\color<7,8,10-12,14-15,17-18,21>{red}I} + + {\color<9,16,19-20>{red}B}t + + \frac{{\color<13>{red}B^2}t^2}{2!} + + \dots +\biggr) +\exp(-{\color<10,14,17,19,21>{red}A}t) +\exp(-{\color<11,15,18,20-21>{red}B}t) +} +\\ +&\uncover<7->{={\color<7>{red}I}} +\uncover<8->{+t( + \uncover<8->{ {\color<8>{red}A}} + \uncover<9->{+ {\color<9>{red}B}} + \uncover<10->{- {\color<10>{red}A}} + \uncover<11->{- {\color<11>{red}B}} +)} +\uncover<12->{+\frac{t^2}{2!}( + \uncover<12->{ {\color<12>{red}A^2}} + \uncover<13->{+ {\color<13>{red}B^2}} + \uncover<14->{+ {\color<14>{red}A^2}} + \uncover<15->{+ {\color<15>{red}B^2}} +)} +\\ +&\phantom{\mathstrut=I} +\uncover<12->{+t^2( + \uncover<16->{ {\color<16>{red}AB}} + \uncover<17->{- {\color<17>{red}A^2}} + \uncover<18->{- {\color<18>{red}AB}} + \uncover<19->{- {\color<19>{red}BA}} + \uncover<20->{- {\color<20>{red}B^2}} + \uncover<21->{+ {\color<21>{red}AB}} +)} +\uncover<22->{+t^3(\dots)+\dots} +\\ +&\uncover<23->{= +I + \frac{t^2}{2}[A,B] + o(t^3) +} +\end{align*}} +\end{block} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/chapter.tex b/vorlesungen/slides/7/chapter.tex index 079cf16..36e0bb1 100644 --- a/vorlesungen/slides/7/chapter.tex +++ b/vorlesungen/slides/7/chapter.tex @@ -15,5 +15,17 @@ \folie{7/einparameter.tex} \folie{7/ableitung.tex} \folie{7/liealgebra.tex} +\folie{7/liealgbeispiel.tex} +\folie{7/vektorlie.tex} \folie{7/kommutator.tex} +\folie{7/bch.tex} \folie{7/dg.tex} +\folie{7/interpolation.tex} +\folie{7/exponentialreihe.tex} +\folie{7/zusammenhang.tex} +\folie{7/quaternionen.tex} +\folie{7/qdreh.tex} +\folie{7/ueberlagerung.tex} +\folie{7/hopf.tex} +\folie{7/haar.tex} +\folie{7/integration.tex} diff --git a/vorlesungen/slides/7/dg.tex b/vorlesungen/slides/7/dg.tex index 4447bac..f9528a4 100644 --- a/vorlesungen/slides/7/dg.tex +++ b/vorlesungen/slides/7/dg.tex @@ -45,7 +45,7 @@ Ableitung von $\gamma(t)$ an der Stelle $t$: \vspace{-10pt} \uncover<7->{% \begin{block}{Differentialgleichung} -\vspace{-10pt} +%\vspace{-10pt} \[ \dot{\gamma}(t) = \gamma(t) A \quad @@ -66,7 +66,7 @@ Exponentialfunktion \vspace{-5pt} \uncover<9->{% \begin{block}{Kontrolle: Tangentialvektor berechnen} -\vspace{-10pt} +%\vspace{-10pt} \begin{align*} \frac{d}{dt}e^{At} &\uncover<10->{= diff --git a/vorlesungen/slides/7/drehung.tex b/vorlesungen/slides/7/drehung.tex index 2d7b317..02201d4 100644 --- a/vorlesungen/slides/7/drehung.tex +++ b/vorlesungen/slides/7/drehung.tex @@ -58,7 +58,7 @@ D_{60^\circ} \begin{column}{0.58\textwidth} \uncover<4->{% \begin{block}{Ansatz} -\vspace{-12pt} +%\vspace{-12pt} \begin{align*} DST &= @@ -101,7 +101,7 @@ c^{-1}&0\\ \vspace{-10pt} \uncover<7->{% \begin{block}{Koeffizientenvergleich} -\vspace{-15pt} +%\vspace{-15pt} \begin{align*} \uncover<8->{ {\color{red} c} diff --git a/vorlesungen/slides/7/einparameter.tex b/vorlesungen/slides/7/einparameter.tex index 5171085..a32affd 100644 --- a/vorlesungen/slides/7/einparameter.tex +++ b/vorlesungen/slides/7/einparameter.tex @@ -41,7 +41,7 @@ D_{x,t+s} \begin{column}{0.48\textwidth} \uncover<5->{% \begin{block}{Scherungen in $\operatorname{SL}_2(\mathbb{R})$} -\vspace{-12pt} +%\vspace{-12pt} \[ \begin{pmatrix} 1&s\\ @@ -61,7 +61,7 @@ D_{x,t+s} \vspace{-12pt} \uncover<6->{% \begin{block}{Skalierungen in $\operatorname{SL}_2(\mathbb{R})$} -\vspace{-12pt} +%\vspace{-12pt} \[ \begin{pmatrix} e^s&0\\0&e^{-s} @@ -78,7 +78,7 @@ e^{t+s}&0\\0&e^{-(t+s)} \vspace{-12pt} \uncover<7->{% \begin{block}{Gemischt} -\vspace{-12pt} +%\vspace{-12pt} \begin{gather*} A_t = I \cosh t + \begin{pmatrix}1&a\\0&-1\end{pmatrix}\sinh t \\ diff --git a/vorlesungen/slides/7/haar.tex b/vorlesungen/slides/7/haar.tex new file mode 100644 index 0000000..454dd69 --- /dev/null +++ b/vorlesungen/slides/7/haar.tex @@ -0,0 +1,84 @@ +% +% haar.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Haar-Mass} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Invariantes Mass} +Auf jeder lokalkompakten Gruppe $G$ gibt es ein \only<2->{invariantes }% +Integral +\begin{align*} +\uncover<2->{\text{rechts:}}&& +\int_G f(g)\,d\mu(g) +&\uncover<2->{= +\int_G f(gh)\,d\mu(g)} +\\ +\uncover<3->{ +\text{links:}&& +\int_G f(g)\,d\mu(g) +&= +\int_G f(hg)\,d\mu(g)} +\end{align*} + +\end{block} +\uncover<7->{% +\begin{block}{Modulus-Funktion} +$\mu$ linksinvariant, dann ist die Rechtsverschiebung ebenfalls +linksinvariant +\[ +\int_G f(gh) \, d\mu(g) +\uncover<8->{ += +\int_G f(g) \Delta(h)\, d\mu(g) +} +\] +\uncover<9->{$\Delta(h)$ heisst Modulus-Funktion} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<4->{% +\begin{block}{Beispiel: $G=\mathbb{R}$} +\[ +\int_Gf(g)\,d\mu(g) += +\int_{-\infty}^{\infty} f(x)\,dx +\] +\end{block}} +\vspace{-10pt} +\uncover<5->{% +\begin{block}{Beispiel: $\operatorname{SO}(2)$} +\[ +\int_{\operatorname{SO}(2)} +f(g)\,d\mu(g) += +\frac{1}{2\pi} +\int_{0}^{2\pi} f(D_{\alpha})\,d\alpha +\] +\end{block}} +\vspace{-10pt} +\uncover<6->{% +\begin{block}{Beispiel: $G$ endlich} +\[ +\int_G f(g)\,d\mu(g) = \frac{1}{|G|}\sum_{g\in G}f(g) +\] +\end{block}} +\vspace{-10pt} +\uncover<10->{% +\begin{block}{Unimodular} +$\Delta(h)=1$ heisst rechtsinvariant = linksinvariant +\\ +\uncover<11->{% +$G$ kompakt $\Rightarrow$ unimodular +} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/hopf.tex b/vorlesungen/slides/7/hopf.tex new file mode 100644 index 0000000..a90737f --- /dev/null +++ b/vorlesungen/slides/7/hopf.tex @@ -0,0 +1,69 @@ +% +% hopf.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Orbit-Räume} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Aktion von $\operatorname{SO}(3)$ auf $S^2$} +\begin{align*} +S^2 &= \{x\in\mathbb{R}^3\;|\; |x|=1\} +\\ +\operatorname{SO}(3) \times S^2 &\to S^2: (g, x) \mapsto gx +\end{align*} +\uncover<2->{% +Allgemein: Aktion von $G$ auf $X$ +\begin{align*} +\text{links:}&& +G\times X \to X &: (g,x) \mapsto gx +\\ +\text{rechts:}&& +X\times G \to X &: (x,g) \mapsto xg +\end{align*}} +\end{block} +\vspace{-10pt} +\uncover<3->{% +\begin{block}{Stabilisator} +Zu $x\in X$ gibt es eine Untergruppe +\begin{align*} +G_x = \{g\in G\;|\; gx=x\}, +\end{align*} +der {\em Stabilisator} von $x$. + +\uncover<4->{% +Der Stabilisator von $v\in S^2$ ist die Gruppe der Drehungen um +die Achse $v$} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<5->{% +\begin{block}{Quotient} +$G$ operiert von rechts auf $X$ +\[ +X/G = \{ xG \;|\; x\in X\} +\] +heisst Quotient +\end{block}} +\uncover<6->{ +\begin{block}{$\operatorname{SO}(3)/\operatorname{SO}(2)$} +Wähle $\operatorname{SO}(2)$ als Drehungen um die $z$-Achse: +\[ +\operatorname{SO}(3) \to S^2 +: +g \mapsto \text{letzte Spalte von $g$} +\] +\uncover<7->{Daher +\[ +S^2 \cong \operatorname{SO}(3) / \operatorname{SO}(2) +\]} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/images/Makefile b/vorlesungen/slides/7/images/Makefile index cc67c8a..6f99bc3 100644 --- a/vorlesungen/slides/7/images/Makefile +++ b/vorlesungen/slides/7/images/Makefile @@ -3,7 +3,7 @@ # # (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule # -all: rodriguez.jpg +all: rodriguez.jpg test.png rodriguez.png: rodriguez.pov povray +A0.1 -W1920 -H1080 -Orodriguez.png rodriguez.pov @@ -16,4 +16,14 @@ commutator: commutator.ini commutator.pov common.inc jpg: for f in c/c*.png; do convert $${f} c/`basename $${f} .png`.jpg; done +dreibein/timestamp: interpolation.m + octave interpolation.m + touch dreibein/timestamp +test.png: test.pov drehung.inc dreibein/d025.inc dreibein/timestamp + povray +A0.1 -W1080 -H1080 -Otest.png test.pov + +dreibein/d025.inc: dreibein/timestamp + +animation: + povray +A0.1 -W1080 -H1080 -Ointerpolation/i.png interpolation.ini diff --git a/vorlesungen/slides/7/images/drehung.inc b/vorlesungen/slides/7/images/drehung.inc new file mode 100644 index 0000000..c9b4bb7 --- /dev/null +++ b/vorlesungen/slides/7/images/drehung.inc @@ -0,0 +1,142 @@ +// +// common.inc +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// +#version 3.7; +#include "colors.inc" + +global_settings { + assumed_gamma 1 +} + +#declare imagescale = 0.23; +#declare O = <0, 0, 0>; +#declare at = 0.02; + +camera { + location <8.5, 2, 6.5> + look_at <0, 0, 0> + right x * imagescale + up y * imagescale +} + +//light_source { +// <-14, 20, -50> color White +// area_light <1,0,0> <0,0,1>, 10, 10 +// adaptive 1 +// jitter +//} + +light_source { + <41, 20, 10> color White + area_light <1,0,0> <0,0,1>, 10, 10 + adaptive 1 + jitter +} + +sky_sphere { + pigment { + color rgb<1,1,1> + } +} + +#macro arrow(from, to, arrowthickness, c) +#declare arrowdirection = vnormalize(to - from); +#declare arrowlength = vlength(to - from); +union { + sphere { + from, 1.0 * arrowthickness + } + cylinder { + from, + from + (arrowlength - 5 * arrowthickness) * arrowdirection, + arrowthickness + } + cone { + from + (arrowlength - 5 * arrowthickness) * arrowdirection, + 2 * arrowthickness, + to, + 0 + } + pigment { + color c + } + finish { + specular 0.9 + metallic + } +} +#end +#declare r = 1.0; + +arrow(< -r-0.2, 0.0, 0 >, < r+0.2, 0.0, 0.0 >, at, Gray) +arrow(< 0.0, 0.0, -r-0.2>, < 0.0, 0.0, r+0.2 >, at, Gray) +arrow(< 0.0, -r-0.2, 0 >, < 0.0, r+0.2, 0.0 >, at, Gray) + +#declare farbeX = rgb<1.0,0.2,0.6>; +#declare farbeY = rgb<0.0,0.8,0.4>; +#declare farbeZ = rgb<0.4,0.6,1.0>; + +#declare farbex = rgb<1.0,0.0,0.0>; +#declare farbey = rgb<0.0,0.6,0.0>; +#declare farbez = rgb<0.0,0.0,1.0>; + +#macro quadrant(X, Y, Z) + intersection { + sphere { O, 0.5 } + plane { -X, 0 } + plane { -Y, 0 } + plane { -Z, 0 } + pigment { + color rgb<1.0,0.6,0.2> + } + finish { + specular 0.95 + metallic + } + } + arrow(O, X, 1.1*at, farbex) + arrow(O, Y, 1.1*at, farbey) + arrow(O, Z, 1.1*at, farbez) +#end + +#macro drehung(X, Y, Z) +// intersection { +// sphere { O, 0.5 } +// plane { -X, 0 } +// plane { -Y, 0 } +// plane { -Z, 0 } +// pigment { +// color Gray +// } +// finish { +// specular 0.95 +// metallic +// } +// } + arrow(O, 1.1*X, 0.9*at, farbeX) + arrow(O, 1.1*Y, 0.9*at, farbeY) + arrow(O, 1.1*Z, 0.9*at, farbeZ) +#end + +#macro achse(H) + cylinder { H, -H, at + pigment { + color rgb<0.6,0.4,0.2> + } + finish { + specular 0.95 + metallic + } + } + cylinder { 0.003 * H, -0.003 * H, 1 + pigment { + color rgbt<0.6,0.4,0.2,0.5> + } + finish { + specular 0.95 + metallic + } + } +#end diff --git a/vorlesungen/slides/7/images/interpolation.ini b/vorlesungen/slides/7/images/interpolation.ini new file mode 100644 index 0000000..f07c079 --- /dev/null +++ b/vorlesungen/slides/7/images/interpolation.ini @@ -0,0 +1,8 @@ +Input_File_Name=interpolation.pov +Initial_Frame=0 +Final_Frame=50 +Initial_Clock=0 +Final_Clock=50 +Cyclic_Animation=off +Pause_when_Done=off + diff --git a/vorlesungen/slides/7/images/interpolation.m b/vorlesungen/slides/7/images/interpolation.m new file mode 100644 index 0000000..31554e8 --- /dev/null +++ b/vorlesungen/slides/7/images/interpolation.m @@ -0,0 +1,54 @@ +# +# interpolation.m +# +# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +# +global N; +N = 50; +global A; +global B; + +A = (pi / 2) * [ + 0, 0, 0; + 0, 0, -1; + 0, 1, 0 +]; +g0 = expm(A) + +B = (pi / 2) * [ + 0, 0, 1; + 0, 0, 0; + -1, 0, 0 +]; +g1 = expm(B) + +function retval = g(t) + global A; + global B; + retval = expm((1-t)*A+t*B); +endfunction + +function dreibein(fn, M, funktion) + fprintf(fn, "%s(<%.4f,%.4f,%.4f>, <%.4f,%.4f,%.4f>, <%.4f,%.4f,%.4f>)\n", + funktion, + M(1,1), M(3,1), M(2,1), + M(1,2), M(3,2), M(2,2), + M(1,3), M(3,3), M(2,3)); +endfunction + +G = g1 * inverse(g0); +[V, lambda] = eig(G); +H = real(V(:,3)); + +D = logm(g1*inverse(g0)); + +for i = (0:N) + filename = sprintf("dreibein/d%03d.inc", i); + fn = fopen(filename, "w"); + t = i/N; + dreibein(fn, g(t), "quadrant"); + dreibein(fn, expm(t*D)*g0, "drehung"); + fprintf(fn, "achse(<%.4f,%.4f,%.4f>)\n", H(1,1), H(3,1), H(2,1)); + fclose(fn); +endfor + diff --git a/vorlesungen/slides/7/images/interpolation.pov b/vorlesungen/slides/7/images/interpolation.pov new file mode 100644 index 0000000..71e0257 --- /dev/null +++ b/vorlesungen/slides/7/images/interpolation.pov @@ -0,0 +1,10 @@ +// +// commutator.pov +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// +#include "drehung.inc" + +#declare filename = concat("dreibein/d", str(clock, -3, 0), ".inc"); +#include filename + diff --git a/vorlesungen/slides/7/images/test.pov b/vorlesungen/slides/7/images/test.pov new file mode 100644 index 0000000..5707be1 --- /dev/null +++ b/vorlesungen/slides/7/images/test.pov @@ -0,0 +1,7 @@ +// +// test.pov +// +// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +// +#include "drehung.inc" +#include "dreibein/d025.inc" diff --git a/vorlesungen/slides/7/integration.tex b/vorlesungen/slides/7/integration.tex new file mode 100644 index 0000000..525e6de --- /dev/null +++ b/vorlesungen/slides/7/integration.tex @@ -0,0 +1,66 @@ +% +% integration.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Invariante Integration} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Koordinatenwechsel} +Die Koordinatentransformation +$f\colon\mathbb{R}^n\to\mathbb{R}^n:x\to y$ +hat die Ableitungsmatrix +\[ +t_{ij} += +\frac{\partial y_i}{\partial x_j} +\] +\uncover<2->{% +$n$-faches Integral +\begin{gather*} +\int\dots\int +h(f(x)) +\det +\biggl( +\frac{\partial y_i}{\partial x_j} +\biggr) +\,dx_1\,\dots dx_n +\\ += +\int\dots\int +h(y) +\,dy_1\,\dots dy_n +\end{gather*}} +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<3->{% +\begin{block}{auf einer Lie-Gruppe} +Koordinatenwechsel sind Multiplikationen mit einer +Matrix $g\in G$ +\end{block}} +\uncover<4->{% +\begin{block}{Volumenelement in $I$} +Man muss nur das Volumenelement in $I$ in einem beliebigen +Koordinatensystem definieren: +\[ +dV = dy_1\,\dots\,dy_n +\] +\end{block}} +\uncover<5->{% +\begin{block}{Volumenelement in $g$} +\[ +\text{``\strut}g\cdot dV\text{\strut''} += +\det(g) \, dy_1\,\dots\,dy_n +\] +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/interpolation.tex b/vorlesungen/slides/7/interpolation.tex new file mode 100644 index 0000000..249ee26 --- /dev/null +++ b/vorlesungen/slides/7/interpolation.tex @@ -0,0 +1,112 @@ +% +% interpolation.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\def\bild#1#2{\only<#1|handout:0>{\includegraphics[width=\textwidth]{../slides/7/images/interpolation/#2.png}}} +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Interpolation} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Aufgabe} +Finde einen Weg $g(t)\in \operatorname{SO}(3)$ zwischen +$g_0\in\operatorname{SO}(3)$ +und +$g_1\in\operatorname{SO}(3)$: +\[ +g_0=g(0) +\quad\wedge\quad +g_1=g(1) +\] +\end{block} +\vspace{-10pt} +\uncover<2->{% +\begin{block}{Lösung} +$g_i=\exp(A_i) \uncover<3->{\Rightarrow A_i^t=-A_i}$ +\begin{align*} +\uncover<4->{A(t) &= (1-t)A_0 + tA_1}\uncover<8->{ \in \operatorname{so}(3)} +\\ +\uncover<5->{A(t)^t +&=(1-t)A_0^t + tA_1^t} +\\ +&\uncover<6->{= +-(1-t)A_0 - t A_1} +\uncover<7->{= +-A(t)} +\\ +\uncover<9->{\Rightarrow +g(t) &= \exp A(t) \in \operatorname{SO}(3)} +\\ +&\uncover<10->{\ne +\exp (\log(g_1g_0^{-1})t) g_0} +\end{align*} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<11->{% +\begin{block}{Animation} +\centering +\ifthenelse{\boolean{presentation}}{ +\bild{12}{i00} +\bild{13}{i01} +\bild{14}{i02} +\bild{15}{i03} +\bild{16}{i04} +\bild{17}{i05} +\bild{18}{i06} +\bild{19}{i07} +\bild{20}{i08} +\bild{21}{i09} +\bild{22}{i10} +\bild{23}{i11} +\bild{24}{i12} +\bild{25}{i13} +\bild{26}{i14} +\bild{27}{i15} +\bild{28}{i16} +\bild{29}{i17} +\bild{30}{i18} +\bild{31}{i19} +\bild{32}{i20} +\bild{33}{i21} +\bild{34}{i22} +\bild{35}{i23} +\bild{36}{i24} +\bild{37}{i25} +\bild{38}{i26} +\bild{39}{i27} +\bild{40}{i28} +\bild{41}{i29} +\bild{42}{i30} +\bild{43}{i31} +\bild{44}{i32} +\bild{45}{i33} +\bild{46}{i34} +\bild{47}{i35} +\bild{48}{i36} +\bild{49}{i37} +\bild{50}{i38} +\bild{51}{i39} +\bild{52}{i40} +\bild{53}{i41} +\bild{54}{i42} +\bild{55}{i43} +\bild{56}{i44} +\bild{57}{i45} +\bild{58}{i46} +\bild{59}{i47} +\bild{60}{i48} +\bild{61}{i49} +\bild{62}{i50} +}{ +\includegraphics[width=\textwidth]{../slides/7/images/interpolation/i25.png} +} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/liealgbeispiel.tex b/vorlesungen/slides/7/liealgbeispiel.tex new file mode 100644 index 0000000..a17de40 --- /dev/null +++ b/vorlesungen/slides/7/liealgbeispiel.tex @@ -0,0 +1,78 @@ +% +% liealgbeispiel.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Lie-Algebra Beispiele} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{$\operatorname{sl}_2(\mathbb{R})$} +Spurlose Matrizen: +\[ +\operatorname{sl}_2(\mathbb{R}) += +\{A\in M_n(\mathbb{R})\;|\; \operatorname{Spur}A=0\} +\] +\end{block} +\begin{block}{Lie-Algebra?} +Nachrechnen: $[A,B]\in \operatorname{sl}_2(\mathbb{R})$: +\begin{align*} +\operatorname{Spur}([A,B]) +&= +\operatorname{Spur}(AB-BA) +\\ +&= +\operatorname{Spur}(AB)-\operatorname{Spur}(BA) +\\ +&= +\operatorname{Spur}(AB)-\operatorname{Spur}(AB) +\\ +&=0 +\end{align*} +$\Rightarrow$ $\operatorname{sl}_2(\mathbb{R})$ ist eine Lie-Algebra +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{$\operatorname{so}(n)$} +Antisymmetrische Matrizen: +\[ +\operatorname{so}(n) += +\{A\in M_n(\mathbb{R}) +\;|\; +A=-A^t +\} +\] +\end{block} +\begin{block}{Lie-Algebra?} +Nachrechnen: $A,B\in \operatorname{so}(n)$ +\begin{align*} +[A,B]^t +&= +(AB-BA)^t +\\ +&= +B^tA^t - A^tB^t +\\ +&= +(-B)(-A)-(-A)(-B) +\\ +&= +BA-AB += +-(AB-BA) +\\ +&= +-[A,B] +\end{align*} +$\Rightarrow$ $\operatorname{so}(n)$ ist eine Lie-Algebra +\end{block} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/parameter.tex b/vorlesungen/slides/7/parameter.tex index 52c8e4a..f3579a3 100644 --- a/vorlesungen/slides/7/parameter.tex +++ b/vorlesungen/slides/7/parameter.tex @@ -14,7 +14,7 @@ \begin{columns}[t,onlytextwidth] \begin{column}{0.4\textwidth} \begin{block}{Drehung um Achsen} -\vspace{-12pt} +%\vspace{-12pt} \begin{align*} \uncover<2->{ D_{x,\alpha} diff --git a/vorlesungen/slides/7/qdreh.tex b/vorlesungen/slides/7/qdreh.tex new file mode 100644 index 0000000..8ed512a --- /dev/null +++ b/vorlesungen/slides/7/qdreh.tex @@ -0,0 +1,110 @@ +% +% template.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Drehungen mit Quaternionen} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Drehung?} +Abbildung von $\vec{x}$ mit $\operatorname{Re}\vec{x}=0$: +\[ +\varrho_{q} +\colon +\vec{x}\mapsto q\vec{x}q^{-1} = q\vec{x}\overline{q} +\] +\end{block} +\uncover<2->{% +\begin{block}{Achse} +\begin{align*} +\varrho_q(q) +&= +qq\overline{q} +\uncover<3->{= +q(qq^{-1})} +\uncover<4->{= +q} +\end{align*} +\end{block}} +\uncover<4->{% +\begin{block}{Norm} +\begin{align*} +|\varrho_q(\vec{x})|^2 +&= +q\vec{x}\overline{q}\overline{(q\vec{x}\overline{q})} +\uncover<5->{= +q\vec{x}\overline{q}\overline{\overline{q}}\overline{\vec{x}}\overline{q} +} +\\ +&\uncover<6->{= +q\vec{x}(\overline{q}q)\overline{\vec{x}}\overline{q}} +\uncover<7->{= +q(\vec{x}\overline{\vec{x}})\overline{q}} +\uncover<8->{= +q\overline{q}|\vec{x}|^2} +\\ +&\uncover<9->{= +|\vec{x}|^2} +\end{align*} +\uncover<10->{% +$\Rightarrow$ $\varrho_q\in\operatorname{O}(3)$} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<11->{% +\begin{block}{Drehung!} +$\vec{a},\vec{b},\vec{n}$ bilden ein on.~Rechtssystem +\begin{align*} +\uncover<12->{ +qa +&= +c\vec{a}+s\vec{n}\times \vec{a}} +\uncover<13->{= +c\vec{a} + s\vec{b}} +\\ +\uncover<14->{ +q\vec{a}\overline{q} +&= +(c\vec{a}+s\vec{b}) c +-(c\vec{a}+s\vec{b})\times s\vec{n}} +\\ +&\uncover<15->{= +c^2 \vec{a}+ sc\vec{b} ++sc\vec{b} - s^2 \vec{a}} +\\ +&\uncover<16->{= +\vec{a} \cos\alpha +\vec{b} \sin\alpha } +\end{align*} +\vspace{-5pt} +\uncover<17->{wegen +%\vspace{-5pt} +\[ +\begin{aligned} +\cos\alpha &= \cos^2\frac{\alpha}2 - \sin^2\frac{\alpha}2 &&=c^2-s^2 +\\ +\sin\alpha &= 2\cos\frac{\alpha}2\sin\frac{\alpha}2&&=2cs +\end{aligned}\]} +\end{block}} +\vspace{-18pt} +\uncover<18->{% +\begin{block}{Matrix} +\[ +D += +\tiny +\begin{pmatrix} +1-2(q_2^2+q_3^2)&-2q_0q_3+2q_1q_2&-2q_0q_2+2q_1q_3\\ + 2q_0q_3+2q_1q_2&1-2(q_1^2+q_3^2)&-2q_0q_1+2q_2q_3\\ +-2q_0q_2+2q_1q_3& 2q_0q_1+2q_2q_3&1-2(q_1^2+q_2^2) +\end{pmatrix} +\] +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/quaternionen.tex b/vorlesungen/slides/7/quaternionen.tex new file mode 100644 index 0000000..f526366 --- /dev/null +++ b/vorlesungen/slides/7/quaternionen.tex @@ -0,0 +1,74 @@ +% +% quaternionen.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Quaternionen} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Quaternionen} +$4$-dimensionaler $\mathbb{R}$-Vektorraum +\[ +\mathbb{H} += +\langle 1,i,j,k\rangle_{\mathbb{R}} +\] +mit Rechenregeln +\[ +i^2=j^2=k^2=ijk=-1 +\] +$x=x_0+x_1i+x_2j+x_3k\in\mathbb{H}$ +\begin{itemize} +\item<2-> Realteil: $\operatorname{Re}x=x_0$ +\item<3-> Vektorteil: $\operatorname{Im}x=x_1i+x_2j+x_3k$ +\item<4-> Konjugation: $\overline{x}=\operatorname{Re}x-\operatorname{Im}x$ +\item<5-> Norm: $|x|^2 = x\overline{x} = x_0^2+x_1^2+x_2^2+x_3^2$ +\item<6-> Inverse: $x^{1}= \overline{x}/x\overline{x}$ +\end{itemize} +\end{block} +\end{column} +\begin{column}{0.50\textwidth} +\uncover<7->{% +\begin{block}{Skalarprodukt und Vektorprodukt} +\begin{align*} +pq +&= +\operatorname{Re}p \operatorname{Re}q +- +\operatorname{Im}p\cdot \operatorname{Im}q +\\ +&\phantom{=} ++ +\operatorname{Re}p\operatorname{Im}q ++ +\operatorname{Im}p\operatorname{Re}q ++ +\operatorname{Im}p\times\operatorname{Im}q +\end{align*} +\end{block}} +\uncover<8->{% +\begin{block}{Einheitsquaternionen} +$q\in \mathbb{H}$, $|q|=1, q^{-1}=\overline{q}$ +\end{block}} +\uncover<9->{% +\begin{block}{Polardarstellung} +\[ +q = \cos\frac{\alpha}2 + \vec{n} \sin\frac{\alpha}2 +\] +\vspace{-8pt} +\begin{itemize} +\item<10-> +Drehmatrix: 9 Parameter, 6 Bedingungen +\item<11-> +Quaternionen: 4 Parameter, 1 Bedingung +\end{itemize} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/semi.tex b/vorlesungen/slides/7/semi.tex index 66b8d27..cd974c9 100644 --- a/vorlesungen/slides/7/semi.tex +++ b/vorlesungen/slides/7/semi.tex @@ -41,7 +41,7 @@ Wirkung auf $\mathbb{R}^2$: \begin{column}{0.48\textwidth} \uncover<3->{% \begin{block}{Verknüpfung} -\vspace{-15pt} +%\vspace{-15pt} \begin{align*} (e^{s_1},t_1)(e^{s_2},t_2)x &\uncover<4->{= @@ -60,7 +60,7 @@ e^{s_1+s_2}x + e^{s_1}t_2+t_1} \begin{column}{0.48\textwidth} \uncover<7->{% \begin{block}{Verknüpfung} -\vspace{-15pt} +%\vspace{-15pt} \begin{align*} (\alpha_1,\vec{t}_1) (\alpha_2,\vec{t}_2) @@ -85,7 +85,7 @@ e^{s_1+s_2}x + e^{s_1}t_2+t_1} \begin{column}{0.48\textwidth} \uncover<11->{% \begin{block}{Matrixschreibweise} -\vspace{-12pt} +%\vspace{-12pt} \[ g=(e^s,t) = \begin{pmatrix} @@ -100,7 +100,7 @@ e^s&t\\ \begin{column}{0.48\textwidth} \uncover<12->{% \begin{block}{Matrixschreibweise} -\vspace{-12pt} +%\vspace{-12pt} \[ g=(\alpha,\vec{t}) = \begin{pmatrix} diff --git a/vorlesungen/slides/7/ueberlagerung.tex b/vorlesungen/slides/7/ueberlagerung.tex new file mode 100644 index 0000000..426641a --- /dev/null +++ b/vorlesungen/slides/7/ueberlagerung.tex @@ -0,0 +1,98 @@ +% +% ueberlagerung.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{$S^3$, $\operatorname{SU}(2)$ und $\operatorname{SO}(3)$} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.38\textwidth} +\uncover<6->{% +\begin{block}{Überlagerung} +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\coordinate (A) at (0,0); +\coordinate (B) at (2,0); +\coordinate (C) at (2,-2); +\coordinate (D) at (0,-2); + +\uncover<7->{ +\node at (A) {$\{\pm 1\}\mathstrut$}; +} +\uncover<6->{ +\node at (B) {$S^3\mathstrut$}; +\node at ($(B)+(0.1,0)$) [right] {$=\operatorname{SU}(2)\mathstrut$}; +} +\uncover<7->{ +\node at (C) {$\operatorname{SO}(3)\mathstrut$}; +\node at (D) {$\{I\}\mathstrut$}; +} + +\uncover<7->{ +\draw[->,shorten >= 0.3cm,shorten <= 0.5cm] (A) -- (B); +\draw[->,shorten >= 0.3cm,shorten <= 0.3cm] (A) -- (D); +\draw[->,shorten >= 0.3cm,shorten <= 0.3cm] (B) -- (C); +\draw[->,shorten >= 0.6cm,shorten <= 0.3cm] (D) -- (C); +} + +\end{tikzpicture} +\end{center} +\begin{itemize} +\item<7-> +$\pm q\in S^3$ $\Rightarrow$ $\varrho_{q}=\varrho_{-q}$ +\item<8-> +In der Nähe von $I$ sehen die Gruppen +$\operatorname{SO}(3)$ +und +$\operatorname{SU}(2)$ +``gleich'' aus +\item<9-> +$\operatorname{SU}(2)$ ist geometrisch ``einfacher'' +\end{itemize} +\end{block}} +\end{column} +\begin{column}{0.58\textwidth} +\begin{block}{Pauli-Matrizen} +Quaternionen als $2\times 2$-Matrizen schreiben +\begin{align*} +1&=\begin{pmatrix}1&0\\0&1\end{pmatrix}=\sigma_0, +& +i&=\begin{pmatrix}0&i\\i&0\end{pmatrix}=-i\sigma_1 +\\ +j&=\begin{pmatrix}0&-1\\1&0\end{pmatrix}=-i\sigma_2, +& +k&=\begin{pmatrix}i&0\\0&-i\end{pmatrix}=-i\sigma_3 +\end{align*} +\uncover<2->{% +erfüllen $i^2=j^2=k^2=ijk=-1$.} +\end{block} +\uncover<3->{% +\begin{block}{$S^3 = \operatorname{SU}(2)$} +\[ +a+bi+cj+dk += +\begin{pmatrix} +a+id&-c+bi\\ +c+ib&a-id +\end{pmatrix} += +A +\] +\begin{align*} +\uncover<4->{ +\det A &= a^2 + b^2 + c^2 + d^2 = 1 +} +\\ +\uncover<5->{ +A^* &= a - ib - jc - kd +} +\end{align*} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/vektorlie.tex b/vorlesungen/slides/7/vektorlie.tex new file mode 100644 index 0000000..621a832 --- /dev/null +++ b/vorlesungen/slides/7/vektorlie.tex @@ -0,0 +1,206 @@ +% +% viktorlie.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\definecolor{darkgreen}{rgb}{0,0.6,0} +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Vektorprodukt als Lie-Algebra} +%\vspace{-10pt} +\centering +\begin{tikzpicture}[>=latex,thick] +\arraycolsep=2.4pt +\def\Ax{0} +\def\Ux{4.1} +\def\Kx{7.2} +\def\Rx{13.1} + +\def\Lx{2.2} +\def\Ly{0} +\def\Lz{-2.2} + +\fill[color=red!20] (\Ax,{\Lx-1.55}) rectangle ({\Ux-0.1},{\Lx+0.55}); +\fill[color=red!20] (\Ux,{\Lx-1.55}) rectangle ({\Kx-0.1},{\Lx+0.55}); +\fill[color=red!20] (\Kx,{\Lx-1.55}) rectangle ({\Rx},{\Lx+0.55}); + +\fill[color=darkgreen!20] (\Ax,{\Ly-1.55}) rectangle ({\Ux-0.1},{\Ly+0.55}); +\fill[color=darkgreen!20] (\Ux,{\Ly-1.55}) rectangle ({\Kx-0.1},{\Ly+0.55}); +\fill[color=darkgreen!20] (\Kx,{\Ly-1.55}) rectangle ({\Rx},{\Ly+0.55}); + +\fill[color=blue!20] (\Ax,{\Lz-1.55}) rectangle ({\Ux-0.1},{\Lz+0.55}); +\fill[color=blue!20] (\Ux,{\Lz-1.55}) rectangle ({\Kx-0.1},{\Lz+0.55}); +\fill[color=blue!20] (\Kx,{\Lz-1.55}) rectangle ({\Rx},{\Lz+0.55}); + +\coordinate (A) at (\Ax,3.2); +\coordinate (Ax) at (\Ax,\Lx); +\coordinate (Ay) at (\Ax,\Ly); +\coordinate (Az) at (\Ax,\Lz); + +\node at (A) [right] + {\usebeamercolor[fg]{title}Drehmatrix, $\operatorname{SO}(n)$\strut}; + +\node at (Ax) [right] {$\displaystyle\tiny +D_{x,\alpha}=\begin{pmatrix} +1&0&0\\ +0&\cos\alpha&-\sin\alpha\\ +0&\sin\alpha&\cos\alpha +\end{pmatrix}$}; + +\node at (Ay) [right] {$\displaystyle\tiny +D_{y,\alpha}=\begin{pmatrix} +\cos\alpha&0&\sin\alpha\\ +0&1&0\\ +-\sin\alpha&0&\cos\alpha +\end{pmatrix}$}; + +\node at (Az) [right] {$\displaystyle\tiny +D_{z,\alpha}=\begin{pmatrix} +\cos\alpha&-\sin\alpha&0\\ +\sin\alpha&\cos\alpha&0\\ +0&0&1 +\end{pmatrix}$}; + +\coordinate (U) at (\Ux,3.2); +\coordinate (Ux) at (\Ux,\Lx); +\coordinate (Uy) at (\Ux,\Ly); +\coordinate (Uz) at (\Ux,\Lz); +\coordinate (Ex) at (\Ux,{\Lx-1}); +\coordinate (Ey) at (\Ux,{\Ly-1}); +\coordinate (Ez) at (\Ux,{\Lz-1}); + +\uncover<2->{ +\node at (U) [right] + {\usebeamercolor[fg]{title}Ableitung, $\operatorname{so}(n)$\strut}; + +\node at (Ux) [right] {$\displaystyle\tiny +U_x=\begin{pmatrix*}[r] +0&0&0\\ +0&0&-1\\ +0&1&0 +\end{pmatrix*} +$}; + +\node at (Uy) [right] {$\displaystyle\tiny +U_y=\begin{pmatrix*}[r] +0&0&1\\ +0&0&0\\ +-1&0&0 +\end{pmatrix*} +$}; + +\node at (Uz) [right] {$\displaystyle\tiny +U_z=\begin{pmatrix*}[r] +0&-1&0\\ +1&0&0\\ +0&0&0 +\end{pmatrix*} +$}; +} + +\uncover<9->{ +\node at (Ex) [right] {$\displaystyle +\, e_x = \tiny\begin{pmatrix}1\\0\\0\end{pmatrix} +$}; + +\node at (Ey) [right] {$\displaystyle +\, e_y = \tiny\begin{pmatrix}0\\1\\0\end{pmatrix} +$}; + +\node at (Ez) [right] {$\displaystyle +\, e_z = \tiny\begin{pmatrix}0\\0\\1\end{pmatrix} +$}; +} + +\coordinate (K) at (\Kx,3.2); +\coordinate (Kx) at (\Kx,\Lx); +\coordinate (Ky) at (\Kx,\Ly); +\coordinate (Kz) at (\Kx,\Lz); +\coordinate (Vx) at (\Kx,{\Lx-1}); +\coordinate (Vy) at (\Kx,{\Ly-1}); +\coordinate (Vz) at (\Kx,{\Lz-1}); + +\uncover<3->{ +\node at (K) [right] + {\usebeamercolor[fg]{title}Kommutator\strut}; + +\node at (Kx) [right] {$\displaystyle +\begin{aligned} +[U_y,U_z] &\uncover<4->{= +{\tiny +\begin{pmatrix} +0&0&0\\ +0&0&0\\ +0&1&0 +\end{pmatrix}} +\uncover<5->{\mathstrut- +\tiny +\begin{pmatrix} +0&0&0\\ +0&0&1\\ +0&0&0 +\end{pmatrix}}} +\uncover<6->{=U_x} +\end{aligned} +$}; +} + +\uncover<7->{ +\node at (Ky) [right] {$\displaystyle +\begin{aligned} +[U_z,U_x] &= +{\tiny +\begin{pmatrix} +0&0&1\\ +0&0&0\\ +0&0&0 +\end{pmatrix} +- +\begin{pmatrix} +0&0&0\\ +0&0&0\\ +1&0&0 +\end{pmatrix}} +=U_y +\end{aligned} +$}; +} + +\uncover<8->{ +\node at (Kz) [right] {$\displaystyle +\begin{aligned} +[U_x,U_y] &= +{\tiny +\begin{pmatrix} +0&0&0\\ +1&0&0\\ +0&0&0 +\end{pmatrix} +- +\begin{pmatrix} +0&1&0\\ +0&0&0\\ +0&0&0 +\end{pmatrix}} +=U_z +\end{aligned} +$}; +} + +\uncover<10->{ +\node at (Vx) [right] {$\displaystyle \phantom{]}e_y\times e_z = e_x$}; +} + +\uncover<11->{ +\node at (Vy) [right] {$\displaystyle \phantom{]}e_z\times e_x = e_y$}; +} + +\uncover<12->{ +\node at (Vz) [right] {$\displaystyle \phantom{]}e_x\times e_y = e_z$}; +} + +\end{tikzpicture} +\end{frame} +\egroup diff --git a/vorlesungen/slides/7/zusammenhang.tex b/vorlesungen/slides/7/zusammenhang.tex new file mode 100644 index 0000000..6a43cd8 --- /dev/null +++ b/vorlesungen/slides/7/zusammenhang.tex @@ -0,0 +1,99 @@ +% +% template.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Zusammenhang} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Zusammenhängend --- oder nicht} +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\def\ds{2.4} +\coordinate (A) at (0,0); +\coordinate (B) at (\ds,0); +\coordinate (C) at ({2*\ds},0); + +\node at (A) {$\operatorname{SO}(n)$}; +\node at (B) {$\operatorname{O}(n)$}; +\node at (C) {$\{\pm 1\}$}; + +\draw[->,shorten <= 0.6cm,shorten >= 0.5cm] (A) -- (B); +\draw[->,shorten <= 0.5cm,shorten >= 0.5cm] (B) -- (C); +\node at ($0.5*(B)+0.5*(C)$) [above] {$\det$}; + +\coordinate (A2) at (0,-1.0); +\coordinate (B2) at (\ds,-1.0); +\coordinate (C2) at ({2*\ds},-1.0); + +\draw[color=blue] (A2) ellipse (1cm and 0.3cm); +\draw[color=blue] (B2) ellipse (1cm and 0.3cm); +\node[color=blue] at (C2) {$+1$}; + +\coordinate (A3) at (0,-1.7); +\coordinate (B3) at (\ds,-1.7); +\coordinate (C3) at ({2*\ds},-1.7); + +\draw[->,shorten <= 1.1cm,shorten >= 0.3cm] (B2) -- (C2); +\draw[->,shorten <= 1.1cm,shorten >= 0.3cm] (B3) -- (C3); + +\draw[color=red] (B3) ellipse (1cm and 0.3cm); +\node[color=red] at (C3) {$-1$}; + +\end{tikzpicture} +\end{center} +\end{block} +\begin{block}{Zusammenhangskomponente von $e$} +$G_e\subset G$ grösste zusammenhängende Menge, die $e$ enthält: +\begin{align*} +\operatorname{SO}(n)&\subset \operatorname{O}(n) +\\ +\{A\in\operatorname{GL}_n(\mathbb{R})\,|\, \det A > 0\} + &\subset \operatorname{GL}_n(\mathbb{R}) +\end{align*} +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{Eigenschaften} +\begin{itemize} +\item +{\bf Untergruppe}: $\gamma_i(t)$ Weg von $e$ nach $g_i$, +dann ist +\begin{itemize} +\item +$\gamma_1(t)\gamma_2(t)$ ein Weg von $e$ nach $g_1g_2$ +\item +$\gamma_1(t)^{-1}$ Weg von $e$ nach $g_1^{-1}$ +\end{itemize} +\item +{\bf Normalteiler}: $\gamma(t)$ ein Weg von $e$ nach $g$, dann +ist $h\gamma(t)h^{-1}$ ein Weg von $h$ nach $hgh^{-1}$ +$\Rightarrow hG_eh^{-1}\subset G_e$ +\end{itemize} +\end{block} +\begin{block}{Quotient} +$G/G_e$ ist eine diskrete Gruppe +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\coordinate (A) at (0,0); +\coordinate (B) at (2,0); +\coordinate (C) at (4,0); +\node at (A) {$G_e$}; +\node at (B) {$G$}; +\node at (C) {$G/G_e$}; +\draw [->,shorten <= 0.3cm,shorten >= 0.3cm] (A) -- (B); +\draw [->,shorten <= 0.3cm,shorten >= 0.5cm] (B) -- (C); +\end{tikzpicture} +\end{center} +\vspace{-7pt} +$\Rightarrow$ $G_e$ und $G/G_e$ separat studieren +\end{block} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/Makefile.inc b/vorlesungen/slides/Makefile.inc index 0f5fa8c..a9d72be 100644 --- a/vorlesungen/slides/Makefile.inc +++ b/vorlesungen/slides/Makefile.inc @@ -9,6 +9,7 @@ include ../slides/2/Makefile.inc include ../slides/3/Makefile.inc include ../slides/4/Makefile.inc include ../slides/5/Makefile.inc +include ../slides/6/Makefile.inc include ../slides/7/Makefile.inc include ../slides/8/Makefile.inc include ../slides/9/Makefile.inc @@ -16,4 +17,5 @@ include ../slides/a/Makefile.inc slides = \ $(chapter0) $(chapter1) $(chapter2) $(chapter3) $(chapter4) \ - $(chapter5) $(chapter7) $(chapter8) $(chapter9) $(chaptera) + $(chapter5) $(chapter6) $(chapter7) $(chapter8) $(chapter9) \ + $(chaptera) diff --git a/vorlesungen/slides/slides.tex b/vorlesungen/slides/slides.tex index b606375..6c24e22 100644 --- a/vorlesungen/slides/slides.tex +++ b/vorlesungen/slides/slides.tex @@ -47,15 +47,15 @@ \titel \input{5/chapter.tex} -%\title[Permutationen]{Permutationen} -%\section{Permutationen} -%\titel -%\input{6/chapter.tex} +\title[Permutationen]{Permutationen} +\section{Permutationen} +\titel +\input{6/chapter.tex} -%\title[Matrizengruppen]{Matrizengruppen} -%\section{Matrizengruppen} -%\titel -%\input{7/chapter.tex} +\title[Matrizengruppen]{Matrizengruppen} +\section{Matrizengruppen} +\titel +\input{7/chapter.tex} \title[Graphen]{Graphen} \section{Graphen} @@ -67,10 +67,10 @@ \titel \input{9/chapter.tex} -%\title[Krypto]{Anwendungen in Kryptographie und Codierungstheorie} -%\section{Krypto} -%\titel -%\input{a/chapter.tex} +\title[Krypto]{Anwendungen in Kryptographie und Codierungstheorie} +\section{Krypto} +\titel +\input{a/chapter.tex} %\title[Homologie]{Homologie} %\section{Homologie} diff --git a/vorlesungen/slides/test.tex b/vorlesungen/slides/test.tex index 43da30a..56cd611 100644 --- a/vorlesungen/slides/test.tex +++ b/vorlesungen/slides/test.tex @@ -3,21 +3,5 @@ % % (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswil % - -%\folie{a/dc/prinzip.tex} -%\folie{a/dc/effizient.tex} -%\folie{a/dc/beispiel.tex} - -%\folie{a/ecc/gruppendh.tex} -%\folie{a/ecc/kurve.tex} -%\folie{a/ecc/inverse.tex} -%\folie{a/ecc/operation.tex} -%\folie{a/ecc/quadrieren.tex} -%\folie{a/ecc/oakley.tex} - -%\folie{a/aes/bytes.tex} -%\folie{a/aes/sinverse.tex} -%\folie{a/aes/blocks.tex} -\folie{a/aes/keys.tex} -%\folie{a/aes/runden.tex} +\folie{7/interpolation.tex} |
