From 6981f2935af17ca2dfce29f0d2d169d9f527b487 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Sat, 22 May 2021 13:58:27 +0200 Subject: Write a bit about symmetry --- buch/papers/punktgruppen/Makefile.inc | 2 + buch/papers/punktgruppen/intro.tex | 1 + buch/papers/punktgruppen/main.tex | 29 +--------- buch/papers/punktgruppen/symmetry.tex | 103 ++++++++++++++++++++++++++++++++++ 4 files changed, 108 insertions(+), 27 deletions(-) create mode 100644 buch/papers/punktgruppen/intro.tex create mode 100644 buch/papers/punktgruppen/symmetry.tex (limited to 'buch') diff --git a/buch/papers/punktgruppen/Makefile.inc b/buch/papers/punktgruppen/Makefile.inc index 629abca..06be362 100644 --- a/buch/papers/punktgruppen/Makefile.inc +++ b/buch/papers/punktgruppen/Makefile.inc @@ -6,5 +6,7 @@ dependencies-punktgruppen = \ papers/punktgruppen/packages.tex \ papers/punktgruppen/main.tex \ + papers/punktgruppen/intro.tex \ + papers/punktgruppen/symmetry.tex \ papers/punktgruppen/references.bib diff --git a/buch/papers/punktgruppen/intro.tex b/buch/papers/punktgruppen/intro.tex new file mode 100644 index 0000000..4a84465 --- /dev/null +++ b/buch/papers/punktgruppen/intro.tex @@ -0,0 +1 @@ +\section{Einleitung} diff --git a/buch/papers/punktgruppen/main.tex b/buch/papers/punktgruppen/main.tex index 603f293..d7690fd 100644 --- a/buch/papers/punktgruppen/main.tex +++ b/buch/papers/punktgruppen/main.tex @@ -8,33 +8,8 @@ \begin{refsection} \chapterauthor{Tim T\"onz, Naoki Pross} -%% TODO: remove -%% Some ideas to motivate the topic: -%% - Physics in a crystal lattice structure -%% - Birifrencenge and scattering of light / Xray in Crystals -%% - Electron density function in a lattice -%% - Heat diffusion with lattice model -%% - Ising model for ferromagnetism (?? => H.D. Lang) -%% -%% - Homomorphic encryption (or lattice based cryptography) -%% + Q: Is it possible to edit encrypted data without decrypting it first? - -%% TODO: translated and move into a file {{{ - -\section{Motivation} -% birifrengence - -\section{Math} -% lattice group -% symmetry -% space group - -\section{Physics} -\subsection{Electromagnetic Waves} -\subsection{Crystal Lattice} - - -%% }}} +\input{papers/punktgruppen/intro} +\input{papers/punktgruppen/symmetry} \printbibliography[heading=subbibliography] \end{refsection} diff --git a/buch/papers/punktgruppen/symmetry.tex b/buch/papers/punktgruppen/symmetry.tex new file mode 100644 index 0000000..9a1a945 --- /dev/null +++ b/buch/papers/punktgruppen/symmetry.tex @@ -0,0 +1,103 @@ +\section{Symmetrie} +Das Wort Symmetrie ist sehr alt und hat sich seltsamerweise von seinem +ursprünglichen griechischen Wort +\(\mathrm{\sigma\nu\mu\mu\varepsilon\tau\rho\iota\alpha}\) +\footnote{\emph{Simmetr\'ia}: ``ein gemeinsames Mass habend, gleichmässig, +verhältnismässig''} fast nicht verändert. In der Alltagssprache mag es ein +locker definierter Begriff sein, aber in der Mathematik hat Symmetrie eine sehr +präzise Bedeutung. +\begin{definition}[Symmetrie] + Ein mathematisches Objekt wird als symmetrisch bezeichnet, wenn es unter einer + bestimmten Operation invariant ist. +\end{definition} + +Wenn der Leser noch nicht mit der Gruppentheorie in Berührung gekommen ist, ist +vielleicht nicht ganz klar, was eine Operation ist, aber die Definition sollte +trotzdem Sinn machen. Die Formalisierung dieser Idee wird bald kommen, aber +zunächst wollen wir etwas Intuition aufbauen. + +\begin{figure}[h] + \centering + \begin{tikzpicture}[ + node distance = 2cm, + shapetheme/.style = { + very thick, draw = black, fill = magenta!20!white, + minimum size = 2cm, + }, + line/.style = {thick, draw = darkgray}, + axis/.style = {line, dashed}, + dot/.style = { + circle, draw = darkgray, fill = darkgray, + minimum size = 1mm, inner sep = 0, outer sep = 0, + }, + ] + + \node[ + shapetheme, + rectangle + ] (R) {}; + \node[dot] at (R) {}; + \draw[axis] (R) ++(-1.5, 0) to ++(3, 0) node[right] {\(\sigma\)}; + + \node[ + shapetheme, + regular polygon, + regular polygon sides = 5, + right = of R, + ] (Ps) {}; + \node[dot] (P) at (Ps) {}; + \draw[line, dotted] (P) to ++(18:1.5); + \draw[line, dotted] (P) to ++(90:1.5); + \draw[line, ->] (P) ++(18:1.2) + arc (18:90:1.2) node[midway, above right] {\(r, 72^\circ\)}; + + \node[ + shapetheme, + circle, right = of P + ] (Cs) {}; + \node[dot] (C) at (Cs) {}; + \draw[line, dotted] (C) to ++(1.5,0); + \draw[line, dotted] (C) to ++(60:1.5); + \draw[line, ->] (C) ++(1.2,0) + arc (0:60:1.2) node[midway, above right] {\(r, \alpha\)}; + + \end{tikzpicture} + \caption{ + Beispiele für geometrisch symmetrische Formen. + \label{fig:punktgruppen:geometry-example} + } +\end{figure} + +Die intuitivsten Beispiele kommen aus der Geometrie, daher werden wir mit +einigen geometrischen Beispielen beginnen. Wie wir jedoch später sehen werden, +ist das Konzept der Symmetrie eigentlich viel allgemeiner. In Abbildung +\ref{fig:punktgruppen:geometry-example} haben wir einige Formen, die +offensichtlich symmetrisch sind. Zum Beispiel hat ein Quadrat viele Achsen, um +die es gedreht werden kann, ohne sein Aussehen zu verändern. Regelmässige +Polygone mit \(n\) Seiten sind gute Beispiele, um eine diskrete +Rotationssymmetrie zu veranschaulichen, was bedeutet, dass eine Drehung um +einen Punkt um einen bestimmten Winkel \(360^\circ/n\) sie unverändert lässt. +Das letzte Beispiel auf der rechten Seite ist eine unendliche +Rotationssymmetrie. Sie wird so genannt, weil es unendlich viele Werte für +\(\alpha \in \mathbb{R}\) gibt, die die Form unverändert lassen. Dies ist +hoffentlich ausreichend, um die Bedeutung hinter der Notation zu verstehen, die +nun eingeführt wird. + +\begin{definition}[Symmetriegruppe] + Sei \(g\) eine Operation, die ein mathematisches Objekt unverändert lässt. + Bei einer anderen Operation \(r\) definieren wir die Komposition \(r\circ g\) + als die Anwendung der Operationen nacheinander. Alle Operationen \(g_i\) + bilden unter Komposition eine Gruppe, die Symmetriegruppe genannt wird. +\end{definition} + +Mit dem oben Gesagten können wir das \(n\)-Gon Beispiel formalisieren. Wenn wir +\(r\) eine Drehung von \(2\pi/n\) sein lassen, gibt es eine wohlbekannte Symmetriegruppe +\[ + C_n = \left\{\mathbf{1}, r, r^2, \ldots, r^{n-1}\right\} +\] +die Zyklische Gruppe heisst. + +\begin{definition}[Gruppenwirkung] +\end{definition} + +% vim:ts=2 sw=2 spell spelllang=de: -- cgit v1.2.1