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 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 From 2d2e4369b5d58bc9cd4dcb83ac43e3cda6341f3b Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Sat, 22 May 2021 18:01:15 +0200 Subject: More on symmetry --- buch/papers/punktgruppen/packages.tex | 2 +- buch/papers/punktgruppen/references.bib | 14 ++++++++- buch/papers/punktgruppen/symmetry.tex | 54 +++++++++++++++++++++++++++++---- 3 files changed, 62 insertions(+), 8 deletions(-) diff --git a/buch/papers/punktgruppen/packages.tex b/buch/papers/punktgruppen/packages.tex index 9953339..a6efdbf 100644 --- a/buch/papers/punktgruppen/packages.tex +++ b/buch/papers/punktgruppen/packages.tex @@ -4,4 +4,4 @@ % (c) 2019 Prof Dr Andreas Müller, Hochschule Rapperswil % -\usepackage{tikz-3dplot} +\usepackage{dsfont} diff --git a/buch/papers/punktgruppen/references.bib b/buch/papers/punktgruppen/references.bib index aa7eb14..0d4e30a 100644 --- a/buch/papers/punktgruppen/references.bib +++ b/buch/papers/punktgruppen/references.bib @@ -4,6 +4,19 @@ % (c) 2020 Autor, Hochschule Rapperswil % +@book{punktgruppen:pinter-algebra, + title = {A Book of Abstract Algebra}, + author = {Charles C. Pinter}, + publisher = {Dover Publications Inc.; 2. Edition}, + year = {2010}, + month = {1}, + day = {10}, + isbn = {978-0486474175}, + inseries = {Dover Books on Mathematics}, + volume = {1} +} + + @online{punktgruppen:bibtex, title = {BibTeX}, url = {https://de.wikipedia.org/wiki/BibTeX}, @@ -32,4 +45,3 @@ pages = {607--627}, url = {https://doi.org/10.1016/j.acha.2017.11.004} } - diff --git a/buch/papers/punktgruppen/symmetry.tex b/buch/papers/punktgruppen/symmetry.tex index 9a1a945..58950da 100644 --- a/buch/papers/punktgruppen/symmetry.tex +++ b/buch/papers/punktgruppen/symmetry.tex @@ -86,18 +86,60 @@ 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. + als die Anwendung der Operationen nacheinander. Alle Operationen 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\} + C_n = \langle r \rangle + = \left\{\mathds{1}, r, r^2, \ldots, r^{n-1}\right\} + = \mathbb{Z}/n\mathbb{Z}, \] -die Zyklische Gruppe heisst. - -\begin{definition}[Gruppenwirkung] +die Zyklische Gruppe heisst. Hier die Potenzen von \(r\) sind als wiederholte +Komposition gemeint, d.h. \(r^n = r\circ r \circ \cdots r\circ r\). Die +Schreibweise mit den spitzen Klammern wird als Erzeugendensystem bezeichnet. +Das liegt daran, dass alle Elemente der Symmetriegruppe aus Kombinationen einer +Teilmenge erzeugt werden, die als erzeugende Elemente bezeichnet +werden\cite{punktgruppen:pinter-algebra}. Die Reflexionssymmetriegruppe ist +nicht so interessant, da sie nur +\(\left\{\mathds{1}, \sigma\right\}\) enthält. Kombiniert man sie jedoch mit +der Rotation, erhält man die so genannte Diedergruppe +\[ + D_n = \langle r, \sigma : r^{n-1} = \sigma^2 = (\sigma r)^2 = \mathds{1} \rangle + . +\] +Wir haben nun unseren Operationen Symbole gegeben, mit denen es tatsächlich +möglich ist, eine nicht kommutative Algebra zu erstellen. Die naheliegende +Frage ist dann, könnte es sein, dass wir bereits etwas haben, das dasselbe tut? +Natürlich, ja. Dafür führen wir den Begriff der Darstellung ein. +\begin{definition}[Darstellung einer Gruppe, Gruppenhomomorphismus] + Seien \(G\) und \(H\) Gruppe mit unterschiedlicher Operation \(\diamond\) + bzw. \(\star\). Ein Homomorphismus ist eine Funktion \(f: G \to H\), so dass + für jedes \(a, b \in G\) gilt \(f(a\diamond b) = f(a) \star f(b)\). Man + sagt, dass der Homomorphismus \(f\) \(G\) in \(H\) transformiert, oder dass + \(H\) eine Darstellung von \(G\) ist\cite{punktgruppen:pinter-algebra}. \end{definition} +\begin{beispiel} + Die Elemente \(r^k \in C_n\), wobei \(0 < k < n\), stellen abstrakt eine + Drehung von \(2\pi k/n\) um den Ursprung dar. Die mit der Matrix + \[ + \Phi(r^k) = \begin{pmatrix} + \cos(2\pi k/n) & -\sin(2\pi k/n) \\ + \sin(2\pi k/n) & \cos(2\pi k/n) + \end{pmatrix} + \] + definierte Funktion von \(C_n\) nach \(O(2)\) ist eine Darstellung von + \(C_n\). In diesem Fall ist die erste Gruppenoperation die Komposition und + die zweite die Matrixmultiplikation. Man kann zwar überprüfen, dass + \(\Phi(r^2 \circ r) = \Phi(r^2)\Phi(r)\). +\end{beispiel} +\begin{beispiel} + Die Rotationssymmetrie des Kreises \(C_\infty\), mit einem unendlichen + Kontinuum von Werten \(\alpha \in \mathbb{R}\), entspricht perfekt dem + komplexen Einheitskreis. Der Homomorphismus \(\phi: C_\infty \to \mathbb{C}\) + ist durch die Eulersche Formel \(\phi(r) = e^{i\alpha}\) gegeben. +\end{beispiel} % vim:ts=2 sw=2 spell spelllang=de: -- cgit v1.2.1 From b76677a7d3d40d15c4d9d5bcfa9283c702c4cb02 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Sat, 22 May 2021 18:22:14 +0200 Subject: Create file for crystals --- buch/papers/punktgruppen/Makefile.inc | 1 + buch/papers/punktgruppen/crystals.tex | 1 + buch/papers/punktgruppen/main.tex | 2 ++ buch/papers/punktgruppen/symmetry.tex | 15 ++++++++++----- 4 files changed, 14 insertions(+), 5 deletions(-) create mode 100644 buch/papers/punktgruppen/crystals.tex diff --git a/buch/papers/punktgruppen/Makefile.inc b/buch/papers/punktgruppen/Makefile.inc index 06be362..c7a7d64 100644 --- a/buch/papers/punktgruppen/Makefile.inc +++ b/buch/papers/punktgruppen/Makefile.inc @@ -8,5 +8,6 @@ dependencies-punktgruppen = \ papers/punktgruppen/main.tex \ papers/punktgruppen/intro.tex \ papers/punktgruppen/symmetry.tex \ + papers/punktgruppen/crystals.tex \ papers/punktgruppen/references.bib diff --git a/buch/papers/punktgruppen/crystals.tex b/buch/papers/punktgruppen/crystals.tex new file mode 100644 index 0000000..b104901 --- /dev/null +++ b/buch/papers/punktgruppen/crystals.tex @@ -0,0 +1 @@ +\section{Kristalle} diff --git a/buch/papers/punktgruppen/main.tex b/buch/papers/punktgruppen/main.tex index d7690fd..cbd2af6 100644 --- a/buch/papers/punktgruppen/main.tex +++ b/buch/papers/punktgruppen/main.tex @@ -10,6 +10,8 @@ \input{papers/punktgruppen/intro} \input{papers/punktgruppen/symmetry} +\input{papers/punktgruppen/crystals} +\nocite{punktgruppen:pinter-algebra} \printbibliography[heading=subbibliography] \end{refsection} diff --git a/buch/papers/punktgruppen/symmetry.tex b/buch/papers/punktgruppen/symmetry.tex index 58950da..c0418aa 100644 --- a/buch/papers/punktgruppen/symmetry.tex +++ b/buch/papers/punktgruppen/symmetry.tex @@ -101,15 +101,20 @@ die Zyklische Gruppe heisst. Hier die Potenzen von \(r\) sind als wiederholte Komposition gemeint, d.h. \(r^n = r\circ r \circ \cdots r\circ r\). Die Schreibweise mit den spitzen Klammern wird als Erzeugendensystem bezeichnet. Das liegt daran, dass alle Elemente der Symmetriegruppe aus Kombinationen einer -Teilmenge erzeugt werden, die als erzeugende Elemente bezeichnet -werden\cite{punktgruppen:pinter-algebra}. Die Reflexionssymmetriegruppe ist -nicht so interessant, da sie nur +Teilmenge erzeugt werden, die als erzeugende Elemente bezeichnet werden. Die +Reflexionssymmetriegruppe ist nicht so interessant, da sie nur \(\left\{\mathds{1}, \sigma\right\}\) enthält. Kombiniert man sie jedoch mit der Rotation, erhält man die so genannte Diedergruppe \[ D_n = \langle r, \sigma : r^{n-1} = \sigma^2 = (\sigma r)^2 = \mathds{1} \rangle - . + = \left\{ + \mathds{1}, r, \ldots, r^{n-1}, \sigma, \sigma r, \ldots, \sigma r^{n-1} + \right\}. \] +Diesmal muss die Generator-Notation die Beziehungen zwischen den beiden +Operationen beinhalten. Die ersten beiden sind leicht zu erkennen, für die +letzte empfehlen wir, sie an einem 2D-Quadrat auszuprobieren. + Wir haben nun unseren Operationen Symbole gegeben, mit denen es tatsächlich möglich ist, eine nicht kommutative Algebra zu erstellen. Die naheliegende Frage ist dann, könnte es sein, dass wir bereits etwas haben, das dasselbe tut? @@ -119,7 +124,7 @@ Natürlich, ja. Dafür führen wir den Begriff der Darstellung ein. bzw. \(\star\). Ein Homomorphismus ist eine Funktion \(f: G \to H\), so dass für jedes \(a, b \in G\) gilt \(f(a\diamond b) = f(a) \star f(b)\). Man sagt, dass der Homomorphismus \(f\) \(G\) in \(H\) transformiert, oder dass - \(H\) eine Darstellung von \(G\) ist\cite{punktgruppen:pinter-algebra}. + \(H\) eine Darstellung von \(G\) ist. \end{definition} \begin{beispiel} Die Elemente \(r^k \in C_n\), wobei \(0 < k < n\), stellen abstrakt eine -- cgit v1.2.1 From 3aec8355b975973bfe192dedd216cc0f2b644770 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Sun, 23 May 2021 15:09:31 +0200 Subject: Create file for piezo, update bibliography --- buch/papers/punktgruppen/Makefile.inc | 1 + buch/papers/punktgruppen/main.tex | 4 ++++ buch/papers/punktgruppen/piezo.tex | 1 + buch/papers/punktgruppen/references.bib | 40 ++++++++++++--------------------- 4 files changed, 20 insertions(+), 26 deletions(-) create mode 100644 buch/papers/punktgruppen/piezo.tex diff --git a/buch/papers/punktgruppen/Makefile.inc b/buch/papers/punktgruppen/Makefile.inc index c7a7d64..b6a76c1 100644 --- a/buch/papers/punktgruppen/Makefile.inc +++ b/buch/papers/punktgruppen/Makefile.inc @@ -9,5 +9,6 @@ dependencies-punktgruppen = \ papers/punktgruppen/intro.tex \ papers/punktgruppen/symmetry.tex \ papers/punktgruppen/crystals.tex \ + papers/punktgruppen/piezo.tex \ papers/punktgruppen/references.bib diff --git a/buch/papers/punktgruppen/main.tex b/buch/papers/punktgruppen/main.tex index cbd2af6..d88e221 100644 --- a/buch/papers/punktgruppen/main.tex +++ b/buch/papers/punktgruppen/main.tex @@ -11,7 +11,11 @@ \input{papers/punktgruppen/intro} \input{papers/punktgruppen/symmetry} \input{papers/punktgruppen/crystals} +\input{papers/punktgruppen/piezo} \nocite{punktgruppen:pinter-algebra} +\nocite{punktgruppen:sands-crystal} +\nocite{punktgruppen:lang-elt2} + \printbibliography[heading=subbibliography] \end{refsection} diff --git a/buch/papers/punktgruppen/piezo.tex b/buch/papers/punktgruppen/piezo.tex new file mode 100644 index 0000000..7ee4174 --- /dev/null +++ b/buch/papers/punktgruppen/piezo.tex @@ -0,0 +1 @@ +\section{Piezoelektrizit\"at} diff --git a/buch/papers/punktgruppen/references.bib b/buch/papers/punktgruppen/references.bib index 0d4e30a..9edb8bd 100644 --- a/buch/papers/punktgruppen/references.bib +++ b/buch/papers/punktgruppen/references.bib @@ -11,37 +11,25 @@ year = {2010}, month = {1}, day = {10}, - isbn = {978-0486474175}, + isbn = {978-0-486-47417-5}, inseries = {Dover Books on Mathematics}, - volume = {1} } +@book{punktgruppen:sands-crystal, + title = {Introduction to Crystallography}, + author = {Donald E. Sands}, + publisher = {Dover Publications Inc.}, + year = {1993}, + isbn = {978-0-486-67839-9}, + inseries = {Dover Books on Science}, +} -@online{punktgruppen:bibtex, - title = {BibTeX}, - url = {https://de.wikipedia.org/wiki/BibTeX}, - date = {2020-02-06}, +@book{punktgruppen:lang-elt2, + title = {Elektrotechnik 2}, + author = {Hans-Dieter Lang}, + publisher = {Fachhochschule Ostschweiz Rapperswil}, year = {2020}, month = {2}, - day = {6} -} - -@book{punktgruppen:numerical-analysis, - title = {Numerical Analysis}, - author = {David Kincaid and Ward Cheney}, - publisher = {American Mathematical Society}, - year = {2002}, - isbn = {978-8-8218-4788-6}, - inseries = {Pure and applied undegraduate texts}, - volume = {2} + inseries = {Vorlesungsskript zum Modul ELT}, } -@article{punktgruppen:mendezmueller, - author = { Tabea Méndez and Andreas Müller }, - title = { Noncommutative harmonic analysis and image registration }, - journal = { Appl. Comput. Harmon. Anal.}, - year = 2019, - volume = 47, - pages = {607--627}, - url = {https://doi.org/10.1016/j.acha.2017.11.004} -} -- cgit v1.2.1 From b4093cfc873e052d31f644019f0b1134f1db7fbc Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Sun, 23 May 2021 16:24:34 +0200 Subject: On point groups and translational symmetry --- buch/papers/punktgruppen/symmetry.tex | 30 +++++++++++++++++++++++++++++- 1 file changed, 29 insertions(+), 1 deletion(-) diff --git a/buch/papers/punktgruppen/symmetry.tex b/buch/papers/punktgruppen/symmetry.tex index c0418aa..d3ccb4e 100644 --- a/buch/papers/punktgruppen/symmetry.tex +++ b/buch/papers/punktgruppen/symmetry.tex @@ -85,7 +85,7 @@ 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\) + Bei einer anderen Operation \(h\) definieren wir die Komposition \(h\circ g\) als die Anwendung der Operationen nacheinander. Alle Operationen bilden unter Komposition eine Gruppe, die Symmetriegruppe genannt wird. \end{definition} @@ -147,4 +147,32 @@ Natürlich, ja. Dafür führen wir den Begriff der Darstellung ein. ist durch die Eulersche Formel \(\phi(r) = e^{i\alpha}\) gegeben. \end{beispiel} +Die Symmetrien, die wir bis jetzt besprochen haben, haben immer mindestens +einen Punkt unbesetzt gelassen. Im Fall der Rotation war es der Drehpunkt, bei +der Spiegelung die Achse. Dies ist jedoch keine Voraussetzung für eine +Symmetrie, da es Symmetrien gibt, die jeden Punkt zu einem anderen Punkt +verschieben können. Ein aufmerksamer Leser wird bemerken, dass die +unveränderten Punkte zum Eigenraum\footnote{Zur Erinnerung \(E_\lambda = +\mathrm{null}(\Phi - \lambda I)\)} der Matrixdarstellung der Symmetrieoperation +gehören. Diesen Spezialfall, bei dem mindestens ein Punkt unverändert bleibt, +nennt man Punktsymmetrie. +\begin{definition}[Punktgruppe] + Wenn jede Operation in einer Symmetriegruppe die Eigenschaft hat, mindestens + einen Punkt unverändert zu lassen, sagt man, dass die Symmetriegruppe eine + Punktgruppe ist. +\end{definition} +Um das Konzept zu illustrieren, werden wir den umgekehrten Fall diskutieren: +eine Symmetrie, die keine Punktsymmetrie ist, die aber in der Physik sehr +nützlich ist, nämlich die Translationssymmetrie. Von einem mathematischen +Objekt \(x\) wird gesagt, dass es eine Translationssymmetrie \(Q\) hat, wenn es +die Gleichung +\[ + Q(x) = Q(x + a), +\] +für ein gewisses \(a\), erfüllt. Zum Beispiel besagt das erste Newtonsche +Gesetz, dass ein Objekt, auf das keine Kraft einwirkt, eine +zeitranslationsinvariante Geschwindigkeit hat, d.h. wenn \(\vec{F} = \vec{0}\) +dann \(\vec{v}(t) = \vec{v}(t + \tau)\). + + % vim:ts=2 sw=2 spell spelllang=de: -- cgit v1.2.1 From 40db89ca6efb1a6b962fe237c5641c939b18dde6 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Tue, 25 May 2021 00:47:51 +0200 Subject: Add book reference, fix typos --- buch/chapters/10-vektorenmatrizen/gruppen.tex | 2 +- buch/papers/punktgruppen/symmetry.tex | 34 +++++++++++++++------------ 2 files changed, 20 insertions(+), 16 deletions(-) diff --git a/buch/chapters/10-vektorenmatrizen/gruppen.tex b/buch/chapters/10-vektorenmatrizen/gruppen.tex index 9848469..7628942 100644 --- a/buch/chapters/10-vektorenmatrizen/gruppen.tex +++ b/buch/chapters/10-vektorenmatrizen/gruppen.tex @@ -182,7 +182,7 @@ begegnet, wo wir nur gezeigt haben, dass $AA^{-1}=E$ ist. Da aber die invertierbaren Matrizen eine Gruppe bilden, folgt jetzt aus dem Satz automatisch, dass auch $A^{-1}A=E$. -\subsubsection{Homomorphismen} +\subsubsection{Homomorphismen} \label{buch:gruppen:subsection:homomorphismen} Lineare Abbildung zwischen Vektorräumen zeichnen sich dadurch aus, dass sie die algebraische Struktur des Vektorraumes respektieren. Für eine Abbildung zwischen Gruppen heisst dies, dass die Verknüpfung, diff --git a/buch/papers/punktgruppen/symmetry.tex b/buch/papers/punktgruppen/symmetry.tex index d3ccb4e..23b1411 100644 --- a/buch/papers/punktgruppen/symmetry.tex +++ b/buch/papers/punktgruppen/symmetry.tex @@ -2,8 +2,8 @@ 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 +\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] @@ -109,7 +109,7 @@ der Rotation, erhält man die so genannte Diedergruppe D_n = \langle r, \sigma : r^{n-1} = \sigma^2 = (\sigma r)^2 = \mathds{1} \rangle = \left\{ \mathds{1}, r, \ldots, r^{n-1}, \sigma, \sigma r, \ldots, \sigma r^{n-1} - \right\}. + \right\}. \] Diesmal muss die Generator-Notation die Beziehungen zwischen den beiden Operationen beinhalten. Die ersten beiden sind leicht zu erkennen, für die @@ -121,10 +121,12 @@ Frage ist dann, könnte es sein, dass wir bereits etwas haben, das dasselbe tut? Natürlich, ja. Dafür führen wir den Begriff der Darstellung ein. \begin{definition}[Darstellung einer Gruppe, Gruppenhomomorphismus] Seien \(G\) und \(H\) Gruppe mit unterschiedlicher Operation \(\diamond\) - bzw. \(\star\). Ein Homomorphismus ist eine Funktion \(f: G \to H\), so dass - für jedes \(a, b \in G\) gilt \(f(a\diamond b) = f(a) \star f(b)\). Man - sagt, dass der Homomorphismus \(f\) \(G\) in \(H\) transformiert, oder dass - \(H\) eine Darstellung von \(G\) ist. + bzw. \(\star\). Ein Homomorphismus\footnote{ Für eine ausführlichere + Diskussion siehe \S\ref{buch:grundlagen:subsection:gruppen} im Buch.} ist + eine Funktion \(f: G \to H\), so dass für jedes \(a, b \in G\) gilt + \(f(a\diamond b) = f(a) \star f(b)\). Man sagt, dass der Homomorphismus + \(f\) \(G\) in \(H\) transformiert, oder dass \(H\) eine Darstellung von + \(G\) ist. \end{definition} \begin{beispiel} Die Elemente \(r^k \in C_n\), wobei \(0 < k < n\), stellen abstrakt eine @@ -137,8 +139,8 @@ Natürlich, ja. Dafür führen wir den Begriff der Darstellung ein. \] definierte Funktion von \(C_n\) nach \(O(2)\) ist eine Darstellung von \(C_n\). In diesem Fall ist die erste Gruppenoperation die Komposition und - die zweite die Matrixmultiplikation. Man kann zwar überprüfen, dass - \(\Phi(r^2 \circ r) = \Phi(r^2)\Phi(r)\). + die zweite die Matrixmultiplikation. Man kann überprüfen, dass \(\Phi(r^2 + \circ r) = \Phi(r^2)\Phi(r)\). \end{beispiel} \begin{beispiel} Die Rotationssymmetrie des Kreises \(C_\infty\), mit einem unendlichen @@ -153,9 +155,10 @@ der Spiegelung die Achse. Dies ist jedoch keine Voraussetzung für eine Symmetrie, da es Symmetrien gibt, die jeden Punkt zu einem anderen Punkt verschieben können. Ein aufmerksamer Leser wird bemerken, dass die unveränderten Punkte zum Eigenraum\footnote{Zur Erinnerung \(E_\lambda = -\mathrm{null}(\Phi - \lambda I)\)} der Matrixdarstellung der Symmetrieoperation -gehören. Diesen Spezialfall, bei dem mindestens ein Punkt unverändert bleibt, -nennt man Punktsymmetrie. +\mathrm{null}(\Phi - \lambda I)\), \(\vec{v}\in E_\lambda \implies \Phi \vec{v} += \lambda\vec{v}\)} der Matrixdarstellung der Symmetrieoperation gehören. +Diesen Spezialfall, bei dem mindestens ein Punkt unverändert bleibt, nennt man +Punktsymmetrie. \begin{definition}[Punktgruppe] Wenn jede Operation in einer Symmetriegruppe die Eigenschaft hat, mindestens einen Punkt unverändert zu lassen, sagt man, dass die Symmetriegruppe eine @@ -164,15 +167,16 @@ nennt man Punktsymmetrie. Um das Konzept zu illustrieren, werden wir den umgekehrten Fall diskutieren: eine Symmetrie, die keine Punktsymmetrie ist, die aber in der Physik sehr nützlich ist, nämlich die Translationssymmetrie. Von einem mathematischen -Objekt \(x\) wird gesagt, dass es eine Translationssymmetrie \(Q\) hat, wenn es -die Gleichung +Objekt \(U\) wird gesagt, dass es eine Translationssymmetrie \(Q(x) = x + a\) +hat, wenn es die Gleichung \[ - Q(x) = Q(x + a), + U(x) = U(Q(x)) = U(x + a), \] für ein gewisses \(a\), erfüllt. Zum Beispiel besagt das erste Newtonsche Gesetz, dass ein Objekt, auf das keine Kraft einwirkt, eine zeitranslationsinvariante Geschwindigkeit hat, d.h. wenn \(\vec{F} = \vec{0}\) dann \(\vec{v}(t) = \vec{v}(t + \tau)\). +% \subsection{Sch\"onflies notation} % vim:ts=2 sw=2 spell spelllang=de: -- cgit v1.2.1 From 1ffa89d50139ed5061e06ddd3371c5af0d003bd3 Mon Sep 17 00:00:00 2001 From: tim30b Date: Wed, 26 May 2021 15:36:33 +0200 Subject: begin to write kristalls and intro --- buch/papers/punktgruppen/crystals.tex | 15 +++++++++++++++ buch/papers/punktgruppen/intro.tex | 9 +++++++++ buch/papers/punktgruppen/symmetry.tex | 2 +- 3 files changed, 25 insertions(+), 1 deletion(-) diff --git a/buch/papers/punktgruppen/crystals.tex b/buch/papers/punktgruppen/crystals.tex index b104901..6de2bca 100644 --- a/buch/papers/punktgruppen/crystals.tex +++ b/buch/papers/punktgruppen/crystals.tex @@ -1 +1,16 @@ \section{Kristalle} +Unter dem Begriff Kristall sollte sich jeder ein Bild machen können. +Wir werden uns aber nicht auf sein Äusseres fokussieren, sondern was ihn im Inneren ausmacht. +Die Innereien eines Kristalles sind glücklicherweise relativ einfach definiert. +\begin{definition}[Kristall] + Ein Kristall besteht aus Atomen, welche sich in einem Muster arrangieren, welches sich in drei Dimensionen periodisch wiederholt. +\end{definition} + + +Ein Zweidimensionales Beispiel eines solchen Muster ist Abbildung \ref{fig:punktgruppen:lattce-grid}. +Für die Überschaubarkeit haben wir ein simples Muster eines einzelnen XgrauenX Punktes gewählt in nur Zwei Dimensionen. +Die eingezeichneten Vektoren a und b sind die kleinstmöglichen Schritte im Raum bis sich das Kristallgitter wiederholt. +Dadurch können von einem einzelnen XGrauenX Gitterpunkt in \ref{fig:punktgruppen:lattce-grid} können mit einer ganzzahligen Linearkombination von a und b alle anderen Gitterpunkte des Kristalles erreicht werden. +Ein Kristallgitter kann eindeutig mit a und b und deren winkeln beschrieben werden weswegen a und b auch Gitterparameter genannt werden. +Im Dreidimensionalen-Raum können alle Gitterpunkte mit derselben Idee und einem zusätzlichen Vektor also FRMEL FÜR TRANSLATIONSVEKTOR erreicht werden. +Da sich das Ganze Kristallgitter wiederholt, wiederholen sich auch die Eigenschaften eines Gitterpunktes Periodisch mit eiem diff --git a/buch/papers/punktgruppen/intro.tex b/buch/papers/punktgruppen/intro.tex index 4a84465..10dea79 100644 --- a/buch/papers/punktgruppen/intro.tex +++ b/buch/papers/punktgruppen/intro.tex @@ -1 +1,10 @@ \section{Einleitung} +Es gibt viele möglichkeiten sich in Kristallen zu verlieren. +Auch wen man nur die Mathematischen möglichkeiten in betracht zieht, hat man noch viel zu viele Möglichkeiten sich mit kristallen zu beschäftigen. +In diesem Articel ist daher der Fokus "nur" auf die Symmetrie gelegt. +Im Abschitt über Symmetrien werden wir sehen, wie eine Symmetrie eines Objektes weit +2.ter versuch: +Die Kristallographie ist ein grosses Thema, Symmetrien auch. +Für beide bestehen schon bewährte Mathematische Modelle und Definitionen. +Die + diff --git a/buch/papers/punktgruppen/symmetry.tex b/buch/papers/punktgruppen/symmetry.tex index c0418aa..4b179b0 100644 --- a/buch/papers/punktgruppen/symmetry.tex +++ b/buch/papers/punktgruppen/symmetry.tex @@ -14,7 +14,7 @@ präzise Bedeutung. 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. +zunächst wollen wir eine Intuition aufbauen. \begin{figure}[h] \centering -- cgit v1.2.1