diff options
| author | Reto <reto.fritsche@ost.ch> | 2021-04-24 14:11:30 +0200 |
|---|---|---|
| committer | Reto <reto.fritsche@ost.ch> | 2021-04-24 14:11:30 +0200 |
| commit | d1a34332748bad563209adafbf3a32f3b6ed8f87 (patch) | |
| tree | f4a6e7c4b71500aa588cf626d19439729a38824a /vorlesungen | |
| parent | added simple code example of mceliece cryptosystem (diff) | |
| parent | add title slides for presentations (diff) | |
| download | SeminarMatrizen-d1a34332748bad563209adafbf3a32f3b6ed8f87.tar.gz SeminarMatrizen-d1a34332748bad563209adafbf3a32f3b6ed8f87.zip | |
Merge remote-tracking branch 'upstream/master' into mceliece
Diffstat (limited to 'vorlesungen')
109 files changed, 4768 insertions, 44 deletions
diff --git a/vorlesungen/07_msecrypto/Makefile b/vorlesungen/07_msecrypto/Makefile new file mode 100644 index 0000000..5d4ecd0 --- /dev/null +++ b/vorlesungen/07_msecrypto/Makefile @@ -0,0 +1,33 @@ +# +# Makefile -- crypto +# +# (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +# +all: crypto-handout.pdf MathSemMSE-07-crypto.pdf + +include ../slides/Makefile.inc + +SOURCES = common.tex slides.tex $(slides) + +MathSemMSE-07-crypto.pdf: MathSemMSE-07-crypto.tex $(SOURCES) + pdflatex MathSemMSE-07-crypto.tex + +crypto-handout.pdf: crypto-handout.tex $(SOURCES) + pdflatex crypto-handout.tex + +thumbnail: thumbnail.jpg # fix1.jpg + +thumbnail.pdf: MathSemMSE-07-crypto.pdf + pdfjam --outfile thumbnail.pdf --papersize '{16cm,9cm}' \ + MathSemMSE-07-crypto.pdf 1 +thumbnail.jpg: thumbnail.pdf + convert -density 300 thumbnail.pdf \ + -resize 1920x1080 -units PixelsPerInch thumbnail.jpg + +fix1.pdf: MathSemMSE-07-crypto.pdf + pdfjam --outfile fix1.pdf --papersize '{16cm,9cm}' \ + MathSemMSE-07-crypto.pdf 1 +fix1.jpg: fix1.pdf + convert -density 300 fix1.pdf \ + -resize 1920x1080 -units PixelsPerInch fix1.jpg + diff --git a/vorlesungen/07_msecrypto/MathSemMSE-07-crypto.tex b/vorlesungen/07_msecrypto/MathSemMSE-07-crypto.tex new file mode 100644 index 0000000..179837b --- /dev/null +++ b/vorlesungen/07_msecrypto/MathSemMSE-07-crypto.tex @@ -0,0 +1,14 @@ +% +% MathSem-07-msecrypto.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/07_msecrypto/common.tex b/vorlesungen/07_msecrypto/common.tex new file mode 100644 index 0000000..0026619 --- /dev/null +++ b/vorlesungen/07_msecrypto/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[Crypto]{Endliche Körper und Kryptographie} +\author[A.~Müller]{Prof. Dr. Andreas Müller} +\date[]{} +\newboolean{presentation} + diff --git a/vorlesungen/07_msecrypto/crypto-handout.tex b/vorlesungen/07_msecrypto/crypto-handout.tex new file mode 100644 index 0000000..d42a260 --- /dev/null +++ b/vorlesungen/07_msecrypto/crypto-handout.tex @@ -0,0 +1,11 @@ +% +% msecrypto-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/07_msecrypto/slides.tex b/vorlesungen/07_msecrypto/slides.tex new file mode 100644 index 0000000..cb0c548 --- /dev/null +++ b/vorlesungen/07_msecrypto/slides.tex @@ -0,0 +1,43 @@ +% +% slides.tex -- Präsentation zur Kryptographie +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% +\section{Diffie-Hellmann} +\folie{4/dh.tex} + +\section{Divide and Conquer} +% Potenzieren +\folie{a/dc/prinzip.tex} +% effiziente Durchführung +\folie{a/dc/effizient.tex} +% Beispieldurchführung +\folie{a/dc/beispiel.tex} + +\section{Elliptische Kurven} +% Idee +\folie{a/ecc/gruppendh.tex} +% Was ist eine elliptische Kurve (char 0 Bild) +\folie{a/ecc/kurve.tex} +% Involution/Inverse +\folie{a/ecc/inverse.tex} +% Verknüpfung +\folie{a/ecc/operation.tex} +% Quadrieren +\folie{a/ecc/quadrieren.tex} +% Oakley Gruppe +\ifthenelse{\boolean{presentation}}{ +\folie{a/ecc/oakley.tex} +}{} + +\section{AES} +% Byte-Operationen +\folie{a/aes/bytes.tex} +\folie{a/aes/sinverse.tex} +% Block-Operationen +\folie{a/aes/blocks.tex} +% Key-Schedule +\folie{a/aes/keys.tex} +% Zusammensetzung +\folie{a/aes/runden.tex} + diff --git a/vorlesungen/08_dgl/Makefile b/vorlesungen/08_dgl/Makefile new file mode 100644 index 0000000..7a3960a --- /dev/null +++ b/vorlesungen/08_dgl/Makefile @@ -0,0 +1,46 @@ +# +# Makefile -- dgl +# +# (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +# +all: dgl-handout.pdf MathSem-08-dgl.pdf + +# SHELL = /bin/bash + +include ../slides/Makefile.inc + +SOURCES = common.tex slides.tex $(slides) +IMAGES = vektorfelder-1.pdf + + +MathSem-08-dgl.pdf: MathSem-08-dgl.tex $(SOURCES) $(IMAGES) + pdflatex --synctex=1 MathSem-08-dgl.tex > /dev/null + +dgl-handout.pdf: dgl-handout.tex $(SOURCES) $(IMAGES) + pdflatex dgl-handout.tex > /dev/null + +vektorfelder-1.pdf: ../slides/10/vektorfelder.mp + cd ../slides/10/; \ + TEX=latex mpost vektorfelder.mp; \ + for f in vektorfelder.[0-9]*; \ + do \ + mptopdf $${f} > /dev/null; \ + done; \ + rm -f vektorfelder.[0-9]* vektorfelder.log vektorfelder.mpx + +thumbnail: thumbnail.jpg # fix1.jpg + +thumbnail.pdf: MathSem-08-dgl.pdf + pdfjam --outfile thumbnail.pdf --papersize '{16cm,9cm}' \ + MathSem-08-dgl.pdf 1 +thumbnail.jpg: thumbnail.pdf + convert -density 300 thumbnail.pdf \ + -resize 1920x1080 -units PixelsPerInch thumbnail.jpg + +fix1.pdf: MathSem-08-dgl.pdf + pdfjam --outfile fix1.pdf --papersize '{16cm,9cm}' \ + MathSem-08-dgl.pdf 1 +fix1.jpg: fix1.pdf + convert -density 300 fix1.pdf \ + -resize 1920x1080 -units PixelsPerInch fix1.jpg + diff --git a/vorlesungen/08_dgl/MathSem-08-dgl.tex b/vorlesungen/08_dgl/MathSem-08-dgl.tex new file mode 100644 index 0000000..e4ece1b --- /dev/null +++ b/vorlesungen/08_dgl/MathSem-08-dgl.tex @@ -0,0 +1,35 @@ +% +% MathSem-08-dgl.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 + \vspace{-1.5cm} + \begin{columns} + \begin{column}{.48\textwidth} + \centering + \includegraphics[width=.7\linewidth]{../slides/10/vektorfelder-6.pdf} + \end{column} + \begin{column}{.48\textwidth} + \begin{align*} + x(t) + &= + \exp(At) x_0 + \\ + \exp(At) + &= + 1 + At + \frac{A^2t^2}{2} + \frac{A^3 t^3}{3!} + \ldots + \\ + &= + \lim_{n\to \infty} \left(1 + \frac{At}{n}\right)^n + \end{align*} + \end{column} + \end{columns} +\end{frame} +\input{slides.tex} +\end{document} diff --git a/vorlesungen/08_dgl/common.tex b/vorlesungen/08_dgl/common.tex new file mode 100644 index 0000000..fbf3ad9 --- /dev/null +++ b/vorlesungen/08_dgl/common.tex @@ -0,0 +1,27 @@ +% +% 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[DGL]{Differential-Gleichungen} +\author[R.~Seitz]{Roy Seitz} +\date[]{} +\newboolean{presentation} + +\newcommand{\gSL}[2]{\ensuremath{\text{SL}(#1, \mathbb{#2})}} +\newcommand{\gSO}[1]{\ensuremath{\text{SO}(#1)}} +\newcommand{\gGL}[2]{\ensuremath{\text{GL}(#1, \mathbb #2)}} + +\newcommand{\asl}[2]{\ensuremath{\mathfrak{sl}(#1, \mathbb{#2})}} +\newcommand{\aso}[1]{\ensuremath{\mathfrak{so}(#1)}} +\newcommand{\agl}[2]{\ensuremath{\mathfrak{gl}(#1, \mathbb #2)}} + +\DeclareMathOperator{\Spur}{Spur} + + diff --git a/vorlesungen/08_dgl/dgl-handout.tex b/vorlesungen/08_dgl/dgl-handout.tex new file mode 100644 index 0000000..2bd08a1 --- /dev/null +++ b/vorlesungen/08_dgl/dgl-handout.tex @@ -0,0 +1,11 @@ +% +% dgl-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_dgl/slides.tex b/vorlesungen/08_dgl/slides.tex new file mode 100644 index 0000000..029e1c7 --- /dev/null +++ b/vorlesungen/08_dgl/slides.tex @@ -0,0 +1,35 @@ +% +% slides.tex -- XXX +% +% (c) 2017 Prof Dr Andreas Müller, Hochschule Rapperswil +% + +% Wie findet man die Lösung von \dot x = Ax? +% Fall \dot x = ax +% Potenzreihenansatz -> exp(ax) x_0 + +%% Plan: +% 1. Tailor-Reihen p_n -> f +% 2. x' = ax => x = exp(ax) x_0 via Potenzreihe finden +% 3. n-Dim-skalar -> 1-Dim-Matrix +% 4. Analogie zur Vektor-Matrix-Form +% 5. exp(Ax) x_0 als Fluss +% 6. Strömungslinien = Pfade für Lie-Theorie, A lokal, exp(Ax) global +% 7. Beispiele so(2), Jordan-Block, vielleicht [0 1; 1 0] + +\section{Einführung} +\folie{10/intro.tex} +\section{Woher kommt $\exp(At)$?} +\subsection{Taylor-Reihen} +\folie{10/taylor.tex} +\folie{10/potenzreihenmethode.tex} +\subsection{Ableitung von $\exp(At)$} +\folie{10/ableitung-exp.tex} +\section{Lösen einer Matrix-DGL} +\folie{10/n-zu-1.tex} +\folie{10/matrix-dgl.tex} +\section{Lie-Gruppen und -Algebren} +\folie{10/repetition.tex} +\folie{10/so2.tex} +\section{Was bedeutet $\exp(At)$?} +\folie{10/vektorfelder.tex} 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..1ae259f --- /dev/null +++ b/vorlesungen/09_mseliegruppen/slides.tex @@ -0,0 +1,30 @@ +% +% 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 + +% XXX Hopf-Faserung für SO(2) -> SU(2) -> SO(3) + +% curled up dimensions in String theory + + +\section{Haar-Mass} +% Definition Haar-Mass +% Mittelung +% +% Méndez-Transformation + 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..0fceaff --- /dev/null +++ b/vorlesungen/10_mseliealgebra/slides.tex @@ -0,0 +1,21 @@ +% +% 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} +\folie{7/kommutator.tex} + +\section{Exponentialabbildung} +\folie{7/dg.tex} + +% LOG Reihe +% Interpolation +% Mittelung auf einer Lie-Gruppe +% Vektorprodukt als 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/common/packages.tex b/vorlesungen/common/packages.tex index d71438b..7e044ed 100644 --- a/vorlesungen/common/packages.tex +++ b/vorlesungen/common/packages.tex @@ -12,6 +12,7 @@ \usepackage{lmodern} \usepackage{amsmath} \usepackage{amssymb} +\usepackage{nccmath} \usepackage{mathtools} \usepackage{adjustbox} \usepackage{multimedia} diff --git a/vorlesungen/slides/10/ableitung-exp.tex b/vorlesungen/slides/10/ableitung-exp.tex new file mode 100644 index 0000000..10ce191 --- /dev/null +++ b/vorlesungen/slides/10/ableitung-exp.tex @@ -0,0 +1,60 @@ +% +% ableitung-exp.tex -- Ableitung von exp(x) +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Erstellt durch Roy Seitz +% +% !TeX spellcheck = de_CH +\bgroup +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + %\frametitle{Ableitung von $\exp(x)$} + %\vspace{-20pt} + \begin{columns}[t,onlytextwidth] + \begin{column}{0.48\textwidth} + \begin{block}{Ableitung von $\exp(at)$} + \begin{align*} + \frac{d}{dt} \exp(at) + &= + \frac{d}{dt} \sum_{k=0}^{\infty} a^k \frac{t^k}{k!} + \\ + &\uncover<2->{ + = \sum_{k=0}^{\infty} a^k\frac{kt^{k-1}}{k(k-1)!} + } + \\ + &\uncover<3->{ + = a \sum_{k=1}^{\infty} + a^{k-1}\frac{t^{k-1}}{(k-1)!} + } + \\ + &\uncover<4->{ + = a \exp(at) + } + \end{align*} + \end{block} + \end{column} + \begin{column}{0.48\textwidth} + \uncover<5->{ + \begin{block}{Ableitung von $\exp(At)$} + \begin{align*} + \frac{d}{dt} \exp(At) + &= + \frac{d}{dt} \sum_{k=0}^{\infty} A^k \frac{t^k}{k!} + \\ + &= + \sum_{k=0}^{\infty} A^k\frac{kt^{k-1}}{k(k-1)!} + \\ + &= + A \sum_{k=1}^{\infty} A^{k-1}\frac{t^{k-1}}{(k-1)!} + \\ + &= + A \exp(At) + \end{align*} + \end{block} + } + \end{column} + \end{columns} +\end{frame} + +\egroup diff --git a/vorlesungen/slides/10/intro.tex b/vorlesungen/slides/10/intro.tex new file mode 100644 index 0000000..276bf49 --- /dev/null +++ b/vorlesungen/slides/10/intro.tex @@ -0,0 +1,45 @@ +% +% intro.tex -- Repetition Lie-Gruppen und -Algebren +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Erstellt durch Roy Seitz +% +% !TeX spellcheck = de_CH +\bgroup + + + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} +% \frametitle{Repetition} +% \vspace{-20pt} + \begin{block}{Offene Fragen} + \begin{itemize}[<+->] + \item Woher kommt die Exponentialfunktion? + \begin{fleqn} + \[ + \exp(At) + = + 1 + + At + + A^2\frac{t^2}{2} + + A^3\frac{t^3}{3!} + + \ldots + \] + \end{fleqn} + \item Wie löst man eine Matrix-DGL? + \begin{fleqn} + \[ + \dot\gamma(t) = A\gamma(t), + \qquad + \gamma(t) \in G \subset M_n + \] + \end{fleqn} + \item Lie-Gruppen und Lie-Algebren + \item Was bedeutet $\exp(At)$? + \end{itemize} + \end{block} +\end{frame} + +\egroup diff --git a/vorlesungen/slides/10/matrix-dgl.tex b/vorlesungen/slides/10/matrix-dgl.tex new file mode 100644 index 0000000..ae68fb1 --- /dev/null +++ b/vorlesungen/slides/10/matrix-dgl.tex @@ -0,0 +1,83 @@ +% +% matrix-dgl.tex -- Matrix-Differentialgleichungen +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Erstellt durch Roy Seitz +% +% !TeX spellcheck = de_CH +\bgroup + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{1.~Ordnung mit Skalaren} + \vspace{-20pt} + \begin{columns}[t,onlytextwidth] + \begin{column}{0.48\textwidth} + \begin{block}{Aufgabe} + Sei $a, x(t), x_0 \in \mathbb R$, + \[ + \dot x(t) = ax(t), + \quad + x(0) = x_0 + \] + \end{block} + \begin{block}{Potenzreihen-Ansatz} + Sei $a_k \in \mathbb R$, + \[ + x(t) = a_0 + a_1t + a_2t^2 + a_3t^3 \ldots + \] + \end{block} + \end{column} + \begin{column}{0.48\textwidth} + \begin{block}{Lösung} + Einsetzen in DGL, Koeffizientenvergleich liefert + \[ x(t) = \exp(at) \, x_0, \] + wobei + \begin{align*} + \exp(at) + &= 1 + at + \frac{a^2t^2}{2} + \frac{a^3t^3}{3!} + \ldots \\ + &{\color{gray}(= e^{at}.)} + \end{align*} + \end{block} + \end{column} + \end{columns} +\end{frame} + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{1.~Ordnung mit Matrizen} + \vspace{-20pt} + \begin{columns}[t,onlytextwidth] + \begin{column}{0.48\textwidth} + \begin{block}{Aufgabe} + Sei $A \in M_n$, $x(t), x_0 \in \mathbb R^n$, + \[ + \dot x(t) = Ax(t), + \quad + x(0) = x_0 + \] + \end{block} + \begin{block}{Potenzreihen-Ansatz} + Sei $A_k \in \mathbb M_n$, + \[ + x(t) = A_0 + A_1t + A_2t^2 + A_3t^3 \ldots + \] + \end{block} + \end{column} + \begin{column}{0.48\textwidth} + \begin{block}{Lösung} + Einsetzen in DGL, Koeffizientenvergleich liefert + \[ x(t) = \exp(At) \, x_0, \] + wobei + \[ + \exp(At) + = 1 + At + \frac{A^2t^2}{2} + \frac{A^3t^3}{3!} + \ldots + \] + \end{block} + \end{column} + \end{columns} +\end{frame} + +\egroup diff --git a/vorlesungen/slides/10/n-zu-1.tex b/vorlesungen/slides/10/n-zu-1.tex new file mode 100644 index 0000000..09475ad --- /dev/null +++ b/vorlesungen/slides/10/n-zu-1.tex @@ -0,0 +1,63 @@ +% +% n-zu-1.tex -- Umwandlend einer DGL n-ter Ordnung in ein System 1. Ordnung +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Erstellt durch Roy Seitz +% +% !TeX spellcheck = de_CH +\bgroup +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + %\frametitle{Reicht $1.$ Ordnung?} + %\vspace{-20pt} + \begin{columns}[t,onlytextwidth] + \begin{column}{0.48\textwidth} + \uncover<1->{ + \begin{block}{Beispiel: DGL 3.~Ordnung} \vspace*{-1ex} + \begin{align*} + x^{(3)} + a_2 \ddot x + a_1 \dot x + a_0 x = 0 \\ + \Rightarrow + x^{(3)} = -a_2 \ddot x - a_1 \dot x - a_0 x + \end{align*} + \end{block} + } + \uncover<2->{ + \begin{block}{Ziel: Nur noch 1.~Ableitungen} + Einführen neuer Variablen: + \begin{align*} + x_0 &\coloneqq x & + x_1 &\coloneqq \dot x & + x_2 &\coloneqq \ddot x + \end{align*} + System von Gleichungen 1.~Ordnung + \begin{align*} + \dot x_0 &= x_1 \\ + \dot x_1 &= x_2 \\ + \dot x_2 &= -a_2 x_2 - a_1 x_1 - a_0 x_0 + \end{align*} + \end{block} + } + \end{column} + \uncover<3->{ + \begin{column}{0.48\textwidth} + \begin{block}{Als Vektor-Gleichung} \vspace*{-1ex} + \begin{align*} + \frac{d}{dt} + \begin{pmatrix} x_0 \\ x_1 \\ x_2 \end{pmatrix} + = \begin{pmatrix} + 0 & 1 & 0 \\ + 0 & 0 & 1 \\ + -a_0 & -a_1 & -a_2 + \end{pmatrix} + \begin{pmatrix} x_0 \\ x_1 \\ x_2 \end{pmatrix} + \end{align*} + + \uncover<4->{Geht für jede lineare Differentialgleichung!} + + \end{block} + \end{column} + } + \end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/10/potenzreihenmethode.tex b/vorlesungen/slides/10/potenzreihenmethode.tex new file mode 100644 index 0000000..1715134 --- /dev/null +++ b/vorlesungen/slides/10/potenzreihenmethode.tex @@ -0,0 +1,91 @@ +% +% potenzreihenmethode.tex +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Bearbeitet durch Roy Seitz +% +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Potenzreihenmethode} +\vspace{-15pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Lineare Differentialgleichung} +\begin{align*} +x'&=ax&&\Rightarrow&x'-ax&=0 +\\ +x(0)&=C +\end{align*} +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<2->{% +\begin{block}{Potenzreihenansatz} +\begin{align*} +x(t) +&= +a_0+ a_1t + a_2t^2 + \dots +\\ +x(0)&=a_0=C +\end{align*} +\end{block}} +\end{column} +\end{columns} +\uncover<3->{% +\begin{block}{Lösung} +\[ +\arraycolsep=1.4pt +\begin{array}{rcrcrcrcrcr} +\uncover<3->{ x'(t)} + \uncover<5->{ + &=&\phantom{(} a_1\phantom{\mathstrut-aa_0)} + &+& 2a_2\phantom{\mathstrut-aa_1)}t + &+& 3a_3\phantom{\mathstrut-aa_2)}t^2 + &+& 4a_4\phantom{\mathstrut-aa_3)}t^3 + &+& \dots}\\ +\uncover<3->{-ax(t)} + \uncover<6->{ + &=&\mathstrut-aa_0 \phantom{)} + &-& aa_1\phantom{)}t + &-& aa_2\phantom{)}t^2 + &-& aa_3\phantom{)}t^3 + &-& \dots}\\[2pt] +\hline +\\[-10pt] +\uncover<3->{0} + \uncover<7->{ + &=&(a_1-aa_0) + &+& (2a_2-aa_1)t + &+& (3a_3-aa_2)t^2 + &+& (4a_4-aa_3)t^3 + &+& \dots}\\ +\end{array} +\] +\begin{align*} +\uncover<4->{ +a_0&=C}\uncover<8->{, +\quad +a_1=aa_0=aC}\uncover<9->{, +\quad +a_2=\frac12a^2C}\uncover<10->{, +\quad +a_3=\frac16a^3C}\uncover<11->{, +\ldots, +a_k=\frac1{k!}a^kC} +\hspace{3cm} +\\ +\uncover<4->{ +\Rightarrow x(t) &= C}\uncover<8->{+Cat}\uncover<9->{ + C\frac12(at)^2} +\uncover<10->{ + C \frac16(at)^3} +\uncover<11->{ + \dots+C\frac{1}{k!}(at)^k+\dots} +\ifthenelse{\boolean{presentation}}{ +\only<12>{ += +C\sum_{k=0}^\infty \frac{(at)^k}{k!}} +}{} +\uncover<13->{= +C\exp(at)} +\end{align*} +\end{block}} +\end{frame} diff --git a/vorlesungen/slides/10/repetition.tex b/vorlesungen/slides/10/repetition.tex new file mode 100644 index 0000000..7c007ca --- /dev/null +++ b/vorlesungen/slides/10/repetition.tex @@ -0,0 +1,119 @@ +% +% repetition.tex -- Repetition Lie-Gruppen und -Algebren +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Erstellt durch Roy Seitz +% +% !TeX spellcheck = de_CH +\bgroup + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{Repetition} + \vspace{-20pt} + \begin{columns}[t,onlytextwidth] + \begin{column}{0.48\textwidth} + \uncover<1->{ + \begin{block}{Lie-Gruppe} + Kontinuierliche Matrix-Gruppe $G$ mit bestimmter Eigenschaft + \end{block} + } + \uncover<3->{ + \begin{block}{Ein-Parameter-Untergruppe} + Darstellung der Lie-Gruppe $G$: + \[ + \gamma \colon \mathbb R \to G + : \quad + t \mapsto \gamma(t), + \] + so dass + \[ \gamma(s + t) = \gamma(t) \gamma(s). \] + \end{block} + } + \end{column} + \begin{column}{0.48\textwidth} + \uncover<2->{ + \begin{block}{Beispiel} + Volumen-erhaltende Abbildungen: + \[ \gSL2R= \{A \in M_2 \,|\, \det(A) = 1\} .\] + \begin{align*} + \uncover<4->{ \gamma_x(t) } + & + \uncover<4->{= \begin{pmatrix} 1 & t \\ 0 & 1 \end{pmatrix} } + \\ + \uncover<5->{ \gamma_y(t) } + & + \uncover<5->{= \begin{pmatrix} 1 & 0 \\ t & 1 \end{pmatrix} } + \\ + \uncover<6->{ \gamma_h(t)} + & + \uncover<6->{= \begin{pmatrix} e^t & 0 \\ 0 & e^{-t} \end{pmatrix} } + \end{align*} + \end{block} + } + \end{column} + \end{columns} +\end{frame} + + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{Repetition} + \vspace{-20pt} + \begin{columns}[t,onlytextwidth] + \begin{column}{0.48\textwidth} + \uncover<1->{ + \begin{block}{Lie-Algebra aus Lie-Gruppe} + Ableitungen der Ein-Parameter-Untergruppen: + \begin{align*} + G &\to \mathcal A \\ + \gamma &\mapsto \dot\gamma(0) + \end{align*} + \uncover<3->{ + Lie-Klammer als Produkt: + \[ [A, B] = AB - BA \in \mathcal A \] + } + \end{block} + } + \uncover<7->{\vspace*{-4ex} + \begin{block}{Lie-Gruppe aus Lie-Algebra} + Lösung der Differentialgleichung: + \[ + \dot\gamma(t) = A\gamma(t) + \quad \text{mit} \quad + A = \dot\gamma(0) + \] + \[ + \Rightarrow \gamma(t) = \exp(At) + \] + \end{block} + } + \end{column} + \begin{column}{0.48\textwidth} + \uncover<2->{ + \begin{block}{Beispiel} + Lie-Algebra von \gSL2R: + \[ \asl2R = \{ A \in M_2 \,|\, \Spur(A) = 0 \} \] + \end{block} + } + \begin{align*} + \uncover<4->{ X(t) } + & + \uncover<4->{= \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} } + \\ + \uncover<5->{ Y(t) } + & + \uncover<5->{= \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} } + \\ + \uncover<6->{ H(t) } + & + \uncover<6->{= \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} } + \end{align*} + + \end{column} + \end{columns} +\end{frame} + +\egroup diff --git a/vorlesungen/slides/10/so2.tex b/vorlesungen/slides/10/so2.tex new file mode 100644 index 0000000..dcbcdc8 --- /dev/null +++ b/vorlesungen/slides/10/so2.tex @@ -0,0 +1,141 @@ +% +% so2.tex -- Illustration of so(2) -> SO(2) +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Erstellt durch Roy Seitz +% +% !TeX spellcheck = de_CH +\bgroup + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{Von der Lie-Gruppe zur -Algebra} + \vspace{-20pt} + \begin{columns}[t,onlytextwidth] + \begin{column}{0.48\textwidth} + \uncover<1->{ + \begin{block}{Lie-Gruppe} + Darstellung von \gSO2: + \begin{align*} + \mathbb R + &\to + \gSO2 + \\ + t + &\mapsto + \begin{pmatrix} + \cos t & -\sin t \\ + \sin t & \phantom-\cos t + \end{pmatrix} + \end{align*} + \end{block} + } + \uncover<2->{ + \begin{block}{Ableitung am neutralen Element} + \begin{align*} + \frac{d}{d t} + & + \left. + \begin{pmatrix} + \cos t & -\sin t \\ + \sin t & \phantom-\cos t + \end{pmatrix} + \right|_{ t = 0} + \\ + = + & + \begin{pmatrix} -\sin0 & -\cos0 \\ \phantom-\cos0 & -\sin0 \end{pmatrix} + = + \begin{pmatrix} 0 & -1 \\ 1 & \phantom-0 \end{pmatrix} + \end{align*} + \end{block} + } + \end{column} + \begin{column}{0.48\textwidth} + \uncover<3->{ + \begin{block}{Lie-Algebra} + Darstellung von \aso2: + \begin{align*} + \mathbb R + &\to + \aso2 + \\ + t + &\mapsto + \begin{pmatrix} + 0 & -t \\ + t & \phantom-0 + \end{pmatrix} + \end{align*} + \end{block} + } + \end{column} + \end{columns} +\end{frame} + + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{Von der Lie-Algebra zur -Gruppe} + \vspace{-20pt} + \begin{columns}[t,onlytextwidth] + \begin{column}{0.48\textwidth} + \uncover<1->{ + \begin{block}{Differentialgleichung} + Gegeben: + \[ + J + = + \dot\gamma(0) = \begin{pmatrix} 0 & -1 \\ 1 & \phantom-0 \end{pmatrix} + \] + Gesucht: + \[ \dot \gamma (t) = J \gamma(t) \qquad \gamma \in \gSO2 \] + \[ \Rightarrow \gamma(t) = \exp(Jt) \gamma(0) = \exp(Jt) \] + \end{block} + } + \end{column} + \begin{column}{0.48\textwidth} + \uncover<2->{ + \begin{block}{Lie-Algebra} + Potenzen von $J$: + \begin{align*} + J^2 &= -I & + J^3 &= -J & + J^4 &= I & + \ldots + \end{align*} + \end{block} + } + \end{column} + \end{columns} +\uncover<3->{ + Folglich: + \begin{align*} + \exp(Jt) + &= I + Jt + + J^2\frac{t^2}{2!} + + J^3\frac{t^3}{3!} + + J^4\frac{t^4}{4!} + + J^5\frac{t^5}{5!} + + \ldots \\ + &= \begin{pmatrix} + \vspace*{3pt} + 1 - \frac{t^2}{2} + \frac{t^4}{4!} - \ldots + & + -t + \frac{t^3}{3!} - \frac{t^5}{5!} + \ldots + \\ + t - \frac{t^3}{3!} + \frac{t^5}{5!} - \ldots + & + 1 - \frac{t^2}{2!} + \frac{t^4}{4!} - \ldots + \end{pmatrix} + = + \begin{pmatrix} + \cos t & -\sin t \\ + \sin t & \phantom-\cos t + \end{pmatrix} + \end{align*} + } +\end{frame} +\egroup diff --git a/vorlesungen/slides/10/taylor.tex b/vorlesungen/slides/10/taylor.tex new file mode 100644 index 0000000..8c71965 --- /dev/null +++ b/vorlesungen/slides/10/taylor.tex @@ -0,0 +1,216 @@ +% +% taylor.tex -- Repetition Taylot-Reihen +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Erstellt durch Roy Seitz +% +% !TeX spellcheck = de_CH +\bgroup + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{Beispiel $\sin(x)$} + \ifthenelse{\boolean{presentation}}{\vspace{-20pt}}{\vspace{-8pt}} + \begin{block}{Taylor-Approximationen von $\sin(x)$} + \begin{align*} + p_{ + \only<1>{0} + \only<2>{1} + \only<3>{2} + \only<4>{3} + \only<5>{4} + \only<6>{5} + \only<7->{n} + }(x) + &= + \uncover<1->{0} + \uncover<2->{+ x} + \uncover<3->{+ 0 \frac{x^2}{2!}} + \uncover<4->{- 1 \frac{x^3}{3!}} + \uncover<5->{+ 0 \frac{x^4}{4!}} + \uncover<6->{+ 1 \frac{x^5}{5!}} + \uncover<7->{+ \ldots} + \uncover<8->{ + = \sum_{k=0}^{n/2} (-1)^{2k + 1}\frac{x^{2k+1}}{(2k+1)!} + } + \end{align*} + \end{block} + \begin{center} + \begin{tikzpicture}[>=latex,thick,scale=1.3] + \draw[->] (-5.0, 0.0) -- (5.0,0.0) coordinate[label=$x$]; + \draw[->] ( 0.0,-1.5) -- (0.0,1.5); + \clip (-5,-1.5) rectangle (5,1.5); + \draw[domain=-4:4, samples=50, smooth, blue] + plot ({\x}, {sin(180/3.1415968*\x)}) + node[above right] {$\sin(x)$}; + \uncover<1|handout:0>{ + \draw[domain=-4:4, samples=2, smooth, red] + plot ({\x}, {0}) + node[above right] {$p_0(x)$};} + \uncover<2|handout:0>{ + \draw[domain=-1.5:1.5, samples=2, smooth, red] + plot ({\x}, {\x}) + node[below right] {$p_1(x)$};} + \uncover<3|handout:0>{ + \draw[domain=-1.5:1.5, samples=2, smooth, red] + plot ({\x}, {\x}) + node[below right] {$p_2(x)$};} + \uncover<4>{ + \draw[domain=-3:3, samples=50, smooth, red] + plot ({\x}, {\x - \x*\x*\x/6}) + node[above right] {$p_3(x)$};} + \uncover<5|handout:0>{ + \draw[domain=-3:3, samples=50, smooth, red] + plot ({\x}, {\x - \x*\x*\x/6}) + node[above right] {$p_4(x)$};} + \uncover<6|handout:0>{ + \draw[domain=-3.9:3.9, samples=50, smooth, red] + plot ({\x}, {\x - \x*\x*\x/6 + \x*\x*\x*\x*\x/120}) + node[below right] {$p_5(x)$};} + \uncover<7|handout:0>{ + \draw[domain=-3.9:3.9, samples=50, smooth, red] + plot ({\x}, {\x - \x*\x*\x/6 + \x*\x*\x*\x*\x/120}) + node[below right] {$p_6(x)$};} + \uncover<8-|handout:0>{ + \draw[domain=-4:4, samples=50, smooth, red] + plot ({\x}, {\x - \x*\x*\x/6 + \x*\x*\x*\x*\x/120 - + \x*\x*\x*\x*\x*\x*\x/5040}) + node[above right] {$p_7(x)$};} + \end{tikzpicture} + \end{center} +\end{frame} + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{Taylor-Reihen} + \ifthenelse{\boolean{presentation}}{\vspace{-20pt}}{\vspace{-8pt}} + \begin{block}{Polynom-Approximationen von $f(t)$} + \begin{align*} + p_n(t) + &= + f(0) + \uncover<2->{ + f' (0) t } + \uncover<3->{ + f''(0)\frac{t^2}{2} } + \uncover<4->{ + \ldots + f^{(n)}(0) \frac{t^n}{n!} } + \uncover<5->{ = \sum_{k=0}^{n} f^{(k)} \frac{t^k}{k!} } + \end{align*} + \end{block} + \uncover<6->{ + \begin{block}{Erste $n$ Ableitungen von $f(0)$ und $p_n(0)$ sind gleich!}} + \begin{align*} + \uncover<6->{ p'_n(t) } + & + \uncover<7->{ + = f'(0) + + f''(0)t + + \mathcal O(t^2) + } + &\uncover<8->{\Rightarrow}&& + \uncover<8->{p'_n(0) = f'(0)} + \\ + \uncover<9->{ p''_n(t) } + & + \uncover<10->{ + = f''(0) + + \mathcal O(t) + } + &\uncover<11->{\Rightarrow}&& + \uncover<11->{ p''_n(0) = f''(0) } + \end{align*} + \end{block} + \uncover<12->{ + \begin{block}{Für alle praktisch relevanten Funktionen $f(t)$ gilt:} + \begin{align*} + \lim_{n\to \infty} p_n(t) + = + f(t) + \end{align*} + \end{block} + } +\end{frame} + + +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{Beispiel $e^t$} + \ifthenelse{\boolean{presentation}}{\vspace{-20pt}}{\vspace{-8pt}} + \begin{block}{Taylor-Approximationen von $e^{at}$} + \begin{align*} + p_{ + \only<1>{0} + \only<2>{1} + \only<3>{2} + \only<4>{3} + \only<5>{4} + \only<6>{5} + \only<7->{n} + }(t) + &= + 1 + \uncover<2->{+ a t} + \uncover<3->{+ a^2 \frac{t^2}{2}} + \uncover<4->{+ a^3 \frac{t^3}{3!}} + \uncover<5->{+ a^4 \frac{t^4}{4!}} + \uncover<6->{+ a^5 \frac{t^5}{5!}} + \uncover<7->{+ a^6 \frac{t^6}{6!}} + \uncover<8->{+ \ldots + = \sum_{k=0}^{n} a^k \frac{t^k}{k!}} + \\ + & + \uncover<9->{= \exp(at)} + \end{align*} + \end{block} + \begin{center} + \begin{tikzpicture}[>=latex,thick,scale=1.3] + \draw[->] (-4.0, 0.0) -- (4.0,0.0) coordinate[label=$t$]; + \draw[->] ( 0.0,-0.5) -- (0.0,2.5); + \clip (-3,-0.5) rectangle (3,2.5); + \draw[domain=-4:1, samples=50, smooth, blue] + plot ({\x}, {exp(\x)}) + node[above right] {$\exp(t)$}; + \uncover<1|handout:0>{ + \draw[domain=-4:4, samples=12, smooth, red] + plot ({\x}, {1}) + node[below right] {$p_0(t)$};} + \uncover<2|handout:0>{ + \draw[domain=-4:1.5, samples=10, smooth, red] + plot ({\x}, {1 + \x}) + node[below right] {$p_1(t)$};} + \uncover<3|handout:0>{ + \draw[domain=-4:1, samples=50, smooth, red] + plot ({\x}, {1 + \x + \x*\x/2}) + node[below right] {$p_2(t)$};} + \uncover<4>{ + \draw[domain=-4:1, samples=50, smooth, red] + plot ({\x}, {1 + \x + \x*\x/2 + \x*\x*\x/6}) + node[below right] {$p_3(t)$};} + \uncover<5|handout:0>{ + \draw[domain=-4:0.9, samples=50, smooth, red] + plot ({\x}, {1 + \x + \x*\x/2 + \x*\x*\x/6 + \x*\x*\x*\x/24}) + node[below left] {$p_4(t)$};} + \uncover<6|handout:0>{ + \draw[domain=-4:0.9, samples=50, smooth, red] + plot ({\x}, {1 + \x + \x*\x/2 + \x*\x*\x/6 + \x*\x*\x*\x/24 + + \x*\x*\x*\x*\x/120}) + node[below left] {$p_5(t)$};} + \uncover<7|handout:0>{ + \draw[domain=-4:0.9, samples=50, smooth, red] + plot ({\x}, {1 + \x + \x*\x/2 + \x*\x*\x/6 + \x*\x*\x*\x/24 + + \x*\x*\x*\x*\x/120 + + \x*\x*\x*\x*\x*\x/720}) + node[below left] {$p_6(t)$};} + \uncover<8-|handout:0>{ + \draw[domain=-4:0.9, samples=50, smooth, red] + plot ({\x}, {1 + \x + \x*\x/2 + \x*\x*\x/6 + \x*\x*\x*\x/24 + + \x*\x*\x*\x*\x/120 + + \x*\x*\x*\x*\x*\x/720 + + \x*\x*\x*\x*\x*\x*\x/5040}) + node[below left] {$p_7(t)$};} + \end{tikzpicture} + \end{center} +\end{frame} + +\egroup diff --git a/vorlesungen/slides/10/template.tex b/vorlesungen/slides/10/template.tex new file mode 100644 index 0000000..50f0a3b --- /dev/null +++ b/vorlesungen/slides/10/template.tex @@ -0,0 +1,21 @@ +% +% template.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Erstellt durch Roy Seitz +% +% !TeX spellcheck = de_CH +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Template} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\end{column} +\begin{column}{0.48\textwidth} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/10/vektorfelder.mp b/vorlesungen/slides/10/vektorfelder.mp new file mode 100644 index 0000000..e63b2d5 --- /dev/null +++ b/vorlesungen/slides/10/vektorfelder.mp @@ -0,0 +1,361 @@ +% +% Stroemungsfelder linearer Differentialgleichungen +% +% (c) 2015 Prof Dr Andreas Mueller, Hochschule Rapperswil +% 2021-04-14, Roy Seitz, Copied for SeminarMatrizen +% +verbatimtex +\documentclass{book} +\usepackage{times} +\usepackage{amsmath} +\usepackage{amssymb} +\usepackage{amsfonts} +\usepackage{txfonts} +\begin{document} +etex; + +input TEX; + +TEXPRE("%&latex" & char(10) & +"\documentclass{book}" & +"\usepackage{times}" & +"\usepackage{amsmath}" & +"\usepackage{amssymb}" & +"\usepackage{amsfonts}" & +"\usepackage{txfonts}" & +"\begin{document}"); +TEXPOST("\end{document}"); + +% +% Vektorfeld in der Ebene mit Lösungskurve +% so(2) +% +beginfig(1) + +% Scaling parameter +numeric unit; +unit := 150; + +% Some points +z1 = (-1.5, 0) * unit; +z2 = ( 1.5, 0) * unit; +z3 = ( 0, -1.5) * unit; +z4 = ( 0, 1.5) * unit; + +pickup pencircle scaled 1pt; +drawarrow (z1 shifted (-10,0))--(z2 shifted (10,0)); +drawarrow (z3 shifted (0,-10))--(z4 shifted (0,10)); +label.top(btex $x_1$ etex, z2 shifted (10,0)); +label.rt(btex $x_2$ etex, z4 shifted (0,10)); + +% % Draw circles +% for x = 0.2 step 0.2 until 1.4: +% path p; +% p = (x,0); +% for a = 5 step 5 until 355: +% p := p--(x*cosd(a), x*sind(a)); +% endfor; +% p := p--cycle; +% pickup pencircle scaled 1pt; +% draw p scaled unit withcolor red; +% endfor; + +% Define DGL +def dglField(expr x, y) = + %(-0.5 * (x + y), -0.5 * (y - x)) + (-y, x) +enddef; + +pair A; +A := (1, 0); +draw A scaled unit withpen pencircle scaled 8bp withcolor red; + +% Draw arrows for each grid point +pickup pencircle scaled 0.5pt; +for x = -1.5 step 0.1 until 1.55: + for y = -1.5 step 0.1 until 1.55: + drawarrow ((x, y) * unit) + --(((x,y) * unit) shifted (8 * dglField(x,y))) + withcolor blue; + endfor; +endfor; + +endfig; + +% +% Vektorfeld in der Ebene mit Lösungskurve +% Euler(1) +% +beginfig(2) + +numeric unit; +unit := 150; + +z0 = ( 0, 0); +z1 = (-1.5, 0) * unit; +z2 = ( 1.5, 0) * unit; +z3 = ( 0, -1.5) * unit; +z4 = ( 0, 1.5) * unit; + +pickup pencircle scaled 1pt; +drawarrow (z1 shifted (-10,0))--(z2 shifted (10,0)); +drawarrow (z3 shifted (0,-10))--(z4 shifted (0,10)); +label.top(btex $x_1$ etex, z2 shifted (10,0)); +label.rt(btex $x_2$ etex, z4 shifted (0,10)); + +def dglField(expr x, y) = + (-y, x) +enddef; + +def dglFieldp(expr z) = + dglField(xpart z, ypart z) +enddef; + +def curve(expr z, l, s) = + path p; + p := z; + for t = 0 step 1 until l: + p := p--((point (length p) of p) shifted (s * dglFieldp(point (length p) of p))); + endfor; + draw p scaled unit withcolor red; +enddef; + +pair A; +A := (1, 0); +draw A scaled unit withpen pencircle scaled 8bp withcolor red; +curve(A, 0, 1); + +% Draw arrows for each grid point +pickup pencircle scaled 0.5pt; +for x = -1.5 step 0.1 until 1.55: + for y = -1.5 step 0.1 until 1.55: + drawarrow ((x, y) * unit) + --(((x,y) * unit) shifted (8 * dglField(x,y))) + withcolor blue; + endfor; +endfor; + +endfig; + +% +% Vektorfeld in der Ebene mit Lösungskurve +% Euler(2) +% +beginfig(3) + +numeric unit; +unit := 150; + +z0 = ( 0, 0); +z1 = (-1.5, 0) * unit; +z2 = ( 1.5, 0) * unit; +z3 = ( 0, -1.5) * unit; +z4 = ( 0, 1.5) * unit; + +pickup pencircle scaled 1pt; +drawarrow (z1 shifted (-10,0))--(z2 shifted (10,0)); +drawarrow (z3 shifted (0,-10))--(z4 shifted (0,10)); +label.top(btex $x_1$ etex, z2 shifted (10,0)); +label.rt(btex $x_2$ etex, z4 shifted (0,10)); + +def dglField(expr x, y) = + (-y, x) +enddef; + +def dglFieldp(expr z) = + dglField(xpart z, ypart z) +enddef; + +def curve(expr z, l, s) = + path p; + p := z; + for t = 0 step 1 until l: + p := p--((point (length p) of p) shifted (s * dglFieldp(point (length p) of p))); + endfor; + draw p scaled unit withcolor red; +enddef; + +pair A; +A := (1, 0); +draw A scaled unit withpen pencircle scaled 8bp withcolor red; +curve(A, 1, 0.5); + +% Draw arrows for each grid point +pickup pencircle scaled 0.5pt; +for x = -1.5 step 0.1 until 1.55: + for y = -1.5 step 0.1 until 1.55: + drawarrow ((x, y) * unit) + --(((x,y) * unit) shifted (8 * dglField(x,y))) + withcolor blue; + endfor; +endfor; + +endfig; + +% +% Vektorfeld in der Ebene mit Lösungskurve +% Euler(3) +% +beginfig(4) + +numeric unit; +unit := 150; + +z0 = ( 0, 0); +z1 = (-1.5, 0) * unit; +z2 = ( 1.5, 0) * unit; +z3 = ( 0, -1.5) * unit; +z4 = ( 0, 1.5) * unit; + +pickup pencircle scaled 1pt; +drawarrow (z1 shifted (-10,0))--(z2 shifted (10,0)); +drawarrow (z3 shifted (0,-10))--(z4 shifted (0,10)); +label.top(btex $x_1$ etex, z2 shifted (10,0)); +label.rt(btex $x_2$ etex, z4 shifted (0,10)); + +def dglField(expr x, y) = + (-y, x) +enddef; + +def dglFieldp(expr z) = + dglField(xpart z, ypart z) +enddef; + +def curve(expr z, l, s) = + path p; + p := z; + for t = 0 step 1 until l: + p := p--((point (length p) of p) shifted (s * dglFieldp(point (length p) of p))); + endfor; + draw p scaled unit withcolor red; +enddef; + +pair A; +A := (1, 0); +draw A scaled unit withpen pencircle scaled 8bp withcolor red; +curve(A, 3, 0.25); + +% Draw arrows for each grid point +pickup pencircle scaled 0.5pt; +for x = -1.5 step 0.1 until 1.55: + for y = -1.5 step 0.1 until 1.55: + drawarrow ((x, y) * unit) + --(((x,y) * unit) shifted (8 * dglField(x,y))) + withcolor blue; + endfor; +endfor; + +endfig; + +% +% Vektorfeld in der Ebene mit Lösungskurve +% Euler(4) +% +beginfig(5) + +numeric unit; +unit := 150; + +z0 = ( 0, 0); +z1 = (-1.5, 0) * unit; +z2 = ( 1.5, 0) * unit; +z3 = ( 0, -1.5) * unit; +z4 = ( 0, 1.5) * unit; + +pickup pencircle scaled 1pt; +drawarrow (z1 shifted (-10,0))--(z2 shifted (10,0)); +drawarrow (z3 shifted (0,-10))--(z4 shifted (0,10)); +label.top(btex $x_1$ etex, z2 shifted (10,0)); +label.rt(btex $x_2$ etex, z4 shifted (0,10)); + +def dglField(expr x, y) = + (-y, x) +enddef; + +def dglFieldp(expr z) = + dglField(xpart z, ypart z) +enddef; + +def curve(expr z, l, s) = + path p; + p := z; + for t = 0 step 1 until l: + p := p--((point (length p) of p) shifted (s * dglFieldp(point (length p) of p))); + endfor; + draw p scaled unit withcolor red; +enddef; + +pair A; +A := (1, 0); +draw A scaled unit withpen pencircle scaled 8bp withcolor red; +curve(A, 7, 0.125); + +% Draw arrows for each grid point +pickup pencircle scaled 0.5pt; +for x = -1.5 step 0.1 until 1.55: + for y = -1.5 step 0.1 until 1.55: + drawarrow ((x, y) * unit) + --(((x,y) * unit) shifted (8 * dglField(x,y))) + withcolor blue; + endfor; +endfor; + +endfig; + +% +% Vektorfeld in der Ebene mit Lösungskurve +% Euler(5) +% +beginfig(6) + +numeric unit; +unit := 150; + +z0 = ( 0, 0); +z1 = (-1.5, 0) * unit; +z2 = ( 1.5, 0) * unit; +z3 = ( 0, -1.5) * unit; +z4 = ( 0, 1.5) * unit; + +pickup pencircle scaled 1pt; +drawarrow (z1 shifted (-10,0))--(z2 shifted (10,0)); +drawarrow (z3 shifted (0,-10))--(z4 shifted (0,10)); +label.top(btex $x_1$ etex, z2 shifted (10,0)); +label.rt(btex $x_2$ etex, z4 shifted (0,10)); + +def dglField(expr x, y) = + (-y, x) +enddef; + +def dglFieldp(expr z) = + dglField(xpart z, ypart z) +enddef; + +def curve(expr z, l, s) = + path p; + p := z; + for t = 0 step 1 until l: + p := p--((point (length p) of p) shifted (s * dglFieldp(point (length p) of p))); + endfor; + draw p scaled unit withcolor red; +enddef; + +pair A; +A := (1, 0); +draw A scaled unit withpen pencircle scaled 8bp withcolor red; +curve(A, 99, 0.01); + +% Draw arrows for each grid point +pickup pencircle scaled 0.5pt; +for x = -1.5 step 0.1 until 1.55: + for y = -1.5 step 0.1 until 1.55: + drawarrow ((x, y) * unit) + --(((x,y) * unit) shifted (8 * dglField(x,y))) + withcolor blue; + endfor; +endfor; + +endfig; + + +end; diff --git a/vorlesungen/slides/10/vektorfelder.tex b/vorlesungen/slides/10/vektorfelder.tex new file mode 100644 index 0000000..3ba7cda --- /dev/null +++ b/vorlesungen/slides/10/vektorfelder.tex @@ -0,0 +1,82 @@ +% +% iterativ.tex -- Iterative Approximation in \dot x = J x +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% Erstellt durch Roy Seitz +% +% !TeX spellcheck = de_CH +\bgroup +\begin{frame}[t] + \setlength{\abovedisplayskip}{5pt} + \setlength{\belowdisplayskip}{5pt} + \frametitle{Als Strömungsfeld} + \vspace{-20pt} + \begin{columns}[t,onlytextwidth] + \begin{column}{0.48\textwidth} + \vfil + \only<1|handout:0>{ + \includegraphics[width=\linewidth,keepaspectratio] + {../slides/10/vektorfelder-1.pdf} + } + \only<2|handout:0>{ + \includegraphics[width=\linewidth,keepaspectratio] + {../slides/10/vektorfelder-2.pdf} + } + \only<3>{ + \includegraphics[width=\linewidth,keepaspectratio] + {../slides/10/vektorfelder-3.pdf} + } + \only<4|handout:0>{ + \includegraphics[width=\linewidth,keepaspectratio] + {../slides/10/vektorfelder-4.pdf} + } + \only<5|handout:0>{ + \includegraphics[width=\linewidth,keepaspectratio] + {../slides/10/vektorfelder-5.pdf} + } + \only<6-|handout:0>{ + \includegraphics[width=\linewidth,keepaspectratio] + {../slides/10/vektorfelder-6.pdf} + } + \vfil + \end{column} + \begin{column}{0.48\textwidth} + \begin{block}{Differentialgleichung} + \[ + \dot x(t) = J x(t) + \quad + J = \begin{pmatrix} 0 & -1 \\ 1 & \phantom-0 \end{pmatrix} + \quad + x_0 = \begin{pmatrix} 1 \\ 0 \end{pmatrix} + \] + \end{block} + + \only<2|handout:0>{ + Nach einem Schritt der Länge $t$: + \[ + x(t) = x_0 + \dot x t = x_0 + Jx_0t = (1 + Jt)x_0 + \] + } + + \only<3|handout:0>{ + Nach zwei Schritten der Länge $t/2$: + \[ + x(t) = \left(1 + \frac{Jt}{2}\right)^2x_0 + \] + } + + \only<4->{ + Nach n Schritten der Länge $t/n$: + \[ + x(t) = \left(1 + \frac{Jt}{n}\right)^nx_0 + \] + } + \only<6->{ + \[ + \lim_{n\to\infty}\left(1 + \frac{At}{n}\right)^n = \exp(At) + \] + } + \end{column} + \end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/5/potenzreihenmethode.tex b/vorlesungen/slides/5/potenzreihenmethode.tex index 0c3503d..12d3fa5 100644 --- a/vorlesungen/slides/5/potenzreihenmethode.tex +++ b/vorlesungen/slides/5/potenzreihenmethode.tex @@ -79,7 +79,7 @@ a_k=\frac1{k!}a^kC} \\ \uncover<4->{ \Rightarrow y(x) &= C}\uncover<8->{+Cax}\uncover<9->{ + C\frac12(ax)^2} -\uncover<10->{ + C \frac16(ac)^3} +\uncover<10->{ + C \frac16(ax)^3} \uncover<11->{ + \dots+C\frac{1}{k!}(ax)^k+\dots} \ifthenelse{\boolean{presentation}}{ \only<12>{ 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/Makefile.inc b/vorlesungen/slides/Makefile.inc index e2271b8..a9d72be 100644 --- a/vorlesungen/slides/Makefile.inc +++ b/vorlesungen/slides/Makefile.inc @@ -9,10 +9,13 @@ 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 +include ../slides/a/Makefile.inc slides = \ $(chapter0) $(chapter1) $(chapter2) $(chapter3) $(chapter4) \ - $(chapter5) $(chapter7) $(chapter8) $(chapter9) + $(chapter5) $(chapter6) $(chapter7) $(chapter8) $(chapter9) \ + $(chaptera) diff --git a/vorlesungen/slides/a/Makefile.inc b/vorlesungen/slides/a/Makefile.inc new file mode 100644 index 0000000..0c7ab0b --- /dev/null +++ b/vorlesungen/slides/a/Makefile.inc @@ -0,0 +1,25 @@ +# +# Makefile.inc -- additional depencencies +# +# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +# +chaptera = \ + ../slides/a/dc/prinzip.tex \ + ../slides/a/dc/effizient.tex \ + ../slides/a/dc/beispiel.tex \ + \ + ../slides/a/ecc/gruppendh.tex \ + ../slides/a/ecc/kurve.tex \ + ../slides/a/ecc/inverse.tex \ + ../slides/a/ecc/operation.tex \ + ../slides/a/ecc/quadrieren.tex \ + ../slides/a/ecc/oakley.tex \ + \ + ../slides/a/aes/bytes.tex \ + ../slides/a/aes/sinverse.tex \ + ../slides/a/aes/blocks.tex \ + ../slides/a/aes/keys.tex \ + ../slides/a/aes/runden.tex \ + \ + ../slides/a/chapter.tex + diff --git a/vorlesungen/slides/a/aes/blocks.tex b/vorlesungen/slides/a/aes/blocks.tex new file mode 100644 index 0000000..9e95a86 --- /dev/null +++ b/vorlesungen/slides/a/aes/blocks.tex @@ -0,0 +1,193 @@ +% +% blocks.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\def\s{0.4} +\def\punkt#1#2{({#1*\s},{(3-#2)*\s})} +\def\feld#1#2#3{ + \fill[color=#3] \punkt{(#1-0.5)}{(#2+0.5)} + rectangle \punkt{(#1+0.5)}{(#2-0.5)}; +} +\definecolor{darkgreen}{rgb}{0,0.6,0} +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Blocks} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Blocks} +$4\times k$ Matrizen mit $k=4,\dots,8$ +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\xdef\s{0.4} +\foreach \i in {0,...,31}{ + \pgfmathparse{mod(\i,4)} + \xdef\y{\pgfmathresult} + \pgfmathparse{int(\i/4)} + \xdef\x{\pgfmathresult} + \node at \punkt{\x}{\y} {\tiny $\i$}; +} +\foreach \x in {-0.5,0.5,...,7.5}{ + \draw \punkt{\x}{-0.5} -- \punkt{\x}{3.5}; +} +\foreach \y in {-0.5,0.5,...,3.5}{ + \draw \punkt{-0.5}{\y} -- \punkt{7.5}{\y}; +} +\end{tikzpicture} +\end{center} +\uncover<2->{% +Spalten sind $4$-dimensionale $\mathbb{F}_{2^8}$-Vektoren +} +\end{block} +\uncover<3->{% +\begin{block}{Zeilenshift} +\begin{center} +\begin{tikzpicture}[>=latex,thick] + +\xdef\s{0.35} + +\begin{scope} + \feld{0}{3}{red!20} + \feld{0}{2}{red!20} + \feld{0}{1}{red!20} + \feld{0}{0}{red!20} + + \feld{1}{3}{red!10} + \feld{1}{2}{red!10} + \feld{1}{1}{red!10} + \feld{1}{0}{red!10} + + \feld{2}{3}{yellow!20} + \feld{2}{2}{yellow!20} + \feld{2}{1}{yellow!20} + \feld{2}{0}{yellow!20} + + \feld{3}{3}{yellow!10} + \feld{3}{2}{yellow!10} + \feld{3}{1}{yellow!10} + \feld{3}{0}{yellow!10} + + \feld{4}{3}{darkgreen!20} + \feld{4}{2}{darkgreen!20} + \feld{4}{1}{darkgreen!20} + \feld{4}{0}{darkgreen!20} + + \feld{5}{3}{darkgreen!10} + \feld{5}{2}{darkgreen!10} + \feld{5}{1}{darkgreen!10} + \feld{5}{0}{darkgreen!10} + + \feld{6}{3}{blue!20} + \feld{6}{2}{blue!20} + \feld{6}{1}{blue!20} + \feld{6}{0}{blue!20} + + \feld{7}{3}{blue!10} + \feld{7}{2}{blue!10} + \feld{7}{1}{blue!10} + \feld{7}{0}{blue!10} + + \foreach \x in {-0.5,0.5,...,7.5}{ + \draw \punkt{\x}{-0.5} -- \punkt{\x}{3.5}; + } + \foreach \y in {-0.5,0.5,...,3.5}{ + \draw \punkt{-0.5}{\y} -- \punkt{7.5}{\y}; + } +\end{scope} + +\begin{scope}[xshift=3.5cm] + \feld{0}{0}{red!20} + \feld{1}{1}{red!20} + \feld{2}{2}{red!20} + \feld{3}{3}{red!20} + + \feld{1}{0}{red!10} + \feld{2}{1}{red!10} + \feld{3}{2}{red!10} + \feld{4}{3}{red!10} + + \feld{2}{0}{yellow!20} + \feld{3}{1}{yellow!20} + \feld{4}{2}{yellow!20} \feld{5}{3}{yellow!20} + + \feld{3}{0}{yellow!10} + \feld{4}{1}{yellow!10} + \feld{5}{2}{yellow!10} + \feld{6}{3}{yellow!10} + + \feld{4}{0}{darkgreen!20} + \feld{5}{1}{darkgreen!20} + \feld{6}{2}{darkgreen!20} + \feld{7}{3}{darkgreen!20} + + \feld{5}{0}{darkgreen!10} + \feld{6}{1}{darkgreen!10} + \feld{7}{2}{darkgreen!10} + \feld{0}{3}{darkgreen!10} + + \feld{6}{0}{blue!20} + \feld{7}{1}{blue!20} + \feld{0}{2}{blue!20} + \feld{1}{3}{blue!20} + + \feld{7}{0}{blue!10} + \feld{0}{1}{blue!10} + \feld{1}{2}{blue!10} + \feld{2}{3}{blue!10} + + \foreach \x in {-0.5,0.5,...,7.5}{ + \draw \punkt{\x}{-0.5} -- \punkt{\x}{3.5}; + } + \foreach \y in {-0.5,0.5,...,3.5}{ + \draw \punkt{-0.5}{\y} -- \punkt{7.5}{\y}; + } + + \node at \punkt{-1.5}{1.5} {$\rightarrow$}; +\end{scope} + +\end{tikzpicture} +\end{center} +\end{block}} +\end{column} +\begin{column}{0.50\textwidth} +\uncover<4->{% +\begin{block}{Spalten mischen} +Lineare Operation auf Spaltenvektoren mit Matrix +\begin{align*} +C&=\begin{pmatrix} +\texttt{02}_{16}&\texttt{03}_{16}&\texttt{01}_{16}&\texttt{01}_{16}\\ +\texttt{01}_{16}&\texttt{02}_{16}&\texttt{03}_{16}&\texttt{01}_{16}\\ +\texttt{01}_{16}&\texttt{01}_{16}&\texttt{02}_{16}&\texttt{03}_{16}\\ +\texttt{03}_{16}&\texttt{01}_{16}&\texttt{01}_{16}&\texttt{02}_{16} +\end{pmatrix} +\\ +\uncover<5->{ +\det C +&= +\texttt{0a}_{16} +} +\uncover<6->{ +\ne 0} +\uncover<7->{ +\quad\Rightarrow\quad \exists C^{-1} +} +\end{align*} +\end{block}} +\uncover<8->{% +\begin{block}{Als Polynommultiplikation} +Spalten = Polynome in $\mathbb{F}_{2^8}[Z]/(Z^4-1)$, +\\ +\uncover<9->{% +$C=\mathstrut$ Multiplikation mit +\[ +c(Z) = \texttt{03}_{16}Z^3 + Z^2 + Z + \texttt{02}_{16} +\] +} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/aes/bytes.tex b/vorlesungen/slides/a/aes/bytes.tex new file mode 100644 index 0000000..e873e9a --- /dev/null +++ b/vorlesungen/slides/a/aes/bytes.tex @@ -0,0 +1,96 @@ +% +% bytes.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Bytes} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Endlicher Körper} +1 Byte = 8 bits: $\mathbb{F}_{2^8}$ +mit Minimalpolynom: +\[ +m(X) = X^8+X^4+X^3+X+1 +\] +\end{block} +\vspace{-10pt} +\uncover<2->{% +\begin{block}{Inverse $a^{-1}$} +Mit dem euklidischen Algorithmus +\[ +\begin{aligned} +sa+tm&=1 +&&\Rightarrow& +\uncover<3->{ +a^{-1} &= s} +\\ +& +&&& +\uncover<4->{ +\overline{a} +&= +\begin{cases} +a^{-1}&\; a\ne 0\\ +0 &\; a = 0 +\end{cases}} +\end{aligned} +\] +\end{block}} +\vspace{-10pt} +\uncover<5->{% +\begin{block}{Vektorraum} +$\mathbb{R}_{2^8}$ +ist ein $8$-dimensionaler $\mathbb{F}_2$-Vektorraum +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<6->{% +\begin{block}{S-Box} +$S\colon a\mapsto A\overline{a}+q$ mit +\begin{align*} +\only<1-7>{\phantom{\mathstrut^{-1}}A} +\ifthenelse{\boolean{presentation}}{}{\only<8>{A^{-1}}} +&=\only<1-7>{\begin{pmatrix} +1&0&0&0&1&1&1&1\\ +1&1&0&0&0&1&1&1\\ +1&1&1&0&0&0&1&1\\ +1&1&1&1&0&0&0&1\\ +1&1&1&1&1&0&0&0\\ +0&1&1&1&1&1&0&0\\ +0&0&1&1&1&1&1&0\\ +0&0&0&1&1&1&1&1 +\end{pmatrix}} +\ifthenelse{\boolean{presentation}}{}{ +\only<8->{ +\begin{pmatrix} +0&0&1&0&0&1&0&1\\ +1&0&0&1&0&0&1&0\\ +0&1&0&0&1&0&0&1\\ +1&0&1&0&0&1&0&0\\ +0&1&0&1&0&0&1&0\\ +0&0&1&0&1&0&0&1\\ +1&0&0&1&0&1&0&0\\ +0&1&0&0&1&0&1&0 +\end{pmatrix}} +} +\\ +q&=X^7+X^6+X+1 +\end{align*} +\end{block}} +\vspace{-10pt} +\uncover<7->{% +\begin{block}{Inverse $S$-Box} +\vspace{-10pt} +\[ +S^{-1}(b) = \overline{A^{-1}(b-q)} +\] +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/aes/keys.tex b/vorlesungen/slides/a/aes/keys.tex new file mode 100644 index 0000000..d2ab712 --- /dev/null +++ b/vorlesungen/slides/a/aes/keys.tex @@ -0,0 +1,36 @@ +% +% keys.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Schlüsselerzeugung} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{center} +\includegraphics[width=\textwidth]{../../buch/chapters/90-crypto/images/keys.pdf} +\end{center} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{Algorithmus} +\begin{enumerate} +\item<2-> +Startblock: begebener Schlüssel +\item<3-> +Zeilenpermutation: +$\pi=\mathstrut$ Multiplikation mit $Z^3=Z^{-1}$ +\item<4-> $S$-Box +\item<5-> $r_i$: Addition einer Konstanten +\[ +r_i = (\texttt{02}_{16})^{i-1} +\] +\end{enumerate} +\end{block} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/aes/runden.tex b/vorlesungen/slides/a/aes/runden.tex new file mode 100644 index 0000000..570b577 --- /dev/null +++ b/vorlesungen/slides/a/aes/runden.tex @@ -0,0 +1,47 @@ +% +% runden.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{$n$ Runden} +\vspace{-23pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Verschlüsselung} +In Runde $i=0,\dots,n-1$ +\begin{enumerate} +\item<2-> Wende die $S$-Box auf alle Bytes des Blocks an +\item<3-> Führe den Zeilenschift durch +\item<4-> Mische die Spalten +\item<5-> Berechne den Schlüsselblock $i$ ($i=0$: ursprünglicher Schlüssel) +\item<6-> Addiere (XOR) den Rundenschlüssel +\end{enumerate} +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<7->{% +\begin{block}{Entschlüsselung} +In Runde $i=0,\dots,n-1$ +\begin{enumerate} +\item<8-> Addiere den Rundenschlüssel $n-1-i$ +\item<9-> Invertiere Spaltenmischung (mit $C^{-1}$) +\item<10-> Invertiere den Zeilenshift +\item<11-> Wende $S^{-1}$ an auf jedes Byte +\end{enumerate} +\end{block}} +\end{column} +\end{columns} +\uncover<12->{% +\begin{block}{Charakteristika} +\begin{itemize} +\item<13-> Invertierbar +\item<14-> Skalierbar: beliebig grosse Blöcke (Vielfache von 32\,bit) +\item<15-> Keine ``magischen'' Schritte +\end{itemize} +\end{block}} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/aes/sinverse.tex b/vorlesungen/slides/a/aes/sinverse.tex new file mode 100644 index 0000000..059100e --- /dev/null +++ b/vorlesungen/slides/a/aes/sinverse.tex @@ -0,0 +1,15 @@ +% +% sinverse.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Inverse $S$-Box} +\begin{center} +\includegraphics[width=\textwidth]{../../buch/chapters/90-crypto/images/sbox.pdf} +\end{center} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/chapter.tex b/vorlesungen/slides/a/chapter.tex new file mode 100644 index 0000000..78eec84 --- /dev/null +++ b/vorlesungen/slides/a/chapter.tex @@ -0,0 +1,23 @@ +% +% chapter.tex +% +% (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswi +% + +\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} + diff --git a/vorlesungen/slides/a/dc/beispiel.tex b/vorlesungen/slides/a/dc/beispiel.tex new file mode 100644 index 0000000..4c99e9e --- /dev/null +++ b/vorlesungen/slides/a/dc/beispiel.tex @@ -0,0 +1,54 @@ +% +% beispiel.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\def\u#1#2{\uncover<#1->{#2}} +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Beispiel} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Aufgabe} +Berechne $1291^{17}\in\mathbb{F}_{2027}$ +\end{block} +\uncover<2->{% +\begin{block}{Exponent} +\vspace{-10pt} +\[ +17 = 2^4 + 1 += +\texttt{10001}_2 += +\texttt{0x11} +\] +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<3->{% +\begin{block}{Divide-and-Conquor} +\begin{center} +\begin{tabular}{|>{$}r<{$}>{$}r<{$}|>{$}r<{$}|>{$}r<{$}|>{$}r<{$}|>{$}r<{$}|} +\hline +i&2^i& a^{2^i} & n & n_i & m \\ +\hline +0& 1& 1291 & 17 & \u{4}{1}&\u{5}{ 1291}\\ +1& 2& \u{6}{ 487}& \u{7}{8}& \u{8}{0}& \u{9}{\color{gray}1291}\\ +2& 4&\u{10}{ 10}&\u{11}{4}&\u{12}{0}&\u{13}{\color{gray}1291}\\ +3& 8&\u{14}{ 100}&\u{15}{2}&\u{16}{0}&\u{17}{\color{gray}1291}\\ +4& 16&\u{18}{1892}&\u{19}{1}&\u{20}{1}&\u{21}{ 37}\\ +\hline +\end{tabular} +\end{center} +\end{block}} +\uncover<22->{% +\begin{block}{Resultat} +\(1291^{17} \equiv 37\mod 2027\) +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/dc/effizient.tex b/vorlesungen/slides/a/dc/effizient.tex new file mode 100644 index 0000000..327ee7e --- /dev/null +++ b/vorlesungen/slides/a/dc/effizient.tex @@ -0,0 +1,65 @@ +% +% effizient.tex -- Effiziente Berechnung der Potenz +% +% (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{Effiziente Berechnung} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Prinzip} +\begin{enumerate} +\item<3-> {\color{red}Bits mit Shift isolieren} +\item<4-> {\color{blue}Laufend reduzieren} +\item<5-> {\color{darkgreen}effizient quadrieren} +\end{enumerate} +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{Algorithmus} +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\uncover<3->{ +\fill[color=red!20] (2.3,-2.44) rectangle (3.8,-1.98); +\fill[color=red!20] (1.45,-3.88) rectangle (3.2,-3.42); +} +\uncover<4->{ +\fill[color=blue!20] (2.15,-2.94) rectangle (3.7,-2.48); +} +\uncover<5->{ +\fill[color=darkgreen!20] (1.45,-4.37) rectangle (3.8,-3.91); +} +\node at (0,0) [below right] {\begin{minipage}{6cm}\obeylines +{\tt int potenz(int $a$, int $n$) \{}\\ +\hspace*{0.7cm}{\tt int m = 1;}\\ +\hspace*{0.7cm}{\tt int q = $a$;}\\ +\uncover<2->{% +\hspace*{0.7cm}{\tt while ($n$ > 0) \{}\\ +\uncover<3->{% +\hspace*{1.4cm}{\tt if (0x1 \& $n$) \{}\\ +\uncover<4->{% +\hspace*{2.1cm}{\tt m *= q;}\\ +}% +\hspace*{1.4cm}{\tt \}}\\ +\hspace*{1.4cm}{\tt $n$ >{}>= 1;}\\ +}% +\uncover<5->{% +\hspace*{1.4cm}{\tt q = sqr(q);}\\ +}% +\hspace*{0.7cm}{\tt \}}\\ +}% +\hspace*{0.7cm}{\tt return m;}\\ +{\tt \}} +\end{minipage}}; +\end{tikzpicture} +\end{center} +\end{block} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/dc/naiv.txt b/vorlesungen/slides/a/dc/naiv.txt new file mode 100644 index 0000000..bf5569d --- /dev/null +++ b/vorlesungen/slides/a/dc/naiv.txt @@ -0,0 +1,2 @@ +int m = 1, i = 0; +while (i++ < n) { m *= a; } diff --git a/vorlesungen/slides/a/dc/prinzip.tex b/vorlesungen/slides/a/dc/prinzip.tex new file mode 100644 index 0000000..c75af61 --- /dev/null +++ b/vorlesungen/slides/a/dc/prinzip.tex @@ -0,0 +1,86 @@ +% +% prinzip.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Potenzieren $\mod p$} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Aufgabe} +Berechne $a^n\in\mathbb{F}_p$ für grosses $n$ +\end{block} +\uncover<2->{% +\begin{block}{Mengengerüst} +\( +\log_2 n > 2000 +\) +\\ +\uncover<3->{% +RSA mit $N=pq$: Exponenten sind $e,d$, $e$ klein, aber +\( +ed\equiv 1 \mod \varphi(N) +\)} +\end{block}} +\uncover<4->{% +\begin{block}{Naive Idee} +\verbatiminput{../slides/a/dc/naiv.txt} +Laufzeit: $O(n) \uncover<5->{= O(2^{\log_2n})}$% +\uncover<5->{, d.~h.~exponentiell in der Bitlänge von $n$} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<6->{% +\begin{block}{Idee 1: Exponent binär schreiben} +\vspace{-12pt} +\[ +n = n_k2^k + n_{k-1}2^{k-1} + \dots +n_12^1 + n_02^0 +\] +\end{block}} +\vspace{-5pt} +\uncover<7->{% +\begin{block}{Idee 2: Potenzgesetze} +\vspace{-12pt} +\[ +a^n += +a^{n_k2^k} +a^{n_{k-1}2^k} +\dots +a^{n_12^1} +a^{n_02^0} +\uncover<8->{= +\prod_{n_i = 1} +a^{2^i}} +\] +\end{block}} +\vspace{-15pt} +\uncover<9->{% +\begin{block}{Idee 3: Quadrieren} +\vspace{-10pt} +\begin{align*} +a^{2^i} +&= +a^{2\cdot 2^{i-1}} +\uncover<10->{= +(a^{2^{i-1}})^2} +\\ +&\uncover<11->{= +(\dots(a\underbrace{\mathstrut^2)^2\dots)^2}_{\displaystyle i}} +\end{align*} +\end{block}} +\vspace{-18pt} +\uncover<12->{% +\begin{block}{Laufzeit} +Multiplikationen: $\le 2 \cdot(\log_2(n) - 1)$ +\\ +\uncover<13->{Worst case Laufzeit: $O(\log_2 n)$} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/ecc/gruppendh.tex b/vorlesungen/slides/a/ecc/gruppendh.tex new file mode 100644 index 0000000..13d85c8 --- /dev/null +++ b/vorlesungen/slides/a/ecc/gruppendh.tex @@ -0,0 +1,51 @@ +% +% 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{Diffie-Hellmann verallgemeinern} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Diffie-Hellman in $\mathbb{F}_p$\strut} +\begin{enumerate} +\item<2-> Parteien einigen sich auf $g\in \mathbb{F}_p$, $g\ne 0$, $g\ne 1$ +\item<3-> $A$ und $B$ wählen Exponenten $a,b\in \mathbb{N}$ +\item<4-> Parteien tauschen $u=g^a$ und $v=g^b$ aus +\item<5-> Parteien berechnen $v^a$ und $u^b$ +\[ +v^a = (g^b)^a = g^{ab} =(g^a)^b = u^b +\] +gemeinsamer privater Schlüssel +\end{enumerate} +\end{block} +\uncover<11->{% +{\usebeamercolor[fg]{title}Spezialfall:} $G=\mathbb{F}_p^*$ +} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<6->{% +\begin{block}{Diffie-Hellmann in $G$\strut} +\begin{enumerate} +\item<7-> Parteien einigen sich auf $g\in G$, $g\ne e$ +\item<8-> $A$ und $B$ wählen Exponenten $a,b\in \mathbb{N}$ +\item<9-> Parteien tauschen $u=g^a$ und $v=g^b$ aus +\item<10-> Parteien berechnen $v^a$ und $u^b$ +\[ +v^a = (g^b)^a = g^{ab} =(g^a)^b = u^b +\] +gemeinsamer privater Schlüssel +\end{enumerate} +\end{block}} +\uncover<12->{% +{\usebeamercolor[fg]{title}Idee:} Wähle effizient zu berechnende, ``grosse'' +Gruppen, mit ``komplizierter'' Multiplikation +} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/ecc/inverse.tex b/vorlesungen/slides/a/ecc/inverse.tex new file mode 100644 index 0000000..c50f698 --- /dev/null +++ b/vorlesungen/slides/a/ecc/inverse.tex @@ -0,0 +1,48 @@ +% +% inverse.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Involution/Inverse} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{center} +\includegraphics[width=\textwidth]{../../buch/chapters/90-crypto/images/elliptic.pdf} +\end{center} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{In speziellen Koordinaten} +\vspace{-12pt} +\[ +v^2 = u^3+Au+B +\] +\uncover<2->{invariant unter $v\mapsto -v$}% +\\ +\uncover<3->{{\color{red}geht nicht in $\mathbb{F}_2$}} +\end{block} +\uncover<4->{% +\begin{block}{Allgemein} +\vspace{-12pt} +\begin{align*} +Y^2+XY &= X^3 + aX+b +\\ +\uncover<5->{% +Y(Y+X) &= X^3 + aX + b} +\end{align*} +\uncover<6->{invariant unter} +\begin{align*} +\uncover<7->{X&\mapsto X,& Y&\mapsto -X-Y} +\\ +\uncover<8->{&&\Rightarrow X+Y&\mapsto -Y} +\end{align*} +\uncover<9->{Spezialfall $\mathbb{F}_2$: $Y\leftrightarrow X+Y$} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/ecc/kurve.tex b/vorlesungen/slides/a/ecc/kurve.tex new file mode 100644 index 0000000..04d15f8 --- /dev/null +++ b/vorlesungen/slides/a/ecc/kurve.tex @@ -0,0 +1,56 @@ +% +% kurve.tex -- elliptische Kurven +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Elliptische Kurven} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{center} +\uncover<5->{% +\includegraphics[width=\textwidth]{../../buch/chapters/90-crypto/images/elliptic.pdf} +} +\end{center} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{Allgemein} +mit $a,b\in\Bbbk$ +\[ +Y^2 + XY = X^3 + aX + b +\] +\end{block} +\vspace{-10pt} +\uncover<2->{% +\begin{block}{Spezielle Parametrisierung} +\vspace{-10pt} +\begin{align*} +Y^2 + XY + \frac14X^2 +&= +X^3 + \frac14X^2 + aX + b +\\ +\uncover<3->{ +(Y+\frac12X)^2 +&= +X^3 + \frac14X^2 + aX + b +}\\ +\uncover<4->{ +v^2 +&= +u^3+Au+B} +\end{align*} +\uncover<4->{mit +\[ +v=Y+{\textstyle\frac12}X, +\qquad +u=X-\frac1{12} +\]} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/ecc/oakley.tex b/vorlesungen/slides/a/ecc/oakley.tex new file mode 100644 index 0000000..6980c10 --- /dev/null +++ b/vorlesungen/slides/a/ecc/oakley.tex @@ -0,0 +1,85 @@ +% +% oakley.tex -- Oakley Gruppen +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Oakley-Gruppen} +\only<1>{% +\small +\verbatiminput{../slides/a/ecc/oakley1.txt} +$\approx 1.55252\cdot 10^{231}$ +} +\only<2>{% +\begin{block}{$\mathbb{F}_p$} +Endlicher Körper mit $p = $ +\verbatiminput{../slides/a/ecc/prime1.txt} +\end{block} +} +\only<3>{% +\small +\verbatiminput{../slides/a/ecc/oakley2.txt} +} +\only<4>{% +\begin{block}{$\mathbb{F}_p$} +Endlicher Körper mit $p = $ +\verbatiminput{../slides/a/ecc/prime2.txt} +$\approx 1.7977\cdot 10^{308}$ +\end{block} +} +\only<5>{% +\small +\verbatiminput{../slides/a/ecc/oakley3.txt} +} +\only<6>{% +\begin{block}{Oakley Gruppe 3} +\begin{align*} +m(x) &= x^{155} + x^{62} + 1 +\\ +a &= 0 +\\ +b &= \texttt{0x07338f} +\\ +g_x &= 0x7b = x^6 + x^5 + x^4 + x^3 + x + 1 +\\ +&= +x^{18}+x^{17}+x^{16} ++ +x^{13}+x^{12} ++ +x^{9}+x^{8}+x^{7} ++ +x^{3}+x^{1}+x^{1}+1 +\\ +|G|&=45671926166590716193865565914344635196769237316 = 4.5672\cdot 10^{46} +\\ +\log_2|G|&=155\,\text{bit} +\end{align*} +\end{block}} +\only<7>{% +\small +\verbatiminput{../slides/a/ecc/oakley4.txt} +} +\only<8>{% +\begin{block}{Oakley Gruppe 4} +\begin{align*} +m(x) &= x^{185} + x^{69} + 1 +\\ +a &= 0 +\\ +b &= \texttt{0x1ee9} = x^{12} + x^{11}+x^{10}+x^9 + x^7+x^6+x^5 + x^3+1 +\\ +g_x &= \texttt{0x18} = x^4+x^3 +\\ +|G| &= 49039857307708443467467104857652682248052385001045053116 +\\ +&= 4.9040\cdot 10^{55} +\\ +\log_2|G| &= 185 +\end{align*} +\end{block}} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/ecc/oakley1.txt b/vorlesungen/slides/a/ecc/oakley1.txt new file mode 100644 index 0000000..4cc31ae --- /dev/null +++ b/vorlesungen/slides/a/ecc/oakley1.txt @@ -0,0 +1,14 @@ +6.1 First Oakley Default Group + + Oakley implementations MUST support a MODP group with the following + prime and generator. This group is assigned id 1 (one). + + The prime is: 2^768 - 2 ^704 - 1 + 2^64 * { [2^638 pi] + 149686 } + Its hexadecimal value is + + FFFFFFFF FFFFFFFF C90FDAA2 2168C234 C4C6628B 80DC1CD1 + 29024E08 8A67CC74 020BBEA6 3B139B22 514A0879 8E3404DD + EF9519B3 CD3A431B 302B0A6D F25F1437 4FE1356D 6D51C245 + E485B576 625E7EC6 F44C42E9 A63A3620 FFFFFFFF FFFFFFFF + + The generator is: 2. diff --git a/vorlesungen/slides/a/ecc/oakley2.txt b/vorlesungen/slides/a/ecc/oakley2.txt new file mode 100644 index 0000000..ddb2d2a --- /dev/null +++ b/vorlesungen/slides/a/ecc/oakley2.txt @@ -0,0 +1,16 @@ +6.2 Second Oakley Group + + IKE implementations SHOULD support a MODP group with the following + prime and generator. This group is assigned id 2 (two). + + The prime is 2^1024 - 2^960 - 1 + 2^64 * { [2^894 pi] + 129093 }. + Its hexadecimal value is + + FFFFFFFF FFFFFFFF C90FDAA2 2168C234 C4C6628B 80DC1CD1 + 29024E08 8A67CC74 020BBEA6 3B139B22 514A0879 8E3404DD + EF9519B3 CD3A431B 302B0A6D F25F1437 4FE1356D 6D51C245 + E485B576 625E7EC6 F44C42E9 A637ED6B 0BFF5CB6 F406B7ED + EE386BFB 5A899FA5 AE9F2411 7C4B1FE6 49286651 ECE65381 + FFFFFFFF FFFFFFFF + + The generator is 2 (decimal) diff --git a/vorlesungen/slides/a/ecc/oakley3.txt b/vorlesungen/slides/a/ecc/oakley3.txt new file mode 100644 index 0000000..ab2c78f --- /dev/null +++ b/vorlesungen/slides/a/ecc/oakley3.txt @@ -0,0 +1,17 @@ +6.3 Third Oakley Group + + IKE implementations SHOULD support a EC2N group with the following + characteristics. This group is assigned id 3 (three). The curve is + based on the Galois Field GF[2^155]. The field size is 155. The + irreducible polynomial for the field is: + u^155 + u^62 + 1. + The equation for the elliptic curve is: + y^2 + xy = x^3 + ax^2 + b. + + Field Size: 155 + Group Prime/Irreducible Polynomial: + 0x0800000000000000000000004000000000000001 + Group Generator One: 0x7b + Group Curve A: 0x0 + Group Curve B: 0x07338f + Group Order: 0X0800000000000000000057db5698537193aef944 diff --git a/vorlesungen/slides/a/ecc/oakley4.txt b/vorlesungen/slides/a/ecc/oakley4.txt new file mode 100644 index 0000000..3ec20cc --- /dev/null +++ b/vorlesungen/slides/a/ecc/oakley4.txt @@ -0,0 +1,17 @@ +6.4 Fourth Oakley Group + + IKE implementations SHOULD support a EC2N group with the following + characteristics. This group is assigned id 4 (four). The curve is + based on the Galois Field GF[2^185]. The field size is 185. The + irreducible polynomial for the field is: + u^185 + u^69 + 1. The + equation for the elliptic curve is: + y^2 + xy = x^3 + ax^2 + b. + + Field Size: 185 + Group Prime/Irreducible Polynomial: + 0x020000000000000000000000000000200000000000000001 + Group Generator One: 0x18 + Group Curve A: 0x0 + Group Curve B: 0x1ee9 + Group Order: 0X01ffffffffffffffffffffffdbf2f889b73e484175f94ebc diff --git a/vorlesungen/slides/a/ecc/operation.tex b/vorlesungen/slides/a/ecc/operation.tex new file mode 100644 index 0000000..61ef95d --- /dev/null +++ b/vorlesungen/slides/a/ecc/operation.tex @@ -0,0 +1,68 @@ +% +% operation.tex -- Gruppen-Operation auf einer elliptischen Kurve +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Gruppenoperation} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.40\textwidth} +\begin{center} +\includegraphics[width=\textwidth]{../../buch/chapters/90-crypto/images/elliptic.pdf} +\end{center} +\vspace{-23pt} +\uncover<8->{% +\begin{block}{Verifizieren} +\begin{enumerate} +\item<9-> Assoziativ? +\item<10-> Neutrales Element $\mathstrut=\infty$ +\item<11-> Involution = Inverse? +\end{enumerate} +\end{block}} +\end{column} +\begin{column}{0.56\textwidth} +\begin{block}{Gerade} +$g_1,g_2\in G$, $t\in \Bbbk$ +\begin{align*} +g(t) +&= +tg_1+(1-t)g_2 +\\ +\uncover<2->{ +\begin{pmatrix}X(t)\\Y(t)\end{pmatrix} +&= +t\begin{pmatrix}x_1\\y_1\end{pmatrix} ++ +(1-t)\begin{pmatrix}x_2\\y_2\end{pmatrix} +\in\Bbbk^2 +} +\end{align*} +\end{block} +\vspace{-13pt} +\uncover<3->{% +\begin{block}{3. Schnittpunkt} +$g(t)$ einsetzen in die elliptische Kurve +\[ +p(t) += +Y(t)^2+X(t)Y(t)-X(t)^3-aX(t)-b=0 +\] +\vspace{-12pt} +\begin{enumerate} +\item<4-> +kubisches Polynom mit Nullstellen $t=0,1$ +\item<5-> +$p(t) $ ist durch $t(t-1)$ teilbar +\item<6-> +$p(t) = t(t-1)(Jt+K)=0 +\uncover<7->{\Rightarrow t=-K/J$} +\end{enumerate} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/a/ecc/prime1.txt b/vorlesungen/slides/a/ecc/prime1.txt new file mode 100644 index 0000000..eb4515d --- /dev/null +++ b/vorlesungen/slides/a/ecc/prime1.txt @@ -0,0 +1,5 @@ + 15 52518 09230 07089 35130 91813 12584 +81755 63133 40494 34514 31320 23511 94902 96623 99491 02107 +25866 94538 76591 64244 29100 07680 28886 42291 50803 71891 +80463 42632 72761 30312 82983 74438 08208 90196 28850 91706 +91316 59317 53674 69551 76311 98433 71637 22100 72105 77919 diff --git a/vorlesungen/slides/a/ecc/prime2.txt b/vorlesungen/slides/a/ecc/prime2.txt new file mode 100644 index 0000000..13458fb --- /dev/null +++ b/vorlesungen/slides/a/ecc/prime2.txt @@ -0,0 +1,8 @@ + 1797 69313 +48623 15907 70839 15679 37874 53197 86029 60487 56011 70644 +44236 84197 18021 61585 19368 94783 37958 64925 54150 21805 +65485 98050 36464 40548 19923 91000 50792 87700 33558 16639 +22955 31362 39076 50873 57599 14822 57486 25750 07425 30207 +74477 12589 55095 79377 78424 44242 66173 34727 62929 93876 +68709 20560 60502 70810 84290 76929 32019 12819 44676 27007 + diff --git a/vorlesungen/slides/a/ecc/primes b/vorlesungen/slides/a/ecc/primes new file mode 100644 index 0000000..3feea29 --- /dev/null +++ b/vorlesungen/slides/a/ecc/primes @@ -0,0 +1,13 @@ +#! /bin/bash +# +# primes +# +# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +# +bc <<EOF +ibase=16 +FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD129024E088A67CC74020BBEA63B139B22514A08798E3404DDEF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245E485B576625E7EC6F44C42E9A63A3620FFFFFFFFFFFFFFFF + +FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD129024E088A67CC74020BBEA63B139B22514A08798E3404DDEF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245E485B576625E7EC6F44C42E9A637ED6B0BFF5CB6F406B7EDEE386BFB5A899FA5AE9F24117C4B1FE649286651ECE65381FFFFFFFFFFFFFFFF + +EOF diff --git a/vorlesungen/slides/a/ecc/quadrieren.tex b/vorlesungen/slides/a/ecc/quadrieren.tex new file mode 100644 index 0000000..942c73b --- /dev/null +++ b/vorlesungen/slides/a/ecc/quadrieren.tex @@ -0,0 +1,59 @@ +% +% quadrieren.tex -- Quadrieren +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Quadrieren} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.40\textwidth} +\begin{block}{Problem} +\( g = g_1 = g_2 \) +$\Rightarrow$ +Tangente +\\ +\uncover<2->{{\color{red}ohne Analysis!}} +\end{block} +\begin{center} +\includegraphics[width=\textwidth]{../../buch/chapters/90-crypto/images/elliptic.pdf} +\end{center} +\end{column} +\begin{column}{0.56\textwidth} +\uncover<3->{% +\begin{block}{Lösung} +Finde $h\in G$ derart, dass +\begin{align*} +g(t) +&= +tg + (1-t)h +\\ +\uncover<4->{% +\begin{pmatrix}X(t)\\Y(t)\end{pmatrix} +&= +t\begin{pmatrix}x_g\\y_g\end{pmatrix} ++(1-t) \begin{pmatrix}x_h\\y_h\end{pmatrix} +} +\end{align*} +\uncover<5->{eingesetzt +\[ +p(t) += +Y(t)^2+X(t)Y(t)-X(t)^3-aX(t)-b += +0 +\]}% +\uncover<6->{% +Nullstellen $0$ (doppelt) und $1$ hat:} +\[ +\uncover<7->{p(t) = c(t^3-t)} +\] +\uncover<8->{Koeffizientenvergleich: einfachere Gleichungen für $x_h$ und $y_h$} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup 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 4673f76..43da30a 100644 --- a/vorlesungen/slides/test.tex +++ b/vorlesungen/slides/test.tex @@ -4,36 +4,20 @@ % (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswil % -\section{Matrizen-Gruppen} -% Was sind Symmetrien -%\folie{7/symmetrien.tex} -% Algebraische Bedingungen für Matrixgruppen -%\folie{7/algebraisch.tex} -% Parametrisierung, Beispiel SO(3) -%\folie{7/parameter.tex} -% Mannigfaltigkeiten -%\folie{7/mannigfaltigkeit.tex} -% Weitere Beispiele -% SL_2(R) -%\folie{7/sl2.tex} -\folie{7/drehung.tex} -%\folie{7/drehanim.tex} -% Semidirekte Produkte SO(2) x R^2, R^+ x R -%\folie{7/semi.tex} +%\folie{a/dc/prinzip.tex} +%\folie{a/dc/effizient.tex} +%\folie{a/dc/beispiel.tex} -\section{Ableitungen} -% Kurven in einer Gruppe -%\folie{7/kurven.tex} -% Einparameter-Gruppen -%\folie{7/einparameter.tex} -% Ableitung einer Einparameter-Gruppe -%\folie{7/ableitung.tex} -% Lie-Algebra -%\folie{7/liealgebra.tex} -% Kommutator -%\folie{7/kommutator.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} -\section{Exponentialabbildung} -% Differentialgleichung für die Exponentialabbildung -%\folie{7/dg.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} |
